DeforaNetworks/manticore
3
0
Fork 0
Code Releases Activity

output the actual exit status when finalizing evm states (#664)

Browse Source 
* Instead of 'Still Running' use the actual state exit status

* Throw states are terminated now

* More accurate phrasing, since 'throw' and 'not enough funds' are here too
This commit is contained in:
Mark Mossberg 2017-12-22 13:14:09 -05:00 committed by GitHub
parent 7aa85f13bb
commit c200aeefec
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
manticore/seth.py
View File

@ -689,7 +689,8 @@ class ManticoreEVM(Manticore):
seth_context['_saved_states'] = lst seth_context['_saved_states'] = lst
state = self.load(state_id) state = self.load(state_id)
self._generate_testcase_callback(state, 'test', 'Still Running') last_exc = state.context['last_exception']
self._generate_testcase_callback(state, 'test', last_exc.message)
if state_id == -1: if state_id == -1:
state_id = self.save(state, final=True) state_id = self.save(state, final=True)
@ -836,7 +837,7 @@ class ManticoreEVM(Manticore):
with self.locked_context('seth') as context: with self.locked_context('seth') as context:
context['_completed_transactions'] = context['_completed_transactions'] + 1 context['_completed_transactions'] = context['_completed_transactions'] + 1
logger.info("Finished symbolic transaction: %d | Code Coverage: %d%% | Reverted States: %d | Alive States: %d", self.completed_transactions, self.global_coverage(address), len(self.terminated_state_ids), len(self.running_state_ids)) logger.info("Finished symbolic transaction: %d | Code Coverage: %d%% | Terminated States: %d | Alive States: %d", self.completed_transactions, self.global_coverage(address), len(self.terminated_state_ids), len(self.running_state_ids))
return status return status
@ -961,7 +962,7 @@ class ManticoreEVM(Manticore):
state.context['last_exception'] = e state.context['last_exception'] = e
# TODO(mark): This will break if we ever change the message text. Use a less # TODO(mark): This will break if we ever change the message text. Use a less
# brittle check. # brittle check.
if e.message not in {'REVERT', 'Not Enough Funds for transaction'}: if e.message not in {'REVERT', 'THROW', 'Not Enough Funds for transaction'}:
# if not a revert we save the state for further transactioning # if not a revert we save the state for further transactioning
state.context['processed'] = False state.context['processed'] = False
if e.message == 'RETURN': if e.message == 'RETURN':