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

Visual Studio에서 Polyspace as You Code 확장 구성

Polyspace^® as You Code를 사용하면 Visual Studio^® IDE에서 작업하는 동안 버그와 코딩 규칙 위반 사항을 찾을 수 있습니다.

Polyspace as You Code 분석 엔진과 Visual Studio 확장 기능을 설치한 후, 코드를 저장하거나 명시적으로 분석을 시작할 때 Polyspace 분석이 원활하게 실행되도록 확장 기능을 구성합니다. 결과가 툴팁이 있는 소스 코드 마커나 Results List 창의 목록 형태로 예상대로 나타나면 분석이 원활하게 실행된 것입니다.

확장 기능을 구성하려면 Visual Studio에서 Tools > Options를 선택하고 Options 창에서 Polyspace as You Code 노드를 선택합니다. Polyspace as You Code 노드에서 다음을 선택하세요.

General 설치 폴더와 작업 디렉터리를 구성합니다.
Analysis Options 프로젝트에 대한 분석 옵션을 구성합니다.
Polyspace Access™에서 다운로드한 분석 결과를 베이스라인으로 사용하도록 구성하려면 Baseline를 사용하세요.

구성을 저장하려면 OK를 클릭하세요. 확장 프로그램을 다시 열면 모든 설정은 현재 값을 유지합니다.

Visual Studio에서 Polyspace as You Code 설정 가져오기 및 내보내기

여러 개발자가 모두 동일한 프로젝트 구성을 필요로 하는 상황에서는 Polyspace as You Code의 하나의 인스턴스를 설정하고 확장 설정을 vssettings 파일로 내보내는 것이 더 쉬울 수 있습니다. 그런 다음 설정 파일을 필요한 개발자와 공유하고 해당 설정을 Visual Studio로 가져올 수 있습니다.

Visual Studio에는 Polyspace as You Code 구성 설정을 포함하여 선택한 환경 설정을 내보낼 수 있는 Import and Export Settings 옵션이 포함되어 있습니다.

Polyspace as You Code 설정을 내보내려면:

Tools > Import and Export Settings...로 이동하여 가져오기 및 내보내기 설정 마법사를 엽니다.
Export selected environment settings를 선택한 다음 Next를 선택하세요.
Polyspace as You Code 설정 외에 내보내고 싶지 않은 항목은 모두 선택 해제하세요. Options 노드를 확장하고 Polyspace as You Code를 선택하여 모든 Polyspace as You Code 설정을 내보냅니다. 또는 Polyspace as You Code 노드를 확장하여 내보낼 Polyspace as You Code 설정을 사용자 정의합니다. 그런 다음 Next를 클릭하세요.
설정 파일의 이름을 입력하고 설정 파일을 저장할 디렉터리를 선택하세요. 그런 다음 Finish를 클릭하세요.

Polyspace as You Code 설정은 세 가지 방법으로 가져올 수 있습니다.

Visual Studio에서 가져오기 및 내보내기 설정 마법사를 사용합니다.
1. Tools > Import and Export Settings...로 이동하여 가져오기 및 내보내기 설정 마법사를 엽니다.
2. Import selected environment settings를 선택한 다음 Next를 선택하세요.
3. 현재 설정을 저장할지 여부를 선택하거나 저장하지 않으려면 Next를 클릭하세요.
4. Browse 버튼을 클릭하여 설정 파일로 이동하여 엽니다. 모든 설정 및 옵션 노드를 확장하여 모든 Polyspace as You Code 설정이 선택되었는지 확인한 다음 Finish를 클릭합니다.
Visual Studio 명령창에서 설정을 가져옵니다.
View > Other Windows > Command Window를 클릭하세요. 명령 창에서 PathToSettingsFile.vssettings를 사용자 설정의 전체 파일 경로로 바꿔서 명령을 입력합니다.
```
Tools.ImportandExportSettings/import:PathToSettingsFile.vssettings 
```
Visual Studio 프로그램의 바로 가기를 만들고 설정 파일을 대상 값에 추가합니다. 예를 들면 다음과 같습니다.
```
"C:\Program Files\Microsoft Visual Studio\2022\Professional\Common7\IDE\devenv.exe"
 /ResetSettings <PathToSettingsFile.vssettings>
```

