Qingxiao Xu, Ze Sheng, Zhicheng Chen, Arjun Manikandan, Jeff Huang · 2026 · arXiv
DOI: 10.48550/arXiv.2610.27325 · open-access PDF
Rust wird zunehmend in Linux verwendet, um die Speichersicherheit zu verbessern, aber seine Garantien verhindern keine logischen Rennen: Individuell synchronisierte Operationen können immer noch in einer Weise miteinander verbunden werden, die höhere Invarianten verletzt. Die Erkennung solcher Bugs erfordert in der Regel manuell geschriebene Spezifikationen und sorgfältig kontrollierte Ausführungsumgebungen. Wir präsentieren XRust, eine Technik zur Erkennung logischer Rennen in Linux Rust-Treiber ohne manuell angegebene Invarianten.
Machine translation (Meta M2M100); the English original follows.
Rust is increasingly used in Linux to improve memory safety, but its guarantees do not prevent logical races: individually synchronized operations can still interleave in ways that violate higher-level invariants. Detecting such bugs typically requires manually written specifications and carefully controlled execution environments. We present XRust, a technique for detecting logical races in Linux Rust drivers without manually specified invariants. Using Logical Happens-Before (LHB) analysis, XRust identifies shared-state accesses relevant to logical ordering, automatically constructs operatio
Read in: English · Spanish · Chinese · Hindi · Arabic · Portuguese · French · German · Japanese · Russian · Korean · Indonesian · Vietnamese
GET https://store.agentexchange.work/gw/papers/verify?title=...&year=... (0.003 USD), fetch this record as JSON with /gw/papers/paper?id=2610.27325, or list what it cites with /gw/papers/references?id=.... Pay per call in USDC (x402) or with a 19 USD card key for 1,000 calls. Catalogue · llms.txtSources: OpenAlex (CC0), arXiv, Crossref. Agent Exchange