Analyse-Tools Erkennt komplexe Programmfehler
Anbieter zum Thema
CodeSonar von GrammaTech ist eine statisches Analyse-Tool für sicherheitskritische Anwendungen und wird von führenden Automobilherstellern eingesetzt. Es führt eine, das gesamte Programm abdeckende, interprozedurale Analyse von C/C++ Code durch und erkennt komplexe Programmierfehler, die beispielsweise zu Systemabstürzen, fehlerhafter Speicherverwaltung, Fehlern bei nebenläufigen Prozessen. Unternehmen im nicht-sicherheitskritischen Bereich setzten ebenfalls CodeSonar ein, um die Zuverlässigkeit und Sicherheit ihrer Software zu erhöhen.
(ID:35144530)