Polyspace as You Code 기본 설정 지정

Polyspace as You Code 설치의 루트 폴더, 확장 프로그램이 사용하는 포트, 작업 디렉터리와 같은 일반적인 구성 설정을 지정합니다.

설정	설명
Polyspace installation folder	Polyspace as You Code 설치의 루트 폴더(예: `C:\Program Files\Polyspace as You Code\R2025b`). Polyspace는 이 설정을 자동으로 채우려고 시도합니다.
Working directory	Polyspace가 분석 결과를 저장하는 폴더입니다. 새로운 실행은 이전 실행의 결과를 덮어씁니다. 디폴트 디렉터리는 시스템 임시 폴더에 저장됩니다. Windows^® — `%temp%`, 예를 들어 `C:\Users\jsmith\AppData\Local\Temp` Linux^® — `/tmp`
Justification catalog	정당화 카탈로그 JSON 파일의 전체 파일 경로를 지정합니다. 팀이나 조직에서 결과를 정당화하는 데 사용하는 미리 정의된 주석 세트가 있는 경우 이 설정을 사용하세요. 이러한 정당화를 카탈로그 파일에 저장하고 하나 이상의 정당화를 특정 결과 또는 결과 패밀리와 연관시킬 수 있습니다. Polyspace 구문을 사용하여 결과에 주석을 달면, 해당 결과에 대한 카탈로그에 저장된 근거가 주석에 자동으로 채워집니다. Polyspace 구문에 대한 자세한 내용은 Annotation Syntax Details (Polyspace Bug Finder)를 참조하세요. 정당화 카탈로그를 생성하려면 Polyspace as You Code 플러그인에서 주석 자동 완성 기능을 위해 정당화 사유 카탈로그 사용를 참조하세요.
Debug Mode	디버깅을 활성화하거나 비활성화하는 옵션입니다. `off` (기본값) — Console 보기는 분석 시작 및 종료에 대한 메시지와 같은 오류, 경고 및 상태 메시지만 표시합니다. `on` — Console 보기는 모든 디버깅 정보를 보여줍니다. Visual Studio 확장자 관련 문제를 해결하려면 이 설정을 활성화하세요.
Help Improve Polyspace as You Code	MathWorks^®와 사용자 경험 정보 공유를 활성화하거나 비활성화하는 옵션입니다. `on` (기본값) — Polyspace는 사용자 경험 정보를 MathWorks와 공유하고 이 정보를 사용하여 Visual Studio 확장 기능을 개선합니다. `off` — Polyspace는 사용자 경험 정보를 공유하지 않습니다.
Port	Polyspace as You Code 확장 프로그램이 분석 엔진과 내부 연결을 설정하기 위해 시작 시 사용하는 포트 번호입니다. 컴퓨터에 방화벽이 구성되어 있고 방화벽에서 열린 포트를 지정하려는 경우 이 설정을 사용합니다. 기본적으로 확장은 포트 0을 지정하고 Visual Studio는 사용 가능한 포트에 대해 시스템을 쿼리하고 시스템에서 반환하는 포트를 사용합니다. 서로 다른 작업 공간에 액세스하는 Visual Studio의 여러 인스턴스를 실행하는 경우 각 인스턴스에 대해 다른 포트를 지정합니다. 이 설정을 변경하면 Visual Studio를 다시 시작해야 할 수도 있습니다. Polyspace가 자동으로 포트 번호(포트 0)를 얻도록 하면 Visual Studio가 다시 시작될 때 확장 프로그램이 다른 포트에 연결될 수 있습니다. 특정 구성의 경우 빌드 옵션을 다시 생성해야 합니다. Visual Studio에서 Polyspace as You Code 분석에 대한 빌드 옵션 생성 항목을 참조하십시오.

분석 설정 구성

코드를 저장할 때 확장 프로그램이 수행하는 작업을 지정하고, 확장 프로그램이 빌드 시스템에 대한 정보를 얻는 방법을 지정합니다.

