โฌข DragonFlyBSD Kernel Audit
DF-3796 / manifest.json
โ† back to finding โ†“ download raw
{
  "verdict": "not_reproduced",
  "impact": "none (assessed class: memcorrupt โ€” device-timing-driven mbuf UAF/double-free)",
  "reproduce": {
    "build": "n/a โ€” no ENA device on the KVM guest (if_ena.ko present, probe ENXIO)",
    "run": "n/a โ€” requires live ENA peer to arm the deferred task and a concurrent ena_down",
    "expected": "would be: concurrent m_freem of the same rx mbuf / rx cleanup over freed cdesc memory during ifconfig down or reset task"
  },
  "kernel_refs": [
    "sys/dev/virtual/amazon/ena/ena.c:3498",
    "sys/dev/virtual/amazon/ena/ena.c:2627",
    "sys/dev/virtual/amazon/ena/ena.c:2630",
    "sys/dev/virtual/amazon/ena/ena.c:2632",
    "sys/dev/virtual/amazon/ena/ena.c:830",
    "sys/dev/virtual/amazon/ena/ena.c:1697",
    "sys/dev/virtual/amazon/ena/ena.c:1111"
  ],
  "artifacts": [
    "README.md", "VERDICT.md", "fix.diff", "manifest.json", "verdict.json"
  ]
}