DF-3736 / manifest.json
{ "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" ] } |