1.cppcheck-opensource / cppcheckstatic analysis of C/C++ codecppcheckc-plus-plusstatic-analysiscross-platformccppC++GPL-3.06.8K total1.6K forks+29 starsfrom 6,764 · score 3.40
2.include-what-you-use / include-what-you-useA tool for use with clang to analyze #includes in C and C++ source filesC++Other license4.8K total437 forks+17 starsfrom 4,769 · score 2.89
3.NASA-SW-VnV / ikosStatic analyzer for C/C++ based on the theory of Abstract Interpretation.static-analysissoftware-verificationabstract-interpretationprogram-analysisC++Other license3.2K total220 forks+9 starsfrom 3,168 · score 2.30
4.oclint / oclintA static source code analysis tool to improve quality and reduce defects for C, C++ and Objective-CC++BSD-3-CLAUSE3.9K total492 forks+5 starsfrom 3,887 · score 1.79
5.llvm-mirror / clangArchivedMirror kept for legacy. Moved to https://github.com/llvm/llvm-projectcompilerc-plus-pluscobjective-cperformancecoding-style+1 moreC++Other license3K total1.6K forks+3 starsfrom 3,039 · score 1.39
6.vbpf / prevaileBPF verifier based on abstract interpretationabstract-interpretationstatic-analyzerebpfebpf-verifierC++MIT472 total56 forks+1 starsfrom 471 · score 0.69