TheDude
/
mythril
mirror of https://github.com/ConsenSys/mythril
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Add Joran's suggestion of lowercase keccak comparision

Browse Source 
Co-Authored-By: JoranHonig <JoranHonig@users.noreply.github.com>
arbitrary_storage
Nikhil Parasaram 5 years ago committed by GitHub
parent 879dcbff69
commit 7de3adf6d8
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Show Stats Download Patch File Download Diff File
  1. 2
      mythril/laser/smt/bitvecfunc.py

2
mythril/laser/smt/bitvecfunc.py
Unescape View File

@ -69,7 +69,7 @@ def _comparison_helper(
return Bool(z3.BoolVal(operation(a.value, b.value)), annotations=union) return Bool(z3.BoolVal(operation(a.value, b.value)), annotations=union)
# This function and bvfs should be changed in the coming future # 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)) return Bool(operation(a.raw, b.raw))
if ( if (
not isinstance(b, BitVecFunc) not isinstance(b, BitVecFunc)

Write Preview
Loading…
Cancel
Save