Astrée
Astrée: A formal analyzer for safety-critical C/C++, with deep defect and concurrency checks. Ranked #21 of 25 in C and C++ Static Analysis Tools by our editors (5.5/10); pricing: Pricing on request; best for safety-critical teams needing concurrency and MISRA checks.
At a glance
- Editor score5.5 / 10
- PricingPricing on request
- Best forSafety-critical teams needing concurrency and MISRA checks
- Free planNo
- Security analysisYes
- Founded1998 · Saarbrücken, Germany
- Facts checked23 Sep 2026
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
Our verdict on Astrée
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.
Astrée pricing
Astrée fact sheet
| Free plan | No |
|---|---|
| Paid from | Not verified |
| Memory defect detection | Yes |
| Security analysis | Yes |
| Coding-rule checks | Yes |
| Concurrency analysis | Yes |
| MISRA support | Yes |
| Taint analysis | Yes |
| Deployment | Self-hosted, Desktop |
| Platforms | Windows, Linux |
| Support | Email, Docs |
| Built for | Mid-market, Enterprise (editorial estimate) |
| Integrations | 5 integrations: dSPACE TargetLink, Jenkins, Eclipse, µVision, MATLAB |
| Pricing | Pricing on request |
| Website | absint.com |
| Facts checked | 23 Sep 2026 |
Astrée integrations
Astrée lists 5 integrations on its own site.
- dSPACE TargetLink
- Jenkins
- Eclipse
- µVision
- MATLAB
Alternatives to Astrée
- PolyspaceFormal C/C++ verification with standards, security, IDE, and CI coverage for embedded teams.9.0
- Perforce QAC (formerly Helix QAC)C, C++, and Rust analysis with standards coverage and CI compliance workflows.8.2
- KlocworkBroad C and C++ analysis with differential scans, configurable gates, and custom checks.7.7
Used Astrée? Be the first to review it
The editor score above is our own research. What this page doesn't have yet is a reader's view — what you used Astrée for, what worked and what didn't. No stars are seeded and no review is paid for; an editor reads every one before it appears.
Write a reviewTwo minutes · verified accounts only · read by an editor before it appears
Featured on iTechGuides
Astrée is listed in our C and C++ Static Analysis Tools directory. Add the badge to your site — it links back to this page.
<a href="https://www.itechguides.com/products/astr-e/"><img src="https://www.itechguides.com/best/badge/astr-e.svg" alt="Featured on iTechGuides" width="230" height="46"></a>
Reviewed by iTechGuides Editors · Editorial team · Updated Sep 2026
Advertiser disclosure: iTechGuides is reader-supported. We may earn a commission when you click some links. It never changes a score or a verdict. How we rank.
Last updated · How we research and update