⬢ DragonFlyBSD Kernel Audit
DF-4341 / 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
{
  "finding_id": "DF-4341",
  "verdict": "inconclusive",
  "impact_on_guest": "none",
  "finding_confidence": "certain",
  "reproduce": {
    "build": "n/a — kernel driver 'optional mn netgraph'; on target hardware build a kernel with 'device mn' or if_mn.ko",
    "run": "./run.sh            # hardware mode: ./trigger_race.sh (needs mn0 node + live E1 line + root)\n./run.sh guest     # guest mode (executed, documents surface absence)",
    "expected": "Hardware: Fatal trap 12/10 in mn_rx_intr/mn_tx_intr or descriptor-alias corruption across channels. Guest: 'SURFACE ABSENT' (no 0x110a PCI device, no module)."
  },
  "kernel_refs": [
    "sys/dev/netif/mn/if_mn.c:1329",
    "sys/dev/netif/mn/if_mn.c:743-797",
    "sys/dev/netif/mn/if_mn.c:1074-1091",
    "sys/dev/netif/mn/if_mn.c:1097-1177",
    "sys/dev/netif/mn/if_mn.c:573-645",
    "sys/netgraph/netgraph/ng_base.c:1678-1697",
    "sys/netgraph/netgraph/ng_base.c:839-858"
  ],
  "artifacts": [
    "README.md",
    "VERDICT.md",
    "trigger_race.sh",
    "run.sh",
    "run.log",
    "env_guest.txt",
    "fix.diff",
    "verdict.json",
    "manifest.json"
  ]
}