Astrée

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

Official Astrée Homepage

proprietary

Maintained