Polyspace Bug Finder

버그 찾기 및 결함 분류

Polyspace Bug Finder는 수치, 프로그래밍, 정적 메모리, 동적 메모리 및 데이터 흐름에 관련된 다양한 결함을 검출합니다. 이러한 결함들은 결함의 원인과 소스를 파악하는 데 도움을 주는 추적 정보와 함께 소스 코드에서 확인할 수 있습니다. 코딩 규칙 위반은 규칙 위반에 관한 정보 메시지와 함께 소스 코드에서 직접 확인할 수 있습니다.

수월한 작업 흐름 덕분에 개발자와 품질 엔지니어가 결함을 분류하기 쉽습니다. Polyspace Bug Finder는 모든 검출된 결함에 대해 그 원인에 관한 자세한 정보를 제공합니다. 예를 들어 정수 오버플로우가 발생하는 상황에서 Polyspace Bug Finder는 오버플로우 조건을 발생시키는 코드의 모든 행 번호를 추적합니다. 소프트웨어 개발자는 이 정보를 사용하여 코드를 수정할 최적의 방법을 결정할 수 있습니다. 품질 엔지니어는 이 정보를 사용하여 후속 조치를 수행할 수 있도록 결함을 분류할 수 있습니다. 예를 들어 품질 엔지니어는 추가적인 조사가 필요한 결함을 기록하거나 결함의 우선 순위가 낮음을 표시할 수도 있습니다.

An overflow condition identified in Polyspace Bug Finder.

Polyspace Bug Finder에서 식별된 오버플로우 조건

다음: 코딩 표준 준수 확인

평가판 사용 Polyspace Bug Finder

평가판 신청

Comprehensive Static Analysis Using Polyspace Products

온라인 세미나 보기