Goanna Studio und Goanna Central

Goanna Studio und Goanna Central führen fortgeschrittene statische Code-Analyse für in C/C++ geschriebene Programme durch. Goanna Studio arbeitet mit VisualStudio und Eclipse/CDT zusammen; Goanna Central ist als Kommandozeilenversion für den Build-Prozess gedacht.
Goanna nutzt Modellprüfung, interprozedurale Analyse und abstrakte Datenwertverfolgung, um durch tiefgreifende statische Analyse Fehler in Software aufzuzeigen.

Goanna kann mehrere hundert Prüfungen durchführen.

Goanna prüft auch Kodierregeln (MISRA-C:2004, MISRA-C++:2008, CERT).

Goanna prüft auch eingebettete Software.

Möchten Sie Goanna evaluieren? Dann senden Sie bitte Ihre Kontaktdaten und die Angabe, für welche Variante von Goanna sie sich interessieren, an sales(at)hitex.de.