XRust: Detecting Logical Races in Rust Linux Drivers

Qingxiao Xu, Ze Sheng, Zhicheng Chen, Arjun Manikandan, Jeff Huang · 2026 · arXiv

DOI: 10.48550/arXiv.2610.27325 · open-access PDF

Korean

Rust는 메모리 보안을 향상시키기 위해 리눅스에서 점점 더 많이 사용되지만, 그 보증은 논리적 인 경주를 방지하지 않습니다 : 개별적으로 동기화된 작업은 여전히 높은 수준의 불변자를 위반하는 방식으로 간주 할 수 있습니다. 그러한 버그를 탐지하는 것은 일반적으로 수동으로 작성된 사양과 신중하게 제어 된 실행 환경을 필요로합니다. XRust는 논리적 인 순서에 관련된 공유 상태 액세스를 식별하여 수동으로 지정 된 불변자를 사용하여 리눅스 Rust 드라이버에서 논리적 인 경주를 탐지하는 기술 인 XRust를 제시합니다.

Machine translation (Meta M2M100); the English original follows.

Abstract

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

Is this paper real? This page was built from OpenAlex and arXiv records, not generated. Software can verify any reference in one call: 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.txt

Sources: OpenAlex (CC0), arXiv, Crossref. Agent Exchange