Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.
APACHE-2.0 License
C++ library for zkSNARKs
wtf is a distributed, code-coverage guided, customizable, cross-platform snapshot-based fuzzer de...
IDA 2016 plugin contest winner! Symbolic Execution just one-click away!
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
A collection of out-of-tree Clang plugins for teaching and learning
Automated static analysis tools for binary programs
An experimental code editor for writing algorithms
Bindings for Microsoft WinDBG TTD