⬢ DragonFlyBSD Kernel Audit
DF-3605 / verdict.json
← back to finding ↓ download raw
{
  "finding_id": "DF-3605",
  "status": "untested",
  "reproduced": 0,
  "impact": "NVRAM lock permanently held on error path",
  "confidence": "certain",
  "verdict": "Low - verification skipped per contract; source-certain (early return bypasses paired unlock at :1788-1791).",
  "attempts": 0,
  "guest_dirty": 0,
  "runner": "df-bsd-reviewer"
}