From 5ad18e736c867f15a22887a0c65f67c3af3b616c Mon Sep 17 00:00:00 2001 From: Yan Date: Wed, 2 Aug 2017 17:31:29 -0400 Subject: [PATCH] Produce fork-related output at info level from mcore (#429) --- manticore/manticore.py | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/manticore/manticore.py b/manticore/manticore.py index 68a9577..f9186e9 100644 --- a/manticore/manticore.py +++ b/manticore/manticore.py @@ -552,7 +552,7 @@ class Manticore(object): def _terminate_state_callback(self, state, state_id, ex): #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: return 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) 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): logger.debug("Read Register %r %r", reg_name, value) @@ -588,7 +589,6 @@ class Manticore(object): def _decode_instruction_callback(self, state, pc): logger.debug("Decoding stuff instruction not available") - def _emulate_instruction_callback(self, state, instruction): logger.debug("About to emulate instruction")