Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Bap | 1,926 | 5 months ago | 40 | mit | OCaml | |||||
Binary Analysis Platform | ||||||||||
Crosshair | 924 | 1 | 3 months ago | 45 | November 10, 2023 | 50 | other | Python | ||
An analysis tool for Python that blurs the line between testing and type systems. | ||||||||||
Sys | 182 | 2 years ago | 17 | gpl-2.0 | LLVM | |||||
Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code | ||||||||||
Formulog | 137 | 6 months ago | 7 | apache-2.0 | Java | |||||
Datalog with support for SMT queries and first-order functional programming | ||||||||||
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. | ||||||||||
Utbotcpp | 105 | 3 months ago | 112 | apache-2.0 | C++ | |||||
Tool that generates unit test by C/C++ source code, trying to reach all branches and maximize code coverage | ||||||||||
Dna | 68 | a year ago | C# | |||||||
Static analysis & deobfuscation framework for x86/x64 | ||||||||||
Apisan | 52 | 2 years ago | 6 | other | C++ | |||||
APISan: Sanitizing API Usages through Semantic Cross-Checking | ||||||||||
Crusher | 37 | 3 months ago | mit | Python | ||||||
Sixtypical | 31 | 4 months ago | other | Python | ||||||
MIRROR of https://codeberg.org/catseye/SixtyPical : A 6502-oriented low-level programming language supporting advanced static analysis |