⬢ DragonFlyBSD Kernel Audit
DF-3573 / manifest.json
← back to finding ↓ download raw
{
  "finding_id": "DF-3573",
  "verdict": "not_testable",
  "impact": "none",
  "reproduce": {
    "build": "cc -O -Wall -o fwsize_bypass fwsize_bypass.c && cc -O -Wall -DFIXED -o fwsize_bypass_fixed fwsize_bypass.c",
    "run": "./run.sh  (or: /tmp/fwsize_bypass then /tmp/fwsize_bypass_fixed on the guest)",
    "expected": "Baseline S1: err=0 (ACCEPTED) with me_fw(1024B) installed and 'OOB READ: me_fw holds 1024 bytes, cik.c:3980 loop reads 8576 -> 7552 bytes past allocation'. FIXED S1: err=-22, installed fw: (none). Controls (stock accepted; truncated pfp rejected) identical in both modes."
  },
  "kernel_refs": [
    "sys/dev/drm/radeon/cik.c:2056",
    "sys/dev/drm/radeon/cik.c:2080",
    "sys/dev/drm/radeon/cik.c:2103",
    "sys/dev/drm/radeon/cik.c:2126",
    "sys/dev/drm/radeon/cik.c:2164",
    "sys/dev/drm/radeon/cik.c:2187",
    "sys/dev/drm/radeon/cik.c:2216",
    "sys/dev/drm/radeon/cik.c:2248",
    "sys/dev/drm/radeon/cik.c:2265",
    "sys/dev/drm/radeon/cik.c:3966",
    "sys/dev/drm/radeon/cik.c:3973",
    "sys/dev/drm/radeon/cik.c:3980",
    "sys/dev/drm/radeon/cik.c:4318",
    "sys/dev/drm/radeon/cik.c:4326",
    "sys/dev/drm/radeon/cik.c:6001",
    "sys/dev/drm/radeon/cik_sdma.c:501",
    "sys/dev/drm/radeon/radeon_ucode.h:38"
  ],
  "artifacts": [
    "fwsize_bypass.c",
    "build.sh",
    "run.sh",
    "build.log",
    "run.log",
    "run.2.log",
    "env.txt",
    "fix.diff",
    "VERDICT.md",
    "README.md",
    "manifest.json",
    "verdict.json"
  ]
}