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

명령줄에서 Polyspace as You Code 분석을 위한 빌드 옵션 생성

Polyspace® as You Code는 IDE나 코드 편집기에서 작업하는 동안 코드의 버그와 코딩 표준 위반 사항을 검사합니다.

오류 없이 분석을 실행하려면 Polyspace as You Code에 데이터 유형 크기, 컴파일러 매크로 정의와 같은 빌드 구성 세부 정보를 제공하세요. 빌드 구성 정보를 제공하려면 다음 방법 중 하나를 사용하세요.

  • polyspace-configure (Polyspace Bug Finder) 명령어를 사용하여 빌드 명령어나 JSON 컴파일 데이터베이스에서 빌드 구성 정보를 추출하십시오.

  • 빌드 구성을 에뮬레이트하는 분석 옵션을 옵션 파일에서 수동으로 지정합니다. Options Files for Polyspace Analysis (Polyspace Bug Finder) 항목을 참조하십시오.

  • Polyspace 데스크탑 제품 프로젝트 파일에서 분석 옵션을 가져옵니다.

polyspace-configure를 사용하여 빌드 옵션 파일 생성

polyspace-configure (Polyspace Bug Finder) 명령어는 빌드 명령어나 JSON 컴파일 데이터베이스 파일에서 빌드 구성 정보를 추출할 수 있게 해줍니다. 빌드 명령어에서 polyspace-configure를 실행하면, Polyspace가 빌드 명령어를 실행하고 실행된 프로세스의 빌드 옵션을 수집합니다. JSON 컴파일 데이터베이스에서 polyspace-configure를 실행하면, Polyspace는 데이터베이스에서 필요한 모든 빌드 옵션을 읽어옵니다. 추출된 정보로부터 polyspace-configure는 사용자의 빌드 구성을 모방하는 빌드 옵션 파일을 생성합니다.

polyspace-configure는 Polyspace as You Code 설치와 함께 제공되며, polyspaceAsYouCodeRoot/polyspace/bin 폴더에 위치합니다. 여기서 polyspaceAsYouCodeRoot는 Polyspace as You Code 설치 폴더입니다.

빌드 명령에서 빌드 구성 가져오기

빌드 명령어에서 빌드 구성 정보를 추출하려면, 전체 빌드를 수행하는 빌드 명령어를 제공하십시오. 예를 들어, Linux에서 프로젝트를 빌드할 때 make를 사용한다면 다음 명령어를 사용하세요:

polyspace-configure \ 
 -no-sources -allow-overwrite \
 -output-options-file path/To/buildOptions/buildOptions.txt \
 -merge-common-options make -B

Polyspace는 빌드 명령어를 실행하고, 빌드 과정을 추적하여 구성 정보를 추출한 후, path/To/buildOptions 내부에서 buildOptions.txt를 생성합니다. polyspace-configure 옵션에 대한 자세한 내용은 polyspace-configure (Polyspace Bug Finder)를 참조하십시오.

프로젝트의 소스 파일을 후속 분석할 때 생성된 옵션 파일을 사용하십시오. 예를 들면 다음과 같습니다.

polyspace-bug-finder-access -sources file.c -options-file path/To/buildOptions/buildOptions.txt

JSON 컴파일 데이터베이스에서 빌드 구성 가져오기

빌드 시스템이 JSON 컴파일 데이터베이스 파일 생성을 지원하는 경우 이 워크플로를 사용하십시오.

컴파일 데이터베이스 파일에는 프로젝트 내 모든 번역 단위에 대한 컴파일러 호출 정보가 포함됩니다. JSON 컴파일 데이터베이스를 참조하세요.

JSON 컴파일 데이터베이스에서 빌드 구성 정보를 추출하려면:

  1. JSON 컴파일 데이터베이스 파일을 생성합니다. 이 파일을 생성하는 방법의 예는 Create Polyspace Options File from JSON Compilation Database (Polyspace Bug Finder)를 참조하세요. 생성된 파일은 일반적으로 compile_commands.json로 명명됩니다.

    로컬 머신에서 생성되지 않은 JSON 컴파일 데이터베이스를 사용하는 경우 Polyspace as You Code를 실행하는 위치에서 파일에 나열된 경로에 액세스할 수 있는지 확인하세요.

  2. 컴파일 데이터베이스 파일을 polyspace-configure에 전달하십시오. 예를 들면 다음과 같습니다.

    polyspace-configure \ 
 -no-sources -allow-overwrite \
 -output-options-file path/To/buildOptions/buildOptions.txt \
 -merge-common-options \
