Analysis tools logo
18

Astrée

Astrée automatically proves the absence of runtime errors and invalid con­current behavior in C/C++ applications. It is sound for floating-point computations, very fast, and exceptionally precise. The analyzer also checks for MISRA/CERT/CWE/Adaptive Autosar coding rules and supports qualification for ISO 26262, DO-178C level A, and other safety standards. Jenkins and Eclipse plugins are available.

Workflow integration:
  • Type: cli
    cli

Official Astrée Homepage

proprietary

Maintained

Free/OSS Alterantives

  • 4Unibeautify
  • 1todocheck
  • 0TscanCode
  • 0Undebt
  • 0vera++