⬢ DragonFlyBSD Kernel Audit
DF-3914 / 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
{
  "finding_id": "DF-3914",
  "title": "Unbounded firmware NumSlots heap OOB write in the direct-attached enclosure reservation path (_mapping_get_dev_info/_mapping_get_pcie_dev_info)",
  "verdict": "not_reproduced",
  "impact": "none_on_guest_hardware_gated",
  "primitive_proven": "object-level OOB write (57,120 bytes past an 8,448-byte allocation, fw-controlled 8-byte value at 32-byte stride)",
  "reproduce": {
    "build": "sh build.sh   # cc -O2 -Wall -o harness_df3914 harness_df3914.c",
    "run": "sh run.sh     # ./harness_df3914",
    "expected": "RESULT: OOB WRITE PRIMITIVE PROVEN (canary smash with attacker value, 32-byte stride); exit 0"
  },
  "kernel_refs": [
    "sys/dev/raid/mpr/mpr_mapping.c:2843",
    "sys/dev/raid/mpr/mpr_mapping.c:2760",
    "sys/dev/raid/mpr/mpr_mapping.c:1241",
    "sys/dev/raid/mpr/mpr_mapping.c:1292",
    "sys/dev/raid/mpr/mpr_mapping.c:1392",
    "sys/dev/raid/mpr/mpr_mapping.c:1443",
    "sys/dev/raid/mpr/mpr_mapping.c:979",
    "sys/dev/raid/mpr/mpr_mapping.c:2140",
    "sys/dev/raid/mpr/mpr_mapping.c:2565",
    "sys/dev/raid/mpr/mprvar.h:113"
  ],
  "artifacts": [
    "README.md", "VERDICT.md", "harness_df3914.c", "build.sh", "run.sh",
    "build.log", "run.log", "run.2.log", "env.txt", "fix.diff", "fix_build.log",
    "manifest.json", "verdict.json"
  ]
}