Astrée

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

https://www.absint.com/astree/index.htm

Proprietary

Maintained