For vendors
AdvertiseTop spots, featured rows, home sponsor Get listedAdd a product we don't cover yet Claim a listingFree: verify the domain, then correct your page Vendor dashboardNumbers, orders and placements
Mobile US PressList your app
Vendor dashboard

Best Astrée Alternatives in 2026

12 apps from c and c++ static analysis tools ranked against Astrée on the same published basis.

  1. 1
    Clang Static Analyzer Free plan LinuxMacWin Free7.8
    Astrée vs Clang Static Analyzer
  2. 2
    Flawfinder Free plan LinuxMacself-hostedWin Free7.6
    Astrée vs Flawfinder
  3. 3
    Infer Free plan LinuxMacself-hostedWeb Free7.4
    Astrée vs Infer
  4. 4
    GitHub CodeQL Free plan extensionLinuxMacself-hostedWeb $30/mo7.3
    Astrée vs GitHub CodeQL
  5. 5
    Frama-C LinuxMacWin 7.0
    Astrée vs Frama-C
  6. 6
    CBMC Free plan LinuxMacWin Free7.0
    Astrée vs CBMC
  7. 7
    Perforce QAC (formerly Helix QAC) LinuxWebWin 6.9
    Astrée vs Perforce QAC (formerly Helix QAC)
  8. 8
    Polyspace LinuxMacWebWin 6.8
    Astrée vs Polyspace
  9. 9
    PVS-Studio Free trial LinuxMacWin 6.8
    Astrée vs PVS-Studio
  10. 10
    Klocwork LinuxWebWin 6.7
    Astrée vs Klocwork
  11. 11
    CodeChecker apiextensionLinuxMacself-hosted 6.5
    Astrée vs CodeChecker
  12. 12
    Semgrep Code Free plan apiextensionLinuxMacself-hosted $30/mo6.5
    Astrée vs Semgrep Code
Make your app an alternative to Astrée

The sponsored alternative slot on this page is labelled and never changes the order above.

See the price