Check if variable is BitVec before copying annotations

6 years ago · 2a6b282eca
parent 676e894d0c
commit 2a6b282eca
1 changed files with 2 additions and 1 deletions
--- 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(