Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Mythril | 3,716 | 8 | 7 | 15 days ago | 310 | November 19, 2023 | 103 | mit | Python | |
Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Rootstock, Tron and other EVM-compatible blockchains. | ||||||||||
Manticore | 3,535 | 1 | 1 | 8 months ago | 1,137 | December 09, 2023 | 264 | agpl-3.0 | Python | |
Symbolic execution tool | ||||||||||
Triton | 3,285 | 1 | a month 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 | 6 months ago | 40 | mit | OCaml | |||||
Binary Analysis Platform | ||||||||||
Symbolic Execution | 412 | 2 years ago | 21 | cc-by-sa-4.0 | Kotlin | |||||
History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking) | ||||||||||
Vmprotect Devirtualization | 244 | 2 years ago | Roff | |||||||
Playing with the VMProtect software protection. Automatic deobfuscation of pure functions using symbolic execution and LLVM. | ||||||||||
Expose | 165 | 7 months ago | 8 | mit | JavaScript | |||||
A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and supports symbolic modelling of strings and regular expressions. | ||||||||||
Pastis | 144 | 4 months ago | 11 | September 10, 2023 | apache-2.0 | Python | ||||
PASTIS: Collaborative Fuzzing Framework | ||||||||||
Mate | 120 | 2 years ago | 32 | bsd-3-clause | Python | |||||
MATE is a suite of tools for interactive program analysis with a focus on hunting for bugs in C and C++ code using Code Property Graphs. | ||||||||||
Naaz | 75 | a year ago | gpl-3.0 | C++ | ||||||
Symbolic Execution Engine based on Ghidra's PCode |