{
  "finding_id": "DF-5421",
  "verdict": "reproduced",
  "impact": "dos",
  "confidence": "certain",
  "reproduce": {
    "build": "mkdir -p /usr/src/sys/bus/u4b/serial/hx5421; cp uchcom_cfgstall_harness.c Makefile /usr/src/sys/bus/u4b/serial/hx5421/; sh build.sh",
    "run": "sh run.sh  (kldload uchcomcfgstall.ko; kldunload; dmesg | grep HX5421)",
    "expected": "HX5421[A] closer ELAPSED ~13890 ms (open+1 tcsetattr+close); HX5421[2] ~25770 ms (open+2 tcsetattr, amplification); HX5421[B] ~2100 ms (fix.diff abort-on-first-error)"
  },
  "kernel_refs": [
    "sys/bus/u4b/serial/uchcom.c:652-666",
    "sys/bus/u4b/serial/uchcom.c:622-631",
    "sys/bus/u4b/serial/uchcom.c:369-399",
    "sys/bus/u4b/serial/uchcom.c:381-382",
    "sys/bus/u4b/serial/uchcom.c:397-398",
    "sys/bus/u4b/serial/uchcom.c:413-431",
    "sys/bus/u4b/serial/uchcom.c:578-584",
    "sys/bus/u4b/serial/uchcom.c:193-196",
    "sys/bus/u4b/serial/usb_serial.c:322",
    "sys/bus/u4b/serial/usb_serial.c:671-672",
    "sys/bus/u4b/serial/usb_serial.c:777",
    "sys/bus/u4b/serial/usb_serial.c:955-957",
    "sys/bus/u4b/serial/usb_serial.c:1633-1636",
    "sys/bus/u4b/serial/usb_serial.c:1691-1693",
    "sys/bus/u4b/serial/usb_serial.c:394",
    "sys/bus/u4b/usb_request.c:642-644",
    "sys/bus/u4b/usb_request.c:699-704",
    "sys/bus/u4b/usb_process.c:146-158",
    "sys/bus/u4b/usb_process.c:385-393"
  ],
  "artifacts": [
    "uchcom_cfgstall_harness.c", "Makefile", "build.sh", "run.sh",
    "build.log", "run.log", "run.2.log", "env.txt", "fix_compile.log",
    "fix.diff", "README.md", "VERDICT.md", "manifest.json", "verdict.json"
  ]
}