binary-analysis

Here are 6 public repositories matching this topic...

BinaryAnalysisPlatform / bap

Binary Analysis Platform

emulator security arm mips static-analysis ocaml reverse-engineering disassembler symbolic-execution bap x86 dynamic-analysis binary-analysis instruction-semantics program-analysis taint-analysis powerpc program-verification lifter

Updated Apr 28, 2025
OCaml

binsec / Rel

Star

Binsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at binary-level.

security verification symbolic-execution constant-time binary-analysis binsec secret-erasure

Updated Jan 25, 2025
OCaml

binsec / haunted

Star

Binsec/Haunted is an extension of Binsec to verify speculative constant-time and detect Spectre attacks.

symbolic-execution binary-analysis spectre-vulnerability

Updated Oct 19, 2023
OCaml

BinaryAnalysisPlatform / bap-bindings

Star

C Bindings to BAP

reverse-engineering bap binary-analysis

Updated Jul 13, 2022
OCaml

johnbntn / dat

Star

Binary Analysis Framework for Datalog

ocaml datalog bap logic-programming binary-analysis program-analysis

Updated Jan 13, 2025
OCaml

tomarraj008 / bap

Star

Binary Analysis Platform

reverse-engineering binary-analysis

Updated Aug 23, 2021
OCaml

Improve this page

Add a description, image, and links to the binary-analysis topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the binary-analysis topic, visit your repo's landing page and select "manage topics."

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

binary-analysis

Here are 6 public repositories matching this topic...

BinaryAnalysisPlatform / bap

binsec / Rel

binsec / haunted

BinaryAnalysisPlatform / bap-bindings

johnbntn / dat

tomarraj008 / bap

Improve this page

Add this topic to your repo