DF-3189 / verdict.json
{ "finding_id": "DF-3189", "status": "not_reproduced", "reproduced": 0, "impact": "corruption", "confidence": "certain", "verdict": "Code-certain: hammer_ioc_set_pseudofs loads the PFS with hammer_load_pseudofs and then unconditionally overwrites error with the copyin result, discarding every load failure (EIO from media failure, the DF-3109 cursor-init failure, EDEADLK) although the comment promises only ENOENT is ignored; hammer_mkroot_pseudofs and hammer_save_pseudofs then run against the zeroed template and can persist PFS state derived from a failed load. Dynamic triggering requires inducing a load failure mid-ioctl (degraded media), unavailable on this guest. Fix keeps only the intended ENOENT exemption; compile-validated.", "exploit_chain": "", "evidence": "VERDICT.md walk over hammer_pfs.c:112-130", "kernel_refs": [ "sys/vfs/hammer/hammer_pfs.c:117-118" ], "poc_changes": "", "attempts": 2, "guest_uname": "DragonFly dfbsd 6.5-DEVELOPMENT #0: Thu Jul 2 06:02:54 UTC 2026 root@dfbsd:/usr/obj/usr/src/sys/X86_64_GENERIC x86_64", "runtime_sec": 60, "guest_dirty": 0, "build_cmd": "n/a", "run_cmd": "n/a", "code_hash": "", "notes": "", "recommended_fix": "if (error == ENOENT) error = 0 before the copyin" } |