Tag: cert

So helfen statische Analysetools bei fehlenden und unpräzisen Regeln

In der Entwicklung sicherheitskritischer Embedded-Systeme prüfen Tools für die statische Codeanalyse, ob der Code den vorgegebenen Regelwerken entspricht. Selten sind alle Regeln automatisch prüfbar. Doch auch in diesen Fällen können statische Analysewerkzeuge gewinnbringend eingesetzt werden.