Main Content

Variable Access

Create table showing global variable access in source code (Code Prover only)

Description

This component creates a table showing the global variable access in your source code. For each global variable, the table displays the following information:

  • Variable name.

    The entry for each variable is denoted by |.

  • Type of the variable.

  • Number of read and write operations on the variable.

  • Details of read and write operations. For each read or write operation, the table displays the following information:

    • File and function containing the operation in the form file_name.function_name.

      The entry for each read or write operation is denoted by ||. Write operations are denoted by < and read operations by >.

    • Line and column number of the operation.

This table captures the information available on the Variable Access pane in the Polyspace® user interface.

The table showing variable access contains only the names of files. Below this table, a second table shows the full paths to files (in two columns, Filename and Full filename). If a variable access occurs in a Standard library function, the two columns contain this information:

  • Filename: __polyspace__stdstubs.c (the file containing Polyspace implementation of Standard Library functions)

  • Full filename: Std library

See Also

Topics