{
  "finding_id": "DF-3783",
  "title": "BT848SCLIP / capture-geometry -> unbounded RISC program emission overflows the fixed 8-page dma_prog buffers",
  "severity": "High",
  "verdict": "reproduced",
  "impact": "dos",
  "confidence": "certain",
  "reproduce": {
    "build": "sh build.sh",
    "run": "sh run.sh",
    "expected": "run.log: [A] 640x480 99 clips -> 71526/71526 dwords vs cap 8192 (8x, 254 KiB past end each buffer); [B] 2046x1022 -> 304860 dwords (37x, 1.19 MiB past end); [C] yuv422 odd-only rows=2046, no clips -> "
  },
  "kernel_refs": [
    "sys/dev/video/bktr/bktr_core.c:141",
    "sys/dev/video/bktr/bktr_core.c:395",
    "sys/dev/video/bktr/bktr_core.c:1219",
    "sys/dev/video/bktr/bktr_core.c:2465",
    "sys/dev/video/bktr/bktr_core.c:2536",
    "sys/dev/video/bktr/bktr_core.c:2857",
    "sys/dev/video/bktr/bktr_core.c:3126",
    "sys/dev/video/bktr/bktr_reg.h:455"
  ],
  "artifacts": [
    "harness.c",
    "poc_clip_risc_overflow.c",
    "build.log",
    "run.log",
    "env.txt",
    "poc_build_and_device_check.log",
    "fix.diff",
    "VERDICT.md",
    "manifest.json",
    "verdict.json"
  ]
}