Statische Analyse-Tools zur Erfüllung der ISO 26262
7. September 2012, 6 Bilder
Bild 6. Warnmeldung von CodeSonar bei einem Pufferüberlauf-Defekt. Ein zweiter, von CodeSonar separat gemeldeter Fehler besteht darin, dass der von malloc() ausgegebene Wert nicht geprüft wird.
