From 6ca723cb8463889ab41d8b7b8b3613ad43ced80e Mon Sep 17 00:00:00 2001
From: Sergej Schumilo <sergej@schumilo.de>
Date: Fri, 21 Jan 2022 20:20:13 +0100
Subject: [PATCH] exit after nyx_abort() has been called if the frontend
 continues to send data

---
 nyx/helpers.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/nyx/helpers.c b/nyx/helpers.c
index c4b332a3c2..9f850395ca 100644
--- a/nyx/helpers.c
+++ b/nyx/helpers.c
@@ -18,6 +18,7 @@
 void nyx_abort(char* msg){
 	set_abort_reason_auxiliary_buffer(GET_GLOBAL_STATE()->auxilary_buffer, msg, strlen(msg));
 	synchronization_lock();
+	exit(1);
 }
 
 bool is_called_in_fuzzing_mode(const char* hypercall){