Der Polyspace Code Prover Server integriert sich in CI-Pipelines, um das Fehlen bestimmter Laufzeitfehler wie Überlauf, Division durch Null und Zugriff auf Arrays außerhalb der Grenzen in C/C++-Code nachzuweisen. Es liefert außerdem Einblicke in die Steuerung und den Datenfluss und überprüft den korrekten gleichzeitigen Zugriff auf den gemeinsamen Speicher über verschiedene Aufgaben (Threads) hinweg.
Der Polyspace Code Prover Server verwendet eine statische Analyse auf Basis abstrakter Interpretation und formaler Methoden und liefert Ergebnisse, ohne den Code auszuführen, Instrumentierung hinzuzufügen oder Testfälle zu schreiben. Ergebnisse können zur Zusammenarbeit und zur Verfolgung von Qualitätstrends in Polyspace Access hochgeladen und in maschinenlesbaren Formaten exportiert werden, die für CI-Qualitätsprüfungen geeignet sind. Sie können jede beliebige Kombination von C/C++-Code analysieren, egal ob dieser manuell geschrieben oder von Simulink oder einem KI-Assistenten generiert wurde.
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.
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.
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 Copilot
Ein für Polyspace optimierter KI-Assistent.
Polyspace Test
Entwicklung, Verwaltung und Durchführung von Tests für C und C++ Code in Embedded Systems.
Polyspace as You Code
Erkennen Sie Software-Schwachstellen und Verstöße gegen Codierungsstandards über Ihre IDE.
Polyspace Test Server
Führen Sie Tests und Analysen der strukturellen Abdeckung von C/C++ Code auf Automatisierungsservern aus.
Polyspace Code Prover Server
Verifizieren Sie laufend und umfassend kritische Anweisungen in C und C++ Code in CI-Pipelines.
Polyspace Bug Finder
Überprüfen Sie Programmierregeln, Sicherheitsstandards und Codemetriken und finden Sie Bugs.
Polyspace Client for Ada
Erstellen Sie mithilfe formaler Methoden umfassende Verifikationen für Ada-Anweisungseinheiten.
Polyspace Bug Finder Server
Ermitteln Sie Softwarefehler und setzen Sie Programmierregeln in Ihren CI-Pipelines durch.
Polyspace Server for Ada
Erstellen Sie laufende und umfassende Verifikationen für kritische Ada-Codeanweisungen in CI-Pipelines.
Polyspace Code Prover
Erstellen Sie mithilfe formaler Methoden umfassende Verifikationen für besonders kritische C und C++ Anweisungen.
Polyspace Code Prover Server – Häufig gestellte Fragen
Polyspace Code Prover Server ist eine statische Analyse-Engine, die auf Serversystemen ausgeführt wird, um das Fehlen kritischer Laufzeitfehler nachzuweisen und architektonische Ansichten wie Aufrufgraphen und die Nutzung globaler Daten in C- und C++-Code bereitzustellen, als Teil von CI-Workflows.
Polyspace Code Prover Server verwendet eine auf formalen Methoden basierende statische Analyse, um alle Ausführungspfade und Eingaben im C/C++-Code zu untersuchen, ohne ihn auszuführen.
Es verbessert die Softwaresicherheit, indem es das Fehlen kritischer Schwachstellen wie Pufferüberläufe, ungültige Speicherzugriffe und numerische Überläufe über alle Ausführungspfade und Eingaben hinweg nachweist, ohne den Code auszuführen.
Polyspace Code Prover wird interaktiv in einer Desktop-Oberfläche verwendet, während Polyspace Code Prover Server für automatisierte Analysen in CI-Workflows und zum Teilen von Ergebnissen über Polyspace Access optimiert ist.
Ja, es kann automatisch generierten Code analysieren, wobei die Ergebnisse bis zu Simulink-Modellen und dSPACE TargetLink-Blöcken zurückverfolgt werden können.
Ja. Polyspace Code Prover Server lässt sich in Pipelines für kontinuierliche Integration integrieren, um automatisierte statische Analysen in DevOps-Workflows zu unterstützen.
Polyspace Code Prover Server kann auf lokalen (on-premises) oder Cloud-Automatisierungsservern betrieben werden, einschließlich containerisierter Bereitstellungen, die auf MathWorks-Referenzarchitekturen basieren.
Polyspace Code Prover Server veröffentlicht Analyseergebnisse in Polyspace Access zur teamorientierten Überprüfung und Priorisierung.
Es unterstützt Zertifizierungs-Workflows für IEC 61508, ISO 26262, EN 50128, EN 50657, IEC 62304, ISO 25119 und DO 178C/ED 12C durch Zertifizierungs- und Qualifizierungskits und bietet zusätzliche Leitlinien für ISO/SAE 21434 und Automotive SPICE.
Interessiert an Polyspace Code Prover Server?
Nächste Schritte
Navigation im Panel
KOSTENLOSE ARTIKEL
Artikel zur statischen Analyse mit Polyspace
Navigation im Panel
PRODUKT
