⬢ DragonFlyBSD Kernel Audit
DF-4048 / manifest.json
← back to finding ↓ download raw
{
  "finding_id": "DF-4048",
  "title": "transmitter_control_v1_6 uses 16-bit deep-color conversions on the 32-bit ulSymClock field (truncated transmitter symbol clock for HDMI deep color > 655.35 MHz)",
  "verdict": "reproduced",
  "impact": "none",
  "reproduce": {
    "build": "cc -O2 -Wall -o symclock_trunc symclock_trunc.c",
    "run": "./symclock_trunc; echo EXIT=$?",
    "expected": "4/5 rows marked TRUNC (74250->8714, 89100->23564, 118800->53264, 68000->2464), exit code 1"
  },
  "kernel_refs": [
    "sys/dev/drm/amd/display/dc/bios/command_table.c:857",
    "sys/dev/drm/amd/display/dc/bios/command_table.c:873",
    "sys/dev/drm/amd/display/dc/bios/command_table.c:877",
    "sys/dev/drm/amd/display/dc/bios/command_table.c:881",
    "sys/dev/drm/amd/include/atombios.h:1559"
  ],
  "artifacts": [
    "README.md", "VERDICT.md", "symclock_trunc.c", "build.log", "run.log",
    "env.txt", "fix.diff", "manifest.json", "verdict.json"
  ]
}