论文标题
Riot-Police：Riot操作系统的空间记忆安全实现
RIOT-POLICE: An implementation of spatial memory safety for the RIOT operating system
论文作者
论文摘要
我们提出了安全c方言的集成，检查了c，以获取操作系统骚乱的物联网。我们利用此集成将Riot网络堆栈的一部分转换为检查C，从而在这些代码部分中实现了空间内存安全性。类似于对物联网操作系统和安全c方言进行的先前研究，我们的检查C集成仍然完全是可选的，即与不支持检查C语言扩展的标准C编译器的编译仍然是可能的。我们认为，这是Riot操作系统安全C方言的首次拟议集成。我们提出了一个增量过程，将RIOT模块转换为检查C，评估转换引入的间接费用，并讨论我们在物联网域中使用检查C的一般经验。
We present an integration of a safe C dialect, Checked C, for the Internet of Things operating system RIOT. We utilize this integration to convert parts of the RIOT network stack to Checked C, thereby achieving spatial memory safety in these code parts. Similar to prior research done on IoT operating systems and safe C dialects, our integration of Checked C remains entirely optional, i.e. compilation with a standard C compiler not supporting the Checked C language extension is still possible. We believe this to be the first proposed integration of a safe C dialect for the RIOT operating system. We present an incremental process for converting RIOT modules to Checked C, evaluate the overhead introduced by the conversions, and discuss our general experience with utilizing Checked C in the Internet of Things domain.
