Main Content

本页翻译不是最新的。点击此处可查看最新英文版本。

全局变量

全局变量类别的描述和示例

Polyspace® Code Prover™ 分析会检查 C/C++ 程序中的全局变量，并确定变量在多个任务（线程）之间是共享的还是非共享的。

  • 对于共享变量，分析会尝试证明变量是否阻止并发访问。

  • 对于非共享变量，分析会确定变量被使用还是未被使用。

Polyspace 结果

共享变量由多个任务共享且防止任务并发访问的全局变量
潜在不受保护的变量Global variables shared between multiple tasks but not protected from concurrent access by the tasks
使用非共享变量在单个任务中使用的全局变量
未使用的变量Global variables declared but not used