Mate
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Pyre Check | 6,283 |  | 23 | 10 | a day ago | 74 | June 30, 2022 | 140 | mit | Python |
| Performant type-checking for python. | ||||||||||
| Manticore | 3,366 |  | 1 | 1 | 4 days ago | 723 | July 07, 2022 | 261 | agpl-3.0 | Python |
| Symbolic execution tool | ||||||||||
| Mythril | 3,053 |  | 8 | 3 | 15 days ago | 292 | June 20, 2022 | 93 | mit | Python |
| Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Roostock, Tron and other EVM-compatible blockchains. | ||||||||||
| Pyt | 2,005 |  | 11 | 1 | 2 years ago | 15 | November 01, 2018 | 20 | gpl-2.0 | Python |
| A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications | ||||||||||
| Rizin | 1,838 | a day ago | 325 | lgpl-3.0 | C | |||||
| UNIX-like reverse engineering framework and command-line toolset. | ||||||||||
| Bap | 1,793 | 13 days ago | 31 | mit | OCaml | |||||
| Binary Analysis Platform | ||||||||||
| Cwe_checker | 807 | 5 days ago | 15 | lgpl-3.0 | Rust | |||||
| cwe_checker finds vulnerable patterns in binary executables | ||||||||||
| Semgrep Rules | 505 | 3 days ago | 42 | other | HCL | |||||
| Semgrep rules registry | ||||||||||
| Mate | 120 | 5 months 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. | ||||||||||
| Sojobo | 113 | 2 years ago | other | F# | ||||||
| A binary analysis framework | ||||||||||
MATE
MATE is a suite of tools for interactive program analysis with a focus on hunting for bugs in C and C++ code. MATE unifies application-specific and low-level vulnerability analysis using code property graphs (CPGs), enabling the discovery of highly application-specific vulnerabilities that depend on both implementation details and the high-level semantics of target C/C++ programs.
See the online documentation for more information.
Acknowledgements
This material is based upon work supported by the United States Air Force and Defense Advanced Research Project Agency (DARPA) under Contract No. FA8750-19-C-0004. Any opinions, findings and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the United States Air Force or DARPA. Approved for Public Release, Distribution Unlimited.
