Polyspace Code proverserver™ist eine funddierte statische分析引擎,die die Abwesenheit von Überläufen, Division durch Null, Array-Zugriffe außerhalb der Bereichsgrenzen und bestimmten weiteren Laufzeitfehlern in C und c++ Code nachweist。Sie führt die interprozedurale分析aller potenziellen Kontroll und Datenflüsse inklusive多线程代码durch, um jeden Vorgang als sicher, immer fehlerhaft, unerreichbar oder anfällig einzustufen。Polyspace代码验证服务器识别代码片段,die frei von Laufzeitfehlern信德,nachweislich fehlschlagen, niht erreichbar oder unerwiesen信德。
Polyspace Code proverserver kann auf einem Gerät der Serverklasse ausgeführt werden und lässt sich zur automatischen验证mithilife von Tools wie Jenkins®在建设系统和kontinuierliche集成系统集成人。Die Ergebnisse der Codeanalyse können zur Vorsortierung und Behebung auf Polyspace Access™veröffentlicht werden。
Die Unterstützung von工业标准ist über das IEC认证套件(für IEC 61508和ISO 26262)和das DO资格套件(für DO-178) möglich。
Nachweis der Abwesenheit kritischer Laufzeitfehler
分析你的基因编码和潜在的危险Codeausführung。Identifizieren Sie Anweisungen, die unabhängig von den Laufzeitbedingungen nieLaufzeitfehlernunterliegen, und finden Sie andere Fehler, die eineneingriff erfordern。
DevOps中的自动化和集成
Unterstützung moderner Softwareentwicklungsmethoden durch在vorhandene开发ops -工作流和工具中的集成。Polyspace®funktioniert mit gängigen工具für die kontinuierliche集成wie Jenkins和竹子®.
Ausführung statischer Codeanalysen auf beliebigen平台
Führen Sie Polyspace Code Prover Server auf einem Automatisierungsserver or Ort order在云端来自。Nutzen Sie MathWorks®参考建筑商的zur Bereitstellung auf平台wie Docker, AWS®和Azure®.
Zertifizierungsunterstutzung
Erstellen Sie Artefakte, die für den Abschluss des zertifizerungsvorgangs für工业标准erforderlich sind。Zertifiziert von TÜV SÜD für die höchsten funktionalen Sicherheitsstufen gemäß IEC 61508 und ISO 26262。Unterstützt die DO-178C-Qualifikation。
Vermeidung unerwünschten Softwareverhaltens
在Logik和programstrutur sowie allle Codeabschnitte, die niht über einen Ausführungspfad erreicht werden können。
分析魏文东全局变量
Reduzieren Sie die Zeit für das Debugging von Lese-/Schreibvorgängen mit globalen Variablen。Identifizieren Sie ungeschützte, gemeinsam genutzte und ungenutzte Variablen。
Statische Anwendungssicherheitstests
Weisen Sie die Abwesenheit kritischer Sicherheitsschwachstellen wiePufferuberlaufen, Speicherzugriff und numerischen Überläufen nach。Verringern Sie den Fuzzing-Bedarf durch代码分析für alle code depfade und Eingaben ohne Codeausführung。