polyspace 桌面端用户界面中的变量访问 -pg电子麻将胡了

查看访问图

使用变量访问窗格以图形格式查看对全局变量的访问操作。选择全局变量，然后点击 。

下面是访问图的示例：

查看结构化变量

对于结构化变量，请从变量访问窗格中查看各个字段。例如，对于结构体 shr4，该窗格会显示字段 shr4.a 和 shr4.b，以及对它们执行读取/写入访问的函数。

查看对匿名变量的操作

您可以查看对匿名变量的操作。例如，以下面的代码行为例，它声明了一个未命名并集，其中的变量位于绝对地址：

union {char, c; int i; } @0x1234;

查看通过全局指针执行的访问

查看通过全局指针间接对全局变量执行的访问操作。

如果对变量的读取/写入访问是通过全局指针执行的，则该访问会标有 （读取）或 （写入）。通过指针执行的访问与任何其他直接访问的显示是相同的。

例如，在文件 initialisations.c 中，变量 arr 被声明为指向数组 tab 的指针。

在文件 main.c 中，函数 interpolation() 通过全局指针变量 arr 读取了 tab。此操作显示在变量访问窗格中，带有一个 图标。

在动态内存分配期间，内存被直接分配给指针。由于只有非指针变量的值列已填充，因此无法通过此列查找在动态分配的内存中存储的值。请使用变量访问窗格来导航到源窗格中该指针的解引用。使用此窗格中的工具提示查找跟在每个指针解引用后的值。

显示或隐藏调用方和被调用方

自定义变量访问窗格以仅显示共享变量。在变量访问窗格工具栏上，点击“非共享变量”按钮 以显示或隐藏非共享变量。

显示或隐藏不可达代码中的访问

通过点击过滤器按钮 可隐藏出现在不可达代码中的读取/写入访问。

其他特征

在变量访问窗格中，对全局变量或对象（在 c 中）的寻址操作不会显示为读取/写入操作。以如下 c 代码为例：

class c0 
{ 
public: 
  c0() {} 
  int get_flag() 
  { 
    volatile int rd; 
    return rd; 
  } 
  ~c0() {} 
private: 
  int a;                /* never read/written */ 
}; 
c0 c0;                  /* c0 is unreachable */ 
int main() 
{ 
  if (c0.get_flag())    /* uses address of the method */ 
    { 
      int *ptr = take_addr_of_x(); 
      return 1; 
    } 
  else 
    return 0; 
}

您在变量访问窗格中不会看到方法调用 c0.get_flag()，因为该调用是对属于对象 c0 的方法的寻址操作。