管理结果
对 Code Prover 的结果进行过滤和分组，以进行系统性的审查
打开 Polyspace® 分析的结果时，您会看到一个包含缺陷 (Bug Finder)、运行时检查 (Code Prover)、编码违规或其他结果的扁平列表。为了便于审查，您可以缩小列表范围，或者按文件或结果类型对结果进行分组。
主题
- Filter and Group Results in Polyspace Desktop User Interface
Narrow down list of results, organize results by file or result type.
- Prioritize Check Review
Identify more critical issues in your verification results and review them in preference to others.
- Orange Checks in 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
- Critical Orange Checks in Polyspace Code Prover
- Limit Display of Orange Checks in Polyspace Desktop User Interface
- Reduce Orange Checks in Polyspace Code Prover
- Evaluate Polyspace Code Prover Results Against Software Quality Objectives
- Identify Function Call with Run-Time Error
