Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Codechecker | 2,023 | 2 | 4 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 | 4 months ago | 38 | other | C++ | |||||
Static analyzer for C/C++ based on the theory of Abstract Interpretation. | ||||||||||
Svf | 1,297 | 1 | 21 days ago | 774 | December 09, 2023 | 248 | other | C++ | ||
Static Value-Flow Analysis Framework for Source Code | ||||||||||
Phasar | 857 | 4 months ago | 37 | other | C++ | |||||
A LLVM-based static analysis framework. | ||||||||||
Awesome Llvm Security | 500 | 4 months ago | mit | |||||||
awesome llvm security [Welcome to PR] | ||||||||||
Seahorn | 391 | 7 months ago | 20 | other | C | |||||
SeaHorn Verification Framework | ||||||||||
Dg | 376 | a year ago | 78 | mit | C++ | |||||
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode. | ||||||||||
Clang Tools Extra | 355 | 4 years ago | 8 | apache-2.0 | C++ | |||||
Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project | ||||||||||
Clangkit | 342 | 3 years ago | 3 | C | ||||||
ClangKit provides an Objective-C frontend to LibClang. Source tokenization, diagnostics and fix-its are actually implemented. | ||||||||||
Clam | 247 | 2 months ago | 3 | apache-2.0 | C | |||||
Static Analyzer for LLVM bitcode based on Abstract Interpretation |