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

Visual Studio Code에서 Polyspace as You Code 확장 프로그램 구성

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

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

확장 기능을 구성하려면 Visual Studio Code에서 Ctrl + ,(쉼표)를 눌러 설정 인터페이스를 열고 설정 검색 창에 polyspace를 입력합니다.

각 설정에 대해 Visual Studio 편집기에서 여는 모든 작업 공간이나 폴더에 전역적으로 적용되는 값을 지정할 수 있습니다. 대부분의 설정에 대해 작업 공간별 값으로 글로벌 사양을 재정의할 수도 있습니다.

• 글로벌 설정을 지정하려면 User 탭에 설정을 입력하세요.

• 현재 열려 있는 작업 공간이나 폴더에 대한 글로벌 설정을 재정의하려면 VS Code 원격 개발 기능을 사용하는 경우 Workspace 탭이나 Remote 탭에 설정을 입력하세요.

달리 지정하지 않는 한, User 탭에서 사용할 수 있는 설정은 Workspace 또는 Remote 탭에서도 사용할 수 있습니다.

설정을 기본값으로 재설정하려면 설정 왼쪽에 있는 아이콘을 클릭하고 Reset Setting를 선택하세요. 확장 프로그램을 다시 설치해도 모든 설정은 현재 값을 유지합니다.

팁

설정 검색 창에 설정 ID를 입력하면 해당 ID와 관련된 설정만 볼 수 있습니다.

분석 엔진 기본 설정 지정

설정 ID: polyspace.analysisEngine

이러한 설정은 필수입니다. Windows^®의 성능을 높이려면 이러한 설정에 제공하는 경로가 네트워크 드라이브를 가리키지 않아야 합니다.

설정	설명
Polyspace Installation Folder	예를 들어 Polyspace as You Code 설치의 루트 폴더는 C:\Program Files\Polyspace as You Code\R2025b입니다. Polyspace는 이 설정을 자동으로 채우려고 시도합니다.
Working Directory	분석 결과가 저장되는 폴더입니다. 새로운 실행은 이전 실행의 결과를 덮어씁니다. 디폴트 디렉터리는 시스템 임시 폴더에 저장되며 일반적으로 폴더 이름에 polyspace_vscode가 포함됩니다. Windows — %temp% 폴더, 예: C:\Users\jsmith\AppData\Local\Temp. Linux® — /tmp 폴더.

저장 시 분석 동작 구성

설정 ID: polyspace.analysisOptions OnSave

기본적으로 Polyspace as You Code는 현재 파일을 Quality Monitoring 목록에 추가하고 코드를 저장할 때마다 실행됩니다. 이러한 자동 작업을 비활성화할 수 있습니다.

설정	설명
Analysis Options: Add To Quality Monitoring On Save	Quality Monitoring 목록에 파일을 추가하는 방법을 선택하세요. Polyspace as You Code는 이 목록에 있는 파일만 분석합니다. 기본적으로 Polyspace는 저장 시 현재 파일을 목록에 추가합니다(Ctrl + S). Quality Monitoring 목록에 파일을 수동으로 추가하려면 이 설정의 체크박스를 선택 취소하세요. 파일을 수동으로 추가하려면 편집기에서 파일을 마우스 오른쪽 버튼으로 클릭하거나, 사이드바의 Explorer 창 또는 Source Control 창을 클릭하세요.
Analysis Options: Analysis Of Files On Save	Quality Monitoring 목록에 있는 파일에서 Polyspace as You Code를 실행할지 선택합니다. 기본적으로 Polyspace as You Code는 코드를 저장할 때마다 실행됩니다. 수동으로 분석을 실행하려면 이 설정의 체크박스를 선택 취소하세요. Explorer에서 소스 코드나 파일을 마우스 오른쪽 버튼으로 클릭하고 Run Polyspace Analysis를 선택하세요(또는 Command Palette에서 Polyspace: Run Polyspace Analysis 명령을 실행하세요).