-compilation-database otherPath/To/compile_command/compile_commands.json

Polyspace는 컴파일 데이터베이스에서 빌드 구성 정보를 추출하여 옵션 파일을 생성합니다. polyspace-configure 옵션에 대한 자세한 내용은 polyspace-configure (Polyspace Bug Finder)를 참조하십시오.

프로젝트의 소스 파일을 후속 분석할 때 생성된 옵션 파일을 사용하십시오. 예를 들면 다음과 같습니다.

polyspace-bug-finder-access -sources file.c -options-file path/To/buildOptions/buildOptions.txt

생성된 빌드 옵션 파일 업데이트

빌드 구성에 변경 사항(예: 프로젝트나 작업 공간에 소스 파일 추가 또는 기존 파일 이름 변경)을 적용한 경우, 해당 변경 사항을 반영하도록 생성된 옵션 파일을 업데이트하십시오. 옵션 파일을 업데이트하기 전에 새로운 구성으로 빌드가 성공적으로 완료되는지 확인하세요.

옵션 파일을 업데이트하려면, 파일을 생성할 때 사용했던 명령어를 다시 실행하고 동일한 옵션 세트를 지정하십시오.

JSON 컴파일 데이터베이스 파일에서 빌드 정보를 추출하는 경우 빌드 옵션 파일을 업데이트하기 전에 컴파일 데이터베이스를 다시 생성하세요.

수동으로 분석 옵션 지정

다음과 같은 경우 이 워크플로를 사용하십시오:

  • 빌드 시스템의 세부 정보를 알고 있으며 옵션 파일에서 빌드 구성을 에뮬레이트하는 Polyspace 분석 옵션을 지정하려고 합니다. Options Files for Polyspace Analysis (Polyspace Bug Finder) 항목을 참조하십시오.

    사용 가능한 분석 옵션 목록은 Complete List of Polyspace Bug Finder Analysis Engine Options (Polyspace Bug Finder)를 참조하세요.

  • 귀하 또는 귀하 팀의 다른 누군가가 빌드 시스템에 대해 구성한 Polyspace 옵션 파일을 재사용합니다.

    로컬 컴퓨터에서 구성되거나 생성되지 않은 옵션 파일을 재사용하는 경우 Polyspace as You Code를 실행하는 위치에서 해당 파일에 나열된 경로에 액세스할 수 있는지 확인하세요.

빌드 구성을 변경하는 경우 옵션 파일을 편집하여 해당 변경 사항을 반영합니다. Specify Target Environment and Compiler Behavior (Polyspace Bug Finder) 항목을 참조하십시오.

Polyspace Desktop 프로젝트에서 분석 옵션 가져오기

Polyspace 데스크톱 제품에서 분석을 구성하면, 결과로 생성된 Polyspace 데스크톱 .psprj 파일의 정보를 활용하여 Polyspace as You Code 분석을 구성할 수 있습니다.

Polyspace 데스크톱 .psprj 파일에서 분석 옵션을 가져오려면 다음 명령을 사용하십시오:

ps-migrate-checkers-selection -import-options-from-psprj pathToPsprjFile
ps-migrate-checkers-selection 명령어는 Polyspace as You Code 인스톨러 설치 폴더 내의 polyspace/bin/arch 폴더에서 사용할 수 있습니다. 여기서 arch는 win64, glnxa64 또는 maci64 중 하나입니다. PATH 환경 변수에 이 설치 폴더를 추가하지 않은 경우 이 명령을 실행하려면 바이너리의 전체 경로를 포함하세요.

pathToPsprjFile 경로는 .psprj 파일의 전체 경로입니다.

Polyspace는 옵션 파일 analysis_options.txt와 XML 체커(검사 항목) 활성화 파일 checkers_activation_file.xml를 생성합니다. 생성된 파일은 .psprj 파일과 같은 위치의 import 폴더에 저장됩니다.

생성된 옵션 파일과 검사기 활성화 파일을 사용하여 프로젝트의 소스 파일을 후속 분석에 활용하십시오. 예를 들면 다음과 같습니다.

polyspace-bug-finder-access -sources file.c \
-options-file path/To/import/analysis_options.txt \
-checkers-activation-file path/To/import/checkers_activation_file.xml

빌드 구성을 변경한 경우, 해당 변경 사항을 반영하도록 옵션 파일(analysis_options.txt)을 편집하십시오. Specify Target Environment and Compiler Behavior (Polyspace Bug Finder) 항목을 참조하십시오.

참고 항목

(Polyspace Bug Finder) |

도움말 항목