Astrée

Astrée is ranked #16 of 25 in c and c++ static analysis tools on The Geeks Club. 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 12

7.8 Qodana Free plan

7.4 MATLAB Grader Free plan

7.4 Parasoft SOAtest Free trial

7.3 Infer Free plan

7.3 Semgrep Code Free plan

7.1 Squish Free trial

Astrée

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.

Visit site Alternatives

Where it ranks on The Geeks Club

Best C and C++ Static Analysis Tools in 2026#16 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