From 85d75846e5a79cfd32e3ed7e644f79cc9d62480f Mon Sep 17 00:00:00 2001 From: Bernhard Mueller Date: Fri, 16 Mar 2018 11:00:45 +0700 Subject: [PATCH] Bump LASER version --- requirements.txt | 2 +- setup.py | 4 ++-- solidity_examples/reentrancy.sol | 5 +++-- 3 files changed, 6 insertions(+), 5 deletions(-) diff --git a/requirements.txt b/requirements.txt index 61630a50..98d3e3c4 100644 --- a/requirements.txt +++ b/requirements.txt @@ -2,7 +2,7 @@ ethereum>=2.0.4 ZODB>=5.3.0 z3-solver>=4.5 web3 -laser-ethereum==0.5.9 +laser-ethereum==0.5.10 requests BTrees py-solc diff --git a/setup.py b/setup.py index 4811cd65..cb121ade 100755 --- a/setup.py +++ b/setup.py @@ -254,7 +254,7 @@ Credit setup( name='mythril', - version='0.13.19', + version='0.13.20', description='Security analysis tool for Ethereum smart contracts', long_description=long_description, @@ -291,7 +291,7 @@ setup( 'web3', 'ZODB>=5.3.0', 'z3-solver>=4.5', - 'laser-ethereum==0.5.9', + 'laser-ethereum==0.5.10', 'requests', 'BTrees', 'py-solc' diff --git a/solidity_examples/reentrancy.sol b/solidity_examples/reentrancy.sol index 357152a6..4e8ee088 100644 --- a/solidity_examples/reentrancy.sol +++ b/solidity_examples/reentrancy.sol @@ -12,8 +12,9 @@ contract Reentrancy { function withdraw(uint _amount) public { if(balances[msg.sender] >= _amount) { - msg.sender.call.value(_amount)(); - balances[msg.sender] -= _amount; + if (msg.sender.call.value(_amount)()) { + balances[msg.sender] -= _amount; + } } }