⬢ DragonFlyBSD Kernel Audit
DF-4078 / 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
{
 "finding_id": "DF-4078",
 "title": "mps unbounded waits / ignored reinit errors",
 "verdict": {
  "status": "inconclusive",
  "impact": "none",
  "confidence": "likely",
  "reproduced": 0
 },
 "reproduce": {
  "build": "n/a (source-level finding)",
  "run": "n/a (hardware-gated; source-level analysis)",
  "expected": "source-level: guest-compiled struct probe proves capacities/overflow math; full trigger needs VegaM GPU / LSI mps controller (absent)"
 },
 "kernel_refs": [
  "sys/dev/raid/mps/mps.c:2129",
  "sys/dev/raid/mps/mps.c:2221",
  "sys/dev/raid/mps/mps.c:353",
  "sys/dev/raid/mps/mps_sas.c:1091"
 ],
 "artifacts": [
  "verdict.json",
  "README.md",
  "VERDICT.md",
  "fix.diff",
  "manifest.json"
 ]
}