Astrée-Screenshots

Astrée-Screenshot

Astrée beinhaltet ein umfangreiches Benutzerhandbuch sowie viele Beispielprojekte mit typischen Problemstellungen.


Astrée-Screenshot

Beim Anlegen eines neuen Projektes hilft Ihnen Astrée, passende Einstellungen und Optionen zu wählen.


Astrée-Screenshot

Astrée arbeitet auf präprozessiertem C-Code. Auf Wunsch spart Ihnen der eingebaute Präprozessor diesen Arbeitsschritt.


Astrée-Screenshot

Analyseergebnisse: mehrere Laufzeitfehler wurden gefunden und können interaktiv erkundet, kommentiert oder gleich behoben werden.


Astrée-Screenshot

Im integrierten Texteditor werden die Stellen hervorgehoben, die zu den Laufzeitfehlern führen.


Astrée-Screenshot

Der Aufrufgraph bietet eine gute Übersicht über die Alarmverteilung in der analysierten Software.


Astrée-Screenshot

Mit dem integrierten RuleChecker können Sie die Einhaltung von MISRA-, CWE-, ISO/IEC- und SEI-CERT-Regeln überprüfen und vielfältige Code-Metriken berechnen (z. B. Comment-Dichte oder zyklomatische Komplexität).