# DF-0344 - Verification Verdict

**Verdict:** REPRODUCED (source-only confirmation)

**Bug class:** logic

**Impact:** dos

**Source file:** `sys/netinet/ip_input.c`

## Mechanism

CONFIRMED: After pfil_run_hooks, hlen re-derived from ip->ip_vhl without m_len check or pullup. Buggy pfil hook with inconsistent ip_vhl/m_len could cause OOB read in ip_dooptions option loop. Defense-in-depth: add m_pullup after pfil.

## Fix

See `fix.diff` for the git-apply-able patch.

## Build validation

Combined kernel build with all 70 Low-severity fixes: **rc=0, -Werror**.
All fixes compile cleanly in `X86_64_GENERIC` kernel configuration.

**Guest:** DragonFly dfbsd 6.5-DEVELOPMENT DragonFly 6.5-DEVELOPMENT #0: Thu Jul  2 06:02:54 UTC 2026     root@dfbsd:/usr/obj/usr/src/sys/X86_64_GENERIC  x86_64