exit after nyx_abort() has been called if the frontend continues

to send data
This commit is contained in:
Sergej Schumilo 2022-01-21 20:20:13 +01:00
parent 586d46c86f
commit 6ca723cb84

View File

@ -18,6 +18,7 @@
void nyx_abort(char* msg){ void nyx_abort(char* msg){
set_abort_reason_auxiliary_buffer(GET_GLOBAL_STATE()->auxilary_buffer, msg, strlen(msg)); set_abort_reason_auxiliary_buffer(GET_GLOBAL_STATE()->auxilary_buffer, msg, strlen(msg));
synchronization_lock(); synchronization_lock();
exit(1);
} }
bool is_called_in_fuzzing_mode(const char* hypercall){ bool is_called_in_fuzzing_mode(const char* hypercall){