이 페이지는 기계 번역을 사용하여 번역되었습니다. 영어 원문을 보려면 여기를 클릭하십시오.

Polyspace as You Code에서 체커(검사 항목) 비활성화

Polyspace® as You Code는 IDE에서 현재 활성화된 파일에서 버그와 코딩 규칙 위반을 찾아냅니다. 문제를 발견하는 데 여러 소스 파일이 필요한 경우 분석에서는 설계상 문제를 표시할 수 없습니다. 체커(검사 항목) 선택 전략에 도움이 되는 내용:

  • 일반적으로 다중 파일 컨텍스트에서 가장 많은 결과를 생성하는 체커(검사 항목)는 Polyspace as You Code에서 완전히 비활성화됩니다.

  • 일부 코딩 표준 체커(검사 항목)는 단일 파일과 다중 파일 문제를 모두 다룹니다. 이러한 체커(검사 항목)는 비활성화되지 않지만 범위가 축소되고 Polyspace as You Code에서 전체 통합 분석보다 적은 문제를 보여줍니다.

Polyspace Bug Finder™ 또는 Polyspace Bug Finder Server™를 사용하여 프로젝트에서 통합 분석을 실행하면 이러한 다중 파일 문제를 감지할 수 있습니다.

Polyspace as You Code 분석에서 비활성화된 결함 체커(검사 항목) 및 코딩 규칙 체커(검사 항목)를 찾으려면:

  1. polyspaceroot\polyspace\resources\Polyspace R2025b Results List.xlsx 파일을 찾으세요. 여기서 polyspaceroot는 Polyspace 설치 폴더입니다. 기본 설치 폴더는 C:\Program Files\Polyspace\R2025b입니다.

  2. 탭에서 코딩 규칙과 결함 체커(검사 항목)를 찾으세요. 버그 파인더 결함 체커(검사 항목)는 Bug Finder 탭에 있고, 코딩 규칙 체커(검사 항목)는 해당 표준에 해당하는 탭에 있습니다.

  3. 체커(검사 항목)의 경우 Available with PaYC 열의 값을 찾아보세요. Polyspace as You Code에서 비활성화된 체커(검사 항목)는 이 열에 no 값을 갖습니다.

Polyspace as You Code IDE 확장 설정에서 비활성화된 체커(검사 항목)를 활성화하는 경우(또는 체커(검사 항목) 활성화 파일(-checkers-activation-file) (Polyspace Bug Finder) 옵션을 사용하는 경우) 분석하는 동안 내부적으로 비활성화됩니다. Polyspace as You Code 분석 후에는 이러한 체커(검사 항목)에 해당하는 결과가 표시되지 않습니다.

참고 항목

도움말 항목