# DF-3359 -- verification pack

**Method:** Live PoC on the QEMU guest (stock INVARIANTS kernel)
**Status:** REPRODUCED | impact: leak | confidence: certain

## What this is
rtsock builders size the DESTINATION from producer sa_len (no write overflow) but bound the SOURCE read by nothing: with the DF-3320 setup planting sin_len=200 into a live in_ifaddr (one-time root misconfiguration), an UNPRIVILEGED nobody listener received kernel heap pointers (0xfffff8004f2e5da0 etc.) via NET_RT_IFLIST (rt_msg_buffer bcopy) AND via RTM_NEWADDR/RTM_DELADDR events (rt_msg_mbuf), 12 poisoned sockaddrs per run.

## Build
```
cc -O -o <prog> <prog>.c   (on the guest)
```

## Run
```
(driver script; listener runs as nobody)
```
(success criterion: see VERDICT.md)

## Evidence
live1.log DF-3359 section: [IFLIST]/[NEWADDR]/[DELADDR] entries with kernel pointers at offsets 56-88; unpriv listener (nobody)

Kernel references: sys/net/rtsock.c:1140-1144, sys/net/rtsock.c:1175-1180, sys/net/rtsock.c:1202-1206