Main Content

グローバル変数

グローバル変数カテゴリの説明と例

Polyspace® Code Prover™ 解析では、C/C++ プログラムのグローバル変数をチェックし、複数のタスク (スレッド) 間で変数が共有されているかどうかを特定します。

  • 共有されている変数の場合、その変数が同時アクセスから保護されていることを解析で証明しようとします。

  • 共有されていない変数の場合、その変数が使用されているかどうかを解析で判断します。

Polyspace 結果

共有変数複数のタスクの間で共有され、タスクによる同時アクセスから保護されたグローバル変数
保護されていない可能性のある変数複数のタスク間で共有されるが、タスクによる同時アクセスから保護されていないグローバル変数
使用される非共有変数シングル タスクに使用されるグローバル変数
使用されない変数宣言されたが未使用のグローバル変数