Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Manticore | 3,535 | 1 | 1 | 6 months ago | 1,137 | December 09, 2023 | 264 | agpl-3.0 | Python | |
Symbolic execution tool | ||||||||||
Triton | 3,157 | 1 | 3 months 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 | 4 months ago | 40 | mit | OCaml | |||||
Binary Analysis Platform | ||||||||||
Angryghidra | 501 | 2 months ago | mit | Java | ||||||
Use angr in Ghidra | ||||||||||
Meandiff | 60 | 5 years ago | 28 | mit | F# | |||||
Testing Intermediate Representations for Binary Analysis | ||||||||||
X Tunnel Opaque Predicates | 49 | 5 years ago | Python | |||||||
IDA+Triton plugin in order to extract opaque predicates using a Forward-Bounded DSE. Example with X-Tunnel. | ||||||||||
Crete Dev | 47 | 6 years ago | 30 | other | C | |||||
CRETE under development | ||||||||||
Crusher | 37 | 3 months ago | mit | Python | ||||||
Binary Decompilation | 37 | 5 years ago | 3 | other | Assembly | |||||
Extracting high level semantic information from binary code | ||||||||||
Rel | 31 | 6 months ago | 3 | lgpl-2.1 | OCaml | |||||
Binsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at binary-level. |