Polyspace Code Prover Server

Nachweis der Abwesenheit von Laufzeitfehlern in Software

Polyspace Code Prover Server ist eine fundierte statische Analyse-Engine, die die Abwesenheit von Überläufen, Division durch Null, Array-Zugriffe außerhalb der Bereichsgrenzen und bestimmten weiteren Laufzeitfehlern in C und C++ Code nachweist. Sie führt die interprozedurale Analyse aller potenziellen Kontroll- und Datenflüsse inklusive Multithread-Code durch, um jeden Vorgang als sicher, immer fehlerhaft, unerreichbar oder anfällig einzustufen. Polyspace Code Prover Server identifiziert Codesegmente, die frei von Laufzeitfehlern sind, nachweislich fehlschlagen, nicht erreichbar oder unerwiesen sind.

Polyspace Code Prover Server kann auf einem Gerät der Serverklasse ausgeführt werden und lässt sich zur automatischen Verifikation mithilfe von Tools wie Jenkins^® in Build-Systeme und kontinuierliche Integrationssysteme integrieren. Die Ergebnisse der Codeanalyse können zur Vorsortierung und Behebung auf Polyspace Access veröffentlicht werden.

Die Unterstützung von Industriestandards ist über das IEC Certification Kit (für IEC 61508 und ISO 26262) und das DO Qualification Kit (für DO-178) möglich.

Automatisierte Codeanalyse mit Polyspace Code Prover Server

Verwendung von Polyspace Code Prover-Ergebnissen und Quellcodefarben.

Nachweis der Abwesenheit kritischer Laufzeitfehler

Analysieren Sie alle Codepfade auf potenzielle Eingaben ohne Codeausführung. Identifizieren Sie Anweisungen, die unabhängig von den Laufzeitbedingungen nie Laufzeitfehlern unterliegen, und finden Sie andere Fehler, die einen Eingriff erfordern.

Dokumentation

Automatisierung und Integration in DevOps

Unterstützung moderner Softwareentwicklungsmethoden durch Integration in vorhandene DevOps-Workflows und -Tools. Polyspace^® funktioniert mit gängigen Tools für die kontinuierliche Integration wie Jenkins und Bamboo^®.

Statische Sicherheits- und DevOps-Analyse mit Polyspace (46:00)

Dokumentation

Ausführung statischer Codeanalysen auf beliebigen Plattformen

Führen Sie Polyspace Code Prover Server auf einem Automatisierungsserver vor Ort oder in der Cloud aus. Nutzen Sie MathWorks Referenzarchitekturen zur Bereitstellung auf Plattformen wie Docker, AWS^® und Azure^®.

Polyspace Code Prover Server Container auf DockerHub

Polyspace Code Prover Server Dockerfile

Dokumentation

Zertifizierungsunterstützung

Erstellen Sie Artefakte, die für den Abschluss des Zertifizierungsvorgangs für Industriestandards erforderlich sind. Zertifiziert von TÜV SÜD für die höchsten funktionalen Sicherheitsstufen gemäß IEC 61508 und ISO 26262. Unterstützt die DO-178C-Qualifikation.

Dokumentation

Vermeidung unerwünschten Softwareverhaltens

Identifizieren Sie Fehler in Logik und Programmstruktur sowie alle Codeabschnitte, die nicht über einen Ausführungspfad erreicht werden können.

Dokumentation

Analyse der Verwendung globaler Variablen

Reduzieren Sie die Zeit für das Debugging von Lese-/Schreibvorgängen mit globalen Variablen. Identifizieren Sie ungeschützte, gemeinsam genutzte und ungenutzte Variablen.

Dokumentation

Statische Anwendungssicherheitstests

Weisen Sie die Abwesenheit kritischer Sicherheitsschwachstellen wie Pufferüberläufen, Speicherzugriff und numerischen Überläufen nach. Verringern Sie den Fuzzing-Bedarf durch Codeanalyse für alle Codepfade und Eingaben ohne Codeausführung.

Cybersicherheit für Ihre kritische C und C++ Software (54:13)

Auswirkungsanalyse

Verfolgen und verifizieren Sie formal die Auswirkungen einer festgelegten globalen oder lokalen Variable auf andere Variablen oder spezifische Anweisungen. Führen Sie Signalanalysen durch, um die Anforderungen des CARB für OBD-bezogene Software zu erfüllen, die Störungsfreiheit im Sinne von ISO 26262 nachzuweisen und die Auswirkungen von Kalibrierungsparametern zu analysieren. Führen Sie im Zusammenhang mit der Softwaresicherheit Taint-Analysen und eine Nachverfolgung des Flusses vertraulicher Daten durch.

Produktressourcen:

Dokumentation Beispiele Videos Technische Artikel Anforderungen Versionshinweise

Polyspace-Produktfamilie

Polyspace-Produkte machen kritischen Code sicher und geschützt, indem die Softwarequalität während des gesamten Entwicklungslebenszyklus getestet und überwacht wird.