Browsing Tag

Static

4 posts
Astrée Static Analyzer for C and C++ thumbnail

Astrée Static Analyzer for C and C++

Astrée is a static code analyzer that proves the absence of run­time errors and invalid con­current behavior in safety-critical software written or gen­er­ated in C or C++. Astrée primarily targets embedded applications as found in aero­nautics, earth trans­por­tation, medical instrumen­tation, nuclear energy, and space flight. Never­theless, it can just as well be used to analyze any structured C/C++ programs, handwritten or
Read More
Index Of News