Best C and C++ Static Analysis Tools in 2026
Updated
In short: MATLAB Grader is ranked #1 of 25 as of 4 October 2026, ahead of CBMC and Infer. The best-ranked option with a free plan is CBMC. The lowest first paid tier on this page is Qodana at $5/mo.
C and C++ static analysis tools check source code for potential issues without requiring execution. Compare coding-rule checks, memory defect detection and concurrency analysis, along with security and taint analysis coverage. MISRA support may matter for projects that use those guidelines. Free-plan availability and paid-from pricing provide another basis for comparison. The ranking begins with MATLAB Grader, CBMC and CodeChecker, followed by Infer and Qodana; Semgrep Code is also among the early entries. Consider the kinds of defects or security concerns you want to identify and the rules your codebase needs to meet, then compare the tools using the listed fields and ordering.
25 c and c++ static analysis tools ranked on what their makers publish — plans and prices, free tiers, platforms and the facts on their own pages.
#1 MATLAB Grader Top pick · 7.3 Free plan · Free
#2 CBMC Runner-up · 7.2 Free plan · Free
#3 Infer Also great · 7.2 Free plan · Free- Free plan LinuxmacOSWebWindows
- Free plan
- No
- Security analysis
- Yes
RecognisedDocumentedFree planPlatforms - Free plan LinuxmacOSWindows
- Free plan
- Yes
- Memory defect detection
- Yes
RecognisedDocumentedFree planPlatformsFree About CBMCVisit site - Free plan LinuxmacOSself-hostedWeb
- Free plan
- Yes
- Security analysis
- Yes
RecognisedDocumentedFree planPlatforms - Free planFree trial apiLinuxmacOSself-hostedWebWindows
- Free plan
- Yes
- Security analysis
- Yes
RecognisedDocumentedFree planPlatforms$5/mofirst paid tier About QodanaVisit site - Free plan apiextensionLinuxmacOSself-hostedWebWindows
- Free plan
- Yes
RecognisedDocumentedFree planPlatforms$30/mofirst paid tier About Semgrep CodeVisit site - Free plan LinuxmacOSWindows
- Free plan
- Yes
- Security analysis
- Yes
RecognisedDocumentedFree planPlatforms - Free plan LinuxmacOSself-hostedWindows
- Free plan
- Yes
RecognisedDocumentedFree planPlatforms - Free trial AndroidapiiOSLinuxmacOSself-hostedWindows
- Free plan
- No
- Memory defect detection
- Yes
- Security analysis
- Yes
- Coding-rule checks
- Yes
- Concurrency analysis
- Yes
RecognisedDocumentedFree planPlatforms - Free trial AndroidapiiOSLinuxmacOSself-hostedWebWindows
- Security analysis
- Yes
RecognisedDocumentedFree planPlatforms - apiextensionLinuxmacOSself-hostedWebWindows
- Security analysis
- Yes
RecognisedDocumentedFree planPlatforms - LinuxmacOSWindows
- Free plan
- Yes
RecognisedDocumentedFree planPlatforms - Free trial LinuxmacOSWindows
- Free plan
- No
RecognisedDocumentedFree planPlatforms - Free trial apiextensionLinuxmacOSself-hostedWindows
- Free plan
- Yes
- Paid from
- 100 /user/mo
- Security analysis
- Yes
RecognisedDocumentedFree planPlatforms$8343.33/mofirst paid tier About UnderstandVisit site - LinuxmacOS
- Memory defect detection
- Yes
- Security analysis
- Yes
- Coding-rule checks
- Yes
- Concurrency analysis
- Yes
RecognisedDocumentedFree planPlatforms - LinuxWindows
- Free plan
- No
- Memory defect detection
- Yes
- Security analysis
- Yes
- Coding-rule checks
- Yes
- Concurrency analysis
- Yes
RecognisedDocumentedFree planPlatforms - Free trial LinuxmacOSWindows
- Free plan
- No
RecognisedDocumentedFree planPlatforms - WindowsmacOSLinux
- Security analysis
- Yes
RecognisedDocumentedFree planPlatforms - LinuxWebWindows
- Security analysis
- Yes
RecognisedDocumentedFree planPlatforms - LinuxmacOSWebWindows
- Free plan
- No
- Security analysis
- Yes
RecognisedDocumentedFree planPlatforms - LinuxWebWindowsRecognisedDocumentedFree planPlatforms
- WindowsmacOSLinuxRecognisedDocumentedFree planPlatforms
- WebWindowsLinux
- Free plan
- Yes
RecognisedDocumentedFree planPlatforms - WindowsLinux
- Free plan
- No
RecognisedDocumentedFree planPlatforms - LinuxWindowsRecognisedDocumentedFree planPlatforms
- LinuxmacOSRecognisedDocumentedFree planPlatforms
Is your app on this list?
Numbered spots on this list can be sponsored. They are labelled, and the editorial order and scores never change for payment.
Questions about this list
Which c and c++ static analysis tool is ranked first on Everything Xiaomi?
MATLAB Grader is ranked #1 of 25 with a score of 7.3. CBMC is second and Infer third.
How many of these have a free plan?
7 of the 25 on this page publish a free plan on their own pricing pages.
Which is the cheapest paid option?
On this page, Qodana has the lowest first paid tier we found: $5/mo.
How is this list ranked?
Ranked on what each maker publishes: documentation depth, a free tier and the platforms it runs on. Paid placements never change a rank.