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

명령줄에서 Polyspace as You Code를 실행하고 결과를 내보냅니다.

소스 파일에서 명령줄에서 직접 Polyspace as You Code를 실행할 수 있습니다.

Polyspace as You Code 플러그인이 직접 지원되지 않는 IDE의 경우 IDE 내에서 터미널을 열고 명령을 실행하거나 메뉴 항목을 만들어 현재 IDE에 열려 있는 파일에서 명령을 실행할 수 있습니다. 이러한 명령을 makefile에 통합하여 코드를 빌드할 때 코드에 대한 정적 분석도 실행할 수 있습니다. 플러그인 없이 IDE 및 편집기에 Polyspace as You Code 통합 항목도 참조하십시오.

경로에 설치 폴더 추가

Polyspace as You Code 명령의 전체 경로를 입력하지 않으려면 운영 체제의 PATH 환경 변수에 해당 명령의 경로를 추가하세요.

기본 설치 폴더의 경로는 다음과 같습니다.

Windows® C:\Program Files\Polyspace as You Code\R2025b\polyspace\bin
Linux®/usr/local/PolyspaceAsYouCode/R2025b/polyspace/bin

경로를 추가한 후에는 다음과 같은 명령을 오류 없이 터미널에 입력할 수 있습니다.

polyspace-bug-finder-access -help

콘솔에서 분석 실행 및 결과 확인

Polyspace as You Code를 실행하려면 polyspace-bug-finder-access 명령을 사용하세요. polyspace-results-export 명령을 사용하여 콘솔로 결과를 내보냅니다.

polyspace-bug-finder-access -sources filename
polyspace-results-export -format console
이 예에서 polyspace-bug-finder-access 명령은 현재 폴더에 결과를 생성합니다. polyspace-results-export 명령은 현재 폴더에서 결과를 읽어 콘솔로 내보냅니다. console 형식은 Polyspace as You Code에서만 사용할 수 있습니다.

일반적으로 분석을 완료하는 데 몇 초가 걸립니다(C++ 파일의 경우 약간 더 오래 걸립니다). 분석이 완료되지 않으면 오류에 대한 자세한 내용이 콘솔에 나타납니다. -no-quiet 옵션을 사용하면 콘솔에서 더 자세한 분석 로그를 볼 수 있습니다.

특정 폴더에 결과 저장

현재 폴더 대신 특정 결과 폴더 resultsFolder를 사용하려면 이전 줄을 다음과 같이 변경하세요.

polyspace-bug-finder-access -sources filename -results-dir resultsFolder
polyspace-results-export -format console -results-dir resultsFolder

JSON 형식으로 결과 내보내기(SARIF 출력)

콘솔에 분석 결과를 표시하는 대신, 결과를 JSON 파일로 내보낼 수 있습니다. 그런 다음 원하는 언어로 JSON 파서 방법을 사용하여 이 파일을 구문 분석할 수 있습니다.

polyspace-bug-finder-access -sources filename.c
polyspace-results-export -format json-sarif -output-name outputFilePath
여기서 outputFilePath는 JSON 파일의 전체 경로입니다.

JSON 형식은 OASIS 정적 분석 결과 교환 형식(SARIF)에서 제공하는 표준 표기법을 따릅니다.

옵션 파일을 사용하여 분석 옵션 지정

Polyspace 분석 구성을 개발 환경과 요구 사항에 맞게 조정하려면 -compiler와 같은 명령줄 옵션을 통해 기본 구성을 수정해야 합니다. 옵션 파일은 여러 옵션을 함께 수집하여 프로젝트 전체에서 재사용할 수 있는 편리한 방법입니다.

옵션 파일은 한 줄에 하나의 옵션이 있는 텍스트 파일입니다. 예를 들어, 옵션 파일의 내용은 다음과 같습니다.

# Options for Polyspace analysis
# Options apply to all projects in Controller module
-compiler visual16.x
-D _WIN32
-checkers-activation-file "Z:\utils\checkers.xml"

-options-file 옵션을 사용하여 옵션 파일을 지정합니다. 예를 들면 다음과 같습니다.

polyspace-bug-finder-access -sources file.c -options-file "Z:\utils\polyspace\options.txt"

Options Files for Polyspace Analysis (Polyspace Bug Finder) 항목도 참조하십시오. Polyspace as You Code에서 사용 가능한 모든 옵션은 Complete List of Polyspace Bug Finder Analysis Engine Options (Polyspace Bug Finder)를 참조하세요.

빌드 분석을 통한 옵션 파일 생성

옵션 파일에 직접 옵션을 입력하는 대신, 빌드 시스템을 분석하여 컴파일에 필요한 모든 Polyspace 옵션이 포함된 옵션 파일을 만들 수 있습니다. 예를 들어, 빌드 명령을 추적하고 해당 옵션을 buildOptions.txt라는 파일에 저장해 두었다가 이후 분석에 사용할 수 있습니다.

polyspace-configure -no-sources -output-options-file buildOptions.txt buildCommand
polyspace-bug-finder-access -sources file.c -options-file buildOptions.txt
여기서 buildCommand는 소스 코드의 전체 빌드를 수행하는 빌드 명령입니다(예: make -B 또는 make --always-make). JSON 컴파일 데이터베이스 형식으로 컴파일 옵션을 출력할 수 있는 빌드 시스템의 경우 JSON 파일에서 옵션을 얻을 수 있습니다.
polyspace-configure -no-sources -output-options-file buildOptions.txt -compilation-database jsonFile
여기서 jsonFile는 컴파일 데이터베이스 JSON 파일의 전체 경로입니다.

또한 체커(검사 항목) 등의 분석과 관련된 옵션이 있는 두 번째 옵션 파일을 추가할 수도 있습니다. 예를 들어, 두 번째 옵션 파일의 이름이 checkersOptions.txt인 경우 다음과 같이 Polyspace as You Code를 실행할 수 있습니다.

polyspace-bug-finder-access -sources file.c -options-file buildOptions.txt -options-file checkersOptions.txt

참고 항목

| (Polyspace Bug Finder) | (Polyspace Bug Finder)

도움말 항목