Astrée
5.8#14 in c and c++ static analysis toolsLinuxWindows
Visit
| Fact | Astrée | Qodana |
|---|---|---|
| Headquarters | Saarbrücken, Germany | Amsterdam, Netherlands |
| Purpose | Astrée is a sound static analyzer designed to prove the absence of runtime errors and data races in C/C++ programs. | Qodana runs static code analysis from the IDE through CI to detect code smells, duplicates, complexity, vulnerabilities, and license issues. |
No prices published.
It suits developers and safety-focused teams analyzing handwritten or generated C and mixed C/C++ code. Linux and Windows users can integrate analyses into automated workflows.
Qodana suits development teams that want code analysis and pipeline checks across supported IDEs and CI systems. Organizations that need the service inside their own infrastructure can consider Self-Hosted.