Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Clang | 2,753 | 4 years ago | apache-2.0 | C++ | ||||||
Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project | ||||||||||
Codechecker | 2,023 | 2 | 3 months 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 | ||||||||||
Ikos | 1,935 | 3 months ago | 38 | other | C++ | |||||
Static analyzer for C/C++ based on the theory of Abstract Interpretation. | ||||||||||
Svf | 1,280 | 1 | 15 days ago | 774 | December 09, 2023 | 248 | other | C++ | ||
Static Value-Flow Analysis Framework for Source Code | ||||||||||
Dg | 376 | a year ago | 78 | mit | C++ | |||||
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode. | ||||||||||
Tsar | 13 | a year ago | 10 | apache-2.0 | C++ | |||||
TSAR (Traits Static AnalyzeR) | ||||||||||
Clang Php Checker | 12 | 9 years ago | other | C++ | ||||||
Plugin to clang's static analyzer with PHP specific tests | ||||||||||
Corvus | 10 | 11 years ago | 1 | mpl-2.0 | PHP | |||||
Fast (C++) static analyzer for PHP |