Просмотрите глобальные переменные C/C++ наряду с операциями чтения-записи
возвращает распределение глобальных переменных в наборе результатов Программы автоматического доказательства Кода, обозначенном varList
= variableAccess(resObj
)polyspace.CodeProverResults
объект resObj
. Список также содержит все операции чтения и операции записи на глобальных переменных.