From 851fb8ff5bc77d231bcb19a4fb59c7831b4fa3ce Mon Sep 17 00:00:00 2001
From: Nikhil <nikhilparasaram@gmail.com>
Date: Tue, 22 Oct 2019 15:17:32 +0100
Subject: [PATCH] Add some documentation

---
 mythril/analysis/solver.py | 2 ++
 1 file changed, 2 insertions(+)

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