{
  "finding_id": "DF-4385",
  "status": "untested",
  "impact_class": "kernel OOB read (root+hostile-image gated)",
  "reproduce": {
    "build": "cc -O2 -Wall -o trigger trigger.c",
    "run": "./run.sh",
    "expected": "hardware gate reports no oce device; trigger prints read offset 1310892 into a 4096-byte image and dies SIGSEGV (exit 139) - the kernel-side primitive"
  },
  "kernel_refs": [
    "sys/dev/netif/oce/oce_sysctl.c:334",
    "sys/dev/netif/oce/oce_sysctl.c:449",
    "sys/dev/netif/oce/oce_sysctl.c:458",
    "sys/dev/netif/oce/oce_sysctl.c:468",
    "sys/dev/netif/oce/oce_sysctl.c:389"
  ],
  "artifacts": [
    "README.md", "VERDICT.md", "trigger.c", "build.sh", "run.sh",
    "run.log", "hw_probe.log", "fix.diff", "env.txt",
    "manifest.json", "verdict.json"
  ]
}