⬢ DragonFlyBSD Kernel Audit
DF-5196 / 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
21
22
23
24
25
26
27
28
29
30
31
32
{
  "finding_id": "DF-5196",
  "file": "sys/dev/misc/syscons/warp/warp_saver.c",
  "title": "warp_update() wrap off-by-one: star coordinate rests at exactly SCRW*SCRH and is drawn/erased at vid[64000], one byte past the 64000-byte mode-13h framebuffer",
  "verdict": "untested",
  "impact": "none",
  "severity": "Info",
  "confidence": "certain",
  "reproduce": {
    "build": "python3 warp_model.py",
    "run": "python3 warp_model.py",
    "expected": "max index written = 64000 (framebuffer = 64000 bytes); writes at vid[64000] > 0; writes >= 64000 confined to exactly 64000 (never beyond)"
  },
  "kernel_refs": [
    "sys/dev/misc/syscons/warp/warp_saver.c:70",
    "sys/dev/misc/syscons/warp/warp_saver.c:74",
    "sys/dev/misc/syscons/warp/warp_saver.c:76",
    "sys/dev/misc/syscons/warp/warp_saver.c:121",
    "sys/dev/video/fb/vga.c:581",
    "sys/dev/video/fb/vgareg.h:43"
  ],
  "artifacts": [
    "README.md",
    "VERDICT.md",
    "warp_model.py",
    "model_output.txt",
    "verdict.json",
    "manifest.json"
  ],
  "guest_poC": false,
  "notes": "Host-side deterministic arithmetic proof of the bounds defect; guest PoC skipped per contract (Info hardening, no observable kernel-memory impact)."
}