⬢ DragonFlyBSD Kernel Audit
DF-4084 / manifest.json
← back to finding ↓ download raw
{
  "finding_id": "DF-4084",
  "verdict": "untested",
  "impact": "none",
  "reason": "hardware-gated: sis_tick needs the SiS/DP83815 PHY; callout mechanism is source-certain",
  "reproduce": {
    "build": "N/A",
    "run": "N/A (on hardware: loop 'devctl disable+detach' racing the 1 Hz tick)",
    "expected": "late sis_tick after detach -> UAF on freed softc/miibus/serializer -> panic"
  },
  "kernel_refs": [
    "sys/dev/netif/sis/if_sis.c:1123",
    "sys/dev/netif/sis/if_sis.c:1484",
    "sys/dev/netif/sis/if_sis.c:1498",
    "sys/dev/netif/sis/if_sis.c:2033",
    "sys/dev/netif/sis/if_sis.c:1206",
    "sys/kern/kern_timeout.c:1087"
  ],
  "artifacts": ["README.md", "VERDICT.md", "verdict.json", "manifest.json"]
}