variable declaration In [...] STRING vtype SMC_GVar_Type

global variable given the variable name [...] Input stName STRING

STRING Variable [...] SymbolicVarsBase.Variable [...] Variable

ExpressionTableEx STRING_LENGTH_EXP INT 255 string length [...] table (variable or

constant string, a global string variable [...] allocated string. But the

STRING len INT vi REFERENCE TO VariableInformation

format string and the given variable. Will [...] Format POINTER TO STRING the

STRING Variable [...] VarInfo EXTENDS SymbolicVarsBase.Variable [...] Variable

Symbol POINTER TO STRING The [...] variable to deactivate.

Symbol POINTER TO STRING The [...] variable to activate.