⬢ DragonFlyBSD Kernel Audit
DF-5036 / manifest.json
← back to finding ↓ download raw 
 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
{
  "finding_id": "DF-5036",
  "title": "Shared family constructor dal_i2caux_dce110_construct indexes callee-static 6-entry hw_ddc_lines/hw_aux_lines with caller-supplied num_i2caux_inst — latent OOB read feeding an unbounded engine-array store (DF-4827 pattern-class)",
  "verdict": "untested",
  "impact": "none (latent)",
  "severity": "Info",
  "reproduce": {
    "build": "n/a (no PoC — latent, no in-tree trigger)",
    "run": "sh analysis.sh",
    "expected": "Prints the static line tables, the caller-count-indexed loops, and a mechanical count showing every in-tree sibling passes exactly 6 aux_regs / 6 hw_engine_regs entries."
  },
  "kernel_refs": [
    "sys/dev/drm/amd/display/dc/i2caux/dce110/i2caux_dce110.c:127-143",
    "sys/dev/drm/amd/display/dc/i2caux/dce110/i2caux_dce110.c:231-292",
    "sys/dev/drm/amd/display/dc/i2caux/dce100/i2caux_dce100.c:100-106",
    "sys/dev/drm/amd/display/dc/i2caux/dce112/i2caux_dce112.c:94-100",
    "sys/dev/drm/amd/display/dc/i2caux/dce120/i2caux_dce120.c:114-120",
    "sys/dev/drm/amd/display/dc/i2caux/dcn10/i2caux_dcn10.c:114-120"
  ],
  "artifacts": ["README.md", "VERDICT.md", "analysis.sh", "fix.diff", "verdict.json", "manifest.json"]
}