| facebook/pyre-check |
6,606 |
|
23 |
31 |
about 2 years ago |
77 |
October 19, 2023 |
146 |
mit |
OCaml |
| Performant type-checking for python. |
| horsicq/Detect-It-Easy |
6,155 |
|
0 |
0 |
about 2 years ago |
0 |
|
34 |
mit |
JavaScript |
| Program for determining types of files for Windows, Linux and MacOS. |
| python-security/pyt |
2,005 |
|
11 |
1 |
over 5 years ago |
15 |
November 01, 2018 |
20 |
gpl-2.0 |
Python |
| A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications |
| NASA-SW-VnV/ikos |
1,935 |
|
0 |
0 |
about 2 years ago |
0 |
|
38 |
other |
C++ |
| Static analyzer for C/C++ based on the theory of Abstract Interpretation. |
| BinaryAnalysisPlatform/bap |
1,926 |
|
0 |
0 |
over 2 years ago |
0 |
|
40 |
mit |
OCaml |
| Binary Analysis Platform |
| 4ra1n/jar-analyzer-gui |
898 |
|
0 |
0 |
over 2 years ago |
0 |
|
4 |
apache-2.0 |
Java |
| 建议使用新版：https://github.com/jar-analyzer/jar-analyzer |
| secure-software-engineering/phasar |
857 |
|
0 |
0 |
over 2 years ago |
0 |
|
37 |
other |
C++ |
| A LLVM-based static analysis framework. |
| wala/WALA |
829 |
|
13 |
16 |
3 months ago |
20 |
August 04, 2023 |
137 |
epl-2.0 |
Java |
| T.J. Watson Libraries for Analysis, with front ends for Java, Android, and JavaScript, and many common static program analyses. |
| semgrep/semgrep-rules |
673 |
|
0 |
0 |
about 2 years ago |
0 |
|
60 |
other |
Solidity |
| Semgrep rules registry |
| ltcmelo/psychec |
486 |
|
0 |
0 |
about 2 years ago |
0 |
|
10 |
bsd-3-clause |
C++ |
| A compiler frontend for the C programming language |
