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.
Investigate the Cause of Empty Results List
Learn what procedure to follow if the Results List pane is empty.

マクロを含む行での Polyspace の結果
Polyspace で、マクロを含むソースコード行に結果がどのように表示されるかを確認する。
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 Platform ユーザーインターフェイスでの呼び出し階層
[呼び出し階層] ペインには、関数の呼び出し元と呼び出し先が表示されます。
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.