fix setting starved bit
Must be set before interface_send_char(). Currently only works for 'regular' executions, so we set it in synchronization_lock_disable_pt()..
This commit is contained in:
parent
397dba5ee2
commit
0fb4268b3e
@ -266,10 +266,7 @@ void synchronization_lock(void)
|
||||
check_auxiliary_config_buffer(GET_GLOBAL_STATE()->auxilary_buffer,
|
||||
&GET_GLOBAL_STATE()->shadow_config);
|
||||
|
||||
if (GET_GLOBAL_STATE()->starved == true)
|
||||
set_success_auxiliary_result_buffer(GET_GLOBAL_STATE()->auxilary_buffer, 2);
|
||||
else
|
||||
set_success_auxiliary_result_buffer(GET_GLOBAL_STATE()->auxilary_buffer, 1);
|
||||
set_success_auxiliary_result_buffer(GET_GLOBAL_STATE()->auxilary_buffer, 1);
|
||||
reset_pt_overflow_auxiliary_result_buffer(GET_GLOBAL_STATE()->auxilary_buffer);
|
||||
|
||||
GET_GLOBAL_STATE()->pt_trace_size = 0;
|
||||
@ -428,6 +425,9 @@ void synchronization_disable_pt(CPUState *cpu)
|
||||
set_result_bb_coverage(GET_GLOBAL_STATE()->auxilary_buffer,
|
||||
GET_GLOBAL_STATE()->bb_coverage);
|
||||
|
||||
if (GET_GLOBAL_STATE()->starved == true)
|
||||
set_success_auxiliary_result_buffer(GET_GLOBAL_STATE()->auxilary_buffer, 2);
|
||||
|
||||
in_fuzzing_loop = false;
|
||||
}
|
||||
|
||||
|
Loading…
x
Reference in New Issue
Block a user