From 13829d77f4dd0bc8758a0294024e3dc3470d2645 Mon Sep 17 00:00:00 2001
From: Nikhil Parasaram <nikhilparasaram@gmail.com>
Date: Sun, 10 Jul 2022 16:10:58 +0100
Subject: [PATCH] Add a get set for summaries (#1647)

* Support py36 through py39

* Remove usage of cytoolz

* Update tox

* Add a get set for summaries
---
 mythril/laser/ethereum/state/account.py | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/mythril/laser/ethereum/state/account.py b/mythril/laser/ethereum/state/account.py
index 229643e3..c6098d49 100644
--- a/mythril/laser/ethereum/state/account.py
+++ b/mythril/laser/ethereum/state/account.py
@@ -37,8 +37,12 @@ class Storage:
         # Stores all keys set in the storage
         self.keys_set: Set[BitVec] = set()
 
+        # Stores all get keys in the storage
+        self.keys_get: Set[BitVec] = set()
+
     def __getitem__(self, item: BitVec) -> BitVec:
         storage = self._standard_storage
+        self.keys_get.add(item)
         if (
             self.address
             and self.address.value != 0