설정	설명
Add to Quality Monitoring list on save	파일을 저장할 때 Quality Monitoring 목록에 파일을 추가하는 옵션입니다. Polyspace as You Code는 이 목록에 있는 파일만 분석합니다. `on` (기본값) — Polyspace는 파일을 저장할 때 현재 파일을 Quality Monitoring 목록에 추가합니다. `off` — Quality Monitoring 목록에 파일을 수동으로 추가합니다. 파일을 수동으로 추가하려면 편집기나 Solution Explorer 보기에서 파일을 마우스 오른쪽 버튼으로 클릭하세요.
Start analysis on save	Quality Monitoring 목록에 있는 파일에서 Polyspace as You Code를 실행할지 선택하는 옵션입니다. `on` — Polyspace as You Code는 코드를 저장할 때마다 실행됩니다. `off` (기본값) — 수동으로 분석을 실행합니다. Project Explorer에서 소스 코드나 파일을 마우스 오른쪽 버튼으로 클릭하고 Run Polyspace Analysis를 선택합니다.
Perform analysis in fast-mode	빠른 분석 모드를 켜거나 끕니다. 이 옵션은 기본적으로 비활성화되어 있습니다. 빠른 분석은 특정 유형의 문제만 확인하여 Polyspace as You Code 분석에 소요되는 시간을 줄여줍니다. 이 옵션은 구문적이고 추상화나 데이터 흐름 계산이 필요하지 않은 문제에 대한 체커(검사 항목)만 활성화합니다. Polyspace는 빠른 분석을 위해 구문적이지 않거나 코드 추상화가 필요한 체커(검사 항목)를 제외합니다. 이러한 제외 사항은 Polyspace as You Code에서 체커(검사 항목) 비활성화에 추가됩니다. 빠른 분석을 사용하여 범위가 작고 개발 프로세스 초기에 해결할 수 있는 버그를 반복적으로 식별하고 해결합니다. Polyspace as You Code에서 찾을 수 있는 결함을 최대한 활용하려면 코드에 대한 전체 Polyspace as You Code 분석에 앞서 빠른 분석을 사용하세요. 아이콘은 빠른 모드에서 분석하는 파일 옆에 표시됩니다. 빠른 모드를 활성화하면 Quality Monitoring 목록에 있는 모든 파일에 영향을 미칩니다. 해당 옵션이 활성화되면 Configuration 보기는 `Fast analysis mode: On`를 표시합니다. 이 창에서 옵션을 클릭하면 해당 옵션을 켜거나 끌 수 있습니다.
Analysis Setup	수동 설정과 스크립트 중에서 선택할 수 있는 옵션입니다. `Manual setup` (기본값) — 확장 설정을 통해 Polyspace as You Code를 설정합니다. Manual setup 그룹 설정에서 빌드 관련 옵션 및 기타 옵션을 지정합니다. `Script` — 코드를 저장할 때마다 스크립트를 실행합니다(또는 소스 파일을 마우스 오른쪽 버튼으로 클릭하고 Run Polyspace Analysis를 선택합니다). Script File에 스크립트 파일의 경로를 지정합니다.

스크립트를 사용하여 분석 설정

이러한 설정을 사용하면 코드를 저장하거나 명시적으로 분석을 실행할 때마다 스크립트를 실행할 수 있습니다.

설정 설명

