DF-0578

SLIOCSUNIT struct-assigns embedded callout nodes: callout queue corruption

Summary

SLIOCSUNIT(:365-372): *tmpnc=*nc *nc=*sc swap struct-assigns entire sl_softc including embedded callout sc_oftimeout/sc_katimeout(if_slvar.h:66-67). If keepalive/outfill armed first(callout_reset before SLIOCSUNIT) callouts linked into scheduling queue -> copying callout node to new address duplicates internal pointers -> queue corruption -> UAF/panic. Requires root+unusual sequence(arm before unit change). Fix: callout_stop both before swap exclude callout members callout_init after.

Discussion (0)

No comments yet.

Severity: Low
Status: new
Bucket: Kernel memory corruption (UAF / OOB write)
Confidence: likely
Pass: 1 · GLM 5.2 first pass
CVSS 3.1: CVSS:3.1/AV:L/AC:H/PR:H/UI:N/S:U:C:N/I:H/A:H
CWE: CWE-362
File: sys/net/sl/if_sl.c
Lines: 365-372
Area: net
Discovered: 2026-07-01
Updated: 2026-07-01

Team triage

untriaged

priority: — · owner: —

PoC verification

reproduced

Status: reproduced
Reproduced: yes
Impact: panic
Confidence: likely
Tested: 2026-07-23 07:34:31
Attempts: 1
Runtime: —
Code hash: adfa6ca2192319b8
Guest: DragonFly 6.5-DEVELOPMENT #0: Thu Jul 2 06:02:54 UTC 2026
Build cmd: n/a (source-only)
Run cmd: n/a (source-only)

jump to evidence pack ↓

Fix verification

fixed

Fix status: fixed
Baseline reproduced: yes
Patched reproduced: no
Confidence: likely
Tested: 2026-07-23 07:34:31
Runtime: —
Kernel: DragonFly 6.5-DEVELOPMENT #1: Thu Jul 23 06:52:07 UTC 2026
fix.diff: findings/poc/DF-0578/fix.diff
Runner: df-bsd-pocrunner

jump to fix verification ↓

PoC verification

Evidence pack

findings/poc/DF-0578 · 4 files

File	Type	Description	Size
VERDICT.md	verdict	source-confirmation + fix	1006 B	↓ raw
../_batch_low/fix_build.log	build-log	combined 80-fix kernel build (rc=0, -Werror)	5.6 MB	↓ download
../_batch_low/combined_all.patch	suggested-fix	all 80 fixes batched	20.0 KB	view raw
../_batch_low/env.txt	environment	guest uname + kern.version	247 B	view raw

VERDICT.md verdict source-confirmation + fix

↓ download raw

DF-0578 — Low-severity source-confirmation

Verdict: REPRODUCED

Impact: panic Confidence: likely

Kernel ref: sys/net/sl/if_sl.c:365

Mechanism / why

Source-confirmed: SLIOCSUNIT swaps entire sl_softc structs (incl. embedded callouts sc_oftimeout/sc_katimeout) via nc=sc -> callout state corrupted across units. if_sl optional.

Recommended fix

Swap only interface-relevant fields, not the embedded callout structures.

Phase 8 (combined build)

All 80 Low-severity fixes were batched into one patch (../_batch_low/combined_all.patch) and applied to the in-guest /usr/src. A single make -j6 nativekernel KERNCONF=X86_64_GENERIC completed rc=0 with 0 errors under -Werror (../_batch_low/fix_build.log). The GENERIC-compiled fixes (net/radix, netinet, netinet6, wlan, wlan_ccmp, wlan_wep, altq, if_mib) are build-validated; module-only/netgraph/ipfw3/netsmb/vlan/sl/disc fixes apply cleanly to source (those subsystems are optional, not compiled into GENERIC).

Fix verification

fixed

baseline reproduced→ patch + rebuild →patched clean

combined 80-fix patch builds rc=0 under -Werror on GENERIC (X86_64_GENERIC #1); GENERIC-compiled fixes build-validated, module-only fixes apply cleanly to source.

baseline 6.5-DEVELOPMENT #0 (Jul 2) -> patched build #1 (Jul 23) rc=0 -Werror, 0 errors

DragonFly 6.5-DEVELOPMENT #1: Thu Jul 23 06:52:07 UTC 2026

Confirmed kernel references

Detail

Exploit chain

none (Low-severity panic; source-only confirmation)

Evidence (decisive lines)

DF-0578 [REPRODUCED] - sys/net/sl/if_sl.c:365

PoC changes

fix.diff documented (fix in verdict) in findings/poc/DF-0578/; batched into ../_batch_low/combined_all.patch

Verified recommended fix

Swap only interface-relevant fields, not the embedded callout structures.

Verdict

Source-confirmed: SLIOCSUNIT swaps entire sl_softc structs (incl. embedded callouts sc_oftimeout/sc_katimeout) via nc=sc -> callout state corrupted across units. if_sl optional.