Polyspace Bug Finder

정적 분석을 사용하여 소프트웨어 버그를 식별할 수 있습니다.

소프트웨어의 버그 및 취약성 식별

보안 취약성, 동시성, 수치적 결함 등 다양한 종류의 버그를 찾아낼 수 있습니다. 모든 컴파일러, 타겟 프로세서, RTOS 환경에 맞게 분석을 구성할 수 있습니다.

코딩 표준 준수

MISRA C 및 MISRA C++, AUTOSAR C++14, JSF++ 및 사용자 지정 명명 규칙 같은 임베디드 소프트웨어 코딩 표준을 적용할 수 있습니다.

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

보안 취약점과 이슈를 탐지하여 응용 프로그램을 보호할 수 있습니다. CERT C/C++, CWE, ISO 17961, MISRA C:2012 Amendment 1 같은 보안 코딩 표준과 지침을 준수할 수 있습니다.

인증 지원

IEC 61508, ISO 26262, ISO/SAE 21434 또는 DO-178C 등의 산업 안전 및 보안 표준에 대한 인증 과정을 완료하는 데 필요한 아티팩트를 최고의 기능 안전 또는 보안 수준까지 만들 수 있습니다.

Simulink 및 Stateflow 통합

생성된 코드에 분석을 실행하고 결과를 소스 코드에서 그에 상응하는 Simulink 모델 블록 또는 Stateflow 차트까지 추적할 수 있습니다. Simulink 환경 안에서 Polyspace 분석을 시작할 수 있습니다.

소프트웨어 품질 모니터링

코드 메트릭을 생성하여 소스 코드의 품질을 측정하고 개선할 수 있습니다. 품질 기준에 대하여 분석 결과를 비교할 수 있습니다.

데스크탑에서 대화형 방식 분석

데스크탑 컴퓨터에서 분석을 실행하고 결과를 검토할 수 있습니다. 디버거와 같은 보기, 이벤트 추적, 호출 그래프를 통해 복잡한 버그의 근본 원인을 식별할 수 있습니다. 발견 결과를 해결하고 리포트를 생성할 수 있습니다.

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

Johannes Foufas, Volvo Cars

Polyspace Bug Finder에 대해 더 알아보고 싶으십니까?