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

Visual Studio에서 Polyspace as You Code 분석을 위한 빌드 옵션 생성

Polyspace^® as You Code는 Visual Studio^® 코드 편집기에서 현재 활성화된 소스 코드 파일을 대상으로 버그 및 코딩 표준 위반 사항을 검사합니다.

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

빌드 작업, 빌드 명령 또는 JSON 컴파일 데이터베이스에서 빌드 구성 정보를 추출하도록 Polyspace as You Code를 구성하십시오.
빌드 구성을 에뮬레이트하는 분석 옵션을 옵션 파일에서 수동으로 지정합니다. Options Files for Polyspace Analysis (Polyspace Bug Finder) 항목을 참조하십시오.
Polyspace 데스크탑 제품 프로젝트 파일에서 분석 옵션을 가져옵니다.

빌드 구성을 추출하기 위해 Polyspace as You Code를 구성합니다.

Polyspace as You Code를 구성하여 빌드 태스크 또는 빌드 명령에서 빌드 구성을 추출할 수 있습니다. 이 방법에서 Polyspace는 빌드 작업 또는 빌드 명령을 실행하고 실행된 프로세스에서 빌드 옵션을 수집합니다. 또는 JSON 컴파일 데이터베이스에서 빌드 구성을 추출할 수도 있습니다. 이 방법에서 Polyspace는 컴파일 데이터베이스에서 필요한 빌드 구성을 간단히 읽을 수 있습니다.

참고

Windows^®에서 원격 개발을 활성화하고 원격 컴퓨터의 프로젝트 파일 또는 폴더 중 네트워크 드라이브에 있는 것이 있다면, 해당 네트워크 드라이브의 UNC 경로를 입력하십시오. 원격 개발을 위해 Polyspace as You Code 구성 항목을 참조하십시오. 원격 개발을 활성화할 때 드라이브 문자로 매핑된 네트워크 드라이브의 경로를 Polyspace as You Code 확장 프로그램이 해결하지 못할 수 있으며, Polyspace: Generate Build Options 명령이 실패할 수 있습니다.

빌드 구성을 추출한 후, Polyspace는 Polyspace as You Code 분석 엔진이 후속 분석에 사용하는 옵션 파일을 생성합니다. 해당 파일에는 빌드 구성을 모방하는 분석 옵션이 포함되어 있습니다.

생성된 옵션 파일은 workingDirectory/projectName 폴더 또는 그 하위 폴더 중 하나의 .polyspace-configure 폴더에 저장됩니다.

workingDirectory는 Polyspace as You Code 확장자 설정에서 지정한 Polyspace > Analysis Engine: Result Folder 경로입니다. projectName은 현재 분석 중인 파일을 포함하는 Explorer의 최상위 폴더 이름입니다.

빌드 태스크에서 빌드 구성 가져오기

Visual Studio 코드를 사용하면 작업을 정의하여 Visual Studio 코드에서 외부 도구를 실행할 수 있습니다. 작업(Tasks)을 통한 외부 도구 통합을 참조하십시오.

사용자 지정 작업을 정의하여 컴파일러를 호출해 프로젝트의 전체 빌드를 수행하는 경우, Polyspace는 이 빌드 작업에서 빌드 구성을 추출할 수 있습니다.

Ctrl+Comma (,)를 눌러 Visual Studio 코드 설정을 엽니다.
설정 검색창에 polyspace.analysisoptions를 입력하세요.

다음 Polyspace > Analysis Options 설정을 지정하십시오:

설정 값

Analysis Setup Manual setup

Manual Setup: Build Get from build task

Manual Setup > Build Setting: Build Task

빌드 작업의 이름을 지정하십시오. 이는 tasks.json 파일의 작업 정의에서 "label" 필드에 해당합니다. 지정하신 작업은 전체 빌드를 수행해야 합니다.

Polyspace는 작업 정의에서 오직 이러한 Visual Studio 코드 사전 정의된 변수의 사용만을 지원합니다:

${workspaceFolder}
${workspaceFolderBasename}

Command Palette를 열려면 Ctrl+Shift+P를 누르고 Polyspace: Generate Build Options를 입력하세요.

Polyspace는 작업에서 지정된 빌드 명령을 실행하고, 빌드를 추적하여 구성 정보를 추출하며, 옵션 파일을 생성합니다. Polyspace as You Code 분석 엔진은 후속 분석에서 생성된 옵션 파일을 사용합니다.

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

빌드 명령에서 빌드 구성 정보를 추출하려면:

Ctrl+Comma (,)를 눌러 Visual Studio 코드 설정을 엽니다.
설정 검색창에 polyspace.analysisoptions를 입력하세요.

다음 Polyspace > Analysis Options 설정을 지정하십시오:

