Astrée beinhaltet ein umfangreiches Benutzerhandbuch sowie viele Beispielprojekte mit typischen Problemstellungen.
Beim Anlegen eines neuen Projektes hilft Ihnen Astrée, passende Einstellungen und Optionen zu wählen.
Astrée arbeitet auf präprozessiertem C-Code. Auf Wunsch spart Ihnen der eingebaute Präprozessor diesen Arbeitsschritt.
Analyseergebnisse: mehrere Laufzeitfehler wurden gefunden und können interaktiv erkundet, kommentiert oder gleich behoben werden.
Im integrierten Texteditor werden die Stellen hervorgehoben, die zu den Laufzeitfehlern führen.
Der Aufrufgraph bietet eine gute Übersicht über die Alarmverteilung in der analysierten Software.
Mit dem integrierten RuleChecker können Sie die Einhaltung von MISRA-, CWE-, ISO/IEC-, SEI-CERT- und AUTOSAR-Regeln überprüfen und vielfältige Code-Metriken berechnen (z. B. Comment-Dichte oder zyklomatische Komplexität).
