Polyspace as You Code는 C/C++ 소스 파일의 결함, 코딩 규칙 위반 및 코드 메트릭을 검사하는 IDE(통합 개발 환경) 플러그인입니다. 이를 통해 통합을 위해 변경 사항을 제출하기 전에 문제를 검출할 수 있습니다.
버퍼 오버플로 및 0으로 나누기 오류를 포함한 300가지 이상의 결함 유형에 대해 즉각적인 피드백을 받을 수 있습니다. MISRA C™:2023, MISRA C++:2023, CERT® C/C++ 및 CWE™와 같은 코딩 표준 준수 여부를 검사할 수 있습니다. 분석 결과는 진단 설명과 권장 수정 사항과 함께 IDE에 직접 표시됩니다.
Polyspace as You Code는 Visual Studio® Code, Visual Studio 및 Eclipse™와 함께 작동합니다. Polyspace Access와 연결하여 로컬 분석 결과를 통합 브랜치의 결함과 동기화함으로써 중복 검토를 방지할 수 있습니다.
IDE에서 C/C++ 코드 분석
저장 시 자동으로, 또는 필요할 때마다 IDE 내에서 직접 C 및 C++ 소스 코드 파일을 분석할 수 있습니다. 분석 결과는 소스 코드 내 마커로 표시되며, 전용 결과 창에도 표시됩니다. Polyspace as You Code는 Visual Studio 2019 및 2022, Visual Studio Code, Eclipse, 그리고 STM32 Cube 또는 Wind River® Workbench® 등의 특정 Eclipse 기반 IDE의 플러그인 또는 익스텐션으로 사용할 수 있습니다. 또한 명령줄 API를 통해 다른 IDE와도 통합할 수 있습니다.
C/C++ 코드 취약점 검출
보안 취약점, 메모리 오류, 수치 결함, 동시성 오류 등 300가지 이상의 다양한 소프트웨어 취약점을 검사해 임베디드 C 및 C++ 코드 품질을 보장할 수 있으며, 최신 C 및 C++ 언어 버전까지 지원합니다.
C/C++ 코딩 표준 준수 여부 검사
MISRA C:2023, MISRA C++:2023, MISRA C:2012, AUTOSAR C++14, CERT C, CERT C++ 및 CWE를 비롯한 안전 및 보안 코딩 표준 지원을 통해 코드를 작성하는 과정에서 준수 여부를 검사할 수 있습니다.
결함의 근본 원인 이해
결함의 근본 원인을 이해하고 이에 맞는 수정 사항을 적용할 수 있습니다. 각 분석 결과에는 결함에 대한 설명, 관련 데이터형, 예상 및 실제 데이터 값, 결함으로 이어지는 이벤트 추적, 관련 코드 라인을 포함한 상세한 맥락 정보가 포함됩니다.
Polyspace Copilot으로 Polyspace as You Code를 확장해여 추가적인 맥락 정보와 수정 제안을 제공받을 수 있습니다.
신규 결함 추적
로컬 체크아웃의 결과 또는 Polyspace Access에 연결된 경우 지속적 통합 작업의 최신 결과와 코드 분석 결과를 비교하여 변경 사항을 검증할 수 있습니다. 품질 모니터링 목록을 통해 어떤 파일을 분석하고 검토할지 판별할 수 있습니다.
일관된 코드 품질을 위한 분석 사용자 지정
기본 제공되는 C/C++ 코드 결함 검출 항목에 사용자 정의 검사기를 추가해 확장할 수 있습니다. 사용자 지정 결함 카탈로그를 통해 팀, 프로젝트 또는 회사 전체에 걸쳐 일관된 규칙을 적용할 수 있습니다. 사용자 지정 명명 규칙 및 코드 메트릭을 통해 코드 유지보수성을 강화할 수 있습니다.
제품 관련 자료:
"Polyspace를 통해 코드를 병합할 때마다 심각한 런타임 오류를 사전에 식별하고 수정하여 소프트웨어의 보안성과 품질을 보장할 수 있습니다."
Polyspace 제품군
Polyspace 제품은 개발 라이프사이클 전반에 걸쳐 소프트웨어 품질을 테스트하고 모니터링함으로써 중요한 코드의 안정성과 보안성을 향상할 수 있습니다.
Polyspace Access
코딩 결함을 식별하고 정적 분석 결과를 검토하며 소프트웨어 품질 메트릭을 모니터링할 수 있습니다.
Polyspace Copilot
Polyspace에 최적화된 AI 어시스턴트.
Polyspace Test
임베디드 시스템에서 C 및 C++ 코드에 대한 테스트를 개발하고 관리하며 실행할 수 있습니다.
Polyspace as You Code
사용 중인 IDE에서 코딩 표준 위반 사항과 소프트웨어 취약점을 식별할 수 있습니다.
Polyspace Test Server
자동화 서버에서 C/C++ 코드에 대한 테스트를 실행하고 구조적 코드 커버리지를 분석할 수 있습니다.
Polyspace Code Prover Server
CI 파이프라인에서 중요한 C 코드와 C++ 코드 명령문을 지속적으로 철저히 검증할 수 있습니다.
Polyspace Bug Finder
코딩 규칙, 보안 표준 및 코드 메트릭을 검사하고 버그를 찾을 수 있습니다.
Polyspace Client for Ada
정형 기법을 사용하여 중요한 Ada 명령문을 철저히 검증할 수 있습니다.
Polyspace Bug Finder Server
CI 파이프라인에서 소프트웨어 결함을 식별하고 코딩 규칙을 적용할 수 있습니다.
Polyspace Server for Ada
CI 파이프라인에서 중요한 Ada 코드 명령문을 지속적으로 철저히 검증할 수 있습니다.
Polyspace Code Prover
정형 기법을 사용하여 가장 중요한 C 명령문과 C++ 명령문을 철저히 검증할 수 있습니다.
