Freedom251 › Astrée

Instead of Astrée

Astrée alternatives

Apps that do what Astrée does, from the c and c++ static analysis tools list, the ones you can start free with first.

1. 1

   Flawfinder

   Free plan LinuxMacSelf-hosted+1
   7.5 Free plan Visit site
2. 2

   GitHub CodeQL

   Free plan ExtensionLinuxMac+3
   7.4 Free plan · paid from $30/mo Visit site
3. 3 C

   CodeChecker

   Free plan APIExtensionLinux+4
   7.3 Open source Visit site
4. 4 I

   Infer

   Free plan LinuxMacSelf-hosted+1
   7.3 Free plan Visit site
5. 5

   Qodana

   Free plan APIExtensionLinux+4
   7.1 Free plan · 30-day trial Visit site
6. 6 F

   Frama-C

   Free plan LinuxMacWindows
   7.0 Free plan Visit site
7. 7

   PVS-Studio

   Free plan LinuxMacWindows
   7.0 Pricing on request · 7-day trial Visit site
8. 8

   Understand

   Free plan APIExtensionLinux+3
   6.9 Free plan · paid from $100/user/mo (annual) Visit site
9. 9 U

   Ultimate Automizer

   Free plan LinuxWebWindows
   6.5 Free plan Visit site
10. 10

    CppDepend

    Free trial LinuxMacWindows
    6.3 From $599/user · 14-day trial Visit site
11. 11

    LDRA Tool Suite

    Free trial LinuxMacSelf-hosted+1
    6.1 Pricing on request Visit site
12. 12 I

    Imagix 4D

    Free trial LinuxWindows
    5.9 Pricing on request · 15-day trial Visit site
13. 13 F

    Fortify Static Code Analyzer

    Paid LinuxSelf-hostedWindows
    5.4 Pricing on request Visit site
14. 14 A

    Axivion Suite

    Paid LinuxMacWeb+1
    5.2 Pricing on request Visit site
15. 15 T

    TrustInSoft Analyzer

    Paid LinuxMac
    5.1 Pricing on request Visit site
16. 16 S

    SeaHorn

    Paid LinuxMacSelf-hosted
    5.0 Open source Visit site
17. 17

    Klocwork

    Paid LinuxWebWindows
    4.6 Pricing on request Visit site
18. 18

    Polyspace

    Paid LinuxMacWeb+1
    4.6 Pricing on request · 30-day trial Visit site
19. 19

    Perforce QAC (formerly Helix QAC)

    Paid LinuxWebWindows
    4.5 Pricing on request Visit site
20. 20 P

    Parasoft C/C++test

    Paid LinuxWindows
    4.2 Visit site

← Back to Astrée The whole c and c++ static analysis tools list