⬢ DragonFlyBSD Kernel Audit
DF-4678 / manifest.json
← back to finding ↓ download raw
{
  "finding_id": "DF-4678",
  "title": "i915 stolen: DragonFly devm_request_mem_region shim is conflict-blind (private rman, no overlap check) -> i915_adjust_stolen's -EBUSY safety path is dead code; static-rman double-init/leak/off-by-one (defense gap; firmware-gated)",
  "verdict": "untested",
  "impact": "none",
  "reproduce": {
    "build": "(none - no Intel GPU on guest; analysis pack)",
    "run": "(n/a)",
    "expected": "(n/a - source-audit finding)"
  },
  "kernel_refs": [
    "sys/dev/drm/i915/i915_gem_stolen.c:83-104",
    "sys/dev/drm/i915/i915_gem_stolen.c:156-188",
    "sys/kern/subr_rman.c:123-150",
    "sys/bus/pci/x86_64/pci_early_quirks.c:296-313"
  ],
  "artifacts": [
    "README.md",
    "VERDICT.md",
    "fix.diff",
    "env.txt",
    "manifest.json",
    "verdict.json"
  ]
}