설정	설명
Script File	Analysis Setup에 대해 `Script`를 선택하는 경우 이 설정을 사용합니다. 빌드 구성이 다른 구성 요소의 파일 간에 전환하거나 사용자 정의 도구를 사용하여 빌드 환경을 설정하는 경우 스크립트를 사용합니다. Polyspace as You Code 분석을 시작할 때마다 실행되는 스크립트의 전체 경로를 입력하세요. 어떤 언어로든 스크립트를 작성할 수 있습니다. Windows에서 확장 기능은 Command Prompt 창에서 실행할 수 있는 스크립트에 대해서만 스크립팅 언어를 지원합니다. 확장 기능은 다음 설정 값을 스크립트에 파라미터로 전달합니다. 첫 번째 인수로 현재 파일의 경로 두 번째 인수로 Working directory의 경로를 지정합니다. 세 번째 인수로 Polyspace installation folder의 경로를 지정합니다. 선택적으로, 확장 프로그램은 사용자가 지정한 경우 다음과 같은 추가 설정을 스크립트에 전달합니다. Polyspace가 분석 중인 파일의 베이스라인으로 사용하는 로컬 결과의 경로입니다. 경로 앞에는 `-baseline-folder` 옵션이 붙습니다. Polyspace는 로컬 베이스라인 결과를 Working Directory 폴더의 `local-baseline` 하위 폴더에 저장합니다. Polyspace가 분석 중인 파일의 베이스라인으로 사용하는 Polyspace Access에서 다운로드한 결과의 경로입니다. 경로 앞에는 `-baseline-folder` 옵션이 붙습니다. Polyspace는 Polyspace Access 베이스라인 결과를 Working Directory 폴더의 `baseline` 하위 폴더에 저장합니다. Other Analysis Options File의 옵션 파일 경로이며, `-options-file`가 접두사로 붙습니다. 예를 들어, `C:\polyspace\myOpts.txt` 파일을 지정하면 확장자는 `-options-file C:\polyspace\myOpts.txt`를 파라미터로 전달합니다. Checkers File의 체커(검사 항목) 활성화 XML 파일 경로이며, 접두사는 `-checkers-activation-file`입니다. 예를 들어, `C:\polyspace\myCheckers.xml` 파일을 지정하면 확장자는 `-checkers-activation-file C:\polyspace\myCheckers.xml`를 파라미터로 전달합니다. Script File Arguments 설정으로 지정하는 추가 파라미터입니다. 예를 들어, 이 Windows 배치 스크립트는 소스 파일(`SOURCES`), 결과 폴더(`RESULTS_FOLDER`), 설치 폴더(`INSTALL_DIR`)의 경로를 지정하고, 추가 파라미터를 `OTHER_PARAMS`에 지정합니다. 그런 다음 스크립트는 `OTHER_PARAMS`에 저장된 모든 분석 옵션을 사용하여 현재 파일을 분석하고 이전에 다운로드한 베이스라인에서 검토 정보를 가져옵니다. `@echo off set SOURCES=%1 set RESULTS_FOLDER=%2 set INSTALL_DIR=%3 set ANALYZE=%INSTALL_DIR%\polyspace\bin\polyspace-bug-finder-access.exe set BASELINE_DIR=%RESULTS_FOLDER%\..\..\..\baseline set OTHER_PARAMS= REM loop through additional parameters if any :loop if [%4] == [] ( goto :done) set OTHER_PARAMS=%OTHER_PARAMS% %4 shift goto :loop :done "%ANALYZE%" -sources %SOURCES% -import-comments %BASELINE_DIR%^ -results-dir %RESULTS_FOLDER% %OTHER_PARAMS% IF %ERRORLEVEL% NEQ 0 EXIT 1` 베이스라인을 다운로드하고 명령줄에서 해당 검토 정보를 가져오는 방법에 대한 자세한 내용은 명령줄에서 Polyspace as You Code 결과를 베이스라인으로 설정를 참조하세요. Analysis Setup를 스크립트로 설정하면 확장 프로그램은 Manual setup 및 Baseline 설정을 무시합니다. 참고 Polyspace as You Code 확장 기능은 스크립트의 명령 종료 상태를 확인하지 않습니다. 스크립트가 종료 코드(예: `%ERRORLEVEL%` 사용)를 확인하고 의미 있는 종료 상태를 반환하는지 확인하세요. 일반적으로 Polyspace 바이너리는 성공 시 0을 반환하고 실패 시 0이 아닌 값을 반환합니다.
Script File Arguments	분석을 실행할 때 확장 프로그램이 스크립트에 전달하는 추가 파라미터입니다. 예를 들어, 컴파일 오류를 해결하기 위해 전처리된 파일에 명령을 실행합니다. `전처리된 파일에 적용할 명령/스크립트(-post-preprocessing-command)` (Polyspace Bug Finder)를 참조하세요.

Script File

Analysis Setup에 대해 Script를 선택하는 경우 이 설정을 사용합니다.

빌드 구성이 다른 구성 요소의 파일 간에 전환하거나 사용자 정의 도구를 사용하여 빌드 환경을 설정하는 경우 스크립트를 사용합니다.

Polyspace as You Code 분석을 시작할 때마다 실행되는 스크립트의 전체 경로를 입력하세요. 어떤 언어로든 스크립트를 작성할 수 있습니다. Windows에서 확장 기능은 Command Prompt 창에서 실행할 수 있는 스크립트에 대해서만 스크립팅 언어를 지원합니다.

