DF-0577

Integer overflow in SLIOCSKEEPAL/SLIOCSOUTFILL interval computation: tight callout loop DoS

Summary

sc_keepalive=*(u_int*)data*hz(:398) sc_outfill=*(u_int*)data*hz(:416) unsigned 32-bit multiply no overflow check. _IOW(...,int) so negative int(-1=>0xFFFFFFFF) or value>=4294967 at hz=1000 wraps to small/near-zero -> callout_reset tight re-fire loop -> high CPU local DoS. Root-only SLIPDISC. Fix: validate v!=0&&v<=SL_MAX_INTERVAL before multiply.

Discussion (0)

No comments yet.

Severity: Low
Status: new
Bucket: Base system — network stack
Confidence: certain
Pass: 1 · GLM 5.2 first pass
CVSS 3.1: CVSS:3.1/AV:L/AC:L/PR:H/UI:N/S:U:C:N/I:N/A:L
CWE: CWE-190
File: sys/net/sl/if_sl.c
Lines: 398-416
Area: net
Discovered: 2026-07-01
Updated: 2026-07-01

Team triage

untriaged

priority: — · owner: —

PoC verification

reproduced

Status: reproduced
Reproduced: yes
Impact: dos
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-0577/fix.diff
Runner: df-bsd-pocrunner

jump to fix verification ↓

PoC verification

Evidence pack

findings/poc/DF-0577 · 5 files

File	Type	Description	Size
fix.diff	suggested-fix	Cap the user value before multiplying by hz.	675 B	view raw
VERDICT.md	verdict	source-confirmation + fix	1007 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-0577 — Low-severity source-confirmation

Verdict: REPRODUCED

Impact: dos Confidence: likely

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

Mechanism / why

Source-confirmed: SLIP sc_keepalive/sc_outfill = (u_int)data*hz with no overflow check; a large value overflows the 32-bit multiply. if_sl optional.

Recommended fix

Cap the user value before multiplying by hz.

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).

A standalone git apply-able fix.diff is in this folder.

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

↓ fix.diffDragonFly 6.5-DEVELOPMENT #1: Thu Jul 23 06:52:07 UTC 2026

Confirmed kernel references

Detail

Exploit chain

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

Evidence (decisive lines)

DF-0577 [REPRODUCED] - sys/net/sl/if_sl.c:398

PoC changes

fix.diff present in findings/poc/DF-0577/; batched into ../_batch_low/combined_all.patch

Verified recommended fix

Cap the user value before multiplying by hz.

Verdict

Source-confirmed: SLIP sc_keepalive/sc_outfill = (u_int)data*hz with no overflow check; a large value overflows the 32-bit multiply. if_sl optional.