From d1d4460605368335abeb55d62e0790571a5355b8 Mon Sep 17 00:00:00 2001 From: Bernhard Mueller Date: Sun, 19 May 2019 14:17:16 +0200 Subject: [PATCH] Add norhh suggestion #2 --- mythril/laser/ethereum/instructions.py | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/mythril/laser/ethereum/instructions.py b/mythril/laser/ethereum/instructions.py index fe0ce2e8..32b48ce7 100644 --- a/mythril/laser/ethereum/instructions.py +++ b/mythril/laser/ethereum/instructions.py @@ -942,13 +942,19 @@ class Instruction: data = symbol_factory.BitVecVal(0, 1) if data.symbolic: + + annotations = [] + + for b in state.memory[index : index + length]: + annotations.append(b.annotations) + argument_str = str(state.memory[index]).replace(" ", "_") result = symbol_factory.BitVecFuncSym( "KECCAC[{}]".format(argument_str), "keccak256", 256, input_=data, - annotations=state.memory[index].annotations, + annotations=annotations, ) log.debug("Created BitVecFunc hash.")