Testen Sie den 'Sound Static Analyzer' an Ihrem eigenen Code
Füllen Sie das folgende Formular aus, um die Testversion für Ihre statische Analyse zu starten
Testen Sie den 'Sound Static Analyzer' an Ihrem eigenen Code
Füllen Sie das folgende Formular aus, um die Testversion für Ihre statische Analyse zu starten
Ich bin damit einverstanden, dass die von mir angegebenen personenbezogenen Daten für diese Anfrage, sowie für weitere Angebote gemäß unserer Datenschutzerklärung erfasst und verwendet werden dürfen.
Astrée ist ein ‚Sound Static Analyzer‘, der die Abwesenheit von Laufzeitfehlern und ‚Dataraces‘ überprüft.
Astrée überprüft auf Abwesenheit von Fehlern. Es meldet Fehler, die durch nicht spezifiziertes und undefiniertes Verhalten gemäß den C- und C++-Sprachstandards verursacht werden, sowie Fehler, die durch ungültiges gleichzeitiges Verhalten verursacht werden. Des Weiteren berechnet Astrée Programmeigenschaften, welche für die funktionale Sicherheit relevant sind.
Keine ‚false-positives‘ & ‚false-negatives‘
Weniger ‚false-negative‘ Ergebnisse bedeuten mehr Sicherheit, dass die Analyse keine Probleme übersehen hat. Weniger ‚false-positive‘ Ergebnisse bedeuten weniger Aufwand für die Bewertung und das Verwerfen einer falsch gemeldeten Regelverletzung (Alarm).
‚Sound‘ Daten- und Kontrollflusskopplung
Astrée berechnet Daten- und Kontrollflussberichte, die eine detaillierte Auflistung der Zugriffe auf globale und statische Variablen enthalten. Diese Auflistung ist sortiert nach Funktionen oder Variablen, sowie den Aufruf-Beziehungen (caller/callee) zwischen den Funktionen.
Gemeldete Fehlerklassen
Gleitkommaberechnungen werden von Astrée präzise und sicher behandelt. Es berücksichtigt alle möglichen Rundungsfehler.
