Buchumschlag

Auditing Rust Crates Effectively

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Zoghbi, Lydia, Thien, David, Jhala, Ranjit, Stefan, Deian, Stanford, Caleb
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Complete first-order reasoning for functional programs
von: Murali, Adithya, et al.
Veröffentlicht: (2026)

Annotating and Auditing the Safety Properties of Unsafe Rust
von: Rao, Zihao, et al.
Veröffentlicht: (2025)

Towards verifying unsafe Rust programs against Rust's pointer-aliasing restrictions
von: Tas, Wannes, et al.
Veröffentlicht: (2026)

RustCompCert: A Verified and Verifying Compiler for a Sequential Subset of Rust
von: Wu, Jinhua, et al.
Veröffentlicht: (2026)

Charon: An Analysis Framework for Rust
von: Ho, Son, et al.
Veröffentlicht: (2024)

Surveying the Rust Verification Landscape
von: Blanc, Alex Le, et al.
Veröffentlicht: (2024)

PermRust: A Token-based Permission System for Rust
von: Gehring, Lukas, et al.
Veröffentlicht: (2025)

RustMC: Extending the GenMC stateless model checker to Rust
von: Pearce, Oliver, et al.
Veröffentlicht: (2025)

NPB-Rust: NAS Parallel Benchmarks in Rust
von: Martins, Eduardo M., et al.
Veröffentlicht: (2025)

Stream Types
von: Cutler, Joseph W., et al.
Veröffentlicht: (2023)

Cocoon: Static Information Flow Control in Rust
von: Lamba, Ada, et al.
Veröffentlicht: (2023)

&inator: Correct, Precise C-to-Rust Interface Translation
von: Chen, Victor, et al.
Veröffentlicht: (2026)

Crux, a Precise Verifier for Rust and Other Languages
von: Pernsteiner, Stuart, et al.
Veröffentlicht: (2024)

A Hybrid Approach to Semi-automated Rust Verification
von: Ayoun, Sacha-Élie, et al.
Veröffentlicht: (2024)

Scylla: Translating an Applicative Subset of C to Safe Rust
von: Fromherz, Aymeric, et al.
Veröffentlicht: (2024)

An Empirical Study of Rust-Specific Bugs in the rustc Compiler
von: Liu, Zixi, et al.
Veröffentlicht: (2025)

MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code
von: Michael, Alexandra E., et al.
Veröffentlicht: (2022)

Pure Borrow: Linear Haskell Meets Rust-Style Borrowing
von: Matsushita, Yusuke, et al.
Veröffentlicht: (2026)

An Interactive Debugger for Rust Trait Errors
von: Gray, Gavin, et al.
Veröffentlicht: (2025)

Garbage Collection for Rust: The Finalizer Frontier
von: Hughes, Jacob, et al.
Veröffentlicht: (2025)

Three Subtyping Algorithms for Binary Session Types and their Complexity Analyses (full version)
von: Udomsrirungruang, Thien, et al.
Veröffentlicht: (2024)

Three Subtyping Algorithms for Binary Session Types and their Complexity Analyses
von: Udomsrirungruang, Thien, et al.
Veröffentlicht: (2024)

Top-Down or Bottom-Up? Complexity Analyses of Synchronous Multiparty Session Types
von: Udomsrirungruang, Thien, et al.
Veröffentlicht: (2024)

Automatic Linear Resource Bound Analysis for Rust via Prophecy Potentials
von: Lian, Qihao, et al.
Veröffentlicht: (2025)

RustSFQ: A Domain-Specific Language for SFQ Circuit Design
von: Oishi, Mebuki, et al.
Veröffentlicht: (2025)

Sound Borrow-Checking for Rust via Symbolic Semantics (Long Version)
von: Ho, Son, et al.
Veröffentlicht: (2024)

Place Capability Graphs: A General-Purpose Model of Rust's Ownership and Borrowing Guarantees
von: Grannan, Zachary, et al.
Veröffentlicht: (2025)

Filament: Denning-Style Information Flow Control for Rust
von: Ching, Jeffrey C., et al.
Veröffentlicht: (2026)

Towards a Transpiler for C/C++ to Safer Rust
von: Tripuramallu, Dhiren, et al.
Veröffentlicht: (2024)

TYPEPULSE: Detecting Type Confusion Bugs in Rust Programs
von: Chen, Hung-Mao, et al.
Veröffentlicht: (2025)

Translating Large-Scale C Repositories to Idiomatic Rust
von: Dehghan, Saman, et al.
Veröffentlicht: (2025)

Refactoring and Equivalence in Rust: Expanding the REM Toolchain with a Novel Approach to Automated Equivalence Proofs
von: Britton, Matthew, et al.
Veröffentlicht: (2026)

Static Deadlock Detection for Rust Programs
von: Zhang, Yu, et al.
Veröffentlicht: (2024)

Suki: Choreographed Distributed Dataflow in Rust
von: Laddad, Shadaj, et al.
Veröffentlicht: (2024)

Characterizing Unsafe Code Encapsulation In Real-world Rust Systems
von: Rao, Zihao, et al.
Veröffentlicht: (2024)

Decompiling Rust: An Empirical Study of Compiler Optimizations and Reverse Engineering Challenges
von: Zhou, Zixu
Veröffentlicht: (2025)

Lessons Learned So Far From a Community Effort to Verify the Rust Standard Library (work-in-progress)
von: Blanc, Alex Le, et al.
Veröffentlicht: (2025)

An approach for modularly verifying the core of Rust's atomic reference counting algorithm against the (Y)C20 memory consistency model
von: Jacobs, Bart, et al.
Veröffentlicht: (2025)

Reimplementing Mizar in Rust
von: Carneiro, Mario
Veröffentlicht: (2023)

Petri Nets-based Methods on Automatically Detecting for Concurrency Bugs in Rust Programs
von: Zhang, Kaiwen, et al.
Veröffentlicht: (2022)