RIOT-POLICE：为 RIOT 操作系统实现空间内存安全
编程语言
2025-02-26 v1 密码学与安全
摘要
我们提出了一种安全 C 语言方言 Checked C 在物联网操作系统 RIOT 上的集成。我们利用该集成将 RIOT 网络协议栈的部分代码转换为 Checked C，从而在这些代码部分中实现空间内存安全。与先前在物联网操作系统和安全 C 语言方言上的研究类似，我们对 Checked C 的集成完全是可选项，即仍可使用不支持 Checked C 语言扩展的标准 C 编译器进行编译。我们认为这是首个针对 RIOT 操作系统的安全 C 语言方言集成方案。我们提出了一种将 RIOT 模块逐步转换为 Checked C 的过程，评估了转换所引入的开销，并讨论了在物联网领域使用 Checked C 的总体经验。
引用
@article{arxiv.2005.09516,
title = {RIOT-POLICE: An implementation of spatial memory safety for the RIOT operating system},
author = {Sören Tempel and Nora Bruns},
journal= {arXiv preprint arXiv:2005.09516},
year = {2025}
}