확장 기능은 다음 설정 값을 스크립트에 파라미터로 전달합니다.

첫 번째 인수로 현재 파일의 경로
두 번째 인수로 Working directory의 경로를 지정합니다.
세 번째 인수로 Polyspace installation folder의 경로를 지정합니다.

선택적으로, 확장 프로그램은 사용자가 지정한 경우 다음과 같은 추가 설정을 스크립트에 전달합니다.

Polyspace가 분석 중인 파일의 베이스라인으로 사용하는 로컬 결과의 경로입니다. 경로 앞에는 -baseline-folder 옵션이 붙습니다. Polyspace는 로컬 베이스라인 결과를 Working Directory 폴더의 local-baseline 하위 폴더에 저장합니다.
Polyspace가 분석 중인 파일의 베이스라인으로 사용하는 Polyspace Access에서 다운로드한 결과의 경로입니다. 경로 앞에는 -baseline-folder 옵션이 붙습니다. Polyspace는 Polyspace Access 베이스라인 결과를 Working Directory 폴더의 baseline 하위 폴더에 저장합니다.
Other Analysis Options File의 옵션 파일 경로이며, -options-file가 접두사로 붙습니다. 예를 들어, C:\polyspace\myOpts.txt 파일을 지정하면 확장자는 -options-file C:\polyspace\myOpts.txt를 파라미터로 전달합니다.
Checkers File의 체커(검사 항목) 활성화 XML 파일 경로이며, 접두사는 -checkers-activation-file입니다. 예를 들어, C:\polyspace\myCheckers.xml 파일을 지정하면 확장자는 -checkers-activation-file C:\polyspace\myCheckers.xml를 파라미터로 전달합니다.
Script File Arguments 설정으로 지정하는 추가 파라미터입니다.

예를 들어, 이 Windows 배치 스크립트는 소스 파일(SOURCES), 결과 폴더(RESULTS_FOLDER), 설치 폴더(INSTALL_DIR)의 경로를 지정하고, 추가 파라미터를 OTHER_PARAMS에 지정합니다. 그런 다음 스크립트는 OTHER_PARAMS에 저장된 모든 분석 옵션을 사용하여 현재 파일을 분석하고 이전에 다운로드한 베이스라인에서 검토 정보를 가져옵니다.

@echo off

set SOURCES=%1
set RESULTS_FOLDER=%2
set INSTALL_DIR=%3
set ANALYZE=%INSTALL_DIR%\polyspace\bin\polyspace-bug-finder-access.exe
set BASELINE_DIR=%RESULTS_FOLDER%\..\..\..\baseline

set OTHER_PARAMS=
REM loop through additional parameters if any
:loop
    if [%4] == [] (
    goto :done)
    set OTHER_PARAMS=%OTHER_PARAMS% %4
    shift
    goto :loop
:done

"%ANALYZE%" -sources %SOURCES% -import-comments %BASELINE_DIR%^
 -results-dir %RESULTS_FOLDER% %OTHER_PARAMS% 
IF %ERRORLEVEL% NEQ 0 EXIT 1

베이스라인을 다운로드하고 명령줄에서 해당 검토 정보를 가져오는 방법에 대한 자세한 내용은 명령줄에서 Polyspace as You Code 결과를 베이스라인으로 설정를 참조하세요.

Analysis Setup를 스크립트로 설정하면 확장 프로그램은 Manual setup 및 Baseline 설정을 무시합니다.

참고

Polyspace as You Code 확장 기능은 스크립트의 명령 종료 상태를 확인하지 않습니다. 스크립트가 종료 코드(예: %ERRORLEVEL% 사용)를 확인하고 의미 있는 종료 상태를 반환하는지 확인하세요.

일반적으로 Polyspace 바이너리는 성공 시 0을 반환하고 실패 시 0이 아닌 값을 반환합니다.

Script File Arguments

분석을 실행할 때 확장 프로그램이 스크립트에 전달하는 추가 파라미터입니다. 예를 들어, 컴파일 오류를 해결하기 위해 전처리된 파일에 명령을 실행합니다. 전처리된 파일에 적용할 명령/스크립트(-post-preprocessing-command) (Polyspace Bug Finder)를 참조하세요.

