Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Flowdroid | 957 | 4 | 4 months ago | 2 | July 06, 2023 | 211 | lgpl-2.1 | Java | ||
FlowDroid Static Data Flow Tracker | ||||||||||
Formulog | 137 | 7 months ago | 7 | apache-2.0 | Java | |||||
Datalog with support for SMT queries and first-order functional programming | ||||||||||
Stanse | 12 | 8 years ago | 1 | other | Java | |||||
Error-finding tool based on static analysis | ||||||||||
Jarhc | 7 | 4 months ago | 2 | December 18, 2022 | 72 | apache-2.0 | Java | |||
JarHC - JAR Health Check |