{
  "finding_id": "DF-3401",
  "status": "not_reproduced",
  "reproduced": 0,
  "impact": "none",
  "confidence": "likely",
  "verdict": "ip_fw3_ctl_nat_get_record (ip_fw3_nat.c:585-694) runs in netisr0 but walks the per-CPU lockless RB trees and alias pointer arrays of ALL other netisr CPUs with no token/netmsg -- racing the owning CPUs state inserts/removals and the cleanup callouts kfree (:961-996). Race outcomes: RB traversal through rebalancing tree -> garbage s pointer -> stale/freed-heap contents copied into the root callers records or malformed-traversal panic; tcp_in[i]/udp_in[i] read racing a1->tcp_in[i]=NULL; kfree(s2) -> UAF read. Also :534 break where continue is meant truncates show-all output. Root-issued observability racing live NAT traffic; Low/likely; Phase V skipped (Low).",
  "exploit_chain": "",
  "evidence": [
    "findings/poc/DF-3401/README.md"
  ],
  "kernel_refs": [
    "sys/net/ipfw3_nat/ip_fw3_nat.c:585",
    "sys/net/ipfw3_nat/ip_fw3_nat.c:610",
    "sys/net/ipfw3_nat/ip_fw3_nat.c:969"
  ],
  "poc_changes": "n/a (Phase V skipped for this Low finding per batch contract)",
  "attempts": 0,
  "guest_uname": "DragonFly dfbsd 6.5-DEVELOPMENT DragonFly 6.5-DEVELOPMENT #0: Thu Jul  2 06:02:54 UTC 2026\troot@dfbsd:/usr/obj/usr/src/sys/X86_64_GENERIC  x86_64",
  "runtime_sec": 0,
  "guest_dirty": 0,
  "build_cmd": "",
  "run_cmd": "",
  "code_hash": "",
  "notes": "Same lockless-per-CPU design that DF-0572 covers for the data path, but on the observability path; separate statement, separate fix",
  "recommended_fix": "Dispatch per-CPU snapshot collection to the owning CPUs via netisr netmsgs (the files own netisr_forwardmsg_all pattern) instead of direct cross-CPU walks"
}