{
  "finding_id": "DF-5030",
  "verdict": "untested",
  "impact": "none",
  "severity": "Info",
  "confidence": "certain",
  "title": "ar5312_attach.c: ar5312GetMacAddr dereferences unvalidated BSP board-config pointer (latent; file not compiled in any standard build)",
  "reproduce": {
    "build": "n/a — code not compiled into shipped kernel/module",
    "run": "dfbsd-qemu/vm.sh run_root 'sh reachability.sh' (read-only build-gating proof)",
    "expected": "conf-files-ar5312-count: 0; hal-makefile-ar5312-count: 0; symbols-ar5312-in-ath_hal.ko: 0; symbols-ar5312-in-kernel: 0"
  },
  "kernel_refs": [
    "sys/dev/netif/ath/ath_hal/ar5312/ar5312_attach.c:287",
    "sys/dev/netif/ath/ath_hal/ar5312/ar5312.h:25",
    "sys/dev/netif/ath/ath_hal/ah_soc.h:35",
    "sys/conf/files:153",
    "sys/dev/netif/ath/ath_hal/Makefile:14"
  ],
  "artifacts": [
    "README.md",
    "VERDICT.md",
    "reachability.sh",
    "reachability.log",
    "fix.diff",
    "manifest.json",
    "verdict.json",
    "env.txt"
  ]
}