올바른 정적 분석 결과물을 얻어내기 위해서 가장 중요한 첫번째 단추는 내가 사용하는 Target Hardware 와 Compiler 개발 환경에 일치할 수 있도록 정적 분석 환경을 설정하는 것입니다. 잘못된 설정으로 인한 잘못된 분석 결과물을 검토하게 될 경우, 다수의 개발자, 엔지니어 분들의 소중한 시간을 아깝게 소모하게 될 것입니다.
그래서 정적 분석 도구 사용의 첫 단계인 Target & Compiler 관련 옵션 설정부터 주의 깊게 잘 설정해야 합니다. 빌드 시 Target & Compiler 정보를 알아서 추출한다?
Polyspace 사용자 분들께서 Polyspace가 지원하는 컴파일러를 사용 중이라면, 큰 공수를 들지 않도록 Polyspace가 Target & Compile..........
