{
  "finding_id": "DF-3546",
  "verdict": "reproduced",
  "impact": "panic",
  "confidence": "certain",
  "reproduce": {
    "build": "in-guest root: cc -O2 -o /root/ng_cycle_v1 /root/ng_cycle_v1.c   (after: kldload netgraph ng_socket ng_bpf from /boot/kernel)",
    "run": "/root/ng_cycle_v1 self   (then 'vm.sh reset with-src' and /root/ng_cycle_v1 cross)",
    "expected": "sendto() never returns; serial console: 'DOUBLE FAULT - KERNEL STACK GUARD HIT!' / 'panic: double fault', rip inside ng_bpf.ko (ng_bpf_rcvdata), guest down. Both self (ifMatch==thisHook pair) and cross (3-hook cycle, no self-reference) modes."
  },
  "kernel_refs": [
    "sys/netgraph/bpf/ng_bpf.c:419",
    "sys/netgraph/bpf/ng_bpf.c:431",
    "sys/netgraph/bpf/ng_bpf.c:474",
    "sys/netgraph/netgraph/ng_base.c:1678",
    "sys/netgraph/netgraph/ng_base.c:1685",
    "sys/netgraph/socket/ng_socket.c:172"
  ],
  "artifacts": [
    "README.md", "VERDICT.md", "ng_cycle_v1.c", "build.sh", "run.sh",
    "build.log", "run.log", "run.self.log", "run.cross.log",
    "console_self.txt", "console_cross_tail.txt", "console_full.txt",
    "panic.txt", "unpriv_check.txt", "env.txt",
    "fix.diff", "fix_build.log", "fix1_self.log", "fix2_cross.log",
    "manifest.json", "verdict.json"
  ]
}