Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Triton | 3,285 | 1 | 16 days ago | 3 | December 23, 2022 | 16 | apache-2.0 | C++ | ||
Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code. | ||||||||||
Bap | 1,926 | 5 months ago | 40 | mit | OCaml | |||||
Binary Analysis Platform | ||||||||||
Angora | 867 | 2 years ago | 39 | apache-2.0 | C++ | |||||
Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution. | ||||||||||
Tigress_protection | 773 | 5 months ago | 4 | LLVM | ||||||
Playing with the Tigress software protection. Break some of its protections and solve their reverse engineering challenges. Automatic deobfuscation using symbolic execution, taint analysis and LLVM. | ||||||||||
Pathgrind | 106 | 7 years ago | gpl-3.0 | C | ||||||
Path based Dynamic Analysis | ||||||||||
Pa.llvm | 36 | 7 years ago | gpl-3.0 | C++ | ||||||
Program Analysis for LLVM | ||||||||||
Simpx | 9 | 11 years ago | Python | |||||||
A proof of concept tool that demonstrates virtual machines, dynamic taint analysis, and symbolic execution. | ||||||||||
Triton4delphi | 8 | 6 months ago | apache-2.0 | Pascal | ||||||
The Triton - Dynamic Binary Analysis (DBA) framework - by JonathanSalwan binding for Delphi | ||||||||||
Taint Em All | 5 | 3 years ago | apache-2.0 | JavaScript | ||||||