diff --git a/libafl_extras/syx-snapshot/syx-snapshot.c b/libafl_extras/syx-snapshot/syx-snapshot.c index 5a314a50b4..ca11500944 100644 --- a/libafl_extras/syx-snapshot/syx-snapshot.c +++ b/libafl_extras/syx-snapshot/syx-snapshot.c @@ -395,6 +395,10 @@ void syx_snapshot_dirty_list_add_hostaddr(void* host_addr) { #ifdef CONFIG_DEBUG_TCG assert(rb); +#else + if (!rb) { + return; + } #endif hwaddr paddr = rb->mr->addr + offset;