diff --git a/fuzzers/fuzzbench_qemu/src/fuzzer.rs b/fuzzers/fuzzbench_qemu/src/fuzzer.rs
index c6954e6561..e47eb4b0ea 100644
--- a/fuzzers/fuzzbench_qemu/src/fuzzer.rs
+++ b/fuzzers/fuzzbench_qemu/src/fuzzer.rs
@@ -301,7 +301,11 @@ fn fuzz(
 
     let executor = QemuExecutor::new(
         &mut harness,
-        tuple_list!(QemuEdgeCoverageHelper::new(), QemuCmpLogHelper::new(), QemuSnapshotHelper::new()),
+        tuple_list!(
+            QemuEdgeCoverageHelper::new(),
+            QemuCmpLogHelper::new(),
+            QemuSnapshotHelper::new()
+        ),
         tuple_list!(edges_observer, time_observer),
         &mut fuzzer,
         &mut state,
diff --git a/libafl_qemu/src/helpers.rs b/libafl_qemu/src/helpers.rs
index f004201485..0117bc6e3c 100644
--- a/libafl_qemu/src/helpers.rs
+++ b/libafl_qemu/src/helpers.rs
@@ -1,4 +1,4 @@
-use std::collections::HashMap;
+use std::{collections::HashMap, ops::Range};
 
 use libafl::{
     bolts::tuples::MatchFirstType, executors::ExitKind, inputs::Input, observers::ObserversTuple,
@@ -84,12 +84,56 @@ where
     }
 }
 
-pub struct QemuEdgeCoverageHelper {}
+pub enum QemuInstrumentationFilter {
+    AllowList(Vec<Range<u64>>),
+    DenyList(Vec<Range<u64>>),
+    None,
+}
+
+impl QemuInstrumentationFilter {
+    pub fn allowed(&self, addr: u64) -> bool {
+        match self {
+            QemuInstrumentationFilter::AllowList(l) => {
+                for rng in l {
+                    if rng.contains(&addr) {
+                        return true;
+                    }
+                }
+                false
+            }
+            QemuInstrumentationFilter::DenyList(l) => {
+                for rng in l {
+                    if rng.contains(&addr) {
+                        return false;
+                    }
+                }
+                true
+            }
+            QemuInstrumentationFilter::None => true,
+        }
+    }
+}
+
+pub struct QemuEdgeCoverageHelper {
+    filter: QemuInstrumentationFilter,
+}
 
 impl QemuEdgeCoverageHelper {
     #[must_use]
     pub fn new() -> Self {
-        Self {}
+        Self {
+            filter: QemuInstrumentationFilter::None,
+        }
+    }
+
+    #[must_use]
+    pub fn with_instrumentation_filter(filter: QemuInstrumentationFilter) -> Self {
+        Self { filter }
+    }
+
+    #[must_use]
+    pub fn must_instrument(&self, addr: u64) -> bool {
+        self.filter.allowed(addr)
     }
 }
 
@@ -109,12 +153,26 @@ where
     }
 }
 
-pub struct QemuCmpLogHelper {}
+pub struct QemuCmpLogHelper {
+    filter: QemuInstrumentationFilter,
+}
 
 impl QemuCmpLogHelper {
     #[must_use]
     pub fn new() -> Self {
-        Self {}
+        Self {
+            filter: QemuInstrumentationFilter::None,
+        }
+    }
+
+    #[must_use]
+    pub fn with_instrumentation_filter(filter: QemuInstrumentationFilter) -> Self {
+        Self { filter }
+    }
+
+    #[must_use]
+    pub fn must_instrument(&self, addr: u64) -> bool {
+        self.filter.allowed(addr)
     }
 }
 
diff --git a/libafl_qemu/src/hooks.rs b/libafl_qemu/src/hooks.rs
index 257974bb34..b83a4691c6 100644
--- a/libafl_qemu/src/hooks.rs
+++ b/libafl_qemu/src/hooks.rs
@@ -8,7 +8,7 @@ pub use libafl_targets::{
     EDGES_MAP, EDGES_MAP_SIZE, MAX_EDGES_NUM,
 };
 
