이 페이지는 기계 번역을 사용하여 번역되었습니다. 영어 원문을 보려면 여기를 클릭하십시오.
제출하기 전에 IDE에서 코드 품질을 확인하세요
Polyspace as You Code는 통합 개발 환경(IDE) 내에서 C/C++ 개발자가 정기적으로 사용하기 위한 정적 코드 분석 소프트웨어입니다. Polyspace as You Code는 현재 IDE에서 활성화된 파일에서 버그 및 코딩 표준 위반을 찾을 수 있습니다. (프로젝트의 전체 통합 분석을 위해서는 Polyspace Bug Finder 또는 Polyspace Bug Finder Server를 사용하십시오.)
Polyspace as You Code 분석 엔진 및 IDE 확장 설치
Polyspace as You Code는 팀이나 조직을 위한 Polyspace®Access™ 설치와 함께 번들로 제공됩니다. Polyspace Access 웹 서버가 설정되면 라이선스가 있는 사용자는 누구나 Polyspace Access 웹 인터페이스에서 Polyspace as You Code 설치 프로그램을 압축 파일로 다운로드할 수 있습니다.
개념적으로 Polyspace as You Code는 다음 부분으로 구성됩니다.
분석 엔진
IDE에서 분석을 시작하고 결과를 볼 수 있는 IDE 확장
Visual Studio, Visual Studio Code 및 Eclipse와 같은 IDE에 대해 IDE 확장이 제공됩니다. 다른 IDE를 사용하는 경우에도 분석 엔진을 설치하고 명령줄이나 IDE 콘솔에서 분석을 실행할 수 있습니다.
설치 프로그램의 압축을 풀고 시작한 후 화면의 지시를 따릅니다. 분석 엔진이 설치된 후 하나 이상의 IDE 확장을 설치할 수 있습니다. 자세한 내용은 설치 프로그램을 사용하여 Polyspace as You Code 설치를 참조하세요.
또는 나중에 IDE 확장을 설치할 수 있습니다. 자세한 내용은 다음을 참조하세요.
Polyspace as You Code를 실행하고 결과 검토
설치 후 IDE를 열 때마다 Polyspace as You Code 확장이 분석을 시작할 준비가 됩니다. C 또는 C++ 파일을 열고 일부 내용을 변경한 후 파일을 저장하면 분석이 자동으로 시작됩니다. (자동 분석을 비활성화하고 대신 명시적으로 분석을 시작하도록 선택할 수 있습니다.)
분석을 시작하려면 IDE에서 현재 작업 중인 프로젝트나 작업 공간을 열고 프로젝트에서 파일을 엽니다. 또는 다음 함수를 .c
또는 .cpp
파일에 복사하고 IDE에서(프로젝트 등을 사용하여) 파일을 엽니다. 함수에는 범위를 벗어난 배열 액세스, 불필요한 코드, 동등 대신 할당 연산자 사용과 같은 버그가 포함되어 있습니다.
#define MAXBUF 20 int buf[MAXBUF]; int saturateAndShift(int limit, int* stream, int size) { int i; int numMax = 0; if(size > MAXBUF) { return -1; } if(size <= MAXBUF) { for(i=0; i<size; i++) { if(stream[i] > limit || stream[i] < 0) { buf[i+1] = 0; } else if(stream[i] = limit){ buf[i+1] = stream[i]; numMax ++; } else { buf[i+1] = stream[i]; } } } return numMax; }
Polyspace as You Code 분석 후 현재 활성 파일에서 소스 코드 마커로 결과(버그 및 코딩 표준 위반)를 볼 수 있습니다. IDE의 별도 목록에서 결과를 볼 수도 있습니다. 자세한 내용은 다음을 참조하세요.
명령줄 터미널이나 IDE 콘솔에서 결과를 내보낼 수도 있습니다. 더 풍부한 결과를 얻으려면 결과를 JSON 형식으로 내보내고 표시하기 전에 추가로 조작할 수 있습니다. 자세한 내용은 Run Polyspace as You Code from Command Line and Export Results를 참조하세요.
Polyspace as You Code IDE 확장 구성
기본 분석은 IDE의 소규모 프로젝트에서 작동하도록 사전 구성되어 있습니다. 실제로는 빌드를 긴밀하게 에뮬레이트하고, 검사기를 활성화 또는 비활성화하고, 새로운 결과만 보거나 다른 조정을 위해 IDE 확장 설정을 추가로 구성해야 할 수도 있습니다.
예를 들어, 기본적으로 Polyspace as You Code는 코드를 저장할 때마다 실행됩니다. 확장 설정을 사용하여 자동 실행을 비활성화할 수 있습니다(그리고 소스 코드에서 마우스 오른쪽 버튼 클릭 옵션을 사용하여 명시적으로 분석을 실행할 수 있습니다). 확장 설정 전체 목록과 이를 여는 방법은 다음을 참조하세요.
확장 설정은 세 가지 주요 그룹으로 나뉩니다.
빌드 옵션:
이러한 설정을 사용하여 Visual Studio 솔루션 또는 Visual Studio Code 빌드 작업과 같은 IDE의 기존 아티팩트에서 빌드 정보를 추출할지 아니면 옵션 파일에서 빌드 관련 Polyspace 옵션을 수동으로 열거할지 지정합니다. 자세한 내용은 Analyzing Build in Polyspace as You Code (Polyspace Bug Finder)를 참조하십시오.
검사기:
이러한 설정을 사용하여 검사기를 활성화하거나 비활성화할 수 있습니다. 자세한 내용은 Setting Checkers in Polyspace as You Code (Polyspace Bug Finder)를 참조하십시오.
기준 설정 옵션:
이러한 설정을 사용하면 Polyspace as You Code 설치를 Polyspace Access 인스턴스와 연결하고 Polyspace Access의 프로젝트를 사용하여 결과를 베이스라인으로 삼을 수 있습니다. 베이스라인을 설정하면 최근 코드 변경으로 인한 새로운 결과에만 집중할 수 있습니다. Baselining in Polyspace as You Code (Polyspace Bug Finder)를 참조하세요.