Polyspace Bug Finder
Identifizieren von Softwarefehlern mittels statischer Analyse
Automatisierte statische Analyse
Finden Sie hunderte von Fehlerklassen, einschließlich Laufzeitfehlern, Nebenläufigkeitsfehlern und weiteren Programmierdefekten in C/C++.
Codierungsregeln
Sichern Sie die Einhaltung von MISRA C, MISRA C++, JSF++ und benutzerdefinierten Regeln.
Security-Standards
Überprüfen Sie die Konformität mit Security-Standards wie CWE, CERT-C, ISO/IEC 17961 und weiteren.
Code-Metriken
Erstellen Sie Metriken wie zyklomatische Komplexität, Stack-Nutzung und HIS-Metriken auf Projekt-, Datei- und Funktionsebene.
Find Bugs Early in Development
Identify hundreds of classes of bugs as soon as code is written or modified.
Find the Root Cause of Complex Bugs
See your code in a debugger-like view with event traces, variable values, and call trees.
Create your own navigation path.
Trace Code Analysis to Simulink Models
Run analysis on generated code and trace your findings to the source model block.
Trace code analysis to the model.
Configure for Any Run-Time Environment
Integrate Polyspace Bug Finder with any compiler, target processor, and RTOS environment.
Set compiler and target options.
Make Your Code Safe and Secure
Track quality against industry standards.
Comply with Coding Rules and Certification Requirements
Enforce MISRA C, MISRA C++, AUTOSAR C++14, JSF++, and custom rules. Comply with ISO 26262, DO-178, IEC 61508, EN 50128, IEC 62304, and others.
Comply with functional safety standards.
Meet Security Requirements
Comply with CERT C/C++, ISO 17961, and MISRA C:2012 Amendment 1.
Configure coding rules checking.
Monitor the Software Quality of Your Project
Compare analysis results against quality thresholds, so your software team can collaborate more easily and monitor project milestones.
Filter results.
Analyze Integrated Builds
Run the Polyspace Bug Finder Server™ static analysis engine on a server class machine with build automation tools such as Jenkins and Bamboo.
Integrate Polyspace products into your continuous integration environment.
Notify and Upload Results for Collaborative Review
Automatically assign defects to component owners, send email notifications, and upload results to Polyspace Bug Finder Access so you can triage and resolve issues.
Send email notifications with Polyspace Bug Finder results.
Review Analysis Results, So You Can Triage and Resolve Issues
Polyspace Bug Finder Access™ provides a web browser interface to Polyspace static code analysis results and quality metrics stored in a central repository. Navigation tools for investigating static analysis results are displayed alongside the code.
Result details window.
Monitor Project Quality and Software Quality Metrics
Dashboards display information that you can use to monitor software quality, project status, the number of defects, and code metrics.
Project overview dashboard.
Integrate with the Bug Tracking Tools You Already Use
Use the web browser interface to create and assign tickets in bug tracking tools such as Jira.
Create tickets.
Latest Features
Produktfähigkeiten
Früheres Erkennen von Bugs im Entwicklungsprozess
Identifizieren Sie Programmierfehler, sobald der Code geschrieben oder geändert wurde.
Erfüllen der Anforderungen für die Zertifizierung
Entwickeln Sie gemäß ISO 26262, DO-178, IEC 61508, EN 50128, FDA und anderen Standards.
Ermitteln der Ursache komplexer Programmierdefekte
Sehen Sie sich Ihren Code in einer Debugger-ähnlichen Ansicht an, mit Event-Traces, Variablenwerten und Aufrufbäumen.
Überprüfen von Multithread-Code
Finden Sie Race Conditions, Deadlock, Double Lock, Missing Lock und andere Nebenläufigkeitsfehler.
Nachverfolgen der Codeanalyse zu Simulink-Modellen
Verfolgen Sie für generierten Code die Ergebnisse bis zum Modellblock zurück.
Erfüllen der Security-Anforderungen
Entwickeln Sie gemäß Anforderungen aus CERT C, ISO 17961, MISRA C:2012 Amendment und CWE.
Festlegen und Messen von Softwarequalitätszielen
Definieren Sie Schwellwerte für ein Bestehen/Nichtbestehen der Qualitätsprüfung im Rahmen der Zusammenarbeit des Softwareteams entlang der Projektmeilensteine.
Konfigurationen für verschiedene Laufzeitumgebungen
Kann auf verschiedene Compiler, Zielprozessoren, RTOS-Umgebungen und Continuous-Integration-Systeme angewandt werden.
See the release notes for details on any of these features and corresponding functions.