⬢ DragonFlyBSD Kernel Audit
DF-4541 / manifest.json
← back to finding ↓ download raw
{
  "finding_id": "DF-4541",
  "verdict": "untested",
  "impact": "none",
  "trigger": "hptinit.c (HPT_IOCTL_SET_ARRAY_STATE/AS_INITIALIZE_START via sysctl dev.hptmv.status)",
  "reason_untested": "root-only sysctl channel + requires HighPoint HBA; audit guest has no hptmv adapter (gIal_Adapter==NULL, see DF-1853)",
  "kernel_refs": [
    "sys/dev/raid/hptmv/ioctl.c:580",
    "sys/dev/raid/hptmv/ioctl.c:583",
    "sys/dev/raid/hptmv/ioctl.c:616",
    "sys/dev/raid/hptmv/ioctl.c:720",
    "sys/dev/raid/hptmv/ioctl.c:729",
    "sys/dev/raid/hptmv/hptproc.c:614"
  ],
  "artifacts": ["README.md", "VERDICT.md", "hptinit.c", "build.sh", "run.sh", "manifest.json", "verdict.json"]
}