DF-3549 / verdict.json
{ "finding_id": "DF-3549", "status": "untested", "reproduced": 0, "impact": "none", "confidence": "certain", "verdict": "SKIPPED per contract (Info). Fact verified directly on the guest and host: sys/netgraph7/ng_device.c cannot compile against DragonFly headers (64-error kmod build log in ../DF-3547/build.log) and is wired into no build (no SUBDIR in sys/netgraph7/Makefile; optional netgraph7_device never enabled in any kernel config; /boot/kernel/ng_device.ko absent). All defects in this file (DF-3547, DF-3548) are therefore latent until the port is completed or the file deleted.", "exploit_chain": "", "evidence": "../DF-3547/build.log (compile failure), ../DF-3547/env.txt (module absence, config grep)", "kernel_refs": [ "sys/netgraph7/ng_device.c:116", "sys/netgraph7/ng_device.c:171", "sys/netgraph7/ng_device.c:179", "sys/conf/files:1699", "sys/conf/options:302", "sys/netgraph7/Makefile" ], "poc_changes": "n/a", "attempts": 0, "guest_uname": "DragonFly dfbsd 6.5-DEVELOPMENT #0: Thu Jul 2 06:02:54 UTC 2026 (X86_64_GENERIC) x86_64", "runtime_sec": 0, "guest_dirty": 0, "build_cmd": "", "run_cmd": "", "code_hash": "", "notes": "Phase V skipped: Info-level documentation finding; its proof is the DF-3547 build log", "recommended_fix": "Complete the FreeBSD->DragonFly port (dev_ops cdevsw, DF sleep/queue primitives, DF-3547 lifetime fix) and add device to sys/netgraph7/Makefile SUBDIR \u2014 or remove the file.", "fix_status": "not_testable", "fix_baseline_reproduced": 0, "fix_patched_reproduced": 0, "fix_verdict": "not_applicable \u2014 Info documentation finding", "fix_evidence": "n/a" } |