From eaa600e5acc4304b039cc52880a7532b8f67a42d Mon Sep 17 00:00:00 2001 From: forky2 <63731115+forky2@users.noreply.github.com> Date: Wed, 5 Mar 2025 19:42:06 +0000 Subject: [PATCH] libafl_qemu: access() size can be zero. (#3038) Co-authored-by: Dongjia "toka" Zhang --- libafl_qemu/src/modules/usermode/snapshot.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/libafl_qemu/src/modules/usermode/snapshot.rs b/libafl_qemu/src/modules/usermode/snapshot.rs index df16498fc3..b291c905ce 100644 --- a/libafl_qemu/src/modules/usermode/snapshot.rs +++ b/libafl_qemu/src/modules/usermode/snapshot.rs @@ -270,7 +270,7 @@ impl SnapshotModule { pub fn access(&mut self, addr: GuestAddr, size: usize) { // ASSUMPTION: the access can only cross 2 pages - debug_assert!(size > 0 && size <= SNAPSHOT_PAGE_SIZE); + debug_assert!(size <= SNAPSHOT_PAGE_SIZE); let page = addr & SNAPSHOT_PAGE_MASK; self.page_access(page); let second_page = (addr + size as GuestAddr - 1) & SNAPSHOT_PAGE_MASK;