-use crate::helpers::{QemuHelperTuple, QemuSnapshotHelper};
+use crate::helpers::*;
 
 #[derive(Default, Serialize, Deserialize)]
 pub struct QemuEdgesMapMetadata {
@@ -56,14 +56,21 @@ fn hash_me(mut x: u64) -> u64 {
 }
 
 pub fn gen_unique_edge_ids<I, QT, S>(
-    _helpers: &mut QT,
+    helpers: &mut QT,
     state: &mut S,
     src: u64,
     dest: u64,
 ) -> Option<u64>
 where
     S: HasMetadata,
+    I: Input,
+    QT: QemuHelperTuple<I, S>,
 {
+    if let Some(h) = helpers.match_first_type::<QemuEdgeCoverageHelper>() {
+        if !h.must_instrument(src) && !h.must_instrument(dest) {
+            return None;
+        }
+    }
     if state.metadata().get::<QemuEdgesMapMetadata>().is_none() {
         state.add_metadata(QemuEdgesMapMetadata::new());
     }
@@ -71,11 +78,17 @@ where
         .metadata_mut()
         .get_mut::<QemuEdgesMapMetadata>()
         .unwrap();
-    let id = max(meta.current_id as usize, unsafe { MAX_EDGES_NUM });
     if meta.map.contains_key(&(src, dest)) {
-        Some(*meta.map.get(&(src, dest)).unwrap())
+        let id = *meta.map.get(&(src, dest)).unwrap();
+        let nxt = (id as usize + 1) & (EDGES_MAP_SIZE - 1);
+        unsafe {
+            MAX_EDGES_NUM = max(MAX_EDGES_NUM, nxt);
+        }
+        Some(id)
     } else {
-        meta.current_id = ((id + 1) & (EDGES_MAP_SIZE - 1)) as u64;
+        let id = meta.current_id;
+        meta.map.insert((src, dest), id);
+        meta.current_id = (id + 1) & (EDGES_MAP_SIZE as u64 - 1);
         unsafe {
             MAX_EDGES_NUM = meta.current_id as usize;
         }
@@ -84,11 +97,20 @@ where
 }
 
 pub fn gen_hashed_edge_ids<I, QT, S>(
-    _helpers: &mut QT,
+    helpers: &mut QT,
     _state: &mut S,
     src: u64,
     dest: u64,
-) -> Option<u64> {
+) -> Option<u64>
+where
+    I: Input,
+    QT: QemuHelperTuple<I, S>,
+{
+    if let Some(h) = helpers.match_first_type::<QemuEdgeCoverageHelper>() {
+        if !h.must_instrument(src) && !h.must_instrument(dest) {
+            return None;
+        }
+    }
     Some(hash_me(src) ^ hash_me(dest))
 }
 
@@ -133,14 +155,21 @@ pub extern "C" fn trace_block_transition_single(id: u64) {
 }
 
 pub fn gen_unique_cmp_ids<I, QT, S>(
-    _helpers: &mut QT,
+    helpers: &mut QT,
     state: &mut S,
     pc: u64,
     _size: usize,
 ) -> Option<u64>
 where
     S: HasMetadata,
+    I: Input,
+    QT: QemuHelperTuple<I, S>,
 {
+    if let Some(h) = helpers.match_first_type::<QemuCmpLogHelper>() {
+        if !h.must_instrument(pc) {
+            return None;
+        }
+    }
     if state.metadata().get::<QemuCmpsMapMetadata>().is_none() {
         state.add_metadata(QemuCmpsMapMetadata::new());
     }
@@ -153,6 +182,7 @@ where
         Some(*meta.map.get(&pc).unwrap())
     } else {
         meta.current_id = ((id + 1) & (CMPLOG_MAP_W - 1)) as u64;
+        meta.map.insert(pc, id as u64);
         Some(id as u64)
     }
 }