⬢ DragonFlyBSD Kernel Audit
DF-5198 / manifest.json
← back to finding ↓ download raw
{
  "finding_id": "DF-5198",
  "file": "sys/dev/misc/syscons/fire/fire_saver.c",
  "title": "fire_saver(): set_video_mode() return value ignored — on failure vid aliases the stale 32KB text window and the 64000-byte blit (every tick) overruns it (DF-5114/DF-5197 twin)",
  "verdict": { "status": "not_reproduced", "reproduced": 0, "impact": "none", "confidence": "certain", "latent": true },
  "reproduce": {
    "build": "sh build.sh   # prebuilt /boot/kernel/fire_saver.ko; kldload runs the fire_initialise capability gate",
    "run": "sh run.sh     # kldload; two vidcontrol blank cycles (~13s fire); unblank restore; kldunload",
    "expected": "All markers printed (KLDLOAD_OK/ARMED/REARMED_OK/STILL_ALIVE/SECOND_CYCLE_DONE/UNLOADED/CLEAN), guest stays up, no panic. The OOB branch itself is not reachable on a stock kernel — see VERDICT.md."
  },
  "kernel_refs": [
    "sys/dev/misc/syscons/fire/fire_saver.c:69",
    "sys/dev/misc/syscons/fire/fire_saver.c:85",
    "sys/dev/misc/syscons/fire/fire_saver.c:104",
    "sys/dev/misc/syscons/fire/fire_saver.c:118",
    "sys/dev/misc/syscons/syscons.c:2229",
    "sys/dev/misc/syscons/syscons.c:2559",
    "sys/dev/misc/syscons/syscons.c:2646",
    "sys/dev/video/fb/splash.c:113",
    "sys/dev/video/fb/vga.c:1003",
    "sys/dev/video/fb/vga.c:1005"
  ],
  "artifacts": [
    "README.md", "VERDICT.md", "trigger.sh", "run.sh", "build.sh",
    "build.log", "run.log", "env.txt", "fix.diff", "manifest.json", "verdict.json"
  ]
}