From 7de3adf6d87395ef8ca1097c72e7d68e9a979ef7 Mon Sep 17 00:00:00 2001 From: Nikhil Parasaram Date: Thu, 15 Aug 2019 00:20:04 -0700 Subject: [PATCH] Add Joran's suggestion of lowercase keccak comparision Co-Authored-By: JoranHonig --- mythril/laser/smt/bitvecfunc.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/mythril/laser/smt/bitvecfunc.py b/mythril/laser/smt/bitvecfunc.py index 68daeb00..4ddc6504 100644 --- a/mythril/laser/smt/bitvecfunc.py +++ b/mythril/laser/smt/bitvecfunc.py @@ -69,7 +69,7 @@ def _comparison_helper( return Bool(z3.BoolVal(operation(a.value, b.value)), annotations=union) # This function and bvfs should be changed in the coming future - if not isinstance(b, BitVecFunc) and "KECCAK" not in str(a): + if not isinstance(b, BitVecFunc) and "keccak" not in str(a).lower(): return Bool(operation(a.raw, b.raw)) if ( not isinstance(b, BitVecFunc)