Only set type to packet if the width is correct

Signed-off-by: Dave Thaler <[email protected]>
vbpf · Jan 29, 2024 · 5309cf5 · 5309cf5
1 parent f3964ef
commit 5309cf5
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/src/crab/ebpf_domain.cpp b/src/crab/ebpf_domain.cpp
@@ -1906,11 +1906,11 @@ void ebpf_domain_t::do_load_ctx(NumAbsDomain& inv, const Reg& target_reg, const
 
     number_t addr = *maybe_addr;
 
-    if (addr == desc->data) {
+    if ((addr == desc->data) && (width == desc->end - desc->data)) {
         inv.assign(target.packet_offset, 0);
-    } else if (addr == desc->end) {
+    } else if ((addr == desc->end) && (width == desc->meta - desc->end)) {
         inv.assign(target.packet_offset, variable_t::packet_size());
-    } else if (addr == desc->meta) {
+    } else if ((addr == desc->meta) && (width == desc->size - desc->meta)) {
         inv.assign(target.packet_offset, variable_t::meta_offset());
     } else {
         if (may_touch_ptr)