{
  "finding_id": "DF-2838",
  "verdict": "reproduced",
  "impact": "leak",
  "confidence": "certain",
  "reproduce": {
    "build": "cc -O -D_KERNEL_STRUCTURES -include /usr/include/stdint.h -I/usr/src/sys -I/usr/src/sys/sys -o pcbleak pcbleak.c",
    "run": "./pcbleak",
    "expected": "stock kernel: rec pads rcv=ffff tail=fffff801 (nonzero kernel-stack bytes, incl. kernel-pointer upper half) in >=2/3 runs; patched kernel: all pads zero"
  },
  "kernel_refs": [
    "sys/kern/uipc_socket2.c:188-198",
    "sys/kern/uipc_socket2.c:827-848",
    "sys/netinet/tcp_subr.c:1265-1292"
  ],
  "artifacts": [
    "README.md", "VERDICT.md", "pcbleak.c", "build.sh", "run.sh",
    "run.log", "run.2.log", "run.3.log", "fix_validation.log", "fix.diff",
    "env.txt", "manifest.json", "verdict.json"
  ]
}