.png){kind=icon}
返回
.png){kind=icon}
.png){kind=icon}
.png){kind=icon}
.png){kind=icon}
.png){kind=icon}
摘要
En 中文
Rust是一种相对较新的编程语言，旨在实现高效且安全的系统级应用。它包含一个复杂的类型系统，允许证明内存和线程安全性，并且被明确设计为在编码生态系统中取代C和C++等不安全语言。存在大量现有的C和C++代码库（其中许多由于不安全性而受到错误和安全漏洞的影响），通过用Rust重写可以消除整个类别的潜在错误。然而，手动将这些应用程序移植到Rust是一项艰巨的任务。
在本论文中，我们研究了将C程序自动翻译为更安全的Rust程序的问题——即Rust程序能够提升原始C程序的安全保证。我们对翻译程序中不安全性的根本原因及其各自修复的影响进行了深入研究。我们还描述了一种新颖的技术，用于自动消除特定的不安全性原因，并评估了其有效性和影响。本文首次对翻译后的Rust程序中的不安全性进行了实证研究（与最初用Rust编写的程序相对），同时也是首次提出自动消除翻译后Rust程序中不安全性原因的技术。
期刊
暂无期刊信息
机构
暂无机构信息
引用论文
暂无论文信息