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

polyspace-bug-finder-access

(시스템 명령) Windows, Linux 또는 다른 명령줄에서 Polyspace as You Code를 실행합니다.

R2021a 이후

페이지 내 모두 축소

구문

polyspace-bug-finder-access -sources sourceFile [options]
polyspace-bug-finder-access -sources sourceFile -import-comments baselineFolder [options]
polyspace-bug-finder-access -sources sourceFile -options-file optFile
polyspace-bug-finder-access -h[elp]

설명

polyspace-bug-finder-access 시스템 명령은 명령줄 플래그로 지정된 분석 옵션이나 옵션 파일을 사용하여 명령줄에서 Polyspace as You Code 분석을 실행합니다.

참고

이 Polyspace® 명령은 polyspaceroot\polyspace\bin에서 사용할 수 있습니다. 여기서 polyspaceroot는 Polyspace as You Code 설치 폴더이고, 예를 들어 C:\Program Files\Polyspace as You Code\R2025b는 명령줄에서 Polyspace as You Code를 실행하고 결과를 내보냅니다.를 참조하세요. 이 명령의 전체 경로를 입력하지 않으려면 운영 체제의 PATH 환경 변수에 이 위치를 추가하세요.

polyspace-bug-finder-access -sources sourceFile [options]는 소스 파일 sourceFile에 대해 Polyspace as You Code 분석을 실행합니다. 추가 옵션을 사용하여 분석을 사용자 정의할 수 있습니다.

예제

polyspace-bug-finder-access -sources sourceFile -import-comments baselineFolder [options]는 소스 파일 sourceFile에 대해 Polyspace as You Code 분석을 실행한 다음 baselineFolder에 저장된 이전 실행의 검토 정보를 가져옵니다. -import-comments (Polyspace Bug Finder)를 참조하세요.

이 워크플로를 사용하면 Polyspace Access에서 다운로드한 이전 실행의 결과와 결과를 비교하고 새로운 결과나 검토되지 않은 결과에만 집중할 수 있습니다. 명령줄에서 Polyspace as You Code 결과를 베이스라인으로 설정 항목을 참조하십시오.

polyspace-bug-finder-access -sources sourceFile -options-file optFile는 옵션 파일에 지정된 옵션에 따라 소스 파일 sourceFile에 대해 Polyspace as You Code 분석을 실행합니다. 분석 옵션이 많은 경우 옵션 파일을 사용하면 동일한 분석을 다시 실행하기가 더 쉽습니다.

예제

polyspace-bug-finder-access -h[elp]는 가능한 분석 옵션의 요약을 나열합니다.

예제

모두 축소

모든 옵션을 명령줄에 직접 지정하여 polyspace-bug-finder-access 명령을 실행합니다.

현재 폴더의 단일 소스 파일 file.c에 대해 polyspace-bug-finder-access 명령을 실행합니다. 결과를 polyspaceResults 폴더에 저장합니다.

polyspace-bug-finder-access -sources file.c -results-dir polyspaceResults

텍스트 파일에 옵션을 지정하여 polyspace-bug-finder-access 명령을 실행합니다.

다음을 텍스트 파일 opts.txt에 입력하세요:

-results-dir polyspaceResults
-compiler gnu7.x

현재 폴더의 단일 소스 파일 file.c에 대해 polyspace-bug-finder-access 명령을 실행합니다. 이전에 생성한 파일 opts.txt의 분석 옵션을 사용하세요.

polyspace-bug-finder-access -sources file.c -options-file opts.txt

입력 인수

모두 축소

문자열로 지정되는 C 또는 C++ 소스 파일 이름입니다. 파일이 현재 폴더(pwd)에 없으면 sourceFile는 전체 경로나 상대 경로를 포함해야 합니다. 공백이 포함된 경로로 인한 오류를 방지하려면 경로 주위에 따옴표 " "를 추가합니다. 자세한 내용은 -sources (Polyspace Bug Finder)를 참조하세요.

Polyspace as You Code를 사용하면 한 번에 하나의 소스 파일만 분석할 수 있습니다.

예: myFile.c

분석 옵션과 해당 값은 옵션 이름과 해당되는 경우 값으로 지정됩니다. 구문 사양은 개별 분석 옵션 참조 페이지 (Polyspace Bug Finder)에서 확인하세요.

예: -lang C-CPP -compiler diab

문자열로 지정하여 분석 옵션 및 값을 나열하는 텍스트 파일입니다. 파일이 현재 폴더(pwd)에 없으면 optFile는 전체 경로나 상대 경로를 포함해야 합니다. 공백이 포함된 경로로 인한 오류를 방지하려면 경로 주위에 따옴표 " "를 추가합니다. 자세한 내용은 -옵션-파일 (Polyspace Bug Finder)을 참조하세요.

예: opts.txt, "C:\ps_analysis\options.txt"

Polyspace Access에서 다운로드한 실행을 저장하는 폴더의 경로입니다. 다운로드한 실행을 Polyspace as You Code의 베이스라인으로 사용합니다. 명령줄에서 Polyspace as You Code 결과를 베이스라인으로 설정 항목을 참조하십시오.

예: "C:\Temp\Results_Folder\baseline"

버전 내역

R2021a에 개발됨

참고 항목

(Polyspace Bug Finder) | (Polyspace Bug Finder)

도움말 항목