분석 설정 구성

설정 ID: polyspace.analysisOptions.analysisSetup

확장 설정을 통해 Polyspace as You Code 분석을 설정하거나 확장 설정을 재정의하고 대신 스크립트를 실행할 수 있습니다. 기본적으로 분석에서는 확장 설정을 사용합니다.

설정	설명
Analysis Options: Analysis Setup	수동 설정과 스크립트 중에서 선택하세요. Manual Setup (기본값): 확장 설정을 통해 Polyspace as You Code를 설정합니다. Manual Setup 설정 그룹을 통해 빌드 관련 옵션 및 기타 옵션을 지정합니다. 수동으로 분석 설정 항목을 참조하십시오. Script: 코드를 저장할 때마다 스크립트를 실행합니다(또는 소스 파일을 마우스 오른쪽 버튼으로 클릭하고 Run Polyspace Analysis를 선택합니다). 스크립트를 사용하여 분석 설정 항목을 참조하십시오.
Analysis Options: Checkers File	체커(검사 항목) 구성 파일의 전체 경로를 지정합니다. 이 파일을 생성하려면 Command Palette에서 Polyspace: Configure Checkers를 실행하세요. 원하는 체커(검사 항목)를 활성화하고 파일을 저장합니다. Visual Studio Code에서 Polyspace as You Code에 대한 체커(검사 항목) 구성 항목도 참조하십시오.
Analysis Options: Fast Analysis	빠른 분석 모드를 켜거나 끕니다. 이 옵션은 기본적으로 비활성화되어 있습니다. 빠른 분석은 특정 유형의 문제만 확인하여 Polyspace as You Code 분석에 소요되는 시간을 줄여줍니다. 이 옵션은 구문적이고 추상화나 데이터 흐름 계산이 필요하지 않은 문제에 대해서만 체커(검사 항목)를 활성화합니다. Polyspace는 구문적이지 않거나 빠른 분석을 위해 코드 추상화를 요구하는 체커(검사 항목)를 제외합니다. 이러한 제외 사항은 Polyspace as You Code에서 체커(검사 항목) 비활성화에 추가됩니다. 빠른 분석을 사용하여 범위가 작고 개발 프로세스 초기에 해결할 수 있는 버그를 반복적으로 식별하고 해결합니다. Polyspace as You Code가 찾아낼 수 있는 결함을 최대한 활용하려면 코드에 대한 전체 Polyspace as You Code 분석에 앞서 빠른 분석을 사용하세요. 해당 옵션이 활성화되면 Configuration 보기는 Fast analysis mode: On를 표시합니다. 옵션 이름 오른쪽에 있는 아이콘을 클릭하면 이 창에서 옵션을 켜거나 끌 수 있습니다.

수동으로 분석 설정

설정 ID: polyspace.analysisOptions.manualSetup

분석을 수동으로 설정하는 데는 빌드 옵션, 체커(검사 항목) 및 기타 분석 옵션을 지정하는 것이 포함됩니다. Visual Studio Code 빌드 작업이나 JSON 컴파일 데이터베이스 파일에서 빌드 옵션을 추출하거나 빌드 옵션 파일에 명시적으로 지정합니다. 체커(검사 항목) 선택 창에서 체커(검사 항목)를 활성화하거나 비활성화합니다. 나머지 모든 분석 옵션은 옵션 파일에 명시적으로 지정하세요.

