Morello MicroPython: A Python Interpreter for CHERI
Morello MicroPython: A Python Interpreter for CHERI
复制标题
Morello MicroPython：CHERI 的 Python 解释器
DOI：
10.1145/3617651.3622991
复制
发表时间：
2023
期刊：
影响因子：
--
通讯作者：
Lowther D
中科院分区：
文献类型：
--
作者：
Lowther D
Arm Morello是支持CHERI的原型系统 硬件功能，以提高运行时安全性。作为 Morello变得更广泛可用，有越来越多的努力将开放源代码项目移植到这本小说中 平台虽然高级应用程序通常需要 最小的代码重构，以实现CHERI兼容性，低级别 系统代码库需要进行重大修改以符合严格的存储器安全约束， 由Morello动态执行。本文介绍 我们将MicroPython解释器移植到Morello的工作 我们的主要贡献是提供一个 一组用于使托管运行时执行环境适应CHERI的通用课程，包括（1）一个特征 必要的源代码更改，（2）Morello上解释器的运行时性能评估，以及（3） 演示实用的内存安全漏洞检测。 虽然MicroPython是一个轻量级的解释器，但大多数情况下， 用C语言编写的，我们相信我们所实现的变化和我们所学到的教训是更广泛的 适用因据我们所知，这是第一个 已发表的对脚本编写有意义的经验的描述 语言运行时工程与CHERI和Morello。
Arm Morello is a prototype system that supports CHERI hardware capabilities for improving runtime security. As Morello becomes more widely available, there is a growing effort to port open source code projects to this novel platform. Although high-level applications generally need minimal code refactoring for CHERI compatibility, low-level systems code bases require significant modification to comply with the stringent memory safety constraints that are dynamically enforced by Morello. In this paper, we describe our work on porting the MicroPython interpreter to Morello with the CheriBSD OS. Our key contribution is to present a set of generic lessons for adapting managed runtime execution environments to CHERI, including (1) a characterization of necessary source code changes, (2) an evaluation of runtime performance of the interpreter on Morello, and (3) a demonstration of pragmatic memory safety bug detection. Although MicroPython is a lightweight interpreter, mostly written in C, we believe that the changes we have implemented and the lessons we have learned are more widely applicable. To the best of our knowledge, this is the first published description of meaningful experience for scripting language runtime engineering with CHERI and Morello.
登录
查看更多内容
CHERI Concentrate：实用的压缩功能
影响因子：
3.7
作者：
Woodruff J
通讯作者：
Woodruff J
选择 CHERI 分配器：安全性和性能考虑因素
DOI：
10.1145/3591195.3595278
发表时间：
2023
期刊：
--
影响因子：
--
作者：
Bramley J
通讯作者：
Bramley J
Capability Boehm：使用功能硬件进行垃圾收集的挑战和机遇
DOI：
10.1145/3516807.3516823
发表时间：
2022
期刊：
--
影响因子：
--
作者：
Jacob D
通讯作者：
Jacob D
功能硬件增强型 RISC 指令：CHERI 指令集架构（版本 6）
DOI：
--
发表时间：
2017
期刊：
影响因子：
--
作者：
Robert N. M. Watson;Peter G. Neumann;Jonathan Woodruff;Michael Roe;Jonathan Anderson;John Baldwin;D. Chisnall;Brooks Davis;Alexandre Joannou;Ben Laurie;Simon W. Moore;S. Murdoch;Robert M. Norton;Stacey D. Son;Hongyan Xia
通讯作者：
Hongyan Xia
CHERI 功能的内存安全：安全分析、语言解释器和堆临时安全
DOI：
10.17863/cam.90220
发表时间：
2022
期刊：
Proceedings of the 18th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments
影响因子：
--
作者：
B. F. Gutstein
通讯作者：
B. F. Gutstein