Newest papers

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

Portuguese

Rust é cada vez mais usado no Linux para melhorar a segurança da memória, mas suas garantias não impedem corridas lógicas: as operações sincronizadas individualmente ainda podem interlevar de maneiras que violam os invariantes de nível superior. Detectar tais bugs geralmente requer especificações escritas manualmente e ambientes de execução cuidadosamente controlados. Nós apresentamos XRust, uma técnica para detectar corridas lógicas em drivers do Linux Rust sem invariantes especificados manualmente. Usando a análise Logical Happens-Before (LHB), o XRust identifica acessos compartilhados relevantes para a ordenação lógica, automaticamente constrói operações

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

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