⬢ DragonFlyBSD Kernel Audit
DF-3432 / manifest.json
← back to finding ↓ download raw
{
  "finding_id": "DF-3432",
  "verdict": "reproduced",
  "impact": "leak",
  "confidence": "certain",
  "reproduce": {
    "build": "cd /tmp/df3432 && cc -O2 -Wall -o udp6_connect_oob udp6_connect_oob.c",
    "run": "su -m maxx -c /tmp/df3432/udp6_connect_oob",
    "expected": "A groom 00 ff ff : EADDRNOTAVAIL=20 EINVAL=0 other=0 / B groom 00 00 00 : EADDRNOTAVAIL=0 EINVAL=20 other=0 — errno chosen by heap bytes outside the 17-byte connect(2) sockaddr (read at udp6_usrreq.c:597 before any validation)"
  },
  "kernel_refs": [
    "sys/netinet6/udp6_usrreq.c:596",
    "sys/netinet6/udp6_usrreq.c:597",
    "sys/netinet6/udp6_usrreq.c:598",
    "sys/netinet6/udp6_usrreq.c:608",
    "sys/netinet6/udp6_usrreq.c:686",
    "sys/netinet6/in6_pcb.c:282",
    "sys/netinet6/in6_pcb.c:344",
    "sys/kern/uipc_syscalls.c:1513",
    "sys/netinet6/in6.h:316"
  ],
  "artifacts": [
    "udp6_connect_oob.c",
    "build.sh",
    "run.sh",
    "build.log",
    "run.log",
    "VERDICT.md",
    "README.md",
    "fix.diff",
    "env.txt",
    "manifest.json",
    "verdict.json"
  ]
}