DeforaNetworks/manticore
3
0
Fork 0
Code Releases Activity

Fix coverage calculation vs. metadata (#529)

Browse Source 
* Fixes symbolic reentrancy example

* Fix coverage Issue# 527

* Remove  debug unused code
This commit is contained in:
feliam 2017-10-23 17:45:01 -03:00 committed by GitHub
parent a9ad183354
commit 08e8c3b7d8
1 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
examples/evm/seth.py
View File

@ -410,11 +410,16 @@ class ManticoreEVM(Manticore):
BOLD = '\033[1m'
UNDERLINE = '\033[4m'
assert ''.join(runtime_bytecode[-44: -34]) =='\x00\xa1\x65\x62\x7a\x7a\x72\x30\x58\x20'
assert ''.join(runtime_bytecode[-2:]) =='\x00\x29'
output = ''
offset = 0
count = 0
total = 0
for i in evm.EVMDecoder.decode_all(runtime_bytecode) :
for i in evm.EVMDecoder.decode_all(runtime_bytecode[:-9-33-2]) :
if (account_address, offset) in seen:
output += bcolors.OKGREEN