Main Content

Review and Fix Absolute Address Usage Checks

This topic describes how to systematically review the results of an Absolute address usage check in Polyspace® Code Prover™.

Follow one or more of these steps until you determine a fix for the Absolute address usage check. There are multiple ways to fix this check. For a description of the check and code examples, see Absolute address usage.

Tip

This check is green by default. To reduce the number of orange checks, if you trust that all absolute addresses in your code are valid, you can retain this default behavior.

For best use of this check, leave this check green by default during initial stages of development. During integration stage, use the option -no-assumption-on-absolute-addresses and detect all uses of absolute memory addresses. Browse through them and make sure that the addresses are valid.

  1. Select the check on the Results List pane.

    The Source pane displays the code operation containing the absolute address.

  2. If you determine that the address is valid, add a comment and justification in your result or code. See Address Results in Polyspace User Interface Through Bug Fixes or Justifications or Address Results in Polyspace Access Through Bug Fixes or Justifications (Polyspace Access).