Polyspace-Produktfamilie

 

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.