Astrée icon
Astrée icon

Astrée

Astrée statically analyzes whether the programming language is used correctly and whether there can be any runtime errors during any execution in any environment. This covers any use of C or C++ that, according to the selected language standard, has undefined behavior or...

Astrée comes with comprehensive documentation and a variety of real-world examples.

Cost / License

  • Pay once
  • Proprietary

Platforms

  • Windows
  • Linux  64-bit
Sample analysis results, showing a variety of different errors. A quick overview is offered in tabular and chart form, the errors are classified by severity, and the overall result is summed up by a traffic-lights symbol.
Code parts that cause the errors are highlighted in the built-in text editor and can be fixed right there.
+4
The call graph browser provides an overview of the alarm distribution in the analyzed software.
Astrée alternatives  
0likes
6alternatives
0articles

Features

  1.  Static Code Analysis

 Tags

Astrée News & Activities

Highlights All activities

Recent activities

Astrée information

  • Developed by

    DE flagAbsInt

  • Licensing

    Proprietary and Commercial product.

  • Pricing

    One time purchase (perpetual license).

  • Alternatives

    6 alternatives listed

  • Badge

    Get an embeddable badge for Astrée

  • Supported Languages

    • English
Astrée was added to AlternativeTo by jtsak on and this page was last updated .
No comments or reviews, maybe you want to be first?

Official Links

What is Astrée?

Astrée statically analyzes whether the programming language is used correctly and whether there can be any runtime errors during any execution in any environment. This covers any use of C or C++ that, according to the selected language standard, has undefined behavior or violates hardware-specific aspects.

Additionally, Astrée reports invalid concurrent behavior, violations of user-specified programming guidelines, and various program properties relevant for functional safety.