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
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.
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®.
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®.
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.
Vermeidung unerwünschten Softwareverhaltens
Identifizieren Sie Fehler in Logik und Programmstruktur sowie alle Codeabschnitte, die nicht über einen Ausführungspfad erreicht werden können.
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.
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.
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:
Polyspace-Produktfamilie
Polyspace-Produkte machen kritischen Code sicher und geschützt, indem die Softwarequalität während des gesamten Entwicklungslebenszyklus getestet und überwacht wird.
Polyspace Access
Erkennen Sie Codierfehler, überprüfen Sie die Ergebnisse statischer Analysen und überwachen Sie Softwarequalitätsmetriken.
Polyspace Code Prover Server
Nachweis der Abwesenheit von Laufzeitfehlern in Software.
Polyspace Bug Finder
Identifizieren Sie Softwarefehler mittels statischer Analyse.
Polyspace Test
Entwicklung, Verwaltung und Durchführung von Tests für C und C++ Code in Embedded Systems.
Polyspace Bug Finder Server
Erkennung von Softwarefehlern mithilfe statischer Analysen auf Servercomputern.
Polyspace Client for Ada
Nachweis der Abwesenheit von Laufzeitfehlern im Quellcode.
Polyspace Code Prover
Nachweis der Abwesenheit von Laufzeitfehlern in Software.
Polyspace Server for Ada
Code auf Computer-Clustern verifizieren und Metriken veröffentlichen.
Interessiert an Polyspace Code Prover Server?
Haben Sie Fragen?
Wenden Sie sich an das technische Team für Polyspace Code Prover Server.
