解释结果
Polyspace® Code Prover™ 会检查 C/C++ 代码是否存在运行时错误。检查结果以下列颜色之一显示:
红色(已证实的错误)
橙色(未证实但可能是错误)
绿色(已证实不存在错误)
有关更多详细信息,请参阅Code Prover 结果和源代码颜色 (Polyspace Code Prover)。
要审查结果,请从问题的直接位置追溯到前面的相关行。Polyspace Access™ Web 界面提供了各种便利,例如范围工具提示、函数调用层次结构和其他导航辅助工具,可以帮助您进行回溯。请使用这些工具找出问题的根本原因并实施修复。要了解在审查特定类型的检查时要关注的问题,请参阅审查 Code Prover 运行时检查 (Polyspace Code Prover)。
主题
快速入门
- 在 Polyspace Access Web 界面中解释 Code Prover 结果
解释结果详细信息中的消息,查明导致结果的根本原因。
- Code Prover 结果和源代码颜色 (Polyspace Code Prover)
- 审查 Code Prover 运行时检查 (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)
Polyspace Access 仪表板视图
- 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.
- Code Metrics Dashboard in Polyspace Access Web Interface
See a summary of your code metrics and pass/fail criteria.
Polyspace Access 审查视图
- Polyspace Access Web 界面中的调用层次结构
查看函数的调用方和被调用方。 - Polyspace Access Web 界面中的配置设置
查看用于分析的配置选项。 - Polyspace Access Web 界面中的全局变量
查看所有全局变量以及对这些变量的读取和写入操作。 - Polyspace Access Web 界面中的结果详细信息
查看特定 Polyspace 检查结果的详细信息以及审查信息。 - Polyspace Access Web 界面中的结果列表
查看包含文件、函数和审查状态等属性的 Polyspace 检查结果列表。 - Polyspace Access Web 界面中的审查历史记录
查看对检查结果的状态、严重性或注释作出的更改。 - Source Code in Polyspace Access Web Interface
See your source code overlaid with Polyspace findings.