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

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

Polyspace^® as You Code는 현재 Visual Studio^®에서 활성화된 소스 코드 파일을 검사하여 버그와 코딩 표준 위반 사항을 확인합니다.

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

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

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

빌드 명령에서 빌드 구성을 추출하기 위해 Polyspace as You Code를 구성할 수 있습니다. 이 방법에서는 Polyspace가 빌드 명령을 실행하고 실행된 프로세스에서 빌드 옵션을 수집합니다. 또는 Visual Studio 솔루션이나 JSON 컴파일 데이터베이스에서 빌드 구성을 추출할 수 있습니다. 이러한 방법을 사용하면 Polyspace는 솔루션이나 컴파일 데이터베이스에서 필요한 빌드 구성을 간단히 읽을 수 있습니다.

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

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

Tools > Options를 선택하여 옵션 대화 상자를 엽니다.
Polyspace as You Code > Analysis Options를 선택한 후 Build 목록에서 Get from build command를 선택하세요.
Build Command 상자에 전체 빌드를 수행하는 명령을 입력하세요. 예를 들면 다음과 같습니다.
gcc -g -o helloworld hello.c main.c
Polyspace as You Code 퍼스펙티브의 Configuration 보기에서 를 클릭하세요.

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

생성된 옵션 파일은 workingDirectory/projectName 폴더 아래의 .polyspace-configure 폴더나 그 하위 폴더에 저장됩니다. 여기서 workingDirectory는 Working Directory의 Polyspace as You Code > General에 지정된 경로이고 projectName는 현재 분석하고 있는 파일이 들어 있는 프로젝트의 이름입니다.

Visual Studio 프로젝트에서 빌드 구성 가져오기

Visual Studio 프로젝트에서 빌드 구성 정보를 추출하려면:

Tools > Options를 선택하여 옵션 대화 상자를 엽니다.
Polyspace as You Code > Analysis Options를 선택한 후 Build 목록에서 Get from Visual Studio C++ project를 선택하세요.

Polyspace as You Code는 프로젝트 툴체인에서 빌드 옵션을 자동으로 추출합니다. Polyspace 분석 엔진은 후속 분석에서 해당 옵션을 사용합니다.

작업 공간에 여러 프로젝트가 있는 경우 Polyspace는 모든 프로젝트에 대한 빌드 옵션을 추출한 다음 특정 프로젝트의 파일을 분석할 때 관련 옵션만 적용합니다.

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

빌드 시스템이 JSON 컴파일 데이터베이스 파일 생성을 지원하는 경우 Polyspace as You Code를 구성하여 JSON 컴파일 데이터베이스에서 빌드 구성을 추출할 수 있습니다. 이 파일에는 프로젝트의 모든 번역 단위에 대한 컴파일러 호출이 포함되어 있습니다. JSON 컴파일 데이터베이스를 참조하세요.

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

JSON 컴파일 데이터베이스 파일을 생성합니다. 이 파일을 생성하는 방법의 예는 Create Polyspace Options File from JSON Compilation Database (Polyspace Bug Finder)를 참조하세요.
로컬 머신에서 생성되지 않은 JSON 컴파일 데이터베이스를 사용하는 경우 Polyspace as You Code를 실행하는 위치에서 파일에 나열된 경로에 액세스할 수 있는지 확인하세요.
Tools > Options를 선택하여 옵션 대화 상자를 엽니다.
Polyspace as you Code > Analysis Options를 선택한 후 Build 목록에서 Get from JSON Compilation Database file를 선택하세요. 1단계에서 생성한 JSON 컴파일 데이터베이스 파일의 전체 경로를 JSON Compilation Database file 상자에 지정하세요.

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

생성된 옵션 파일은 workingDirectory/projectName 폴더 아래의 .polyspace-configure 폴더나 그 하위 폴더에 저장됩니다. 여기서 workingDirectory는 Working directory의 Polyspace as You Code > General에 지정된 경로이고 projectName는 현재 분석하고 있는 파일이 들어 있는 프로젝트의 이름입니다.

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

프로젝트나 작업 공간에 소스 파일을 추가하거나 기존 파일의 이름을 바꾸는 등 빌드 구성을 변경하는 경우 생성된 옵션 파일을 업데이트하여 이러한 변경 사항을 반영합니다. 옵션 파일을 업데이트하기 전에 새로운 구성으로 빌드가 성공적으로 완료되는지 확인하세요.

옵션 파일을 업데이트하려면 Polyspace as You Code 퍼스펙티브의 Configuration 뷰에서 Generate build options icon 를 클릭하세요.

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를 실행하는 위치에서 해당 파일에 나열된 경로에 액세스할 수 있는지 확인하세요.

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

Tools > Options를 선택하여 옵션 대화 상자를 엽니다.
Polyspace as you Code > Analysis Options를 선택한 다음 Build 메뉴에서 Get from Polyspace build options file를 선택하고 옵션 파일의 전체 경로를 지정합니다. Visual Studio에서 Polyspace as You Code 확장 구성 항목을 참조하십시오.

Polyspace as You Code 분석 엔진은 후속 분석에서 지정한 옵션 파일을 사용합니다.

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

Polyspace 데스크톱 프로젝트에서 분석 옵션 가져오기

Polyspace 데스크톱 애플리케이션에서 분석을 구성하면 생성된 Polyspace 데스크톱 .psprj 파일의 정보를 사용하여 Polyspace as You Code 분석을 구성할 수 있습니다.

.psprj 파일에서 분석 옵션을 가져오려면 Visual Studio에서 터미널을 열고 다음 명령을 입력하세요.

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

Tools > Options를 선택하여 옵션 대화 상자를 엽니다.
Polyspace as You Code > Analysis Options를 선택한 후 Build 목록에서 Get from Polyspace build options file를 선택하세요. Visual Studio에서 Polyspace as You Code 확장 구성 항목을 참조하십시오.
생성된 체커(검사 항목) 활성화 파일 checkers_activation_file.xml의 경로를 Checkers File 상자에 지정합니다.
생성된 옵션 파일 analysis_options.txt의 경로를 Other Analysis Options 상자에 지정하세요.

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