Statische Analyse-Tools zur Erfüllung der ISO 26262

Bild 1. Die GMOD-Analyse von CodeSurfer liefert eine Aufstellung aller nicht-lokalen Variablen, die von einer Funktion modifiziert oder bedingt modifiziert werden.