< 返回版块

Mike Tang 发表于 2020-06-05 12:46

Tags:rust,security

来自世界顶级学术期刊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

评论区

写评论
RockySong 2020-06-06 16:55

机翻+人肉校对的中文版。在下16年经验C嵌入式开发大叔一枚,希望为社区尽一点小贡献,也希望在今后学用Rust路上得到更多前辈的指点。 链接:https://pan.baidu.com/s/1-ZMT-hSYkoDqoXOh_2J8Yw 提取码:gj66

1 共 1 条评论, 1 页