Analysis tools logo
12

Astrée

Sound static analyzer based on abstract interpretation for C/C++, detecting memory, type and concurrency defects, and MISRA violations.

Workflow integration:
  • Type: cli
    cli

Official Astrée Homepage

proprietary

Maintained