Update setup.py and requirements

7 years ago · 48b98ca267
parent 4f4c4525fb
commit 48b98ca267
3 changed files with 6 additions and 4 deletions
--- a/mythril/analysis/security.py
+++ b/mythril/analysis/security.py
@ -8,9 +8,11 @@ def fire_lasers(statespace):

 	issues += delegatecall_forward.execute(statespace)
 	issues += unchecked_suicide.execute(statespace)
-	issues += unchecked_retval.execute(statespace)
 	issues += ether_send.execute(statespace)

+	# still needs some work
+	# issues += unchecked_retval.execute(statespace)
+
 	if (len(issues)):
 		report = Report(issues)
 		print(report.as_text())
--- a/requirements.txt
+++ b/requirements.txt
@ -2,6 +2,6 @@ ethereum>=2.0.4
 ZODB>=5.3.0
 z3-solver>=4.5
 web3
-laser-ethereum==0.2.14
+laser-ethereum==0.2.15
 requests
 BTrees
--- a/setup.py
+++ b/setup.py
@ -219,7 +219,7 @@ security community.
 setup(
    name='mythril',

-    version='0.8.6',
+    version='0.8.7',

    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.14',
+        'laser-ethereum==0.2.15',
        'requests',
        'BTrees'
    ],