Top Repositories
Triton is a Dynamic Binary Analysis (DBA) framework. It provides internal components like a Dynamic Symbolic Execution (DSE) engine, a dynamic taint engine, AST representations of the x86, x86-64 and AArch64 Instructions Set Architecture (ISA), SMT simplification passes, an SMT solver interface and, the last but not least, Python bindings.
Security oriented software fuzzer. Supports evolutionary, feedback-driven fuzzing based on code coverage (SW and HW based)
BARF : A multiplatform open source Binary Analysis and Reverse engineering Framework
FuzzBench - Fuzzer benchmarking as a service.
A python layer to interface with several SMTLIBv2 enabled SMT solvers
Repositories
5Triton is a Dynamic Binary Analysis (DBA) framework. It provides internal components like a Dynamic Symbolic Execution (DSE) engine, a dynamic taint engine, AST representations of the x86, x86-64 and AArch64 Instructions Set Architecture (ISA), SMT simplification passes, an SMT solver interface and, the last but not least, Python bindings.
Security oriented software fuzzer. Supports evolutionary, feedback-driven fuzzing based on code coverage (SW and HW based)
FuzzBench - Fuzzer benchmarking as a service.
BARF : A multiplatform open source Binary Analysis and Reverse engineering Framework
A python layer to interface with several SMTLIBv2 enabled SMT solvers