수동으로 분석 설정

이러한 설정을 사용하면 Polyspace as You Code에 빌드 구성 세부 사항과 분석 옵션을 제공할 수 있습니다.

설정	설명
Build	빌드 구성의 세부 사항. Polyspace as You Code에 데이터 유형 크기, 컴파일러 매크로 정의 등의 빌드 구성 정보를 제공하여 분석이 오류 없이 실행될 수 있도록 합니다. 이러한 옵션을 생성하는 방법에 대한 자세한 내용은 Visual Studio에서 Polyspace as You Code 분석에 대한 빌드 옵션 생성를 참조하세요. `Build options file not required` (기본값) 이 확장 기능에는 빌드 구성과 관련된 Polyspace 옵션이 필요하지 않습니다. 분석에서는 빌드 구성과 관련된 기본 Polyspace 옵션을 사용합니다. 이는 간단한 프로젝트를 위한 기본 옵션입니다. `Get from build command` 분석은 사용자가 지정한 빌드 명령을 추적하고 빌드 옵션 파일을 생성합니다. Build Command에 빌드 명령을 지정하세요. 예를 들어 `make -B`입니다. Polyspace as You Code 관점의 Configuration 보기에서 를 클릭하면 확장 프로그램이 빌드 명령에서 빌드 옵션을 생성합니다. 빌드 명령에서 빌드 구성 가져오기 항목을 참조하십시오. `Get from Visual Studio C/C++ project` 분석은 Visual Studio 프로젝트에서 빌드 구성을 추출하고 빌드 옵션 파일을 생성합니다. 작업 공간에 여러 프로젝트가 있는 경우 Polyspace는 모든 프로젝트에 대한 빌드 옵션을 추출한 다음 특정 프로젝트의 파일을 분석할 때 관련 옵션만 적용합니다. `Get from JSON Compilation Database file` 분석은 사용자가 지정한 JSON 컴파일 데이터베이스에서 빌드 구성을 추출하고 빌드 옵션 파일을 생성합니다. JSON 컴파일 데이터베이스에서 빌드 구성 가져오기 항목을 참조하십시오. JSON Compilation Database file의 JSON 파일(일반적으로 `compile_commands.json`라는 이름)에 대한 전체 경로를 지정합니다. CMake와 같은 빌드 시스템 생성기를 사용하는 경우 이 설정을 사용하여 Polyspace as You Code로 설정할 수 있습니다. 예를 들어, Visual Studio에서 CMake 프로젝트를 사용하는 경우 CMake를 사용하면 프로젝트를 빌드하는 데 사용된 명령으로 JSON 컴파일 데이터베이스를 생성할 수도 있습니다. 그런 다음 JSON Compilation Database file에 컴파일 데이터베이스 경로를 제공할 수 있습니다. 이 JSON 파일을 생성하는 방법에 대한 예는 Create Polyspace Options File from JSON Compilation Database (Polyspace Bug Finder)를 참조하세요. `Get from Polyspace build options file` 이 값을 선택하면 모든 필수 빌드 옵션을 생성하거나 수동으로 입력하는 옵션 파일이 제공됩니다. 수동으로 분석 옵션 지정 항목을 참조하십시오. Polyspace Build Options File에 옵션 파일의 전체 경로를 지정하세요.
Build Command	명령줄 터미널이나 콘솔에 입력하는 것과 똑같은 방식으로 명령 이름을 작성합니다. 작업 공간에 있는 모든 파일에 대해 증분 빌드가 아닌 전체 빌드를 수행하는 빌드 명령을 사용하세요. Build 목록에서 `Get from build command`를 선택한 경우 이 설정을 사용합니다. 빌드 명령에서 빌드 구성 가져오기 항목을 참조하십시오.
JSON Compilation Database file	JSON 컴파일 데이터베이스 파일(일반적으로 `compile_commands.json`라는 이름)의 전체 경로입니다. 작업 공간에 있는 모든 파일에 대해 증분 빌드가 아닌 전체 빌드를 수행하는 빌드 명령을 사용하세요. Build 목록에서 `Get from JSON Compilation Database file`를 선택한 경우 이 설정을 사용합니다. Create Polyspace Options File from JSON Compilation Database (Polyspace Bug Finder) 항목을 참조하십시오.
Polyspace Build Options File	Polyspace 빌드 옵션 파일의 전체 경로입니다. 옵션 파일은 한 줄에 하나의 Polyspace 분석 옵션이 포함된 텍스트 파일입니다. Build 목록에서 `Get from Polyspace build options file`를 선택한 경우 이 설정을 사용합니다. Options Files for Polyspace Analysis (Polyspace Bug Finder) 항목을 참조하십시오.
Checkers File	체커(검사 항목) 구성 파일의 경로입니다. 이 파일을 생성하려면 Polyspace as You Code 관점의 Configuration 보기에서 를 클릭하세요. 활성화하려는 체커(검사 항목)를 선택하고 파일을 저장합니다. Analysis Setup 목록에서 `Script`를 선택하면 확장 프로그램은 `-checkers-activation-file` 접두사가 붙은 체커(검사 항목) 구성 파일 경로를 스크립트에 파라미터로 전달합니다. Visual Studio에서 Polyspace as You Code에 대한 체커(검사 항목) 구성 항목도 참조하십시오.
Other Analysis Option File	옵션 파일의 경로입니다. 옵션 파일에는 줄마다 하나의 Polyspace 분석 옵션이 포함되어 있습니다. 예를 들면 다음과 같습니다. -D _WIN32 -termination-functions exit_handler 일반적으로 옵션 파일에서 추가 옵션을 지정할 필요는 없습니다. 하지만 어떤 상황에서는 옵션 파일을 사용하는 것이 도움이 됩니다. 예를 들어, 빌드 명령과 관련된 Polyspace 옵션을 수동으로 지정하려면 Build 목록에서 `Build options file not required`를 선택하고 옵션 파일에 옵션을 입력합니다. Analysis Setup 목록에서 `Script`를 선택하면 확장 프로그램은 `-options-file`로 시작하는 옵션 파일 경로를 파라미터로 스크립트에 전달합니다. Options Files for Polyspace Analysis (Polyspace Bug Finder) 항목도 참조하십시오.

