Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Go Callvis | 5,716 | 6 | 20 days ago | 13 | May 08, 2023 | 71 | mit | Go | ||
Visualize call graph of a Go program using Graphviz | ||||||||||
Cpachecker | 204 | 3 months ago | apache-2.0 | Java | ||||||
CPAchecker, the Configurable Software-Verification Platform (read-only mirror) | ||||||||||
Maple Ir | 69 | a year ago | 2 | gpl-3.0 | Java | |||||
Industrial IR-based static analysis framework for Java bytecode | ||||||||||
Go Ssaviz | 32 | a year ago | 1 | apache-2.0 | Go | |||||
Visualize Go SSA function using Graphviz | ||||||||||
Ropdissector | 27 | 5 years ago | bsd-2-clause | Python | ||||||
A framework for static analysis of ROP exploits and programs | ||||||||||
Binoculars | 13 | 4 years ago | 3 | mit | Python | |||||
Plugin for binary ninja to centralize features useful in static analysis. |