DeforaNetworks/manticore
3
0
Fork 0
Code Releases Activity

Produce fork-related output at info level from mcore (#429)

Browse Source
This commit is contained in:
Yan 2017-08-02 17:31:29 -04:00 committed by GitHub
parent 3b57c0d502
commit 5ad18e736c
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
manticore/manticore.py
View File

@ -552,7 +552,7 @@ class Manticore(object):
def _terminate_state_callback(self, state, state_id, ex): def _terminate_state_callback(self, state, state_id, ex):
#aggregates state statistics into exceutor statistics. FIXME split #aggregates state statistics into exceutor statistics. FIXME split
logger.debug("Terminate state %r %r ", state, state_id) logger.info("Terminate state %r %r ", state, state_id)
if state is None: if state is None:
return return
state_visited = state.context.get('visited_since_last_fork', set()) state_visited = state.context.get('visited_since_last_fork', set())
@ -571,7 +571,8 @@ class Manticore(object):
manticore_context['visited'] = manticore_visited.union(state_visited) manticore_context['visited'] = manticore_visited.union(state_visited)
state.context['visited_since_last_fork'] = set() state.context['visited_since_last_fork'] = set()
logger.debug("About to store state %r %r %r", state, expression, values, policy) logger.info("Forking, about to store. (policy: %s, values: %s)", policy,
', '.join('0x{:x}'.format(pc) for pc in values))
def _read_register_callback(self, state, reg_name, value): def _read_register_callback(self, state, reg_name, value):
logger.debug("Read Register %r %r", reg_name, value) logger.debug("Read Register %r %r", reg_name, value)
@ -588,7 +589,6 @@ class Manticore(object):
def _decode_instruction_callback(self, state, pc): def _decode_instruction_callback(self, state, pc):
logger.debug("Decoding stuff instruction not available") logger.debug("Decoding stuff instruction not available")
def _emulate_instruction_callback(self, state, instruction): def _emulate_instruction_callback(self, state, instruction):
logger.debug("About to emulate instruction") logger.debug("About to emulate instruction")