diff --git a/mythril/analysis/modules/dependence_on_predictable_vars.py b/mythril/analysis/modules/dependence_on_predictable_vars.py index 3ad31ecf..94268961 100644 --- a/mythril/analysis/modules/dependence_on_predictable_vars.py +++ b/mythril/analysis/modules/dependence_on_predictable_vars.py @@ -173,10 +173,11 @@ def _analyze_states(state: GlobalState) -> list: instructions = state.environment.code.instruction_list opcode = instructions[state.mstate.pc - 1]["opcode"] - annotation = PredictableValueAnnotation( - "block." + opcode.lower() + " environment variable" + state.mstate.stack[-1].annotate( + PredictableValueAnnotation( + "block." + opcode.lower() + " environment variable" + ) ) - state.mstate.stack[-1].annotate(annotation) return issues