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).
Automatisieren der Codeanalyse mit Polyspace Bug Finder Server
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 Code Prover Server
Nachweis der Abwesenheit von Laufzeitfehlern in Software.
Polyspace Bug Finder
Identifizieren Sie Softwarefehler mittels statischer Analyse.
Polyspace Test
Entwicklung, Verwaltung und Durchführung von Tests für C und C++ Code in Embedded Systems.
Polyspace Bug Finder Server
Erkennung von Softwarefehlern mithilfe statischer Analysen auf Servercomputern.
Polyspace Client for Ada
Nachweis der Abwesenheit von Laufzeitfehlern im Quellcode.
Polyspace Code Prover
Nachweis der Abwesenheit von Laufzeitfehlern in Software.
Polyspace Server for Ada
Code auf Computer-Clustern verifizieren und Metriken veröffentlichen.
Interessiert an Polyspace Bug Finder Server?
Haben Sie Fragen?
Wenden Sie sich an das technische Team für Polyspace Bug Finder Server.
