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. | ||||||||||
Psalm | 5,385 | 964 | 2,792 | 3 months ago | 408 | November 22, 2023 | 1,640 | mit | PHP | |
A static analysis tool for finding errors in PHP applications | ||||||||||
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 | ||||||||||
Aura | 468 | 7 months ago | 1 | June 22, 2021 | 17 | gpl-3.0 | Python | |||
Python source code auditing and static analysis on a large scale | ||||||||||
Bytecodedl | 289 | 3 months ago | 1 | gpl-3.0 | Shell | |||||
A declarative static analysis tool for jvm bytecode based Datalog like CodeQL | ||||||||||
Mediawiki Tools Phan Securitycheckplugin | 24 | 3 months ago | gpl-2.0 | PHP | ||||||
Mirror of https://gerrit.wikimedia.org/g/mediawiki/tools/phan/SecurityCheckPlugin See https://www.mediawiki.org/wiki/Developer_access for contributing | ||||||||||
Gotcha | 21 | 5 years ago | 1 | June 25, 2019 | mit | Go | ||||
Go Taint CHeck Analyser |