Cover Image

A Mixed-Methods Study on the Implications of Unsafe Rust for Interoperation, Encapsulation, and Tooling

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	McCormack, Ian, Dougan, Tomas, Estep, Sam, Hibshi, Hanan, Aldrich, Jonathan, Sunshine, Joshua
Format:	Preprint
Published:	2024
Subjects:	Software Engineering D.2
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Study of Undefined Behavior Across Foreign Function Boundaries in Rust Libraries
by: McCormack, Ian, et al.
Published: (2024)

Characterizing Unsafe Code Encapsulation In Real-world Rust Systems
by: Rao, Zihao, et al.
Published: (2024)

Fearless Unsafe. A More User-friendly Document for Unsafe Rust Programming Base on Refined Safety Properties
by: Cui, Mohan, et al.
Published: (2024)

RustAssure: Differential Symbolic Testing for LLM-Transpiled C-to-Rust Code
by: Bai, Yubo, et al.
Published: (2025)

SandCell: Sandboxing Rust Beyond Unsafe Code
by: Zhang, Jialun, et al.
Published: (2025)

Securing Mixed Rust with Hardware Capabilities
by: Yu, Jason Zhijingcheng, et al.
Published: (2025)

TECS/Rust-OE: Optimizing Exclusive Control in Rust-based Component Systems for Embedded Devices
by: Yoshimura, Nao, et al.
Published: (2025)

PinChecker: Identifying Unsound Safe Abstractions of Rust Pinning APIs
by: Dai, Yuxuan, et al.
Published: (2025)

FASR: Automated Identification of Unsafe Control Actions in STPA
by: Dardik, Ian, et al.
Published: (2026)

Interoperability From Kieker to OpenTelemetry: Demonstrated as Export to ExplorViz
by: Reichelt, David Georg, et al.
Published: (2024)

TECS/Rust: Memory-safe Component Framework for Embedded Systems
by: Yoshimura, Nao, et al.
Published: (2025)

Racing Against the Clock: Exploring the Impact of Scheduled Deadlines on Technical Debt
by: Edbert, Joshua Aldrich, et al.
Published: (2025)

Can Large Language Models Write Good Property-Based Tests?
by: Vikram, Vasudev, et al.
Published: (2023)

Evaluation of Version Control Merge Tools
by: Schesch, Benedikt, et al.
Published: (2024)

Revisiting Abstractions for Software Architecture and Tools to Support Them
by: Shaw, Mary, et al.
Published: (2025)

Validating API Design Requirements for Interoperability: A Static Analysis Approach Using OpenAPI
by: Sundberg, Edwin, et al.
Published: (2025)

Adversarial Agent Collaboration for Correctness Improvements of C to Safe Rust Translation
by: Li, Tianyu, et al.
Published: (2025)

Exploring a Test Data-Driven Method for Selecting and Constraining Metamorphic Relations
by: Duque-Torres, Alejandra, et al.
Published: (2023)

Feynman: Knowledge-Infused Diagramming Agent for Scalable Visual Designs
by: Wen, Zixin, et al.
Published: (2026)

RustRepoTrans: Repository-level Code Translation Benchmark Targeting Rust
by: Ou, Guangsheng, et al.
Published: (2024)

SPViz: A DSL-Driven Approach for Software Project Visualization Tooling
by: Rentz, Niklas, et al.
Published: (2024)

RustMap: Towards Project-Scale C-to-Rust Migration via Program Analysis and LLM
by: Cai, Xuemeng, et al.
Published: (2025)

C2SaferRust: Transforming C Projects into Safer Rust with NeuroSymbolic Techniques
by: Nitin, Vikram, et al.
Published: (2025)

SAGAI-MID: A Generative AI-Driven Middleware for Dynamic Runtime Interoperability
by: Larsen, Oliver Aleksander, et al.
Published: (2026)

Rust vs. C for Python Libraries: Evaluating Rust-Compatible Bindings Toolchains
by: Amaral, Isabella Basso do, et al.
Published: (2025)

Unsafe by Flow: Uncovering Bidirectional Data-Flow Risks in MCP Ecosystem
by: Hou, Xinyi, et al.
Published: (2026)

AkiraRust: Re-thinking LLM-aided Rust Repair Using a Feedback-guided Thinking Switch
by: Jiang, Renshuang, et al.
Published: (2026)

C2RustXW: Program-Structure-Aware C-to-Rust Translation via Program Analysis and LLM
by: Yan, Yanyan, et al.
Published: (2026)

ScaMaha: A Tool for Parsing, Analyzing, and Visualizing Object-Oriented Software Systems
by: Al-Msie'deen, Ra'Fat
Published: (2025)

ENCRUST: Encapsulated Substitution and Agentic Refinement on a Live Scaffold for Safe C-to-Rust Translation
by: Sim, Hohyun, et al.
Published: (2026)

Unsafe and Unused? A History of Utility Code in Mature Open Source Projects
by: Keller, Brandon, et al.
Published: (2026)

OpenCat: Improving Interoperability of ADS Testing
by: Ali, Qurban, et al.
Published: (2025)

Towards Modified Condition/Decision Coverage of Rust
by: Zaeske, Wanja, et al.
Published: (2024)

SmartC2Rust: Iterative, Feedback-Driven C-to-Rust Translation via Large Language Models for Safety and Equivalence
by: Shiraishi, Momoko, et al.
Published: (2024)

Code Quality Analysis of Translations from C to Rust
by: Tadesse, Biruk, et al.
Published: (2026)

Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis
by: Shetty, Manish, et al.
Published: (2024)

Hidden Dependencies and Component Variants in SBOM-Based Software Composition Analysis
by: Rasheed, Shawn, et al.
Published: (2026)

ORBIT: Guided Agentic Orchestration for Autonomous C-to-Rust Transpilation
by: Farrukh, Muhammad, et al.
Published: (2026)

To Tag, or Not to Tag: Translating C's Unions to Rust's Tagged Unions
by: Hong, Jaemin, et al.
Published: (2024)

Yuga: Automatically Detecting Lifetime Annotation Bugs in the Rust Language
by: Nitin, Vikram, et al.
Published: (2023)