diff --git a/mythril/analysis/solver.py b/mythril/analysis/solver.py index 6e16347a..21c26f0f 100644 --- a/mythril/analysis/solver.py +++ b/mythril/analysis/solver.py @@ -146,6 +146,8 @@ def _replace_with_actual_sha( else: s_index = 10 for i in range(s_index, len(tx["input"]), 64): + # We can do this because the data is aligned as blocks of 32 bytes + # For more info https://solidity.readthedocs.io/en/v0.5.12/abi-spec.html, data_slice = tx["input"][i : i + 64] if hash_matcher not in data_slice or len(data_slice) != 64: continue