This is machine translation

Translated by Microsoft
Mouseover text to see original. Click the button below to return to the English version of the page.

Note: This page has been translated by MathWorks. Click here to see
To view all translated materials including this page, select Country from the country navigator on the bottom of this page.

Interpret Polyspace Bug Finder Access Results

When you open the results of a Bug Finder analysis in the REVIEW view of Polyspace Access, you see a list on the Results List pane. The results consist of defects, coding rule violations or code metrics.

You can first narrow down the focus of your review:

  • Use filters in the toolstrip to narrow down the list. For instance, you can focus on the high-impact defects.

  • Click the a column header in the Results List to sort the list according to the content of that column. For instance you can sort by Group or by File.

Once you narrow down and sort the list, you can begin reviewing individual results. This topic describes how to review a result.

To begin your review, select a result in the list.

Interpret Result Details Message

Interpret Message

The first step is to understand what is wrong. Read the message on the Result Details pane and the related line of code on the Source Code pane.

Seek Additional Resources for Help

Sometimes, you need additional help for certain results. Click the icon to open a help page for the selected result. See code examples illustrating the result. Check external standards such as CERT-C that provide additional rationale for fixing the issue. When available, click the icon to see fix suggestions for the defect.

At this point, you might be ready to decide whether to fix the issue or not. Once you identify a fix, it might help to review all results of that type together.

Find Root Cause of Result

Sometimes, the root cause might be far from the actual location where the result is displayed. For instance, a variable that you read might be non-initialized because the initialization is not reachable. The defect is shown when you read the variable, but the root cause is perhaps a previous if or while condition that is always false.

Navigate to Related Events

Typically, the Result Details pane shows one sequence of events that leads to the result. The Source Code pane also highlights these events.

In the above event traceback, this sequence is shown:

  1. A variable value is declared.

  2. The execution path bypasses an if statement. This information might be relevant if the variable is initialized inside the if block.

  3. Location of the current defect: Non-initialized variable

Typically, the traceback shows major points in the control flow: entering or bypassing conditional statements or loops, entering a function, and so on. For specific defects, the traceback shows other kinds of events relevant to the defect. For instance, for a Declaration mismatch defect, the traceback shows the two locations with conflicting declarations.

Create Your Own Navigation Path

If the event traceback is not available, use other navigation tools to trace your own path through the code.

Before you begin navigating through pathways in your code, ask the question: What am I looking for? Based on your answer, choose the appropriate navigation tool. For instance:

  • To investigate a Non-initialized variable defect, you might want to make sure that the variable is not initialized at all. To look for previous instances of the variable, on the Source Code pane, right-click the variable and select Search For All References. This option lists only instances of a specific variable and not other variables with the same name in other scopes.

  • To investigate a violation of MISRA C:2012 Rule 17.7:

    The value returned by a function having non-void return type shall be used.
    you might want to navigate from a function call to the function definition. Right-click the function and select Go To Definition.

After you navigate away from the current result, use the icon on the Result Details pane to come back.

To select a different result from the Source Code pane, Ctrl-click the result or right-click and select Select Results At This Location. The Results Details pane updates but the result you select is not highlighted in the Results List pane. Clicking a result in the Results List updates the Results Details and Source Code panes.

Related Topics