Polyspace Bug Finder Server ist eine statische Analyse-Engine, die häufige Fehlerklassen in C und C++ erkennt, wie Laufzeitfehler, Nebenläufigkeitsprobleme und andere Programmierfehler. Außerdem untersucht Polyspace Bug Finder Server den Quellcode auf die Einhaltung von Programmierregeln (MISRA C®, MISRA C++, JSF++), Sicherheitsregeln (CWE, CERT® C, CERT C++, ISO/IEC 17961) und benutzerdefinierten Regeln.
Mit Polyspace Bug Finder Server können Sie Codemetriken wie zyklomatische Komplexität (auch bekannt als McCabe-Metrik) und HIS-Metriken auf Projekt-, Datei- und Funktionsebene überwachen. Sie können den Server zur Verwendung mit verschiedenen Compilern, Zielprozessoren und RTOS-Umgebungen konfigurieren und die Ausführung mit kontinuierlichen Integrationssystemen und Tools wie Jenkins® automatisieren. Die Ergebnisse der Codeanalyse können zur Vorsortierung und Behebung auf Polyspace Access gespeichert werden.
Die Unterstützung von Branchenstandards ist möglich über das IEC Certification Kit (für IEC 61508 und ISO 26262) und DO Qualification Kit (für DO-178).
Erkennung von Softwarefehlern und Schwachstellen
Sie können eine Vielzahl verschiedener Fehlerkategorien wie Sicherheitsschwachstellen, Nebenläufigkeit und numerische Fehler finden. Konfigurieren Sie dazu die Analyse für entsprechende Compiler, Zielprozessoren und RTOS-Umgebungen Ihrer Wahl.
Einhaltung der Programmierstandards
Durchsetzung von Programmierstandards für Embedded Software wie MISRA C und MISRA C++, AUTOSAR C++14, JSF++ sowie benutzerdefinierte Namenskonventionen.
Statische Anwendungssicherheitstests
Machen Sie Ihren Code sicher, indem Sie Sicherheitsschwachstellen und Probleme erkennen sowie Standards und Richtlinien für sichere Programmierung wie CERT C/C++, CWE, ISO 17961 und MISRA C:2012 Amendment 1 einhalten.
Zertifizierungsunterstützung
Erstellen Sie Artefakte, die zum Abschluss des Zertifizierungsprozesses für Sicherheit und Sicherheitsstandards der Branche wie IEC 61508, ISO 26262, ISO/SAE 21434 oderDO-178C benötigt werden, bis zur höchsten Stufe der funktionalen Sicherheit oder der IT-Sicherheit.
Ausführung statischer Codeanalysen auf beliebigen Plattformen
Polyspace Bug Finder Server kann auf einem Automatisierungsserver lokal oder in der Cloud laufen. Verwenden Sie MathWorks-Referenzarchitekturen zur Bereitstellung auf Plattformen wie Docker, AWS® und Azure®.
Automatisieren und in DevOps integrieren
Unterstützung moderner Softwareentwicklungsmethoden durch Integration in vorhandene DevOps-Abläufe und -Tools. Polyspace funktioniert mit weitverbreiteten Tools zur kontinuierlichen Integration wie Jenkins und Bamboo®.
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 Bug Finder Server – Häufig gestellte Fragen
Polyspace Bug Finder Server ist eine statische Analyse-Engine, die auf Serversystemen ausgeführt wird, um im Rahmen von Continuous Integration-Workflows automatisch Fehler, Verstöße gegen Programmierregeln und Kennzahlen zur Codequalität in C- und C++-Code zu identifizieren.
Es erkennt mehr als 350 Typen von C/C++-Programmfehlern, einschließlich numerischer Fehler, Datenfluss-, Speicher- und Nebenläufigkeitsfehler sowie allgemeiner Programmierfehler, die Laufzeitfehler oder Sicherheitsprobleme verursachen können.
Es prüft C/C++-Code anhand von Branchenprogrammierrichtlinien wie MISRA C, MISRA C++, AUTOSAR C++14, JSF++, CWE, CERT C und CERT C++ und unterstützt die Durchsetzung benutzerdefinierter Programmierregeln und Namenskonventionen.
Polyspace Bug Finder Server wendet statische Analysemethoden, einschließlich semantischer Analyse, an, um Kontrollfluss, Datenfluss und interprozedurales Verhalten in C/C++-Code zu analysieren, ohne dass eine Ausführung des Codes erforderlich ist.
Polyspace Bug Finder wird interaktiv in einer Desktop-Oberfläche verwendet, während Polyspace Bug Finder Server für automatisierte Analysen in CI-Workflows und das Teilen von Ergebnissen über Polyspace Access optimiert ist.
Ja. Polyspace Bug Finder Server lässt sich in CI-Pipelines integrieren, um automatisierte statische Analysen in DevOps-Workflows zu unterstützen.
Polyspace Bug Finder Server kann auf lokalen (on-premises) oder Cloud-Automatisierungsservern betrieben werden, einschließlich containerisierter Bereitstellungen, die auf MathWorks-Referenzarchitekturen basieren.
Ja, es kann automatisch generierten Code analysieren, wobei die Ergebnisse bis zu Simulink-Modellen und dSPACE TargetLink-Blöcken zurückverfolgbar sind.
Polyspace Bug Finder Server veröffentlicht Analyseergebnisse in Polyspace Access zur teamorientierten Überprüfung und Triage.
Es unterstützt Zertifizierungsworkflows für IEC 61508, ISO 26262, EN 50128, EN 50657, IEC 62304, ISO 25119 und DO 178C/ED 12C durch Zertifizierungs- und Qualifizierungs-Kits und bietet zusätzliche Leitlinien für ISO/SAE 21434 und Automotive SPICE.
Interessiert an Polyspace Bug Finder Server?
Nächste Schritte
Navigation im Panel
KOSTENLOSE ARTIKEL
Hinweise zu Polyspace
Navigation im Panel
PRODUKT
