⬢ DragonFlyBSD Kernel Audit
DF-3736 / manifest.json
← back to finding ↓ download raw
{
  "finding_id": "DF-3736",
  "title": "emx_rxeof trusts the 16-bit NIC descriptor length with no posted-buffer bound (DF-3713 em(4) twin)",
  "verdict": "inconclusive",
  "impact": "none_on_this_guest",
  "reproduce": {
    "build": "cc -O -o /root/emx_bounds_harness /root/emx_bounds_harness.c",
    "run": "/root/emx_bounds_harness",
    "expected": "section [B]: desc_len=0xFFFF -> m_len=65535 claims 63489 bytes past the 2046-byte posted cluster (heap OOB read claim); honest frames in-bounds; exit 1"
  },
  "kernel_refs": [
    "sys/dev/netif/emx/if_emx.c:3369",
    "sys/dev/netif/emx/if_emx.c:3401",
    "sys/dev/netif/emx/if_emx.c:3404",
    "sys/dev/netif/emx/if_emx.c:3413",
    "sys/dev/netif/emx/if_emx.c:3453",
    "sys/dev/netif/emx/if_emx.c:2908",
    "sys/dev/netif/emx/if_emx.c:2916",
    "sys/dev/netif/emx/if_emx.c:2918",
    "sys/dev/netif/emx/if_emx.c:3283",
    "sys/dev/netif/emx/if_emx.h:207"
  ],
  "artifacts": [
    "emx_bounds_harness.c", "build.sh", "run.sh", "build.log",
    "run.log", "run.harness.log", "env.txt", "fix.diff",
    "VERDICT.md", "README.md", "verdict.json", "manifest.json"
  ]
}