Polyspace
Sicherheit des kritischen Codes gewährleisten
Die Produkte zur statischen Codeanalyse in Polyspace® basieren auf formalen Methoden, die die Abwesenheit kritischer Laufzeitfehler bei allen möglichen Steuerungs- und Datenflüssen beweisen. Geprüft werden Codierungsregeln, Sicherheitsrisiken, Code-Metriken und hunderte weiterer Fehlerklassen.
Polyspace Code Prover
Die Abwesenheit von kritischen Laufzeitfehlern formal nachweisen, ohne Code auszuführen
Polyspace Bug Finder
Codierungsregeln, Security-Standards, Code-Metriken prüfen und Bugs finden
Polyspace for Ada
Bestätigung der Abwesenheit von Laufzeitfehlern im Quellcode
Automatisierte statische Codeanalyse mittels formaler Methoden für C/C++ und Ada
Qualität
Finden Sie Bugs und beweisen Sie formal die Abwesenheit von kritischen Laufzeitfehlern – ohne Testfälle und Code-Ausführung.
Sicherheit
Stellen Sie die Konformität mit Sicherheitsstandards wie MISRA, ISO 26262, IEC 61508, DO-178 und FDA-Vorschriften sicher und dokumentieren Sie sie.
Sicherheit
Überprüfen Sie die Konformität mit Security-Standards wie CWE, CERT-C, ISO/IEC 17961 und weiteren.