A Polyspace® Code Prover™ analysis checks global variables in a C/C++ program and determines if the variables are shared between multiple tasks (threads) or unshared.
For shared variables, the analysis attempts to prove that the variables are protected from concurrent access.
For unshared variables, the analysis determines if the variables are used or unused.
|Global variables shared between multiple tasks and protected from concurrent access by the tasks|
|Global variables shared between multiple tasks but not protected from concurrent access by the tasks|
|Global variables used in a single task|
|Global variables declared but not used|