Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Pyre Check | 6,606 | 23 | 31 | 3 months ago | 77 | October 19, 2023 | 146 | mit | OCaml | |
Performant type-checking for python. | ||||||||||
Find Sec Bugs | 2,160 | 36 | 68 | 3 months ago | 21 | April 06, 2022 | 98 | lgpl-3.0 | Java | |
The SpotBugs plugin for security audits of Java web applications and Android applications. (Also work with Kotlin, Groovy and Scala projects) | ||||||||||
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 | 5 months ago | 40 | mit | OCaml | |||||
Binary Analysis Platform | ||||||||||
Tai E | 1,143 | 3 months ago | 1 | September 23, 2023 | 8 | lgpl-3.0 | Java | |||
An easy-to-learn/use static analysis framework for Java | ||||||||||
Angora | 867 | 2 years ago | 39 | apache-2.0 | C++ | |||||
Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution. | ||||||||||
Libdft64 | 165 | 2 years ago | 12 | other | C++ | |||||
libdft for Intel Pin 3.x and 64 bit platform. (Dynamic taint tracking, taint analysis) | ||||||||||
Taintmini | 48 | 10 months ago | 1 | agpl-3.0 | Python | |||||
Detecting Flow of Sensitive Data in Mini-Programs with Static Taint Analysis | ||||||||||
Jstaint | 6 | 13 years ago | gpl-3.0 | JavaScript | ||||||
Dynamic Taint Analysis in JavaScript |