Buchumschlag

Fearless Unsafe. A More User-friendly Document for Unsafe Rust Programming Base on Refined Safety Properties

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Cui, Mohan, Mao, Penglei, Sun, Shuran, Zhou, Yangfan, Xu, Hui
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Software Engineering
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

SandCell: Sandboxing Rust Beyond Unsafe Code
von: Zhang, Jialun, et al.
Veröffentlicht: (2025)

rCanary: Detecting Memory Leaks Across Semi-automated Memory Management Boundary in Rust
von: Cui, Mohan, et al.
Veröffentlicht: (2023)

A Mixed-Methods Study on the Implications of Unsafe Rust for Interoperation, Encapsulation, and Tooling
von: McCormack, Ian, et al.
Veröffentlicht: (2024)

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

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

FASR: Automated Identification of Unsafe Control Actions in STPA
von: Dardik, Ian, et al.
Veröffentlicht: (2026)

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

ClozeMaster: Fuzzing Rust Compiler by Harnessing LLMs for Infilling Masked Real Programs
von: Gao, Hongyan, et al.
Veröffentlicht: (2026)

C2RustXW: Program-Structure-Aware C-to-Rust Translation via Program Analysis and LLM
von: Yan, Yanyan, et al.
Veröffentlicht: (2026)

Vital: Vulnerability-Oriented Symbolic Execution via Type-Unsafe Pointer-Guided Monte Carlo Tree Search
von: Tu, Haoxin, et al.
Veröffentlicht: (2024)

Mitigating False Positives in Static Memory Safety Analysis of Rust Programs via Reinforcement Learning
von: P, Akilesh, et al.
Veröffentlicht: (2026)

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

PanicFI: An Infrastructure for Fixing Panic Bugs in Real-World Rust Programs
von: Ni, Yunbo, et al.
Veröffentlicht: (2024)

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

PALM: Synergizing Program Analysis and LLMs to Enhance Rust Unit Test Coverage
von: Chu, Bei, et al.
Veröffentlicht: (2025)

How Are Paid and Volunteer Open Source Developers Different? A Study of the Rust Project
von: Zhang, Yuxia, et al.
Veröffentlicht: (2024)

Documentation-Guided Agentic Codebase Migration from C to Rust
von: Le-Anh, Minh, et al.
Veröffentlicht: (2026)

Distinguishability-guided Test Program Generation for WebAssembly Runtime Performance Testing
von: Jiang, Shuyao, et al.
Veröffentlicht: (2024)

MISRust: Mapping MISRA-C++ Coding Guidelines to the Rust Programming Language
von: Molz, Marius, et al.
Veröffentlicht: (2026)

Search-Based Multi-Trajectory Refinement for Safe C-to-Rust Translation with Large Language Models
von: Sim, HoHyun, et al.
Veröffentlicht: (2025)

Can User Feedback Help Issue Detection? An Empirical Study on a One-billion-user Online Service System
von: Jiang, Shuyao, et al.
Veröffentlicht: (2025)

Guided Debugging of Auto-Translated Code Using Differential Testing
von: Wu, Shengnan, et al.
Veröffentlicht: (2025)

RustRepoTrans: Repository-level Code Translation Benchmark Targeting Rust
von: Ou, Guangsheng, et al.
Veröffentlicht: (2024)

Integrating Rules and Semantics for LLM-Based C-to-Rust Translation
von: Luo, Feng, et al.
Veröffentlicht: (2025)

C2SaferRust: Transforming C Projects into Safer Rust with NeuroSymbolic Techniques
von: Nitin, Vikram, et al.
Veröffentlicht: (2025)

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

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

Towards Modified Condition/Decision Coverage of Rust
von: Zaeske, Wanja, et al.
Veröffentlicht: (2024)

Debugging Performance Issues in WebAssembly Runtimes via Mutation-based Inference
von: Zeng, Ruiying, et al.
Veröffentlicht: (2026)

HALURust: Exploiting Hallucinations of Large Language Models to Detect Vulnerabilities in Rust
von: Luo, Yu, et al.
Veröffentlicht: (2025)

A Trace-based Approach for Code Safety Analysis
von: Xu, Hui
Veröffentlicht: (2025)

Translating C To Rust: Lessons from a User Study
von: Li, Ruishi, et al.
Veröffentlicht: (2024)

Darkit: A User-Friendly Software Toolkit for Spiking Large Language Model
von: Du, Xin, et al.
Veröffentlicht: (2024)

Code Quality Analysis of Translations from C to Rust
von: Tadesse, Biruk, et al.
Veröffentlicht: (2026)

A first look at ROS 2 applications written in asynchronous Rust
von: Škoudlil, Martin, et al.
Veröffentlicht: (2025)

Finding Safety Violations of AI-Enabled Control Systems through the Lens of Synthesized Proxy Programs
von: Shi, Jieke, et al.
Veröffentlicht: (2024)

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

Project-Level C-to-Rust Translation via Pointer Knowledge Graphs
von: Yuan, Zhiqiang, et al.
Veröffentlicht: (2025)

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