{
  "finding_id": "DF-2208",
  "verdict": "false_positive",
  "impact": "none",
  "confidence": "certain",
  "reproduce": {
    "build": "guest# cd /root/df22/DF-2208 && ./build.sh",
    "run": "guest# cd /root/df22/DF-2208 && ./run.sh; ./fire.sh  (fire panics the guest by design; host: dfbsd-qemu/vm.sh reset with-src)",
    "expected": "run.log CASE B: ret=0 with kobj.name==NULL planted (SILENT NULL PLANTED); CASE E fixed: ret=-12 (-ENOMEM) no fault; fire: Fatal trap 12, fault virtual address 0x8, supervisor write, Stopped at drm_sysfs_connector_add+0x58: movq %rax,0x8(%r12). Filed OOM trigger unreachable on DFly: GFP_KERNEL=M_WAITOK|M_CACHEALIGN, _kmalloc never returns NULL without M_NULLOK (kern_slaballoc.c:869-878, 1722-1724, 1786-1800)."
  },
  "kernel_refs": [
    "sys/dev/drm/drm_sysfs.c:39",
    "sys/dev/drm/drm_sysfs.c:40",
    "sys/dev/drm/drm_sysfs.c:45",
    "sys/dev/drm/include/linux/gfp.h:16",
    "sys/dev/drm/include/linux/slab.h:35",
    "sys/dev/drm/drm_dragonfly.c:77-79",
    "sys/kern/kern_slaballoc.c:869-878",
    "sys/kern/kern_slaballoc.c:1722-1724",
    "sys/kern/kern_slaballoc.c:1786-1800"
  ],
  "artifacts": [
    "README.md",
    "VERDICT.md",
    "rig_head.c",
    "rig_tail.c",
    "df22_rig.c",
    "build.sh",
    "run.sh",
    "fire.sh",
    "fix.diff",
    "build.log",
    "run.log",
    "run.2.log",
    "run_dmesg.log",
    "panic.txt",
    "fire_serial_full.log",
    "fix_module_build.log",
    "env.txt",
    "manifest.json",
    "verdict.json"
  ]
}