Polyspace Code Prover Server

소프트웨어에서 런타임 오류의 부재를 증명할 수 있습니다.

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)를 통해 산업 표준 지원이 가능합니다.

Polyspace Code Prover Server를 사용한 코드 분석 자동화

심각한 런타임 오류의 부재 증명

코드를 실행하지 않고 가능한 모든 입력값에 대해 모든 코드 경로를 분석할 수 있습니다. 런타임 조건과 무관하게 런타임 오류가 발생하지 않는 명령문을 식별하고 주의가 필요한 명령문을 찾을 수 있습니다.

문서

자동화 및 데브옵스로의 통합

기존 데브옵스 워크플로 및 툴에 추가하여 최신 소프트웨어 개발 방식을 지원할 수 있습니다. Polyspace^®는 Jenkins 및 Bamboo^® 등의 널리 사용되는 지속적 통합 툴과 함께 사용할 수 있습니다.

Polyspace를 사용한 보안 및 데브옵스의 정적 분석 (46:00)

문서

모든 플랫폼에서 정적 코드 분석 실행

Polyspace Code Prover Server는 온프레미스 또는 클라우드 자동화 서버에서 실행할 수 있습니다. MathWorks 참조 아키텍처를 사용하여 Docker, AWS^®, Azure^® 등의 플랫폼에 배포할 수 있습니다.

DockerHub의 Polyspace Code Prover Server 컨테이너

Polyspace Code Prover Server Dockerfile

문서

인증 지원

업계 표준에 대한 인증 과정을 완료하는 데 필요한 아티팩트를 생성할 수 있습니다. TÜV SÜD에서 IEC 61508 및 ISO 26262의 최고 기능 안전 등급의 인증을 취득했습니다. DO-178C 적합성 검사 지원.

문서

의도하지 않은 소프트웨어 동작 방지

어느 실행 경로를 통해서도 도달할 수 없는 코드 섹션과 논리 및 프로그램 구조의 오류를 검출할 수 있습니다.

문서

전역 변수 사용 분석

전역 변수에 대한 읽기/쓰기 연산의 문제를 디버그하는 데 소비되는 시간을 경감할 수 있습니다. 보호되지 않은 공유 변수 및 미사용 변수를 식별할 수 있습니다.

문서

정적 애플리케이션 보안 테스트

버퍼 오버플로, 메모리 액세스, 수치 오버플로 등의 심각한 보안 취약성의 부재를 증명할 수 있습니다. 코드 실행 없이 모든 코드 경로와 입력값에 대해 코드를 분석하여 퍼즈 테스트의 필요성을 줄일 수 있습니다.

C 및 C++ 필수 소프트웨어의 사이버보안 (54:13)

영향 분석

지정된 전역 또는 지역 변수가 다른 변수나 특정 명령문에 미치는 영향을 정형적으로 추적하고 검증할 수 있습니다. 신호 분석을 수행하여 OBD 관련 소프트웨어에 대한 CARB의 요구사항을 충족하고 ISO 26262 맥락에서 간섭의 부재(freedom from interference)를 증명하며 보정 파라미터의 효과를 분석할 수 있습니다. 소프트웨어 보안의 맥락에서는 오염 분석과 민감 데이터 흐름 추적을 수행할 수 있습니다.