⬢ DragonFlyBSD Kernel Audit
DF-4672 / manifest.json
← back to finding ↓ download raw
{
  "finding_id": "DF-4672",
  "verdict": "reproduced",
  "impact": "dos",
  "reproduce": {
    "build": "cc -O2 -Wall -o poc_wireleak poc_wireleak.c ; (KLD rig per build.sh: make -m /usr/src/share/mk SYSDIR=/usr/src/sys in kld/)",
    "run": "./run.sh   (root: rig load + RIG_INIT; maxx: ./poc_wireleak 128 80)",
    "expected": "wire delta permanent +52,137 pages (203.7 MiB) after 14 unpriv grows; flat->climb phase transition visible; re-confirm +107,297 pages on fresh guest"
  },
  "kernel_refs": [
    "sys/dev/video/bktr/bktr_core.c:1664",
    "sys/dev/video/bktr/bktr_core.c:1667",
    "sys/dev/video/bktr/bktr_core.c:1669",
    "sys/dev/video/bktr/bktr_os.c:399",
    "sys/dev/video/bktr/bktr_os.c:403",
    "sys/vm/vm_contig.c:447",
    "sys/vm/vm_contig.c:527",
    "sys/vm/vm_contig.c:588",
    "sys/vm/vm_kern.c:311",
    "sys/vm/vm_map.c:3300",
    "sys/vm/vm_page.c:2765",
    "sys/vm/vm_page.c:2858",
    "sys/vm/vm_page.c:426"
  ],
  "artifacts": [
    "poc_wireleak.c", "bktrig2.c", "poc_race.c",
    "build.sh", "run.sh",
    "run.log", "fix_run.log", "fix.diff", "env.txt",
    "VERDICT.md", "README.md", "manifest.json", "verdict.json"
  ]
}