| facebook/infer |
14,568 |
|
64 |
25 |
about 2 years ago |
8 |
June 09, 2020 |
411 |
mit |
OCaml |
| A static analyzer for Java, C, C++, and Objective-C |
| analysis-tools-dev/static-analysis |
12,519 |
|
0 |
0 |
about 2 years ago |
0 |
|
1 |
mit |
Rust |
| ⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality. |
| phpstan/phpstan |
12,390 |
|
4,631 |
8,962 |
about 2 years ago |
295 |
December 01, 2023 |
979 |
mit |
PHP |
| PHP Static Analysis Tool - discover bugs in your code without running it! |
| phan/phan |
5,473 |
|
236 |
487 |
over 2 years ago |
178 |
March 03, 2023 |
918 |
other |
PHP |
| Phan is a static analyzer for PHP. Phan prefers to avoid false-positives and attempts to prove incorrectness rather than correctness. |
| llvm-mirror/clang |
2,753 |
|
0 |
0 |
almost 6 years ago |
0 |
|
0 |
apache-2.0 |
C++ |
| Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project |
| phpmd/phpmd |
2,413 |
|
8,023 |
4,301 |
3 months ago |
46 |
September 28, 2023 |
143 |
bsd-3-clause |
PHP |
| PHPMD is a spin-off project of PHP Depend and aims to be a PHP equivalent of the well known Java tool PMD. PHPMD can be seen as an user friendly frontend application for the raw metrics stream measured by PHP Depend. |
| phpmetrics/PhpMetrics |
2,404 |
|
300 |
268 |
about 2 years ago |
57 |
September 15, 2023 |
17 |
mit |
PHP |
| Beautiful and understandable static analysis tool for PHP |
| e-m-b-a/emba |
2,229 |
|
0 |
0 |
about 2 years ago |
0 |
|
15 |
gpl-3.0 |
Shell |
| EMBA - The firmware security analyzer |
| Ericsson/codechecker |
2,023 |
|
0 |
2 |
about 2 years ago |
63 |
March 05, 2021 |
351 |
apache-2.0 |
Python |
| CodeChecker is an analyzer tooling, defect database and viewer extension for the Clang Static Analyzer and Clang Tidy |
| 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. |