Polyspace 제품군

 

Polyspace

Making Critical Code Safe and Secure

Polyspace® 정적 코드 분석 제품은 정형 기법을 사용하여 발생할 수 있는 모든 제어 흐름과 데이터 흐름에서중대한 런타임 오류가 없음을 증명합니다. 이 제품은 코딩 규칙, 보안 취약점, 코드 메트릭 그리고 수백 종류의 버그들을 확인하기 위한 기능을 갖추고 있습니다.

Polyspace Code Prover

코드 실행없이 중대한 런타임 오류가 없음을 정형적으로 증명합니다.

Polyspace Bug Finder

코딩 규칙, 보안 표준, 코드 메트릭을 확인하고 버그를 찾습니다.

Ada용 Polyspace

소스 코드에 런타임 오류가 없음을 증명합니다.

C/C++, Ada를 위한 정형 기법 기반의 자동화된 정적 코드 분석

품질

테스트 케이스 작성이나 코드 실행없이, 버그를 찾고 중대한 런타임 오류가 없음을 증명합니다.

안전

MISRA, ISO 26262, IEC 61508, DO-178, FDA 규정에 대한 안전 표준 및 문서 준수에 부합합니다.

보안

소프트웨어 보안 취약점들과 CWE, CERT-C, ISO/IEC 17961 등과 같은 보안 관련 표준을 검사합니다.