Polyspace 제품군

 

Polyspace

중요 코드 안전하게 만들기

Polyspace® static code analysis products use formal methods to prove the absence of critical run-time errors under all possible control flows and data flows. They include checkers for coding rules, security vulnerabilities, code metrics, and hundreds of additional classes of bugs.

Polyspace Access

Identify coding defects, review static analysis results, and monitor software quality metrics

Polyspace Bug Finder

Check coding rules, security standards, code metrics, and find bugs

Polyspace Bug Finder Server

Identify software defects via static analyses running on server computers

Polyspace Code Prover

Formally prove the absence of critical run-time errors without executing code

Polyspace Code Prover Server

Prove the absence of run-time errors in software

Polyspace Client for Ada

Prove the absence of run-time errors in source code

Polyspace Server for Ada

Perform code verification on computer clusters and publish metrics

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

Polyspace Code Prover

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

Polyspace Bug Finder

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

Ada용 Polyspace

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

MATLAB 데스크탑

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

품질

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

안전

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

보안

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

Panel Navigation

Volvo Cars

Polyspace를 통해 코드를 병합할 때마다 심각한 런타임 오류를 사전에 식별하고 수정하여 소프트웨어의 보안성과 품질을 보장할 수 있습니다.

Panel Navigation

Alenia Aermacchi

Polyspace 정적 분석 도구는 코드의 런타임 오류를 확인하고 MISRA 코딩 표준의 준수 여부를 확인하며 DO-178 인증을 위한 산출물들을 생성합니다.

Panel Navigation

Miracor

Miracor는 FDA를 포함한 규제 단체에게 자신들의 장치가 안전함을 증명하기 위해 Polyspace를 활용하여 품질과 정확성을 보여주었습니다.