embedded world 2011: Highlights der Halle 11
26. Januar 2011, 12 Bilder
Auf der embedded world stellt GrammaTech (Halle/Stand: 11/335) »CodeSonar« vor, ein Werkzeug zur statischen Code-Analyse. Damit sollen sich ernsthafte Defekte und Schwachstellen in einer Software identifizieren lassen. Dazu analysiert und führt das Tool den Code symbolisch aus und erfasst kritische Probleme wie Pufferüberläufe, Speicherlecks, Nullzeiger-Dereferenzierungen und das Verwenden nicht initialisierter Variablen. Dafür sind keine Testfälle nötig.