이 페이지는 기계 번역을 사용하여 번역되었습니다. 최신 내용을 영문으로 보려면 여기를 클릭하십시오.
결과 해석
Polyspace®Code Prover™는 C/C++ 코드에서 런타임 오류를 확인합니다. 확인 결과는 다음 색상 중 하나로 표시됩니다.
빨간색(검증된 오류)
주황색(검증되지 않았지만 오류가 발생할 수 있음)
녹색(오류가 없음이 입증됨)
자세한 내용은 Code Prover Result and Source Code Colors (Polyspace Code Prover)를 참조하세요.
결과를 검토하려면 문제가 발생한 위치부터 이전 관련 줄까지 역추적하세요. PolyspaceAccess™ 웹 인터페이스는 역추적에 도움이 되는 범위 도구 설명, 함수 호출 계층 및 기타 탐색 보조 기능과 같은 다양한 편의를 제공합니다. 이러한 도구를 사용하여 문제의 근본 원인을 찾고 수정 사항을 구현하십시오. 특정 유형의 검사를 검토할 때 무엇을 확인해야 하는지 이해하려면 Reviewing Code Prover Run-Time Checks (Polyspace Code Prover)를 참조하세요.
도움말 항목
시작하기
- Interpret Code Prover Results in Polyspace Access Web Interface
Interpret result details message, find root of result.
- Code Prover Result and Source Code Colors (Polyspace Code Prover)
- Reviewing Code Prover Run-Time Checks (Polyspace Code Prover)
- Polyspace Results in Lines Containing Macros (Polyspace Code Prover)
- Compare Results in Polyspace Access Project to Previous Runs and View Trends
View results from previous project runs and compare them to later runs.
Code Prover 분석
- Code Prover Analysis Following Red and Orange Checks (Polyspace Code Prover)
Learn how an operation containing a run-time error affects verification of subsequent code.
- Order of Code Prover Run-Time Checks (Polyspace Code Prover)
- Variable Ranges in Source Code Tooltips After Code Prover Analysis (Polyspace Code Prover)
Learn why Code Prover reports ranges on variables, and why certain ranges can be narrower than expected. - Orange Checks in Polyspace Code Prover (Polyspace Code Prover)
Learn why the verification cannot prove the presence or absence of an error for certain operations and why you must review the operations.
- Managing Orange Checks in Polyspace Code Prover (Polyspace Code Prover)
- Critical Orange Checks in Polyspace Code Prover (Polyspace Code Prover)
- Reduce Orange Checks in Polyspace Code Prover (Polyspace Code Prover)
PolyspaceAccess 대시보드 보기
- Polyspace Access 웹 인터페이스의 대시보드
프로젝트 결과의 개요를 그래픽 형식으로 볼 수 있습니다. 예를 들어, 상태별 코딩 표준 결과 분포를 볼 수 있습니다. - Polyspace Access의 품질 목표 대시보드를 사용하여 코드 품질 모니터링
코드 품질을 모니터링하고 사용자 정의 품질 목표 정의를 만듭니다.
- Polyspace Access 웹 인터페이스의 코드 메트릭 대시보드
코드 메트릭과 통과/실패 기준 요약을 확인하세요.
PolyspaceAccess 리뷰 보기
- Call Hierarchy in Polyspace Access Web Interface
See callers and callees of a function. - Polyspace Access 웹 인터페이스의 구성 설정
분석에 사용된 구성 옵션을 참조하세요. - Global Variables in Polyspace Access Web Interface
See all global variables along with read and write operations on them. - Polyspace Access 웹 인터페이스의 결과 세부 정보
특정 Polyspace 결과에 대한 세부 정보와 리뷰 정보를 확인하세요. - Results List in Polyspace Access Web Interface
See list of Polyspace findings with attributes such as file, function and review status. - Polyspace Access 웹 인터페이스에서 검토 기록
결과에 대한 상태, 심각도 또는 설명의 변경 사항을 확인하세요. - Polyspace Access 웹 인터페이스의 소스 코드
Polyspace 결과가 소스 코드에 중첩되어 표시됩니다.
