From f2eae2f092c9f4a39018973fbb5a89e52b79b9d6 Mon Sep 17 00:00:00 2001 From: Bernhard Mueller Date: Tue, 14 May 2019 05:52:21 +0200 Subject: [PATCH] Minor changes --- mythril/analysis/modules/dependence_on_predictable_vars.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/mythril/analysis/modules/dependence_on_predictable_vars.py b/mythril/analysis/modules/dependence_on_predictable_vars.py index 49b3a73c..789a5ac7 100644 --- a/mythril/analysis/modules/dependence_on_predictable_vars.py +++ b/mythril/analysis/modules/dependence_on_predictable_vars.py @@ -88,6 +88,8 @@ def _analyze_states(state: GlobalState) -> list: opcode = state.get_current_instruction()["opcode"] if opcode in critical_ops: + logging.info(str(state.annotations)) + for annotation in state.annotations: if isinstance(annotation, PredictablePathAnnotation): @@ -167,7 +169,7 @@ def _analyze_states(state: GlobalState) -> list: PredictableValueAnnotation("block hash of a previous block") ) else: - # Always create an annotation when COINBASE, GASLIMIT, TIMESTAMP or NUMBER is called. + # Always create an annotation when COINBASE, GASLIMIT, TIMESTAMP or NUMBER is executed. instructions = state.environment.code.instruction_list opcode = instructions[state.mstate.pc - 1]["opcode"]