Astrée review
A formal analyzer for safety-critical C/C++, with deep defect and concurrency checks.
Reviewed by iTechGuides Editors · Editorial team · Updated Nov 2026
Astrée is a sound static analyzer for C and C++ software, aimed at teams working on safety-critical applications such as aerospace, automotive, medical and nuclear systems. Its abstract-interpretation approach analyzes program executions to identify runtime defects, including invalid pointer use, out-of-bounds access, arithmetic errors and uninitialized reads. It also examines concurrency issues, so it is a fit for organizations that need evidence-oriented defect analysis rather than a general-purpose code-quality dashboard.
The analysis breadth is a central strength: Astrée covers memory and runtime defects alongside data races, inconsistent locking and deadlocks. Configurable taint analysis adds cybersecurity checks, while RuleChecker enforces MISRA, CERT and CWE coding rules. Reports for control flow, data flow and call graphs include interactive visualization. OS-aware analysis covers ARINC 653, OSEK and AUTOSAR, which makes the product especially relevant to embedded safety software. Teams looking for broad language coverage beyond C and C++ should consider a different tool.
Astrée supports Windows and Linux, and can be deployed as desktop or self-hosted software. Integration options include dSPACE TargetLink, Jenkins, Eclipse, µVision and MATLAB, with batch execution for CI/CD and DevOps workflows. According to AbsInt's published information, licensing is handled directly rather than through a public price list; a free-trial option is advertised. Buyers should contact the vendor to assess licensing fit. Choose Astrée when formal, safety-oriented analysis and concurrency checks are priorities; it is less suited to teams seeking a low-friction self-service purchase or AI-assisted analysis.
Questions about Astrée
What does Astrée run on? Windows and Linux. It runs self-hosted and as a desktop app.
What does Astrée integrate with? 5 integrations: dSPACE TargetLink, Jenkins, Eclipse, µVision and MATLAB.
Who is Astrée built for? Mid-market companies and enterprises (our editorial estimate).
Astrée pros and cons
- Where it wins
- Detects pointer, bounds, arithmetic and initialization defects
- Checks for data races, inconsistent locking and deadlocks
- Supports MISRA, CERT and CWE rules plus safety-oriented OS analysis
- Where it doesn't
- Pricing requires contacting AbsInt
- Focused on C and C++ safety-critical software
- No AI features
Astrée fact sheet, pricing and score →
Advertiser disclosure: iTechGuides is reader-supported. Vendors can pay for top positions in our rankings and for a place on other products' pages, and we may earn a commission when you click some links. Bought places stand at the number bought; this page and our disclosure say so. Paying vendors may get a fuller, more detailed review from our editors, and that review can change their score. How we rank.
Last updated · How we research and update