⬢ DragonFlyBSD Kernel Audit
DF-3004 / manifest.json
← back to finding ↓ download raw
{
 "finding_id": "DF-3004",
 "verdict": "reproduced",
 "impact": "corruption",
 "reproduce": {
  "build": "guest: newfs_hammer -f 12G image; host: python3 h1patch2.py IMG 3004 file_3004",
  "run": "vnconfig; mount_hammer; ./df3004b /mnt/h1t/d/file_3004; sync; umount",
  "expected": "fstat: nlink 0 before unlink -> 4294967295 after (UINT64_MAX wrap); no panic in canonical case"
 },
 "kernel_refs": [
  "sys/vfs/hammer/hammer_object.c:854",
  "sys/vfs/hammer/hammer_inode.c:2980"
 ],
 "artifacts": [
  "README.md",
  "VERDICT.md",
  "build.sh",
  "df3004b.c",
  "df3004b_run.log",
  "env.txt",
  "fix.diff",
  "fix_run.log",
  "h1patch2.py",
  "manifest.json",
  "run.sh",
  "verdict.json"
 ],
 "fix_status": "fixed"
}