Embedded IDE tools Compilers and Debuggers
Sound static analysis tool to prove the absence of errors
Astrée is a sound parametric static analyzer that proves the absence of runtime errors and data races.
Astrée proves the absence of errors. It reports program defects caused by unspecified and undefined behaviors according to the C and C++ language standards, program defects caused by invalid concurrent behavior, and computes program properties relevant for functional safety.