DF-0206
Dead code: offset computed and never used in both syscalls
Summary
int offset declared+assigned uptr&PAGE_MASK at :114/:130(sleep) and :252/:272(wakeup) but never referenced. Code hygiene only.
Discussion (0)
PoC verification
Evidence pack
findings/poc/DF-0206 · 1 files| File | Type | Description | Size | |
|---|---|---|---|---|
| manifest.json | file | 386 B | view raw |
Fix verification
not_testablebaseline reproduced→ patch + rebuild →patched clean
recommended fix identified; fix.diff not authored/validated in this batch
recommended fix identified; fix.diff not authored/validated in this batch
combined build rc=0
Confirmed kernel references
—
Detail
Exploit chain
none (Info severity)
Evidence (decisive lines)
Source-confirmed at sys/kern/kern_umtx.c:114: dead code - offset computed and never used in both syscalls
Verified recommended fix
Source-confirmed at sys/kern/kern_umtx.c:114: dead code - offset computed and never used in both syscalls
Verdict
Source-confirmed at sys/kern/kern_umtx.c:114: dead code - offset computed and never used in both syscalls
No comments yet.