{
  "finding_id": "DF-4387",
  "status": "untested",
  "impact_class": "kernleak (device-gated OOB read -> world-readable sysctls)",
  "reproduce": {
    "build": "./build.sh",
    "run": "./run.sh",
    "expected": "no-device gate line; per-port_id offsets with port_id>=4 past the array and past the buffer model"
  },
  "kernel_refs": [
    "sys/dev/netif/oce/oce_sysctl.c:1146",
    "sys/dev/netif/oce/oce_sysctl.c:1151",
    "sys/dev/netif/oce/oce_sysctl.c:1211",
    "sys/dev/netif/oce/oce_sysctl.c:1216",
    "sys/dev/netif/oce/oce_mbox.c:493",
    "sys/dev/netif/oce/oce_hw.h:2943",
    "sys/dev/netif/oce/oce_hw.h:3004"
  ],
  "artifacts": [
    "README.md", "VERDICT.md", "trigger.c", "build.sh", "run.sh",
    "run.log", "fix.diff", "env.txt", "manifest.json", "verdict.json"
  ]
}