Polyspace Code Prover Server ist eine fundierte statische Analyse-Engine, 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 Analyse aller potenziellen Kontroll- und Datenflüsse inklusive Multithread-Code durch, um jeden Vorgang als sicher, immer fehlerhaft, unerreichbar oder anfällig einzustufen. Polyspace Code Prover Server identifiziert Codesegmente, die frei von Laufzeitfehlern sind, nachweislich fehlschlagen, nicht erreichbar oder unerwiesen sind.

Polyspace Code Prover Server kann auf einem Gerät der Serverklasse ausgeführt werden und lässt sich zur automatischen Verifikation mithilfe von Tools wie Jenkins^® in Build-Systeme und kontinuierliche Integrationssysteme integrieren. Die Ergebnisse der Codeanalyse können zur Vorsortierung und Behebung auf Polyspace Access veröffentlicht werden.

Die Unterstützung von Industriestandards ist über das IEC Certification Kit (für IEC 61508 und ISO 26262) und das DO Qualification Kit (für DO-178) möglich.