이번 포스팅에서는 Polyspace Bug Finder에서 찾아낸 결함의 발생 원인을 찾아가기 위한 사용자 인터페이스를 자세히 살펴보도록 하겠습니다. Polyspace Result List 화면에서 특정 결과물을 선택하면, Source 화면에서 결함의 위치를 바로 볼 수 있습니다.
그러나 이 결함은 해당 결함 이전의 각종 구문들과 연관되어 있을 가능성이 매우 높습니다. 예를 들어, Non-initialized variable이라는 결함은 어떤 코드가 초기화되지 않은 변수를 읽는 곳에서 나오게 됩니다.
하지만, 그 변수는 해당 결함이 발생하기 이전에 특정 조건에서만 초기화 되는 경우가 있을 수도 있습니다. 위 그림1처럼 if 조건식이 참일 때만 초기화되고 거짓일때에는 초..........
Polyspace Bug Finder에서 탐지한 결함의 발생 원인을 찾기 위한 방법들에 대한 요약내용입니다.
자세한 내용은 아래에 원문링크를 확인해주시기 바랍니다.
