Nutzer führen eine erschöpfende, auf formalen Methoden basierende statische Analyse von C-, C++- und Rust-Code durch und folgen der geführten Behebung in der GUI bis zur Ursache jedes Befunds. Version 26.10 ergänzt einen KI-Coding-Agenten in der Oberfläche, der wichtige Schritte der Vorbereitung und Konfiguration einer Analysekampagne automatisiert, sowie höhere Automatisierung der MC/DC-Abdeckung mit Wahrheitstabellenansicht und zertifizierungsorientierten Berichten. Die Garantien gelten im definierten Analyseumfang und unter den definierten Annahmen; die KI unterstützt die Einrichtung, die Verifikation führt der Analyzer durch.
Weitere Produktdetails
Für wen es geeignet ist
- Branchen
- Automobilindustrie
- Luftfahrt und Verteidigung
- Elektronik
Produkt
- Lösungsart
- Anwendung
softosaur