DeforaNetworks/manticore
3
0
Fork 0
Code Releases Activity

Seth: Fix uninitialized address in _generate_testcase_callback (#650)

Browse Source
This commit is contained in:
Feist Josselin 2017-12-19 18:47:10 +01:00 committed by Mark Mossberg
parent 591d7b81d5
commit 95967f84df
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
manticore/seth.py
View File

@ -1015,10 +1015,11 @@ class ManticoreEVM(Manticore):
with testcase.open_stream('summary') as summary:
summary.write("Last exception: %s\n" %state.context['last_exception'])
address, offset = state.context['seth.trace'][-1]
#Last instruction
metadata = self.get_metadata(blockchain.transactions[-1].address)
if metadata is not None:
address, offset = state.context['seth.trace'][-1]
summary.write('Last instruction at contract %x offset %x\n' %(address, offset))
at_runtime = blockchain.transactions[-1].sort != 'Create'
summary.write(metadata.get_source_for(offset, at_runtime))