Polyspace Code Prover Server는 C 및 C++ 코드에서 오버플로, 0으로 나누기, 범위를 벗어난 배열 액세스 및 기타 특정 런타임 오류의 부재를 증명하는 우수한 정적 분석 엔진입니다. 멀티스레드 코드를 비롯하여 가능한 모든 제어 및 데이터 흐름의 프로시저 간 분석을 수행하여 각 연산을 항상 안전함, 항상 결함 있음, 도달할 수 없음 또는 취약함으로 식별할 수 있습니다. Polyspace Code Prover Server는 런타임 오류가 없고 실패하는 것으로 증명되고, 도달할 수 없거나 검증되지 않은 코드 세그먼트를 식별할 수 있습니다.

Polyspace Code Prover Server는 서버급 머신에서 실행할 수 있으며 Jenkins^®와 같은 툴을 사용해 빌드 및 지속적 통합 시스템에 통합하여 검증을 자동화할 수 있습니다. 분석 결과는 분류와 해결을 위해 Polyspace Access에 퍼블리시할 수 있습니다.

IEC Certification Kit (for IEC 61508 and ISO 26262) 및 DO Qualification Kit (for DO-178)를 통해 산업 표준 지원이 가능합니다.