베이스라인 설정 구성

이 옵션을 설정하면 로컬 결과를 이전 코드 분석 결과로 구성된 Polyspace Access 베이스라인과 비교할 수 있습니다. Polyspace Access에서 베이스라인을 다운로드한 후에는 Polyspace as You Code를 다시 실행할 때 새로운 결과와 베이스라인 결과를 구분할 수 있습니다.

소스 파일에 대한 로컬 베이스라인을 만들 수도 있습니다. Visual Studio에서 Polyspace as You Code 결과를 베이스라인으로 설정 항목을 참조하십시오.

설정	설명
Show Baseline information	분석을 실행하면 Polyspace는 베이스라인 실행에서 검토 정보를 가져옵니다. 다음 값 중 하나를 지정하여 Error List 창에 어떤 결과가 나타날지 지정합니다. `Show local findings and baseline info` — 베이스라인 실행에서 아직 정당화되지 않은 결과만 표시합니다. `Show new findings only` — 베이스라인 실행에 존재하지 않는 결과만 표시합니다. Visual Studio에서 Polyspace as You Code 결과를 베이스라인으로 설정 항목도 참조하십시오.
Polyspace Access URL	베이스라인을 얻을 수 있는 Polyspace Access 인스턴스의 URL입니다. Polyspace Access에서 베이스라인을 얻은 후, Polyspace as You Code를 실행하면 새 결과와 기존 코드에 있는 베이스라인 결과를 구분할 수 있습니다. Visual Studio에서 Polyspace as You Code 결과를 베이스라인으로 설정 항목도 참조하십시오.
Polyspace Access Login	Polyspace Access에 로그인하는 데 사용하는 사용자 이름입니다. 나중에 Polyspace as You Code 관점의 Baseline 보기에서 아이콘을 클릭하면 Polyspace가 이 사용자 이름에 해당하는 비밀번호를 입력하라는 메시지를 표시합니다.
Project path	베이스라인으로 사용하는 Polyspace Access Project Explorer의 프로젝트 경로입니다.