이 페이지는 기계 번역을 사용하여 번역되었습니다. 영어 원문을 보려면 여기를 클릭하십시오.
Polyspace as You Code의 분석 범위
Polyspace® as You Code는 C/C++ 개발자가 통합 개발 환경(IDE)에서 정기적으로 사용하도록 설계된 정적 코드 분석 소프트웨어입니다. Polyspace as You Code는 현재 IDE에서 활성화된 파일에서 버그 및 코딩 표준 위반을 찾을 수 있습니다.
이 주제에서는 Polyspace as You Code의 분석 범위와 전체 통합 분석을 위해 Polyspace Bug Finder 또는 Polyspace Bug Finder Server를 사용하는 이점에 대해 간략하게 설명합니다.
결과에는 현재 파일만 포함됩니다.
Polyspace as You Code는 개발자에게 즉각적인 관심을 불러일으킬 수 있는 결과를 제공하도록 설계되었습니다. 따라서 이 도구는 현재 작업 중인 파일의 결과만 보여줍니다. Polyspace as You Code 확장 프로그램을 설치한 후에는 IDE에서 파일을 열거나 저장할 때마다 백그라운드에서 분석이 자동으로 실행되어 파일의 문제점을 강조 표시합니다.
발견된 모든 문제는 소스 파일 자체에서 발생하며 이 파일 내에서 수정할 수도 있습니다. 강조 표시된 위치에 수정 사항을 구현하거나 현재 파일 내의 다른 관련 위치에 수정 사항을 구현할 수 있습니다. 예를 들어, 다음 정수를 0으로 나눈 결과는 이전 줄의 관련 이벤트와 함께 표시됩니다. 나누기 바로 전에 0으로 나누는 것에 대한 보호 기능을 구현하거나, 나누기가 수행되는 함수의 입력에 대한 검사를 구현할 수 있습니다.
여러 파일이 관련된 결과(예: 파일 간 선언 불일치 또는 서로 다른 파일의 함수 간 데이터 흐름)는 기본 Polyspace as You Code 분석에 표시되지 않습니다. 프로젝트의 완전한 통합 결과를 보려면 데스크톱에서는 Polyspace Bug Finder™를 사용하여 프로젝트를 분석하거나 CI(지속적인 통합) 서버에서 Polyspace Bug Finder Server™를 사용하여 프로젝트를 분석하세요.
단일 파일 분석에서 문제를 찾을 가능성이 낮은 일부 체커(검사 항목)는 Polyspace as You Code에서 완전히 비활성화되어 있습니다. Polyspace as You Code에서 체커(검사 항목) 비활성화 항목을 참조하십시오.
현재 파일에 포함된 헤더가 분석되지 않음
소스와 동일한 폴더(또는 하위 폴더)에 있는 헤더가 있는 #include 소스 파일을 분석하면 Polyspace는 이러한 헤더도 분석하고 헤더가 있으면 결과를 보고합니다. 확장 프로그램의 Headers 보기에서 어떤 헤더에 결과가 포함되어 있는지 확인할 수 있습니다. 추가 Polyspace 보기 열기 항목을 참조하십시오. 다른 모든 헤더 파일은 컴파일 대상으로 고려되지만 추가로 분석되지는 않습니다.
이러한 기본 동작의 이유는 다음과 같습니다.
소스에 가까운 헤더:
기본 가정은 소스 폴더의 헤더가 현재 소스 파일과 더 밀접하게 관련되어 있으므로 분석에 적합하다는 것입니다. 개발자는 이 헤더에 보고된 문제를 수정하고 싶을 수도 있습니다.
소스가 아닌 폴더의 헤더:
다른 폴더의 헤더는 일반적으로 타사 라이브러리에서 제공되며 분석되지 않습니다.
다음 옵션을 사용하여 이 기본 동작을 변경할 수 있습니다.
소스 및 (-generate-results-for)에 대한 결과 생성(Polyspace Bug Finder): 이 옵션을 사용하면 분석해야 하는 헤더의 범위를 확장할 수 있습니다.(-do-not-generate-results-for)에 대한 결과를 생성하지 않음(Polyspace Bug Finder): 이 옵션을 사용하면 분석하지 않아야 하는 헤더의 범위를 확장할 수 있습니다.
헤더를 명시적으로 분석하여 헤더 파일에서 결과를 볼 수도 있습니다.
