GrammaTech: Visuelle Sicherheitsanalyse für Embedded Software
Innovative Visual Taint Analyse erkennt gefährliche Datenströme im Code
GrammaTech auf der embedded world 2014: CodeSonar Quellcode-Analysetool
Automatisierte statische Analyse für Umgebungen mit Nulltoleranz für Fehler
