From 2a6b282ecaea494b5c7b7980f0c0d3e8fb64ca39 Mon Sep 17 00:00:00 2001 From: Bernhard Mueller Date: Sun, 19 May 2019 14:29:06 +0200 Subject: [PATCH] Check if variable is BitVec before copying annotations --- mythril/laser/ethereum/instructions.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/mythril/laser/ethereum/instructions.py b/mythril/laser/ethereum/instructions.py index 59bb7dc0..ef15c879 100644 --- a/mythril/laser/ethereum/instructions.py +++ b/mythril/laser/ethereum/instructions.py @@ -946,7 +946,8 @@ class Instruction: annotations = [] for b in state.memory[index : index + length]: - annotations.append(b.annotations) + if isinstance(b, BitVec): + annotations.append(b.annotations) argument_str = str(state.memory[index]).replace(" ", "_") result = symbol_factory.BitVecFuncSym(