Best Astrée Alternatives in 2026
Updated
20 apps from c and c++ static analysis tools ranked against Astrée on the same published basis.
- 1Astrée vs CBMC
- 2Astrée vs Infer
- 3Astrée vs MATLAB Grader
- 4Astrée vs Qodana
- 5Astrée vs Semgrep Code
- 6Astrée vs Clang Static Analyzer
- 7Astrée vs Flawfinder
- 8Astrée vs Parasoft SOAtest
- 9Astrée vs CodeChecker
- 10Astrée vs Frama-C
- 11Astrée vs PVS-Studio
- 12Astrée vs TrustInSoft Analyzer
- 13Astrée vs Understand
- 14Astrée vs Squish
- 15Astrée vs LDRA Tool Suite
- 16Astrée vs Perforce QAC (formerly Helix QAC)
- 17Astrée vs CPAchecker
- 18Astrée vs Klocwork
- 19Astrée vs Ultimate Automizer
- 21Astrée vs CppDepend
Astrée alternatives compared
| # | App | Score | Free plan | From | Runs on |
|---|---|---|---|---|---|
| 1 | CBMC | 6.6 | Free plan | Free | Linux, Mac, Windows |
| 2 | Infer | 6.6 | Free plan | Free | Linux, Mac, self-hosted, Web |
| 3 | MATLAB Grader | 6.6 | Free plan | Free | Linux, Mac, Web, Windows |
| 4 | Qodana | 6.6 | Free plan | $5/mo | API, Linux, Mac, self-hosted, Web, Windows |
| 5 | Semgrep Code | 6.6 | Free plan | $30/mo | API, Browser, Linux, Mac, self-hosted, Web, Windows |
| 6 | Clang Static Analyzer | 6.5 | Free plan | Free | Linux, Mac, Windows |
| 7 | Flawfinder | 6.5 | Free plan | Free | Linux, Mac, self-hosted, Windows |
| 8 | Parasoft SOAtest | 5.7 | No | — | Android, API, iOS, Linux, Mac, self-hosted, Windows |
| 9 | CodeChecker | 5.6 | No | — | API, Browser, Linux, Mac, self-hosted, Web, Windows |
| 10 | Frama-C | 5.6 | No | — | Linux, Mac, Windows |
| 11 | PVS-Studio | 5.5 | No | — | Linux, Mac, Windows |
| 12 | TrustInSoft Analyzer | 5.5 | No | — | Linux, Mac |
| 13 | Understand | 5.5 | No | $8343.33/mo | API, Browser, Linux, Mac, self-hosted, Windows |
| 14 | Squish | 5.4 | No | — | Android, API, iOS, Linux, Mac, self-hosted, Web, Windows |
| 15 | LDRA Tool Suite | 5.3 | No | — | Windows, Mac, Linux |
| 16 | Perforce QAC (formerly Helix QAC) | 5.3 | No | — | Linux, Web, Windows |
| 17 | CPAchecker | 5.2 | No | — | Windows, Mac, Linux |
| 18 | Klocwork | 5.2 | No | — | Linux, Web, Windows |
| 19 | Ultimate Automizer | 5.2 | No | — | Web, Windows, Linux |
| 21 | CppDepend | 5.1 | No | — | Linux, Mac, Windows |
Make your app an alternative to Astrée
See the priceThe sponsored alternative slot on this page is labelled Sponsored.
Questions about Astrée alternatives
What is the best alternative to Astrée?
CBMC, number 1 in c and c++ static analysis tools with a score of 6.6 out of 10. The others here: Infer, MATLAB Grader, Qodana and 16 more.
What is the best free alternative to Astrée?
CBMC is the best-ranked alternative with a free plan. 7 of the 20 alternatives here publish a free plan on their own pricing pages.
How are these alternatives ranked?
Ranked free-and-open first: a usable free tier and open-source code, then the platforms it runs on and its documentation.