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

Eclipse에서 Polyspace as You Code 플러그인 구성

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

Polyspace as You Code 분석 엔진과 Eclipse 플러그인을 설치한 후, 코드를 저장하거나 명시적으로 분석을 시작할 때 Polyspace 분석이 원활하게 실행되도록 플러그인을 구성합니다. 결과가 툴팁이 포함된 소스 코드 마커나 Polyspace Problems 보기의 목록 형태로 예상대로 나타나면 분석이 원활하게 실행된 것입니다.

Eclipse 플러그인을 구성하려면 Window > Preferences로 이동하여 Preferences 창에서 Polyspace as You Code 노드를 선택하세요. Alt+W+P를 눌러 Preferences 창을 열 수도 있습니다. Polyspace as You Code 노드에서 다음을 선택하세요.

Analysis 프로젝트에 대한 분석 옵션을 구성합니다.
Polyspace Access™에서 다운로드한 분석 결과를 베이스라인으로 사용하도록 구성하려면 Baseline를 사용하세요.

구성을 저장하려면 Apply and Close를 클릭하고, 변경 사항을 저장하고 구성 편집을 계속하려면 Apply를 클릭하세요. 기본 구성 값을 복원하려면 Restore Defaults를 클릭하세요. 플러그인을 다시 설치해도 모든 설정은 현재 값을 유지합니다.

Polyspace as You Code 기본 설정 지정

설정	설명
Polyspace installation folder	예를 들어 Polyspace as You Code 설치의 루트 폴더는 `C:\Program Files\Polyspace as You Code\R2025b`입니다. Polyspace는 이 설정을 자동으로 채우려고 시도합니다.
Working directory	분석 결과가 저장되는 폴더입니다. 새로운 실행은 이전 실행의 결과를 덮어씁니다. 디폴트 디렉터리는 시스템 임시 폴더에 저장되며 일반적으로 폴더 이름에 `polyspace_eclipse`가 포함됩니다. 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	디버깅을 활성화하거나 비활성화합니다. (기본값) — Console 보기는 분석 시작 및 종료에 대한 메시지와 같은 오류, 경고 및 상태 메시지만 표시합니다. — Console 보기는 모든 디버깅 정보를 보여줍니다. Eclipse 플러그인 관련 문제를 해결하려면 이 설정을 활성화하세요.
Help Improve Polyspace as You Code	MathWorks^®와 사용자 경험 정보 공유를 활성화하거나 비활성화합니다. (기본값) — Polyspace는 사용자 경험 정보를 MathWorks와 공유하고 이 정보를 사용하여 Eclipse 플러그인을 개선합니다. — Polyspace는 사용자 경험 정보를 공유하지 않습니다.
Port	Polyspace as You Code 플러그인이 분석 엔진과 내부 연결을 설정하기 위해 시작 시 사용하는 포트 번호를 지정합니다. 예를 들어, 컴퓨터에 방화벽이 구성되어 있고 방화벽에서 열린 포트를 지정하려는 경우 이 설정을 사용합니다. 기본적으로 포트 0이 지정되고 Polyspace는 사용 가능한 포트를 시스템에 쿼리하여 시스템에서 반환하는 포트를 사용합니다. 서로 다른 작업 공간에 액세스하는 Eclipse의 여러 인스턴스를 실행하는 경우 각 인스턴스에 대해 다른 포트를 지정합니다. 이 설정을 변경하면 Eclipse IDE를 다시 시작해야 할 수도 있습니다. Polyspace가 자동으로 포트 번호(포트 0)를 얻도록 하면 Eclipse IDE를 재시작할 때 플러그인이 다른 포트에 연결될 수 있으며 빌드 옵션을 다시 생성해야 할 수도 있습니다.

분석 설정 구성

플러그인이 저장 시 수행하는 작업을 지정하고 플러그인이 빌드 시스템에 대한 정보를 얻는 방법을 구성합니다.

