⬢ DragonFlyBSD Kernel Audit
DF-4947 / 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
{
  "finding_id": "DF-4947",
  "verdict": "reproduced",
  "impact": "none",
  "confidence": "certain",
  "reproduce": {
    "build": "gcc -O2 -Wall -Wextra -o harness_mask harness_mask.c",
    "run": "./harness_mask",
    "expected": "Exactly 1 WRONG BIT line: id_to_offset(DDC_DATA, I2C_PAD) mask=0x100 vs real SDA field mask=0x2; DDC1/VGA/SCL lines report OK."
  },
  "kernel_refs": [
    "sys/dev/drm/amd/display/dc/gpio/dcn10/hw_translate_dcn10.c:211",
    "sys/dev/drm/amd/display/dc/gpio/dcn10/hw_translate_dcn10.c:235",
    "sys/dev/drm/amd/display/dc/gpio/ddc_regs.h:66"
  ],
  "artifacts": [
    "README.md", "VERDICT.md", "harness_mask.c", "build.log", "run.log",
    "env.txt (see DF-4946 pack)", "fix.diff", "manifest.json", "verdict.json"
  ]
}