binary-analysis topic
cwe_checker
cwe_checker finds vulnerable patterns in binary executables
B2R2
B2R2 is a collection of useful algorithms, functions, and tools for binary analysis.
dynamorio
Dynamic Instrumentation Tool Platform
manticore
Symbolic execution tool
bap
Binary Analysis Platform
falcon
Binary Analysis Framework in Rust
mcsema
Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode
barf-project
BARF : A multiplatform open source Binary Analysis and Reverse engineering Framework
REDasm
The OpenSource Disassembler
pharos
Automated static analysis tools for binary programs