설정	설명
Analysis Options > Manual Setup: Build	빌드 관련 Polyspace 분석 옵션의 사양입니다. 옵션은 다음과 같습니다. Build options file not required (기본값) 파일 빌드와 관련된 Polyspace 옵션을 지정할 필요는 없습니다. 이는 기본 Polyspace 분석 옵션만으로 파일을 컴파일할 수 있는 간단한 프로젝트를 위한 기본 옵션입니다. Get from build command Polyspace는 빌드 명령을 사용하여 빌드 옵션 파일을 생성합니다. 해당 명령이 작업 공간의 모든 소스 파일을 빌드하는지 확인하세요. Analysis Options > Manual Setup > Build Setting: Build Command 설정에서 빌드 명령을 지정합니다. 빌드 옵션 파일을 생성하려면 Command Palette에서 Polyspace: Generate Build Options를 실행합니다. 빌드 명령에서 빌드 구성 가져오기 항목을 참고하십시오. Get from build task Polyspace는 Visual Studio® 빌드 작업을 사용하여 빌드 옵션 파일을 생성합니다. 빌드 작업이 작업 공간에 있는 모든 파일에 대한 전체 빌드를 수행하는지 확인하세요. Analysis Options > Manual Setup > Build Setting: Build Task 설정에서 빌드 작업 이름을 지정합니다. 빌드 옵션 파일을 생성하려면 Command Palette에서 Polyspace: Generate Build Options를 실행합니다. 빌드 태스크에서 빌드 구성 가져오기 항목을 참조하십시오. Get from JSON Compilation Database file Polyspace는 JSON 컴파일 데이터베이스를 사용하여 빌드 옵션 파일을 생성합니다. Analysis Options > Manual Setup > Build Setting: JSON Compilation Database File 설정에서 데이터베이스 파일(일반적으로 compile_commands.json라는 이름)의 경로를 지정합니다. JSON 컴파일 데이터베이스에서 빌드 구성 가져오기 항목을 참조하십시오. Get from Polyspace build options file Analysis Options > Manual Setup > Build Setting: Polyspace Build Options File 설정에서 지정한 옵션 파일에 빌드 옵션을 제공합니다. Options Files for Polyspace Analysis (Polyspace Bug Finder) 항목도 참조하십시오.
Analysis Options > Manual Setup > Build Setting: Build Command	Analysis Options > Manual Setup: Build 설정에 Get from build command를 선택한 경우 이 설정을 사용합니다. 빌드 명령 이름을 명령줄 터미널이나 콘솔에 입력하는 것과 똑같이 지정하세요. 작업 공간에 있는 모든 파일에 대해 증분 빌드가 아닌 전체 빌드를 수행하는 빌드 명령을 사용하세요. 빌드 명령에서 빌드 구성 가져오기 항목을 참고하십시오.
Analysis Options > Manual Setup > Build Setting: Build Task	Analysis Options > Manual Setup: Build 설정에 Get from build task를 선택한 경우 이 설정을 사용합니다. 빌드 작업 이름을 지정합니다. 빌드 작업 이름은 Terminal > Run Task를 선택하면 실행되는 명령의 이름입니다. 작업에 대한 자세한 내용은 Visual Studio Code 설명서를 참조하세요. 작업 공간에 있는 모든 파일에 대한 전체 빌드를 수행하고 증분 빌드는 수행하지 않는 빌드 작업을 사용하세요. 빌드 태스크에서 빌드 구성 가져오기 항목을 참조하십시오.
Analysis Options > Manual Setup > Build Setting: JSON Compilation Database File	Analysis Options > Manual Setup: Build 설정에 Get from JSON Compilation Database File를 선택한 경우 이 설정을 사용합니다. 데이터베이스 파일(일반적으로 compile_commands.json라는 이름)의 전체 경로를 지정합니다. JSON 컴파일 데이터베이스에서 빌드 구성 가져오기 항목을 참조하십시오. CMake와 같은 빌드 시스템 생성기를 사용하는 경우 이 방법에 따라 Polyspace as You Code를 설정할 수 있습니다. 예를 들어, Visual Studio Code에서 CMake 프로젝트를 사용하는 경우 CMake를 사용하면 프로젝트를 빌드하는 데 사용된 명령으로 JSON 컴파일 데이터베이스를 생성할 수도 있습니다. 그런 다음 이 설정에 컴파일 데이터베이스를 제공할 수 있습니다. 이 JSON 파일을 생성하는 방법에 대한 예는 Create Polyspace Options File from JSON Compilation Database (Polyspace Bug Finder)를 참조하세요.
Analysis Options > Manual Setup > Build Setting: Polyspace Build Options File	Analysis Options > Manual Setup: Build 설정에 Get from Polyspace Build Options File를 선택한 경우 이 설정을 사용합니다. Polyspace 빌드 옵션 파일의 전체 경로를 지정합니다. 옵션 파일은 한 줄에 하나의 Polyspace 분석 옵션이 포함된 텍스트 파일입니다. Options Files for Polyspace Analysis (Polyspace Bug Finder) 항목도 참조하십시오.
Analysis Options > Manual Setup: Other Analysis Options	옵션 파일의 경로입니다. 옵션 파일에는 줄마다 하나의 Polyspace 분석 옵션이 포함되어 있습니다. 예를 들면 다음과 같습니다. -termination-functions exit_handler -code-behavior-specifications /usr/jdoe/util/checkerModifiers.xml 일반적으로 옵션 파일에서 추가 옵션을 지정할 필요는 없습니다. 하지만 어떤 상황에서는 옵션 파일을 사용하고 싶을 수도 있습니다. 예를 들어, -code-behavior-specifications 옵션과 함께 제공하는 XML 파일을 사용하여 일부 체커(검사 항목)를 수정할 수 있습니다. Options Files for Polyspace Analysis (Polyspace Bug Finder) 항목도 참조하십시오.

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

