Best Astrée Alternatives in 2026
Updated
20 tools from c and c++ static analysis tools ranked against Astrée on the same published basis.
- 1Astrée vs Qodana
- 2Astrée vs Parasoft SOAtest
- 3Astrée vs MATLAB Grader
- 4Astrée vs Squish
- 5Astrée vs Infer
- 6Astrée vs Semgrep Code
- 7Astrée vs CBMC
- 8Astrée vs PVS-Studio
- 9Astrée vs Understand
- 10Astrée vs Clang Static Analyzer
- 11Astrée vs Flawfinder
- 12Astrée vs CodeChecker
- 13Astrée vs CppDepend
- 14Astrée vs Frama-C
- 16Astrée vs TrustInSoft Analyzer
- 17Astrée vs Polyspace
- 18Astrée vs LDRA Tool Suite
- 19Astrée vs Perforce QAC (formerly Helix QAC)
- 20Astrée vs Klocwork
- 21Astrée vs CPAchecker
Astrée alternatives compared
| # | Tool | Score | Free plan | From | Runs on |
|---|---|---|---|---|---|
| 1 | Qodana | 7.7 | Free plan | $5/mo | API, Linux, Mac, self-hosted, Web, Windows |
| 2 | Parasoft SOAtest | 7.6 | No | — | Android, API, iOS, Linux, Mac, self-hosted, Windows |
| 3 | MATLAB Grader | 7.5 | Free plan | Free | Linux, Mac, Web, Windows |
| 4 | Squish | 7.5 | No | — | Android, API, iOS, Linux, Mac, self-hosted, Web, Windows |
| 5 | Infer | 7.4 | Free plan | Free | Linux, Mac, self-hosted, Web |
| 6 | Semgrep Code | 7.4 | Free plan | $30/mo | API, Browser, Linux, Mac, self-hosted, Web, Windows |
| 7 | CBMC | 7.2 | Free plan | Free | Linux, Mac, Windows |
| 8 | PVS-Studio | 7.1 | No | — | Linux, Mac, Windows |
| 9 | Understand | 7.1 | No | $8343.33/mo | API, Browser, Linux, Mac, self-hosted, Windows |
| 10 | Clang Static Analyzer | 7.0 | Free plan | Free | Linux, Mac, Windows |
| 11 | Flawfinder | 7.0 | Free plan | Free | Linux, Mac, self-hosted, Windows |
| 12 | CodeChecker | 6.9 | No | — | API, Browser, Linux, Mac, self-hosted, Web, Windows |
| 13 | CppDepend | 6.9 | No | — | Linux, Mac, Windows |
| 14 | Frama-C | 6.8 | No | — | Linux, Mac, Windows |
| 16 | TrustInSoft Analyzer | 6.6 | No | — | Linux, Mac |
| 17 | Polyspace | 6.0 | No | — | Linux, Mac, Web, Windows |
| 18 | LDRA Tool Suite | 5.9 | No | — | Windows, Mac, Linux |
| 19 | Perforce QAC (formerly Helix QAC) | 5.9 | No | — | Linux, Web, Windows |
| 20 | Klocwork | 5.8 | No | — | Linux, Web, Windows |
| 21 | CPAchecker | 5.6 | No | — | Windows, Mac, Linux |
Make your tool 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?
Qodana, number 1 in c and c++ static analysis tools with a score of 7.7 out of 10. The others here: Parasoft SOAtest, MATLAB Grader, Squish and 16 more.
What is the best free alternative to Astrée?
Qodana 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 on what each maker publishes, the fullest spec sheet first: how deeply the product is documented, the platforms it runs on, a free tier or trial to test it, and its standing.