Polyspace Bug Finder
Identifizieren von Softwarefehlern mittels statischer Analyse
Polyspace Bug Finder™ erkennt Laufzeitfehler, Nebenläufigkeitsfehler, Sicherheitslücken und andere Fehler in eingebetteter C- und C++-Software. Mittels statischer und semantischer Analyse analysiert Polyspace Bug Finder den Kontrollfluss, den Datenfluss und das beeinflussende Verhalten zwischen den Prozessen. Durch die Hervorhebung von Fehlern, sobald sie erkannt werden, können Sie Fehler schon früh im Entwicklungsprozess identifizieren und beheben.
Polyspace Bug Finder überprüft die Einhaltung von Programmierstandards wie beispielsweise MISRA C®, MISRA C++, JSF++, CERT® C, CERT® C++ und benutzerdefinierten Namenskonventionen. Es generiert Berichte, die aus den gefundenen Fehlern, Verletzungen der Programmierstandards und Codequalitätsmetriken, einschließlich zyklomatischer Komplexität bestehen. Polyspace Bug Finder kann für die Analyse von Code auf Ihrem Desktop-Computer mit Eclipse™ IDE verwendet werden.
Für automatisch generierten Code können die Polyspace-Ergebnisse zu Simulink®-Modellen und dSPACE® TargetLink®-Blöcken zurückverfolgt werden.
Die Unterstützung von Industriestandards ist möglich über das IEC Certification Kit (for ISO 26262 and IEC 61508) und DO Qualification Kit (for DO-178 and DO-254).
Jetzt beginnen:
Ermitteln der Ursache komplexer Programmierdefekte
Sehen Sie sich Ihren Code in einer Debugger-ähnlichen Ansicht an, mit Event-Traces, Variablenwerten und Aufrufbäumen.
Nachverfolgen der Codeanalyse zu Simulink-Modellen
Analysieren Sie generierten Code und verfolgen Sie die Ergebnisse bis zum ursprünglichen Modellblock zurück.
Konfigurationen für verschiedene Laufzeitumgebungen
Integrieren Sie Polyspace Bug Finder in verschiedene Compiler-, Zielprozessor- und RTOS-Umgebungen.
Einhalten von Programmierregeln und Zertifizierungsanforderungen
Sichern Sie die Einhaltung von MISRA C, MISRA C++, AUTOSAR C++14, JSF++ und benutzerdefinierten Regeln. Entwickeln Sie gemäß ISO 26262, DO-178, IEC 61508, EN 50128, IEC 62304 und anderen Standards.
Erfüllen der Sicherheitsanforderungen
Entwickeln Sie Code unter Einhaltung von CERT C/C++, ISO 17961 und MISRA C:2012 Amendment 1.
Überwachen der Softwarequalität Ihrer Projekte
Vergleichen Sie die Analyseergebnisse mit Qualitätsgrenzwerten, damit das Softwareteam besser zusammenarbeiten und Projekt-Milestones im Auge behalten kann.
Analysieren integrierter Builds
Führen Sie die statische Analyse von Polyspace Bug Finder Server™ mit Build-Automatisierungstools wie Jenkins und Bamoo auf einem Servercomputer aus.
Hochladen und Melden der Ergebnisse für die gemeinsame Überprüfung
Lassen Sie Defekte automatisch den Besitzern der jeweiligen Komponente zuweisen, Benachrichtigungen per E-Mail senden und Ergebnisse an Polyspace Bug Finder Access hochladen, um die Probleme vorzusortieren und zu lösen.
Auswerten von Analyseergebnissen, um Probleme zu erkennen und zu lösen
Polyspace Bug Finder Access™ bietet eine Webbrowser-Benutzeroberfläche für Ergebnisse der statischen Codeanalyse durch Polyspace mit Qualitätsmetriken, die in einem zentralen Repository gespeichert werden. Navigationstools für die Betrachtung statischer Analyseergebnisse werden neben dem Code angezeigt.
Überwachen der Projektqualität und Softwarequalitätsmetrik
Auf dem Dashboard werden Informationen angezeigt, die Sie zur Überwachung der Softwarequalität, des Projektstatus, der Anzahl der Defekte sowie der Code-Metriken nutzen können.
Einbinden in die bereits vorhandenen Bug-Tracking-Tools
Verwenden Sie die Webbrowseroberfläche zum Erstellen und Zuweisen von Tickets mit Bug-Tracking-Tools wie etwa Jira.
Compiler-Unterstützung
Vereinfachte Analyse-Setup für mit Renasas SH C-Compilern kompilierten Code
C++17-Support
Ausführen einer Polyspace-Analyse auf Code mit C++17-Funktionen
AUTOSAR C++14-Support
Überprüfen von 308 AUTOSAR-C++14-Regeln einschließlich 61 neuer Checker, die in R2020b hinzugefügt wurden
Konfiguration aus Build System
Generieren einer Projektdatei oder einer Datei mit Analyseoptionen unter Verwendung einer JSON-Kompilierungsdatenbank
Simulink-Unterstützung
Generieren und Verpacken von Polyspace-Optionsdateien aus einem Simulink-Modell
CERT C-Support
Prüfung auf Verstösse gegen CERT C Standards, einschliesslich neuer Prüfungen auf Thread-Sicherheitsprobleme und hardcoded sensitive Data
Details zu diesen Merkmalen und den zugehörigen Funktionen finden Sie in den Versionshinweisen.