Astrée icon
Astrée icon

Astrée

 Like

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.

License model

Country of Origin

  • DE flagGermany
  • European Union flagEU

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  
  No rating
0likes
0comments
4alternatives
0news articles

Features

Suggest and vote on features
  1.  Static Code Analysis

 Tags

  • code-analyzer

Astrée News & Activities

Highlights All activities

Recent activities

Show all activities

Astrée information

  • Developed by

    DE flagAbsInt

  • Licensing

    Proprietary and Commercial product.

  • Pricing

    One time purchase (perpetual license) that costs $0.

  • Alternatives

    4 alternatives listed

  • Supported Languages

    • English

Our users have written 0 comments and reviews about Astrée, and it has gotten 0 likes

Astrée was added to AlternativeTo by jtsak on Jul 10, 2024 and this page was last updated Jul 10, 2024.
No comments or reviews, maybe you want to be first?
Post comment/review

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.

Official Links