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:
Interessiert an Polyspace Bug Finder Server?
Haben Sie Fragen?
Wenden Sie sich an das technische Team für Polyspace Bug Finder Server.
Nächste Schritte
Sie können auch eine Website aus der folgenden Liste auswählen:
Amerika
- América Latina (Español)
- Canada (English)
- United States (English)
Europa
- Belgium (English)
- Denmark (English)
- Deutschland (Deutsch)
- España (Español)
- Finland (English)
- France (Français)
- Ireland (English)
- Italia (Italiano)
- Luxembourg (English)
- Netherlands (English)
- Norway (English)
- Österreich (Deutsch)
- Portugal (English)
- Sweden (English)
- Switzerland
- United Kingdom (English)
Asien-Pazifik
- Australia (English)
- India (English)
- New Zealand (English)
- 中国
- 日本Japanese (日本語)
- 한국Korean (한국어)