paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Securing unsafe rust programs with XRust

使用 XRust 保护 unsafe Rust 程序
ICSE Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering2020匹配度 3/10 · 论文关注 unsafe Rust 的内存安全与程序分析/安全机制，虽属 PL 与程序分析范畴，但与用户核心方向（静态分析用于 ML/Agentic、LLM 辅助静态分析、浮点/贝叶斯程序分析）没有直接交叉。仅可作为 PL/安全背景知识弱相关。引用 28 inbox
Peiming Liu, Gang Zhao, Jeff Huang
安全与隐私
crossref: 2026-09-12

AI 速览

一句话：提出 XRust 以保障 unsafe Rust 程序的内存安全，弥补其绕过类型系统带来的安全风险。

Rust 旨在同时提供高级内存安全与底层资源操作能力，但 unsafe Rust 为支持底层操作而绕过类型系统，形成严重安全缺口。近年来 Rust 标准库中已发现多起真实内存破坏漏洞，表明 unsafe 代码的安全问题不容忽视。本文提出 XRust，目标是在保留 unsafe Rust 底层能力的同时加固其内存安全，防止内存破坏。摘要未详述具体机制与实验评估，但问题定位明确：需为绕过类型系统的 unsafe Rust 提供额外安全保障。

问题
unsafe Rust 为支持底层操作而绕过类型系统，导致内存破坏漏洞，且已在 Rust 标准库中出现真实案例。
方法
提出 XRust，旨在保护 unsafe Rust 程序的内存安全（摘要未展开具体技术细节）。
评估
摘要未说明评估方式，仅以真实世界内存破坏漏洞说明该问题的严重性。
原文摘要（Abstract）

Rust is a promising systems programming language that embraces both high-level memory safety and low-level resource manipulation. However, the dark side of Rust, unsafe Rust, leaves a large security hole as it bypasses the Rust type system in order to support low-level operations. Recently, several real-world memory corruption vulnerabilities have been discovered in Rust's standard libraries.

链接与引用

DOI 原文 ·

BibTeX 
@inproceedings{paperbot5571,
  title = {Securing unsafe rust programs with XRust},
  author = {Peiming Liu and Gang Zhao and Jeff Huang},
  booktitle = {ICSE},
  year = {2020},
  doi = {10.1145/3377811.3380325}
}