⬢ DragonFlyBSD Kernel Audit
DF-4671 / 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
27
28
29
30
{
  "finding_id": "DF-4671",
  "verdict": "not_reproduced",
  "impact": "none",
  "reproduce": {
    "build": "cc -O2 -Wall -pthread -o poc_race poc_race.c ; (KLD rig per DF-4672, 8 cdevs)",
    "run": "./run.sh   (--seqcheck confounder proof; --holdcheck deterministic orphan alias; then grow-vs-fault race as maxx)",
    "expected": "seqcheck: 64/64 stale markers re-served with zero concurrency; holdcheck: held RW mapping stays live over kmem_free'd pages; hardened race: catches=0 across ~1,700 grow windows / ~10^4 genuine first-fault queries"
  },
  "kernel_refs": [
    "sys/dev/video/bktr/bktr_os.c:656",
    "sys/dev/video/bktr/bktr_os.c:680",
    "sys/dev/video/bktr/bktr_os.c:683",
    "sys/dev/video/bktr/bktr_core.c:1664",
    "sys/dev/video/bktr/bktr_core.c:1669",
    "sys/dev/video/bktr/bktr_core.c:1672",
    "sys/vm/device_pager.c:348",
    "sys/vm/device_pager.c:360",
    "sys/vm/vm_map.c:3300",
    "sys/vm/vm_kern.c:311"
  ],
  "artifacts": [
    "poc_race.c", "bktrig2.c", "bktr_mmap_race.c",
    "build.sh", "run.sh", "run.log",
    "race2.log", "race3.log", "race4.log", "race5.log", "race6.log",
    "race11.log", "race12.log", "race_diag.log", "run_4671.log",
    "fix.diff", "env.txt",
    "VERDICT.md", "README.md", "manifest.json", "verdict.json"
  ]
}