No. 20 of 25 ·C and C++ Static Analysis Tools

Astrée

Windows · Linux

Freedom report

One barScore 5.1

Free tierNo free tier on record
Open codeNo open-source code on record
Runs widely2 of 6 device platforms
DocumentedPlans, terms and facts published

Astrée is ranked #20 of 25 in c and c++ static analysis tools on Freedom251. It runs on Linux, Windows. There is no free plan.

Compared on c and c++ static analysis tools

Free plan: No
Memory defect detection: Yes
Security analysis: Yes
Coding-rule checks: Yes
Concurrency analysis: Yes
MISRA support: Yes
Taint analysis: Yes

Best Astrée alternatives

See all 20

Two bars CBMC Free tier No. 1Free6.6 Two bars Infer Free tier No. 2Free6.6 Two bars MATLAB Grader Free tier No. 3Free6.6 Two bars Qodana Free tier No. 4$5/mo6.6 Two bars Semgrep Code Free tier No. 5$30/mo6.6 Two bars Clang Static Analyzer Free tier No. 6Free6.5

The record

Purpose: Astrée analyzes C code to identify possible run-time errors.
Analysis input: Astrée analyzes preprocessed C code and includes a preprocessor to handle that step if desired.
Analysis setup: Users can choose an analysis entry point, such as main, and Astrée analyzes code reachable from it.
Client and server: Astrée has a client for setting up analyses and reviewing results, and a server where analyses run.
Automation: The client provides a graphical interface and batch mode for automation and integration.
Configuration: Users can supply wrapper code and separate Astrée Annotation Language information to describe the execution environment or control analysis precision.
Results: Astrée reports possible run-time errors with their type and source-code location, and can classify an alarm as a definite run-time error when it proves it must occur in a given context.
C++ analysis: Release 24.10 says Astrée can report data races and deadlocks in C++ and mixed C/C++ analysis mode.
SARIF export: Release 24.10 added export of analysis findings in SARIF format.
Transport security: Release 24.10 states that the tools use OpenSSL on all platforms and describes a TLS-encrypted connection between the client and License Manager introduced in release 23.10.
Integration: Release 24.10 notes that the Astrée Jenkins plugin was updated.
License limits: The Astrée workflow page says the license file determines how many clients may access the server concurrently and how many analyses may run in parallel.
Support: The release notes direct users to [email protected] for details, examples, symptoms, and workarounds for listed known issues.
Developer and distributor: The release notes state that Astrée is developed and distributed by AbsInt under license from CNRS and ENS.

Where it ranks on Freedom251

Best C and C++ Static Analysis Tools in 2026#20 of 25

Is Astrée yours?

Claim it for free: prove the domain, then correct facts, plans and screenshots. An editor reviews every change.

Claim it free Promote Astrée

Sources

absint.com/astree/workflow_de.htm· checked 30 Sept 2026
absint.com/releasenotes/astree/24.10/· checked 30 Sept 2026
absint.com/flyers/Astree.pdf· checked 30 Sept 2026
absint.com/factsheets/factsheet_astree_c_web.pdf· checked 30 Sept 2026
absint.com/astree/· checked 28 Sept 2026