Polyspace는 Eclipse 작업공간의 일부인 파일만 분석합니다. 작업 공간에 파일을 추가하려면 해당 작업 공간의 프로젝트에 파일을 추가합니다. Polyspace는 Quality Monitoring 목록에 추가하더라도 작업 공간에 없는 파일은 분석하지 않습니다. 분석하는 파일에 작업 공간에 없는 파일이 포함되어 있는 경우 Polyspace as You Code 분석이 실행되지만 포함된 파일에 대한 결과는 보고되지 않습니다.

설정	설명
Add to Quality Monitoring list on save	Quality Monitoring 목록에 파일을 추가하는 방법을 선택하세요. Polyspace as You Code는 이 목록에 있는 파일만 분석합니다. (기본값) — Polyspace는 저장 시 현재 파일을 목록에 추가합니다(Ctrl + S). — Quality Monitoring 목록에 파일을 수동으로 추가합니다. 파일을 수동으로 추가하려면 편집기나 Project Explorer 보기에서 파일을 마우스 오른쪽 버튼으로 클릭하세요.
Start analysis on save	Quality Monitoring 목록에 있는 파일에서 Polyspace as You Code를 실행할지 선택하세요. — Polyspace as You Code는 코드를 저장할 때마다 실행됩니다(Ctrl + S). (기본값) — 수동으로 분석을 실행합니다. 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를 설정합니다. Analysis Setup: Manual setup 그룹 설정에서 빌드 관련 옵션 및 기타 옵션을 지정합니다. `Script` — 코드를 저장할 때마다 스크립트를 실행합니다(또는 소스 파일을 마우스 오른쪽 버튼으로 클릭하고 Run Polyspace Analysis를 선택합니다). Analysis Setup: Script 섹션에 스크립트 파일의 경로를 지정합니다.

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

코드를 저장하거나 명시적으로 분석을 실행할 때마다 스크립트를 실행합니다.

설정 설명

설정	설명
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)를 참조하세요.

수동으로 분석 설정

설정	설명
Build	빌드 구성의 세부 사항. Polyspace as You Code에 데이터 유형 크기, 컴파일러 매크로 정의 등의 빌드 구성 정보를 제공하여 분석이 오류 없이 실행될 수 있도록 합니다. 이러한 옵션을 생성하는 방법에 대한 자세한 내용은 Eclipse에서 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 Eclipse C/C++ project` 분석은 Eclipse 프로젝트에서 빌드 구성을 추출하고 빌드 옵션 파일을 생성합니다. 작업 공간에 여러 프로젝트가 있는 경우 Polyspace는 모든 프로젝트에 대한 빌드 옵션을 추출한 다음 특정 프로젝트의 파일을 분석할 때 관련 옵션만 적용합니다. Eclipse 프로젝트에서 빌드 구성 가져오기 항목을 참조하십시오. `Get from JSON Compilation Database file` 분석은 사용자가 지정한 JSON 컴파일 데이터베이스에서 빌드 구성을 추출하고 빌드 옵션 파일을 생성합니다. JSON 컴파일 데이터베이스에서 빌드 구성 가져오기 항목을 참조하십시오. JSON Compilation Database file 설정에서 JSON 파일(일반적으로 `compile_commands.json`라는 이름)의 전체 경로를 지정합니다. CMake와 같은 빌드 시스템 생성기를 사용하는 경우 이 방법에 따라 Polyspace as You Code를 설정할 수 있습니다. 예를 들어, Eclipse에서 CMake 프로젝트를 사용하는 경우 CMake를 사용하면 프로젝트를 빌드하는 데 사용된 명령으로 JSON 컴파일 데이터베이스를 생성할 수도 있습니다. 그런 다음 이 설정에 컴파일 데이터베이스를 제공할 수 있습니다. 이 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	데이터베이스 파일(일반적으로 `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` 접두사가 붙은 체커(검사 항목) 구성 파일 경로를 스크립트에 파라미터로 전달합니다. Eclipse에서 Polyspace as You Code에 대한 체커(검사 항목) 구성 항목도 참조하십시오.
Other Analysis Options	옵션 파일의 경로입니다. 옵션 파일에는 줄마다 하나의 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를 다시 실행할 때 새로운 결과와 베이스라인 결과를 구분할 수 있습니다.

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

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