Merge pull request #1124 from ConsenSys/speedup/sha

put hash for sha keccak()
5 years ago · 02217dede7
parent 4f3fd00359 2efaa02c2d
commit 02217dede7
1 changed files with 2 additions and 2 deletions
--- a/mythril/laser/ethereum/instructions.py
+++ b/mythril/laser/ethereum/instructions.py
@ -931,9 +931,9 @@ class Instruction:
                if isinstance(b, BitVec):
                    annotations = annotations.union(b.annotations)

-            argument_str = str(state.memory[index]).replace(" ", "_")
+            argument_hash = hash(state.memory[index])
            result = symbol_factory.BitVecFuncSym(
-                "KECCAC[{}]".format(argument_str),
+                "KECCAC[invhash({})]".format(hash(argument_hash)),
                "keccak256",
                256,
                input_=data,