The function returns all the state variables used (read/written) inside the Value.
Example
from glider import*defquery():# lets find some functions that read/write state vars functions =Functions()\.with_one_property([MethodProp.HAS_STATE_VARIABLES_READ, MethodProp.HAS_STATE_VARIABLES_WRITTEN])\.exec(2)for function in functions:for instruction in function.instructions().exec():for operand in instruction.get_operands()+ instruction.get_dest(): state_vars = operand.get_state_vars()iflen(state_vars)>0:print([x.expression for x in state_vars])return functions