설정 ID: polyspace.analysisOptions.scriptFile

설정	설명
Analysis Options > Script: Script File	Analysis Options: 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는 Working Directory 폴더의 baseline 하위 폴더에 통합 베이스라인 결과를 저장합니다. Analysis Options > Manual Setup: Other Analysis Options (polyspace.analysisOptions.otherAnalysisOptionsFile) 설정의 옵션 파일 경로에 -options-file라는 접두사가 붙습니다. 예를 들어, C:\polyspace\myOpts.txt 파일을 지정하면 확장자는 -options-file C:\polyspace\myOpts.txt를 파라미터로 전달합니다. Analysis Options > Manual Setup: Checkers File (polyspace.analysisOptions.checkersFile) 설정의 체커(검사 항목) 활성화 XML 파일 경로이며, 접두사는 -checkers-activation-file입니다. 예를 들어, C:\polyspace\myCheckers.xml 파일을 지정하면 확장자는 -checkers-activation-file C:\polyspace\myCheckers.xml를 파라미터로 전달합니다. Analysis Options > Script: Script File Arguments (polyspace.analysisOptions.checkersFile) 설정 시 지정하는 추가 파라미터입니다. 예를 들어, 이 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 결과를 베이스라인으로 설정를 참조하세요. 이 설정을 활성화하면 확장 프로그램은 polyspace.analysisOptions.manualSetup.buildSetting 및 polyspace.baseline 설정을 무시합니다. 참고 Polyspace as You Code 확장 기능은 스크립트의 명령 종료 상태를 확인하지 않습니다. 스크립트가 종료 코드를 확인하고(예: %ERRORLEVEL% 사용) 의미 있는 종료 상태를 반환하는지 확인하세요. 일반적으로 Polyspace 바이너리는 성공 시 0을 반환하고 실패 시 0이 아닌 값을 반환합니다.
Analysis Options > Script: Script File Arguments	이 설정을 사용하면 분석을 실행할 때 확장 프로그램이 스크립트에 전달하는 추가 파라미터를 지정할 수 있습니다. 예를 들어, 컴파일 오류를 해결하기 위해 전처리된 파일에 명령을 실행할 수 있습니다. 전처리된 파일에 적용할 명령/스크립트(-post-preprocessing-command) (Polyspace Bug Finder)를 참조하세요.

베이스라인 설정 구성

설정 ID: polyspace.baseline

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

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

