解释 Code Prover 结果
解释 Code Prover 结果，在源代码中导航，跟踪数据流
Polyspace® Code Prover™ 会检查 C/C++ 代码是否存在运行时错误。检查结果以下列颜色之一显示：
红色（已证实的错误）
橙色（未证实但可能是错误）
绿色（已证实不存在错误）
有关更多详细信息，请参阅Code Prover 结果和源代码颜色。
要审查结果，请从问题的直接位置追溯到前面的相关行。Polyspace 桌面端产品的用户界面提供了各种便利，例如范围工具提示、函数调用层次结构和其他导航辅助工具，可以帮助您进行回溯。请使用这些工具找出问题的根本原因并实施修复。要了解在审查特定类型的检查时要关注的问题，请参阅审查 Code Prover 运行时检查。
主题
快速入门
Code Prover 分析
- Code Prover Analysis Following Red and Orange Checks
Learn how an operation containing a run-time error affects verification of subsequent code.
- Variable Ranges in Source Code Tooltips After Code Prover Analysis
Learn why Code Prover reports ranges on variables, and why certain ranges can be narrower than expected. - 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
- Understanding Changes in Polyspace Results After Product Upgrade
Compare results before and after upgrade, interpret differences based on release notes and general direction of trends in Code Prover releases.
Polyspace 桌面端用户界面
- Dashboard in Polyspace Desktop User Interface
The Dashboard pane shows an overview of Code Prover results in graphical format, for instance, run-time check distribution by color. - Concurrency Modeling in Polyspace Desktop User Interface
The Concurrency Modeling pane shows the entry point functions in a multitasking application, and whether they are detected automatically from the code or explicitly specified. - Results List in Polyspace Desktop User Interface
The Results List pane lists Code Prover results with attributes such as file, function and review status. - Source Code in Polyspace Desktop User Interface
The Source pane shows source code overlaid with Code Prover results. - Result Details in Polyspace Desktop User Interface
The Result Details pane shows details of a specific Code Prover result along with review information. - Polyspace 桌面端用户界面中的调用层次结构
“调用层次结构”窗格用于显示函数的调用方和被调用方。 - Polyspace 桌面端用户界面中的变量访问
“变量访问”窗格会显示所有全局变量以及对这些变量的读取和写入操作。 - Sources of Orange Checks
The Orange Sources pane shows unconstrained sources such as volatile variables and stubbed functions that can cause multiple orange checks.
