Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
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 | ||||||||||
Flowistry | 1,788 | 1 | 4 months ago | 69 | November 07, 2023 | 20 | mit | Rust | ||
Flowistry is an IDE plugin for Rust that helps you focus on relevant code. | ||||||||||
Bearer | 1,554 | 3 | 5 | 3 months ago | 109 | May 03, 2019 | 3 | other | Go | |
Code security scanning tool (SAST) to discover, filter and prioritize security and privacy risks. | ||||||||||
Ipyflow | 1,030 | 2 | 3 months ago | 102 | December 08, 2023 | 26 | bsd-3-clause | Python | ||
A reactive Python kernel for Jupyter notebooks. | ||||||||||
Wala | 709 | 13 | 16 | 3 months ago | 20 | August 04, 2023 | 137 | epl-2.0 | Java | |
T.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static program analyses | ||||||||||
Phantm | 74 | 11 years ago | 6 | other | Java | |||||
Static analysis using data-flow and type inference for PHP applications - Implemented in Scala | ||||||||||
Gotcha | 21 | 5 years ago | 1 | June 25, 2019 | mit | Go | ||||
Go Taint CHeck Analyser | ||||||||||
Jimpleframework | 11 | 2 years ago | 16 | Java | ||||||
A Rascal implementation of the Jimple framework. | ||||||||||
Codepunk | 6 | 4 years ago | gpl-3.0 | C++ | ||||||
[WIP] Interval Analysis on LLVM IR |