Polyspace Bug Finder

Identifizieren Sie Softwarefehler mittels statischer Analyse

Der Polyspace Bug Finder erkennt Laufzeitfehler, Nebenläufigkeitsfehler, Sicherheitslücken und andere Fehler in der C und C++ Embedded Software. Mithilfe der statischen und semantischen Analyse untersucht der Polyspace Bug Finder die Kontrollstrukturen der Software, den Datenfluss sowie den Austausch und das Verhalten zwischen den Prozessen. Indem Fehler bereits hervorgehoben werden, sobald sie entdeckt werden, können Sie Bugs frühzeitig im Entwicklungsprozess vorsortieren und beheben.

Polyspace Bug Finder überprüft die Einhaltung von Programmierstandards wie MISRA C^®, MISRA C++, AUTOSAR C++14, CERT^® C, CERT C++ und individuellen Namenskonventionen. Dabei werden Berichte erstellt, die aus gefundenen Fehlern, Verstößen gegen Code-Regeln und Code-Qualitätsmetriken, einschließlich zyklomatischer Komplexität (auch als McCabe-Metrik bekannt), gebildet werden.

Bei automatisch generiertem Code können die Polyspace-Ergebnisse auf Simulink-Modelle und dSPACE^® TargetLink^®-Blöcke zurückverfolgt werden.

Die Unterstützung von Industriestandards wird mit dem IEC Certification Kit (für ISO 26262 und IEC 61508) und dem DO Qualification Kit (für DO-178) gewährleistet.

Was ist der Polyspace Bug Finder?

Erkennung von Softwarefehlern und Schwachstellen

Sie können eine Vielzahl verschiedener Fehlerkategorien wie Sicherheitsschwachstellen, Nebenläufigkeit und Zahlenfehler finden. Konfigurieren Sie dazu die Analyse für entsprechende Compiler, Zielprozessoren und RTOS-Umgebungen Ihrer Wahl.

Dokumentation

Einhaltung von Codierungsstandards

Setzen Sie Codierungsstandards für Embedded Software wie MISRA C und MISRA C++, AUTOSAR C++14, JSF++ und benutzerdefinierte Benennungskonventionen durch.

Dokumentation

Statische Applikation mit Symbol für Sicherheitsanforderung.

Testen der statischen Applikationssicherheit

Schützen Sie Ihre Anwendung, indem Sie Sicherheitslücken und -probleme frühzeitig erkennen. Die Einhaltung von Sicherheits-Codierungsstandards und -richtlinien wie CERT C/C++, CWE, ISO 17961 und MISRA C:2012 Amendment 1 wird dabei gewährleistet.

Dokumentation

Zertifizierungsunterstützung

Erstellen Sie Artefakte, die zum Abschluss des Zertifizierungsprozesses für Sicherheitsstandards der Branche, wie IEC 61508, ISO 26262, ISO/SAE 21434 oder DO-178C, benötigt werden, bis zur höchsten Stufe der funktionalen Sicherheit oder der IT-Sicherheit.

Dokumentation

Verfolgen Sie den Code von der Quelle bis zu Simulink oder Stateflow.

Integration von Simulink und Stateflow

Analysieren Sie generierten Code und verfolgen Sie Ihre Ergebnisse vom Quellcode zum entsprechenden Simulink-Modellblock oder Stateflow-Diagramm. Starten Sie eine Polyspace-Analyse aus der Simulink-Umgebung.

Dokumentation

Grafische Darstellung von Code-Metriken und Qualitätstrends.

Überwachung der Softwarequalität

Generieren Sie Code-Metriken zur Messung und Verbesserung der Qualität des Quellcodes. Vergleichen Sie die dabei die erzielten Analyse-Ergebnisse mit den jeweiligen Qualitätsschwellenwerten.

Dokumentation

Verwendung des Polyspace Bug Finders auf einem Desktop-Computer.

Interaktive Analysen auf Desktop-Computern

Führen Sie Ihre Analysen durch und überprüfen Sie die Ergebnisse auf Ihrem Desktop-Computer. Die Ursachen komplexer Bugs lassen sich mit Debugger-ähnlichen Ansichten, Event-Traces und Aufrufdiagrammen identifizieren. Beheben Sie gefundene Fehler und erstellen Sie entsprechende Berichte.

Dokumentation

Produktressourcen:

Dokumentation Videos Anforderungen Versionshinweise

Volvo Cars Software Factory Increases Pace and Quality of Development with Polyspace

“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.”
Johannes Foufas, Volvo Cars

Weitere Anwenderberichte ansehen

Polyspace-Produktfamilie

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