⬢ DragonFlyBSD Kernel Audit
DF-4647 / manifest.json
← back to finding ↓ download raw 
 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
{
  "finding_id": "DF-4647",
  "title": "acpi_fujitsu: in-flight ANYBODY sysctl handler executes on freed softc/oids/module text after detach",
  "verdict": "reproduced (silent UAF) / impact none observed / certain",
  "impact": "none (ceiling: panic)",
  "reproduce": {
    "build": "sh build.sh (guest: kldload acpi_fujitsu on SSDT booted guest; fujibang optional)",
    "run": "sh run.sh",
    "expected": "kldunload completes while writer B's handler is in flight; B completes ENOENT on freed memory; stock module survives silently (type-stable heap)"
  },
  "kernel_refs": [
    "sys/dev/acpica/acpi_fujitsu/acpi_fujitsu.c:340",
    "sys/dev/acpica/acpi_fujitsu/acpi_fujitsu.c:415",
    "sys/dev/acpica/acpi_fujitsu/acpi_fujitsu.c:433",
    "sys/kern/kern_sysctl.c:388",
    "sys/kern/kern_sysctl.c:1455",
    "sys/kern/subr_bus.c:1943"
  ],
  "artifacts": [
    "README.md", "VERDICT.md", "ssdt_fuj.asl", "ssdt_fuj.aml", "fujibang.c",
    "bang/", "df4647final.sh", "df4647d.sh", "df4647fixrun.sh",
    "build.sh", "run.sh", "run.log", "run.D.log", "fixrun.attempt.log",
    "A.log", "B.log", "C.log", "fix.diff", "acpi_fujitsu_fixed.c",
    "env.txt", "hashes.txt", "verdict.json", "manifest.json"
  ]
}