⬢ DragonFlyBSD Kernel Audit
DF-4752 / manifest.json
← back to finding ↓ download raw
{
  "finding_id": "DF-4752",
  "verdict": "inconclusive",
  "impact": "leak",
  "reproduce": {
    "build": "sh build.sh  (KLD module build of patched gpio.c on guest, -Werror)",
    "run": "sh run.sh  (attempted; exits 3 SKIP: gpio(4) framework absent on guest)",
    "expected": "on gpio-capable hardware: M_TEMP grows by struct gpio_driver + name per controller detach cycle; master clone units never reused. On this guest: SKIP=feature absent."
  },
  "kernel_refs": [
    "sys/dev/misc/gpio/gpio.c:573",
    "sys/dev/misc/gpio/gpio.c:587-617",
    "sys/dev/misc/gpio/gpio.c:602",
    "sys/dev/misc/gpio/gpio.c:609-611",
    "sys/vfs/devfs/devfs_helper.c:devfs_clone_bitmap_get"
  ],
  "artifacts": [
    "README.md", "VERDICT.md", "trigger.sh", "build.sh", "run.sh",
    "build.log", "fix_build.log", "run.log", "env.txt",
    "fix.diff", "fix_gpio.c.patched", "manifest.json", "verdict.json"
  ]
}