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

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

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

분석이 오류 없이 실행되도록 하려면 Polyspace as You Code에 데이터형 크기 및 컴파일러 매크로 정의와 같은 빌드 구성 사양을 제공하십시오. 빌드 구성 정보를 제공하려면 다음을 수행할 수 있습니다.

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

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

Polyspace as You Code를 구성하여 Eclipse 프로젝트, 빌드 명령 또는 JSON 컴파일 데이터베이스에서 빌드 구성을 추출할 수 있습니다. 빌드 명령어에서 빌드 구성을 추출하면, Polyspace가 해당 명령어를 실행하고 실행된 프로세스에서 빌드 정보를 수집합니다. Eclipse 프로젝트 또는 JSON 컴파일 데이터베이스에서 빌드 구성을 추출하면, Polyspace는 해당 프로젝트나 JSON 데이터베이스에서 빌드 구성을 간단히 읽어올 수 있습니다.

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

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

Window > Preferences로 이동하여 Polyspace as You Code 노드를 선택하십시오.
Analysis 노드에서 Build 목록의 Get from Eclipse C/C++ project를 선택하십시오. Eclipse에서 Polyspace as You Code 플러그인 구성 항목을 참조하십시오.

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

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

툴체인 구성의 세부 정보를 보려면:

Project Explorer에서 프로젝트를 선택하고 Project > Properties로 이동하십시오.
C/C++ General 노드 아래에서 Paths and symbols와 Preprocessor Include Paths, Macros, etc를 선택하십시오.

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

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

Window > Preferences로 이동하여 Polyspace as You Code 노드를 선택하십시오.
Analysis 노드에서 Build 목록의 Get from build command를 선택하십시오. Eclipse에서 Polyspace as You Code 플러그인 구성 항목을 참조하십시오.
지정하는 빌드 명령은 전체 빌드를 수행해야 합니다. 예를 들면 다음과 같습니다.
gcc -g -o helloworld hello.c main.c
Polyspace as You Code 퍼스펙티브의 Configuration 보기에서 를 클릭하세요.

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

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

여기서 workingDirectory는 Polyspace as You Code 노드에서 지정한 Working directory 경로이며, projectName는 현재 분석 중인 파일을 포함하는 프로젝트의 이름입니다.

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

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

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

JSON 컴파일 데이터베이스 파일을 생성합니다. 이 파일을 생성하는 방법의 예는 Create Polyspace Options File from JSON Compilation Database (Polyspace Bug Finder)를 참조하세요.
로컬 머신에서 생성되지 않은 JSON 컴파일 데이터베이스를 사용하는 경우 Polyspace as You Code를 실행하는 위치에서 파일에 나열된 경로에 액세스할 수 있는지 확인하세요.
Window > Preferences로 이동하여 Polyspace as You Code 노드를 선택하십시오.
Analysis 노드에서 Build 목록의 Get from JSON Compilation Database file를 선택하고, 1단계에서 생성한 JSON 컴파일 데이터베이스 파일의 전체 경로를 지정하십시오. Eclipse에서 Polyspace as You Code 플러그인 구성 항목을 참조하십시오.

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

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

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

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

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

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

Window > Preferences로 이동하여 Polyspace as You Code 노드를 선택하십시오.
Analysis 노드에서 Build 목록의 Get from Polyspace build options file를 선택하고 옵션 파일의 전체 경로를 지정하십시오. Eclipse에서 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 파일에서 분석 옵션을 가져오려면 Eclipse에서 터미널을 열고 다음 명령을 입력하세요.

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

Window > Preferences로 이동하여 Polyspace as You Code 노드를 선택하십시오.
Analysis 노드에서 Build 목록의 Get from Polyspace build options file를 선택하십시오. Eclipse에서 Polyspace as You Code 플러그인 구성 항목을 참조하십시오.
생성된 옵션 파일 analysis_options.txt의 경로를 Other Analysis Options File 상자에 지정하십시오.
생성된 체커(검사 항목) 활성화 파일 checkers_activation_file.xml의 경로를 Checkers File 상자에 지정합니다.

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