1.cppcheck-opensource / cppcheckstatic analysis of C/C++ codecppcheckc-plus-plusstatic-analysiscross-platformccppC++GPL-3.06.8K total1.6K forks+97 starsfrom 6,696 · score 4.58
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+59 starsfrom 4,727 · score 4.09
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+25 starsfrom 3,153 · score 3.26
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+15 starsfrom 3,877 · score 2.77
5.vbpf / prevaileBPF verifier based on abstract interpretationabstract-interpretationstatic-analyzerebpfebpf-verifierC++MIT472 total56 forks+5 starsfrom 467 · score 1.79
6.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+4 starsfrom 3,037 · score 1.61