LASER version bump and small fixes

mythril/analysis/symbolic.py

@@ -58,15 +58,11 @@ class StateSpace:
 
                     index, value = stack.pop(), stack.pop()
 
-                    logging.info("SSTORE: " + str(index) + " " + str(value))
-
                     try:
                         self.sstors[str(index)].append(SStore(self.nodes[key], instruction['address'], value))
                     except KeyError:
                         self.sstors[str(index)] = [SStore(self.nodes[key], instruction['address'], value)]
 
-        logging.info(self.sstors)
-
         self.sstor_analysis()
 
 

requirements.txt

@@ -2,6 +2,6 @@ ethereum>=2.0.4
 ZODB>=5.3.0
 z3-solver>=4.5
 web3
-laser-ethereum==0.2.11
+laser-ethereum==0.2.12
 requests
 BTrees

setup.py

@@ -219,7 +219,7 @@ security community.
 setup(
     name='mythril',
 
-    version='0.8.2',
+    version='0.8.3',
 
     description='A reversing and bug hunting framework for the Ethereum blockchain',
     long_description=long_description,
@@ -256,7 +256,7 @@ setup(
         'web3',
         'ZODB>=5.3.0',
         'z3-solver>=4.5',
-        'laser-ethereum==0.2.11',
+        'laser-ethereum==0.2.12',
         'requests',
         'BTrees'
     ],