Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
X64dbg | 42,376 | 3 months ago | 573 | other | C++ | |||||
An open-source user mode debugger for Windows. Optimized for reverse engineering and malware analysis. | ||||||||||
Pyre Check | 6,606 | 23 | 31 | 2 months ago | 77 | October 19, 2023 | 146 | mit | OCaml | |
Performant type-checking for python. | ||||||||||
Mythril | 3,686 | 8 | 7 | 13 days ago | 310 | November 19, 2023 | 103 | mit | Python | |
Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Roostock, Tron and other EVM-compatible blockchains. | ||||||||||
Manticore | 3,535 | 1 | 1 | 6 months ago | 1,137 | December 09, 2023 | 264 | agpl-3.0 | Python | |
Symbolic execution tool | ||||||||||
Rizin | 2,290 | 2 months ago | 418 | lgpl-3.0 | C | |||||
UNIX-like reverse engineering framework and command-line toolset. | ||||||||||
Pyt | 2,005 | 11 | 1 | 3 years ago | 15 | November 01, 2018 | 20 | gpl-2.0 | Python | |
A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications | ||||||||||
Bap | 1,926 | 4 months ago | 40 | mit | OCaml | |||||
Binary Analysis Platform | ||||||||||
Cwe_checker | 996 | 3 months ago | 10 | lgpl-3.0 | Rust | |||||
cwe_checker finds vulnerable patterns in binary executables | ||||||||||
Semgrep Rules | 698 | 3 days ago | 60 | other | Solidity | |||||
Semgrep rules registry | ||||||||||
Mate | 120 | a year 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. |