CBMC pricing
1 plan read from cprover.org
CBMCFree BSD 4-clause license · command-line tool Read 2 Oct 2026 · cprover.org
In short
- CBMC has a free plan (CBMC).
What the alternatives costAll alternatives →
| Tool | From | Free plan | Free trial |
|---|---|---|---|
| Qodana | $5/mo | Yes | Yes |
| Semgrep Code | $15/mo | Yes | No |
| GitHub CodeQL | $30/mo | Yes | No |
| Infer | — | Yes | No |
| Understand | $100/mo | No | Yes |
| CppDepend | — | No | Yes |
| Clang Static Analyzer | — | Yes | No |
| Flawfinder | — | Yes | No |