Polyspace-Produktfamilie

 

Polyspace

Sicherheit des kritischen Codes gewährleisten

Polyspace® static code analysis products use formal methods to prove the absence of critical run-time errors under all possible control flows and data flows. They include checkers for coding rules, security vulnerabilities, code metrics, and hundreds of additional classes of bugs.

Polyspace Access

Identify coding defects, review static analysis results, and monitor software quality metrics

Polyspace Bug Finder

Check coding rules, security standards, code metrics, and find bugs

Polyspace Bug Finder Server

Identify software defects via static analyses running on server computers

Polyspace Code Prover

Formally prove the absence of critical run-time errors without executing code

Polyspace Code Prover Server

Prove the absence of run-time errors in software

Polyspace Client for Ada

Prove the absence of run-time errors in source code

Polyspace Server for Ada

Perform code verification on computer clusters and publish metrics

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

MATLAB Desktop

Automatisierte statische Codeanalyse mittels formaler Methoden für C/C++ und Ada

Einsatz in Produktionssystemen

Qualität

Finden Sie Bugs und beweisen Sie formal die Abwesenheit von kritischen Laufzeitfehlern – ohne Testfälle und Code-Ausführung.

Einsatz in Produktionssystemen

Sicherheit

Stellen Sie die Konformität mit Sicherheitsstandards wie MISRA, ISO 26262, IEC 61508, DO-178 und FDA-Vorschriften sicher und dokumentieren Sie sie.

Einsatz in Produktionssystemen

Sicherheit

Überprüfen Sie die Konformität mit Security-Standards wie CWE, CERT-C, ISO/IEC 17961 und weiteren.

Panel Navigation

Volvo Cars

Mit Polyspace können wir die Softwaresicherheit und -qualität gewährleisten, indem wir kritische Laufzeitfehler noch vor jeder Codezusammenführung (Merge) identifizieren und beheben.

Panel Navigation

Alenia Aermacchi

Bei der statischen Codeanalyse in Polyspace-Tools wird der Code in Hinblick auf Laufzeitfehler überprüft, die Einhaltung von MISRA-Coding-Standards wird sichergestellt und es werden Artefakte für die DO-178-Zertifizierung erstellt.

Panel Navigation

Miracor

Polyspace unterstützt Miracor dabei, die Qualität und Fehlerfreiheit gegenüber Aufsichtsbehörden, einschließlich der US Food and Drug Administration (FDA), zu beweisen, um zu belegen, dass unser Gerät sicher ist.