解释 Polyspace 平台用户界面中的 Code Prover 结果
解释 Code Prover 结果，在源代码中导航，跟踪数据流
Polyspace® Code Prover™ 会检查 C/C++ 代码是否存在运行时错误。检查结果以下列颜色之一显示：
红色（已证实的错误）
橙色（未证实但可能是错误）
绿色（已证实不存在错误）
有关更多详细信息，请参阅Code Prover 结果和源代码颜色。
要审查结果，请从问题的直接位置追溯到前面的相关行。Polyspace 桌面端产品的用户界面提供了各种便利，例如范围工具提示、函数调用层次结构和其他导航辅助工具，可以帮助您进行回溯。请使用这些工具找出问题的根本原因并实施修复。要了解在审查特定类型的检查时要关注的问题，请参阅审查 Code Prover 运行时检查。
主题
快速入门
- Open Polyspace Results in Polyspace Platform User Interface
See all the ways you can open Polyspace results. - Interpret Polyspace Code Prover Results in Polyspace Platform User Interface
Interpret result details message, find root cause of result.
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 Platform 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 Platform User Interface
The Dashboard pane shows an overview of Code Prover results in graphical format, for instance, run-time check distribution by color. - Results List in Polyspace Platform User Interface
The Results List pane lists Bug Finder results with attributes such as file, function and review status. - Source Code in Polyspace Platform User Interface
The Source Code pane shows source code overlaid with Code Prover results. - Result Details in Polyspace Platform User Interface
The Result Details pane shows details of a specific Code Prover result along with review information. - Concurrency Modeling in Polyspace Platform 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. - Investigate Data Race Defects Using Data Race Graph in Polyspace Platform User Interface
The Data Race Graph shows details for data race defects including the read and write operations performed on shared variables. - Call Hierarchy in Polyspace Platform User Interface
The Call Hierarchy pane shows callers and callees of a function. - Global Variables Usage in Polyspace Platform User Interface
The Variable Access pane shows all global variables along with read and write operations on them. - Sources of Orange Checks
The Orange Sources pane shows unconstrained sources such as volatile variables and stubbed functions that can cause multiple orange checks.
