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

결과 해석

Code Prover 결과 메시지를 해석하고 소스 코드를 탐색하여 결과의 근본 원인을 찾습니다.

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 대시보드 보기

Dashboard in Polyspace Access Web Interface
See an overview of project results in graphical format, for instance, coding standard findings distribution by status.
Monitor Code Quality Using Quality Objectives Dashboard in Polyspace Access

Monitor the quality of your code and create custom quality objectives definitions.
- Manage Software Quality Objectives in Polyspace Access
Code Metrics Dashboard in Polyspace Access Web Interface
See a summary of your code metrics and pass/fail criteria.

PolyspaceAccess 리뷰 보기

Call Hierarchy in Polyspace Access Web Interface
See callers and callees of a function.
Configuration Settings in Polyspace Access Web Interface
See configuration options used for the analysis.
Global Variables in Polyspace Access Web Interface
See all global variables along with read and write operations on them.
Result Details in Polyspace Access Web Interface
See details of a specific Polyspace finding along with review information.
Results List in Polyspace Access Web Interface
See list of Polyspace findings with attributes such as file, function and review status.
Review History in Polyspace Access Web Interface
See changes to the status, severity, or comments for a finding.
Source Code in Polyspace Access Web Interface
See your source code overlaid with Polyspace findings.