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

polyspace-bug-finder-access

(권장하지 않음) Windows, Linux 또는 기타 명령줄에서 Polyspace as You Code을 실행하십시오.

페이지 내 모두 축소

polyspace-bug-finder-access는 향후 릴리스에서 제거될 예정입니다. 대신 polyspace-as-you-code를 사용하세요. (R2026a 이후) 코드 업데이트에 대한 자세한 내용은 버전 내역 항목을 참조하십시오.

구문

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\R2026a와 같습니다(Run Polyspace as You Code from Command Line and Export Results (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™에서 다운로드한 이전 실행 결과와 현재 결과를 비교하고, 새로운 결과나 검토되지 않은 결과만 집중적으로 살펴볼 수 있습니다. Command Line: Configure Baseline Results in Polyspace as You Code (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, -sources-list-file) (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 실행의 기준점으로 사용합니다. Command Line: Configure Baseline Results in Polyspace as You Code (Polyspace as You Code) 항목을 참조하십시오.

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

버전 내역

R2021a에 개발됨

모두 축소

참고 항목

(Polyspace as You Code) | (Polyspace Bug Finder) | (Polyspace Bug Finder)

도움말 항목