설정	설명
Baseline: Polyspace Access Url	Polyspace 접속 URL을 지정합니다(예: https://example.access-server:9443).
Baseline: Project	베이스라인으로 사용할 Polyspace Access의 프로젝트 경로를 지정하세요. 베이스라인을 다운로드하려면 명령 팔레트에서 Polyspace: Download Baseline를 실행합니다. Visual Studio Code에서 Polyspace as You Code 결과를 베이스라인으로 설정 항목도 참조하십시오.

정당화 카탈로그 구성

설정 ID: polyspace.justification.catalog

팀이나 조직에서 결과를 정당화하는 데 사용하는 미리 정의된 주석 세트가 있는 경우 이 설정을 사용하세요. 이러한 정당화를 카탈로그 파일에 저장하고 하나 이상의 정당화를 특정 결과 또는 결과 패밀리와 연관시킬 수 있습니다.

Visual Studio Code 편집기에서 Polyspace 구문을 사용하여 결과에 주석을 달면, 해당 결과에 대한 카탈로그에 저장한 근거는 주석 주석을 입력하기 시작할 때 드롭다운에서 사용할 수 있습니다. Polyspace 구문에 대한 자세한 내용은 Annotation Syntax Details (Polyspace Bug Finder)를 참조하세요.

정당화 카탈로그를 생성하려면 Polyspace as You Code 플러그인에서 주석 자동 완성 기능을 위해 정당화 사유 카탈로그 사용를 참조하세요.

설정	설명
Justification: Catalog	JSON 카탈로그의 전체 파일 경로를 지정합니다.

기타 설정 구성

설정 ID: polyspace.otherSettings

디버깅 모드와 확장 프로그램이 분석 엔진과 통신하는 데 사용하는 포트를 구성하기 위한 추가 설정입니다.

설정	설명
Other Settings: Debug Mode	디버깅을 활성화하거나 비활성화합니다. Disabled(기본값) Output 창에는 분석 시작 및 종료와 같은 오류, 경고 및 정보 메시지만 표시됩니다. Enabled Output 창에 모든 디버깅 정보를 표시합니다. Polyspace as You Code 확장 프로그램의 문제를 해결하려면 이 설정을 활성화하세요.
Other Settings: Headers Extensions	Polyspace as You Code가 소스 파일 대신 헤더 파일로 처리해야 하는 확장자를 지정합니다. 저장 시 Polyspace가 Quality Monitoring 목록에 파일을 추가하도록 구성하고 지정된 헤더 확장자 중 하나를 사용하여 파일을 편집한 경우, Polyspace는 저장 시 해당 파일을 Quality Monitoring 목록에 추가하지 않습니다. 헤더 파일을 포함하는 파일을 분석하거나 헤더 파일에 대한 분석을 명시적으로 시작하는 경우 Polyspace는 헤더 파일의 결과를 분석하고 보고합니다. 이 설정에서 파일 확장자를 지정하지 않아도 헤더 파일이 분석됩니다. Headers 보기 항목도 참조하십시오.
Other Settings: Help Improve Polyspace as You Code	MathWorks®와 사용자 경험 정보 공유를 활성화하거나 비활성화합니다. Polyspace는 이 정보를 사용하여 Polyspace as You Code 확장 프로그램을 개선합니다. 이 설정은 User 탭에서만 사용할 수 있습니다.
Other Settings: Port	Polyspace as You Code 확장 프로그램이 분석 엔진과 내부 연결을 설정하기 위해 시작 시 사용하는 포트 번호를 지정합니다. 예를 들어, 컴퓨터에 방화벽이 구성되어 있고 방화벽에서 열린 포트를 지정하려는 경우 이 설정을 사용합니다. 기본적으로 포트 0이 지정되고 Polyspace는 사용 가능한 포트를 시스템에 쿼리하여 시스템에서 반환하는 포트를 사용합니다. Polyspace as You Code 확장의 여러 인스턴스를 실행하는 경우 각 인스턴스마다 다른 포트를 지정합니다. 이 설정을 변경하면 Visual Studio Code를 다시 로드해야 할 수도 있습니다. Polyspace가 자동으로 포트 번호(포트 0)를 얻도록 하면 Visual Studio Code를 다시 로드할 때 확장 프로그램이 다른 포트에 연결될 수 있으며, 이때 Polyspace: Generate Build Options 명령을 다시 실행해야 할 수 있습니다.

원격 개발을 위해 Polyspace as You Code 구성

Polyspace as You Code 확장 기능은 Visual Studio Code 원격 개발 기능을 지원합니다. VS Code 원격 개발을 참조하세요.

원격 개발을 사용하면 로컬 컴퓨터에서 원격 환경으로 Polyspace as You Code 분석을 실행할 수 있습니다. 원격 머신, 컨테이너 또는 Windows Subsystem for Linux(WSL) 기능을 사용하여 개발한 코드를 분석할 수 있습니다. 예를 들어, 원격 개발 기능을 사용하면 특정 운영 체제나 전문 하드웨어를 사용하는 환경에서 코드를 개발하고 분석할 수 있습니다.

Polyspace as You Code를 사용하여 원격 개발을 활성화하려면:

• 원격 환경에 Polyspace as You Code 확장 프로그램 및 분석 엔진을 설치합니다. 설치 이미지를 원격 환경에 복사한 후 예를 들어 비대화형으로 Polyspace as You Code 설치를 참조하세요.

  로컬에 설치된 확장 프로그램에서 Extensions 보기로 이동한 후 Install in를 클릭하여 원격 환경에 Polyspace as You Code 확장 프로그램을 설치하더라도 분석 엔진은 설치되지 않습니다.

• 적절한 원격 개발 확장 프로그램을 설치하고 활성화합니다. 원격 튜토리얼을 참조하세요.

• 확장 프로그램을 설치하고 원격 환경에 연결한 후 설정을 열고 Remote 탭으로 이동하여 다음을 지정합니다.

  • 원격 환경의 Polyspace Installation Folder 경로.

  • 원격 환경의 Working Directory 경로. 경로를 지정하지 않으면 Polyspace는 시스템 임시 폴더 아래의 경로를 사용합니다.

  • 분석에 원격 환경에서 사용되는 다른 파일이나 폴더의 경로(예: Checkers File 경로)입니다.

    Windows에서 원격 환경의 프로젝트 파일이나 폴더가 네트워크 드라이브에 있는 경우 해당 네트워크 드라이브의 UNC 경로를 제공하세요. Polyspace as You Code 확장 프로그램은 원격 개발을 활성화할 때 드라이브 문자에 매핑된 네트워크 드라이브의 경로를 확인할 수 없으며 Polyspace: Generate Build Options 명령이 실패할 수 있습니다.

원격 환경에 연결하고 원격으로 설치된 Polyspace as You Code 확장 프로그램을 시작하면 로컬로 설치된 확장 프로그램은 Extensions 보기에서 회색으로 표시됩니다.

참고

• 원격 환경의 Polyspace as You Code 확장 및 분석 엔진 버전은 로컬 환경의 확장 및 분석 엔진 버전과 일치해야 합니다.

  확장 프로그램 버전을 비교하려면 Extensions 보기에서 로컬에 설치된 Polyspace as You Code 확장 프로그램을 선택한 후 원격으로 설치된 확장 프로그램을 선택합니다.

• Analysis Options > Manual Setup: Build를 Get from build task 또는 Get from build command로 설정한 경우 Polyspace: Generate Build Options 명령을 실행하기 전에 빌드가 성공적으로 완료되는지 확인하세요.

참고 항목

도움말 항목

• Visual Studio에서 Polyspace as You Code 분석을 위한 빌드 옵션 생성
• Visual Studio Code에서 Polyspace as You Code 결과를 베이스라인으로 설정
• Visual Studio Code에서 Polyspace as You Code에 대한 체커(검사 항목) 구성
• Visual Studio Code에서 Polyspace as You Code를 실행하고 결과를 검토합니다.