설정 값

Analysis Setup Manual setup

Manual Setup: Build Get from build command

Manual Setup > Build Setting: Build Command

빌드 명령어를 지정하십시오. 예를 들면 다음과 같습니다.

gcc -g -o helloworld hello.c main.c

지정하신 명령어는 전체 빌드를 수행해야 합니다

Command Palette를 열려면 Ctrl+Shift+P를 누르고 Polyspace: Generate Build Options를 입력하세요.

Polyspace는 빌드 명령을 실행하고, 빌드를 추적하여 구성 정보를 추출하고, 옵션 파일을 생성합니다. Polyspace as You Code 분석 엔진은 후속 분석에서 생성된 옵션 파일을 사용합니다.

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

빌드 시스템이 JSON 컴파일 데이터베이스 파일 생성을 지원하는 경우 이 워크플로를 사용하십시오. JSON 컴파일 데이터베이스에는 프로젝트의 모든 번역 단위에 대한 컴파일러 호출이 포함됩니다. JSON 컴파일 데이터베이스를 참조하세요.

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

JSON 컴파일 데이터베이스 파일을 생성합니다. 이 파일을 생성하는 방법의 예는 Create Polyspace Options File from JSON Compilation Database (Polyspace Bug Finder)를 참조하세요.
로컬 머신에서 생성되지 않은 JSON 컴파일 데이터베이스를 사용하는 경우 Polyspace as You Code를 실행하는 위치에서 파일에 나열된 경로에 액세스할 수 있는지 확인하세요.
Ctrl+Comma (,)를 눌러 Visual Studio 코드 설정을 엽니다.
설정 검색창에 polyspace.analysisoptions를 입력하세요.

다음 Polyspace > Analysis Options 설정을 지정하십시오:

설정	값
Analysis Setup	`Manual setup`
Manual Setup: Build	`Get from JSON Compilation Database file`
Manual Setup > Build Setting: JSON Compilation Database File	1단계에서 생성한 파일의 전체 경로를 지정하십시오. 파일은 일반적으로 `compile_commands.json`로 명명됩니다.

Polyspace는 컴파일 데이터베이스에서 빌드 구성 정보를 자동으로 추출하고 옵션 파일을 생성합니다. Polyspace as You Code 분석 엔진은 후속 분석에서 생성된 옵션 파일을 사용합니다.

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

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

옵션 파일을 업데이트하려면, Ctrl+Shift+P를 눌러 Command Palette를 열고 Polyspace: Generate Build Options를 입력하십시오.

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

Polyspace as You Code에서 실패한 분석이나 예상치 못한 결과를 문제 해결하세요 항목도 참조하십시오.

수동으로 분석 옵션 지정

다음의 경우 사용자가 만든 옵션 파일에서 수동으로 분석 옵션을 지정합니다.

빌드 시스템의 세부 정보를 알고 있으며 옵션 파일에서 빌드 구성을 에뮬레이트하는 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를 실행하는 위치에서 해당 파일에 나열된 경로에 액세스할 수 있는지 확인하세요.

분석 옵션 파일을 지정하려면:

Ctrl+쉼표(,)를 눌러 Visual Studio 코드 설정을 엽니다.
설정 검색창에 polyspace.analysisoptions를 입력하세요.

다음 Polyspace > Analysis Options 설정을 지정하십시오:

설정	값
Analysis Setup	`Manual setup`
Manual Setup: Build	`Get from Polyspace build options file`
Manual Setup > Build Setting: Polyspace Build Options File	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 파일에서 분석 옵션을 가져오려면, Visual Studio Code에서 터미널을 열고 다음 명령어를 입력하세요:

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 as You Code 분석 구성을 완료하려면:

Ctrl+쉼표(,)를 눌러 Visual Studio 코드 설정을 엽니다.
설정 검색창에 polyspace.analysisoptions를 입력하세요.

다음 Polyspace > Analysis Options 설정을 지정하십시오:

설정	값
Analysis Setup	`Manual setup`
Manual Setup: Build	`Build options file not required` 이 설정은 Build Setting: Polyspace Build Options File 필드에 지정된 파일을 무시합니다.
Manual Setup: Checkers File	`checkers_activation_file.xml`의 전체 파일 경로
Manual Setup: Other Analysis Options	`analysis_options.txt`의 전체 파일 경로

Polyspace as You Code 분석 엔진은 이러한 파일을 후속 분석에 사용합니다.

Visual Studio에서 Polyspace as You Code 분석을 위한 빌드 옵션 생성

빌드 구성을 추출하기 위해 Polyspace as You Code를 구성합니다.

빌드 태스크에서 빌드 구성 가져오기

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

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

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

수동으로 분석 옵션 지정

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

참고 항목

도움말 항목