Polyspace Code Prover Server는 CI 파이프라인에 통합되어 C/C++ 코드에 오버플로, 0으로 나누기, 배열 범위 외 접근 등의 특정 런타임 오류가 없음을 증명할 수 있습니다. 또한 제어 및 데이터 흐름에 대한 통찰력을 제공하고, 작업(스레드) 간 공유 메모리에 대한 동시 접근이 올바르게 이루어지는지를 검증할 수 있습니다.
Polyspace Code Prover Server는 추상 해석과 정형 기법에 기반한 정적 분석을 사용해 코드 실행, 계측 추가 또는 테스트 케이스 작성 없이 분석 결과를 제공할 수 있습니다. 결과는 협업 및 품질 추세 추적을 위해 Polyspace Access에 업로드할 수 있으며, CI 품질 게이트에 적합한 컴퓨터에서 판독 가능한 형식으로 내보낼 수 있습니다. 사람이 직접 작성한 C/C++ 코드뿐만 아니라, Simulink 또는 AI 어시스턴트로부터 생성된 코드를 포함해, 어떤 조합의 C/C++ 코드도 분석할 수 있습니다.
IEC Certification Kit (for IEC 61508 and ISO 26262) 및 DO Qualification Kit (for DO-178)를 통해 산업 표준 지원이 가능합니다.
자동화 및 데브옵스로의 통합
기존 데브옵스 워크플로 및 툴에 추가하여 최신 소프트웨어 개발 방식을 지원할 수 있습니다. Polyspace®는 Jenkins 및 Bamboo® 등의 널리 사용되는 지속적 통합 툴과 함께 사용할 수 있습니다.
모든 플랫폼에서 정적 코드 분석 실행
Polyspace Code Prover Server는 온프레미스 또는 클라우드 자동화 서버에서 실행할 수 있습니다. MathWorks 참조 아키텍처를 사용하여 Docker, AWS®, Azure® 등의 플랫폼에 배포할 수 있습니다.
인증 지원
업계 표준에 대한 인증 과정을 완료하는 데 필요한 아티팩트를 생성할 수 있습니다. TÜV SÜD에서 IEC 61508 및 ISO 26262의 최고 기능 안전 등급의 인증을 취득했습니다. DO-178C 적합성 검사 지원.
전역 변수 사용 분석
전역 변수에 대한 읽기/쓰기 연산의 문제를 디버그하는 데 소비되는 시간을 경감할 수 있습니다. 보호되지 않은 공유 변수 및 미사용 변수를 식별할 수 있습니다.
정적 애플리케이션 보안 테스트
버퍼 오버플로, 메모리 액세스, 수치 오버플로 등의 심각한 보안 취약성의 부재를 증명할 수 있습니다. 코드 실행 없이 모든 코드 경로와 입력값에 대해 코드를 분석하여 퍼즈 테스트의 필요성을 줄일 수 있습니다.
제품 관련 자료:
Polyspace 제품군
Polyspace 제품은 개발 라이프사이클 전반에 걸쳐 소프트웨어 품질을 테스트하고 모니터링함으로써 중요한 코드의 안정성과 보안성을 향상할 수 있습니다.
Polyspace Access
코딩 결함을 식별하고, 정적 분석 결과를 검토하고, 소프트웨어 품질 메트릭을 모니터링할 수 있습니다.
Polyspace Copilot
Polyspace에 최적화된 AI 어시스턴트입니다.
Polyspace Test
임베디드 시스템 내 C 및 C++ 코드에 대한 테스트 개발, 관리, 실행
Polyspace as You Code
사용 중인 IDE에서 코딩 표준 위반 사항과 소프트웨어 취약점을 식별할 수 있습니다.
Polyspace Bug Finder
정적 분석을 사용하여 소프트웨어 버그를 식별할 수 있습니다.
Polyspace Code Prover Server
CI 파이프라인에서 중요한 C 코드와 C++ 코드 명령문을 지속적으로 철저히 검증할 수 있습니다.
Polyspace Bug Finder Server
서버 컴퓨터에서 실행되는 정적 분석을 통해 소프트웨어 결함을 식별할 수 있습니다.
Polyspace Client for Ada
소스 코드에서 런타임 오류의 부재를 증명할 수 있습니다.
Polyspace Code Prover
정형 기법을 사용하여 가장 중요한 C 명령문과 C++ 명령문을 철저히 검증할 수 있습니다.
Polyspace Server for Ada
컴퓨터 클러스터에서 검증을 수행하고 메트릭을 퍼블리시할 수 있습니다.
