Polyspace Client for C/C++ 8.0

Polyspace Client™ für C/C++ bietet zusammen mit Polyspace Server™ für C/C++ eine Code-basierte Verifikation, durch die das Auftreten sowie die Abwesenheit von Laufzeitfehlern im Quellcode, wie z.B. Überlauf, Division durch Null oder unzulässiger Array-Zugriff nachgewiesen wird, ohne das Programm auszuführen, den Code zu instrumentieren oder Testfälle zu erzeugen. Polyspace Client für C/C++ greift bei der Verifizierung des Codes auf die formale Methode der abstrakten Interpretation zurück. Damit können Sie handschriftlichen Code, generierten Code oder eine Kombination der beiden noch vor Kompilierung und funktionalen Tests verifizieren.

Die Unterstützung von Branchenstandards ist erhältlich über IEC Certification Kit (für IEC 61508) and DO Qualification Kit (für DO-178).