diff options
| -rw-r--r-- | miasm2/jitter/vm_mngr.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/miasm2/jitter/vm_mngr.c b/miasm2/jitter/vm_mngr.c index b86bee1a..fd5b870d 100644 --- a/miasm2/jitter/vm_mngr.c +++ b/miasm2/jitter/vm_mngr.c @@ -1354,6 +1354,7 @@ void init_memory_breakpoint(vm_mngr_t* vm_mngr) void reset_memory_page_pool(vm_mngr_t* vm_mngr) { free(vm_mngr->memory_pages_array); + vm_mngr->memory_pages_array = NULL; vm_mngr->memory_pages_number = 0; } |