RIOT-POLICE：RIOT操作系统的空间内存安全实现
RIOT-POLICE: An implementation of spatial memory safety for the RIOT operating system
AI总结：
本文首次为RIOT物联网操作系统集成安全C方言Checked C，将网络栈部分代码转换以实现空间内存安全，转换可选且评估了开销，为IoT系统内存安全提供了可行方案。
摘要：
我们展示了为物联网操作系统RIOT集成安全C方言Checked C的工作。利用该集成，我们将RIOT网络栈的部分代码转换为Checked C，从而在这些代码部分实现了空间内存安全。与先前在物联网操作系统和安全C方言上的研究类似，我们对Checked C的集成完全可选，即仍可使用不支持Checked C语言扩展的标准C编译器进行编译。我们相信这是首次为RIOT操作系统提出安全C方言的集成。我们提出了将RIOT模块增量转换为Checked C的过程，评估了转换引入的开销，并讨论了在物联网领域使用Checked 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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
