Глобальные переменные

Описание и пример категорий глобальной переменной

Результаты Polyspace

Protected variableГлобальные переменные совместно используются несколькими задачами и защищенные от параллельного доступа задачами
Potentially unprotected variableГлобальные переменные, совместно использованные несколькими задачами, но не защищенный от параллельного доступа задачами
Used non-shared variableГлобальные переменные используются в одной задаче
Unused variableОбъявленные глобальные переменные, но не используемый