Astrée Alternatives

Astrée is described as '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' and is an app. There are four alternatives to Astrée for a variety of platforms, including Windows, Linux, Web-based, Self-Hosted and Visual Studio Code apps. The best Astrée alternative is SonarQube, which is both free and Open Source. Other great apps like Astrée are Flawfinder, Qodana and Parasoft C/C++test.

More about Astrée
Copy a direct link to this comment to your clipboard
Astrée alternatives page was last updated

Alternatives list

  1. SonarQube icon

    SonarQube

     27 likes
    Copy a direct link to this comment to your clipboard

    SonarQube is an open source quality management platform, dedicated to continuously analyze and measure source code quality, from the portfolio to the method. Static code analysis is available in the "Community Edition" (free / open source) for:

    28 SonarQube alternatives

    Cost / License

    • Freemium (Subscription)
    • Open Source

    Platforms

    • Mac
    • Windows
    • Linux
    • Online
    SonarQube screenshot 1
     

    • SonarQube is the most popular Web-based, Windows, Mac & Linux alternative to Astrée.

    • SonarQube is the most popular Open Source & free alternative to Astrée.

    • SonarQube is Freemium and Open SourceAstrée is Paid and Proprietary
  2. Flawfinder icon

    Flawfinder

     3 likes
    Copy a direct link to this comment to your clipboard

    Flawfinder examines C/C++ source code and reports possible security weaknesses ("flaws'') sorted by risk level. It's very useful for quickly finding and removing at least some potential security problems before a program is widely released to the public.

    Cost / License

    • Free
    • Open Source

    Platforms

    • Windows
    • Linux
     
  4. Qodana icon

    Qodana

     Like
    Copy a direct link to this comment to your clipboard

    Qodana is a smart code quality platform by JetBrains best suited for working in teams. It can analyze code written in 60+ languages including Java, JavaScript, TypeScript, PHP, Kotlin, Python, Go, and C#.

    28 Qodana alternatives

    Cost / License

    • Paid
    • Proprietary

    Platforms

    • Visual Studio Code
    • Online
    • Self-Hosted
     

    • Qodana is the most popular Self-Hosted alternative to Astrée.

    • Qodana is the most popular commercial alternative to Astrée.

    • Qodana is Paid and ProprietaryAstrée is also Paid and Proprietary
  5. Parasoft C/C++test icon

    Parasoft C/C++test

     Like
    Copy a direct link to this comment to your clipboard

    Parasoft’s C/C++test is the fully-integrated software testing solution for embedded safety-critical industries. Its automated software testing capabilities are also made for today’s high-velocity Agile DevOps environments.

    Cost / License

    • Pay once
    • Proprietary

    Platforms

    • Windows
    • Linux
     
4 of 4 Astrée alternatives