解释 Bug Finder 结果

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

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

主题

解释 Polyspace 桌面端用户界面中的 Bug Finder 结果
解释结果详细信息中的消息，查明导致结果的根本原因。
Investigate the Cause of Empty Results List
Learn what procedure to follow if the Results List pane is empty.

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 Desktop User Interface
The Dashboard pane shows an overview of Bug Finder results in graphical format, for instance, defect distribution by impact.
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.
Polyspace 桌面端用户界面中的结果列表
结果列表窗格列出了 Bug Finder 的结果，以及文件、函数和审查状态等属性。
Source Code in Polyspace Desktop User Interface
The Source pane shows source code overlaid with Bug Finder results.
Polyspace 桌面用户界面中的结果详细信息
结果详细信息窗格显示特定 Bug Finder 结果的详细信息以及审查信息。
Call Hierarchy in Polyspace Desktop User Interface
The Call Hierarchy pane shows callers and callees of a function.