⬢ DragonFlyBSD Kernel Audit
DF-2324 / 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
31
32
33
34
35
36
37
38
39
40
41
42
{
 "finding_id": "DF-2324",
 "status": "reproduced",
 "impact": "panic",
 "reproduce": {
  "build": "sh rig/build.sh DFPCI (shared harness with DF-2323)",
  "run": "vm.sh run_root \"sysctl debug.dfpcih.cmd=cap_cycle\" (scenarios: cap cycle, cap linear, extcap cycle, extcap linear, extcap odd) then vm.sh log 70; rig/run_2324.sh",
  "expected": "both cycle commands never return; ~12 s later the serial console shows panic: DFPCI_WATCHDOG_HANG ... stuck in cap-list loop; fixed kernel: === cap cycle RETURNED and === extcap cycle RETURNED rc=6, CAPDIGEST identical to baseline"
 },
 "kernel_refs": [
  "sys/bus/pci/pci.c:877",
  "sys/bus/pci/pci.c:882",
  "sys/bus/pci/pci.c:601",
  "sys/bus/pci/pci.c:1407",
  "sys/bus/pci/pci.c:1413"
 ],
 "artifacts": [
  "README.md",
  "VERDICT.md",
  "build.log",
  "env.txt",
  "manifest.json",
  "panic_cap_cycle.txt",
  "panic_extcap_cycle.txt",
  "rig/build.sh",
  "rig/cflags_evidence.txt",
  "rig/check_verbatim.sh",
  "rig/check_verbatim_fixed.sh",
  "rig/dfpci_post.c",
  "rig/dfpci_pre.c",
  "rig/fix.diff",
  "rig/fixed_runs.log",
  "rig/gen.sh",
  "rig/gen_fixed.sh",
  "rig/linear_baseline.log",
  "rig/mk_extract.py",
  "rig/run_2324.sh",
  "run.log",
  "verdict.json"
 ],
 "fix_diff": "rig/fix.diff"
}