⬢ DragonFlyBSD Kernel Audit
DF-4984 / 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
{
  "finding_id": "DF-4984",
  "verdict": "untested",
  "impact": "none",
  "confidence": "certain",
  "title": "dm_target_snapshot.c is unbuildable, unregistered dead scratch code (dmirror DF-4973 class) whose latent memory-safety bugs must never be revived - delete it",
  "reproduce": {
    "build": "n/a - file is not in any build path (proof in VERDICT.md section 1)",
    "run": "host-side: grep -rn snapshot sys/dev/disk/dm/Makefile sys/conf/files; ls sys/dev/disk/dm/snapshot/; grep -rn dm_target_snapshot_init sys/ --include=*.c; grep -rn 'define snprintf' sys/sys/",
    "expected": "Makefile/conf/files hits nothing; snapshot/ holds only the .c; symbol grep matches only the defining file; no snprintf macro -> :319 cannot link"
  },
  "kernel_refs": [
    "sys/dev/disk/dm/snapshot/dm_target_snapshot.c",
    "sys/dev/disk/dm/Makefile",
    "sys/dev/disk/dm/dm_ioctl.c",
    "sys/dev/disk/dm/dm_table.c"
  ],
  "artifacts": ["README.md", "VERDICT.md", "verdict.json", "manifest.json", "deadcode_proof.log"]
}