Accelerating the pace of engineering and science

Polyspace Bug Finder

정적 분석을 통한 소프트웨어 버그 발견

Polyspace Bug Finder™는 런타임 오류, 동시성 문제, 보안 취약성 및 C/C++ 임베디드 소프트웨어의 기타 오류를 감지합니다. Polyspace Bug Finder 분석 소프트웨어는 정적 분석을 사용하여 소프트웨어 제어, 데이터 흐름 및 절차간 동작을 분석합니다. 감지 직후 오류를 강조 표시하여 사용자는 개발 프로세스 초기에 버그를 심사 및 수정할 수 있습니다.

Polyspace Bug Finder는 MISRA C®, MISRA C++, JSF++ 및 사용자 지정 명명 규칙 등 코딩 규칙 표준의 준수 여부를 확인합니다. 그리고 순환 복잡성 등 코드 품질 메트릭, 발견된 버그 및 코드 규칙 위반 사항으로 구성되는 보고서를 작성합니다. Polyspace Bug Finder는 Eclipse™ IDE와 함께 사용되어 시스템을 구축하기 위한 용도로 통합될 수 있습니다.

자동 생성 코드의 경우 Polyspace® 결과를 Simulink® 모델 및 dSPACE® TargetLink® 블록으로 역추적할 수 있습니다.

IEC Certification Kit(ISO 26262 및 IEC 61508)DO Qualification Kit(DO-178)을 통해 산업 표준을 지원합니다.

Fast-Track MISRA Compliance of Generated Code

자세히 보기

Polyspace Bug Finder 평가판 사용

평가판 신청
Ram Cherukuri

새로운 내용

출처: Ram Cherukuri, Polyspace Bug Finder 기술 전문가