{
  "finding_id": "DF-5353",
  "title": "USB_TEMP_PHONE gadget template compiled but unreachable: missing case in usb_temp_setup_by_index()",
  "verdict": "reproduced",
  "impact": "none",
  "reproduce": {
    "build": "scp usb_template_fuzz.c Makefile dfbsd:/tmp/utfz/ && ssh dfbsd 'cd /tmp/utfz && make -m /usr/share/mk -m /usr/src/sys/conf'",
    "run": "kldload usb_template; kldload /tmp/utfz/usb_template_fuzz.ko; dmesg | grep FUZZ",
    "expected": "FUZZ: setup_by_index(PHONE=7) err=3 (template compiled but unreachable - INFO) ... FUZZ: PASS calls=187272018 nonnull=380 stalls=187271638 anomalies=0 (no panic)"
  },
  "kernel_refs": [
    "sys/bus/u4b/template/usb_template.c:1341",
    "sys/bus/u4b/template/usb_template.c:1371",
    "sys/bus/u4b/usb_ioctl.h:56",
    "sys/bus/u4b/template/usb_template_phone.c:353",
    "sys/bus/u4b/template/Makefile:45",
    "sys/bus/u4b/usb_device.c:1727"
  ],
  "artifacts": [
    "usb_template_fuzz.c",
    "Makefile",
    "build.sh",
    "run.sh",
    "build.log",
    "run.log",
    "run.2.log",
    "run.initial-expectation-fixes.log",
    "VERDICT.md",
    "env.txt",
    "fix.diff",
    "manifest.json",
    "verdict.json"
  ]
}