DF-3913 / manifest.json
{ "finding_id": "DF-3913", "title": "intel_sdvo_connector_state leaked on intel_sdvo_connector_init() failure (4 sites)", "verdict": "inconclusive", "impact": "none", "hardware_gated": true, "reproduce": { "build": "n/a on audit guest (no Intel GPU); on real SDVO hardware: apply faultinject.diff to /usr/src/sys/dev/drm/i915/intel_sdvo.c, rebuild kernel/i915.ko, boot", "run": "boot with patch; dmesg | grep DF3913 ; guest-side gate check: ./probe.sh", "expected": "faultinject: 'DF3913: DVI connector state (152 bytes) leaked at intel_sdvo.c dvi_init'; with fix.diff also applied the state is freed instead (no leak). On the QEMU guest probe.sh shows i915 never attaches (Bochs VGA only) - path unreachable" }, "kernel_refs": [ "sys/dev/drm/i915/intel_sdvo.c:2472", "sys/dev/drm/i915/intel_sdvo.c:2481", "sys/dev/drm/i915/intel_sdvo.c:2487", "sys/dev/drm/i915/intel_sdvo.c:2541", "sys/dev/drm/i915/intel_sdvo.c:2574", "sys/dev/drm/i915/intel_sdvo.c:2620", "sys/dev/drm/i915/intel_sdvo.c:2656", "sys/dev/drm/drm_atomic_helper.c:3740", "sys/dev/drm/drm_atomic_helper.c:3930" ], "artifacts": [ "README.md", "VERDICT.md", "faultinject.diff", "probe.sh", "fix.diff", "run.log", "env.txt", "manifest.json", "verdict.json" ] } |