| 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. |
| SVF-tools/SVF |
1,211 |
|
0 |
1 |
about 2 years ago |
774 |
December 09, 2023 |
248 |
other |
C++ |
| Static Value-Flow Analysis Framework for Source Code |
| secure-software-engineering/phasar |
857 |
|
0 |
0 |
over 2 years ago |
0 |
|
37 |
other |
C++ |
| A LLVM-based static analysis framework. |
| gmh5225/awesome-llvm-security |
500 |
|
0 |
0 |
about 2 years ago |
0 |
|
0 |
mit |
|
| awesome llvm security [Welcome to PR] |
| seahorn/seahorn |
391 |
|
0 |
0 |
over 2 years ago |
0 |
|
20 |
other |
C |
| SeaHorn Verification Framework |
| mchalupa/dg |
376 |
|
0 |
0 |
over 3 years ago |
0 |
|
78 |
mit |
C++ |
| [LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode. |
| llvm-mirror/clang-tools-extra |
355 |
|
0 |
0 |
over 6 years ago |
0 |
|
8 |
apache-2.0 |
C++ |
| Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project |
| macmade/ClangKit |
342 |
|
0 |
0 |
over 4 years ago |
0 |
|
3 |
|
C |
| ClangKit provides an Objective-C frontend to LibClang. Source tokenization, diagnostics and fix-its are actually implemented. |
| seahorn/clam |
240 |
|
0 |
0 |
over 2 years ago |
0 |
|
3 |
apache-2.0 |
C |
| Static Analyzer for LLVM bitcode based on Abstract Interpretation |
