来自世界顶级学术期刊PLDI20的文章：研究Rust的安全性

Rust是为了开发系统软件设计的新的编程语言。Rust的设计目标是开发出的程序像C语言那样高效，同时又避免C语言程序中的各种安全缺陷。Rust通过在编译是进行一系列的严格的检查来实现自己的目标。为了提供更多的灵活性，Rust支持unsafe，可以让程序员绕过相关的编译检查。

理解和研究Rust程序中的安全问题和Rust的安全机制如何影响开发人员的编程实践是非常重要的。我们对850个unsafe的使用用例和170个Rust程序中的缺陷进行了系统的归纳和总结。我的工作主要包含了以下三方面的内容：1、程序员为什么和如何使用unsafe；2、在Rust程序中有那些内存缺陷；3、在Rust程序有哪些并发缺陷。我们的研究有很多重要和有意义的发现。基于我们的研究内容，我们设计了两个缺陷检测器，他们在大型开源软件中都检测出了新的缺陷。

论文的报告视频可以在B站观看：https://www.bilibili.com/video/BV17i4y1x7CM?pop_share=1

论文原文可以在这里下载：https://songlh.github.io/paper/rust-study.pdf