解释 Bug Finder 结果

解释 Bug Finder 结果消息并在源代码中导航，以查明导致结果的根本原因

了解如何使用 Polyspace^® Bug Finder™ 用户界面的各个窗格来审查分析结果并查明出现缺陷的根本原因。

主题

Open Polyspace Results in Polyspace Platform User Interface
See all the ways you can open Polyspace results.
Interpret Polyspace Bug Finder Results in Polyspace Platform User Interface
Interpret result details message, find root cause of result.
调查结果列表为空的原因
了解“结果列表”窗格为空时应遵循的过程。

Polyspace Results in Lines Containing Macros
See how Polyspace shows results in source code lines containing macros.
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.
Bug Finder 分析假设
代码分析期间使用的假设

Dashboard in Polyspace Platform User Interface
The Dashboard pane shows an overview of Bug Finder results in graphical format, for instance, defect distribution by impact.
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 Bug Finder results.
Result Details in Polyspace Platform User Interface
The Result Details pane shows details of a specific Bug Finder result along with review information.
Polyspace 平台用户界面中的“调用层次结构”
“调用层次结构”窗格用于显示函数的调用方和被调用方。
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.