CSR: Small: Repurposing Spatial Memory Safety Support in Commodity Processors for Temporal Memory Safety, Other Program Analyses, Hardware-Accelerated Data Structures, and More

在每一代计算机硬件中，研究人员和实践者都发现了设计者没有预料到的硬件特性的用途。该项目旨在寻找新的方法来适应通用和多终端的专用硬件，使用英特尔的内存保护扩展（MPX）作为概念验证。英特尔的设计者希望MPX能够通过确保空间存储安全这一重要属性来提高软件安全性。该项目研究了MPX的许多其他令人惊讶的用途。该项目探索了将专用“硬件”视为通用硬件加速“软件”的想法。特别是，该项目旨在将MPX重新定位为三种更广泛的用途，超越其原始的空间存储安全专用硬件支持。首先，研究一种在MPX之上透明地增强时间内存安全性的技术，以确保完全内存安全。其次，将设计和开发一个新的动态程序分析框架，该框架将MPX重新用作通用元数据存储。最后，该项目将研究MPX作为通用硬件加速数据结构的潜力。该项目将影响当前和未来的研究人员、从业人员和学生。该项目将释放英特尔专用硬件的全部潜力，探索其指令集架构的局限性，从而帮助设计具有更多通用功能的下一代处理器。这些下一代处理器将使软件更加安全、可靠和高性能。将开发新的本科课程模块，将研究发现与教学相结合。K-12暑期班将作为拓展和多元化项目提供。该项目还包括为非计算机科学家提供程序分析研讨会的计划，以支持更广泛的研究社区。该项目的主要成果将是软件原型和硬件模拟，以及基准测试、文档和研究论文。源代码、基准测试应用程序和文档将在GitHub上公开提供。论文也将在专门的项目网站上提供。项目存储库将在项目结束后至少维持五年。所有这些资源都可以从项目的网页上获得：http://research.cs.vt.edu/gpx.This该奖项反映了美国国家科学基金会的法定使命，并通过基金会的智力价值和更广泛的影响审查标准进行评估，认为值得支持。

In every generation of computer hardware, researchers and practitioners have found uses for hardware features that their designers did not anticipate. The project aims to find new ways to adapt special-purpose hardware for general and multiple ends, using Intel's Memory Protection Extensions (MPX) as a proof of concept. Intel's designers intended MPX to be used to improve software security by ensuring an important property called spatial memory safety. The project investigates many other surprising uses for MPX.The project explores the idea of viewing special-purpose "hardware" as general-purpose hardware-accelerated "software". In particular, the project aims to repurpose MPX for three broader uses, beyond its original specialized hardware support for spatial memory safety. First, a technique to transparently augment temporal memory safety on top of MPX will be studied to ensure full memory safety. Second, a novel dynamic program analysis framework, which repurposes the MPX as a general-purpose metadata store, will be designed and developed. Last, the project will investigate the potential of MPX as a general-purpose hardware-accelerated data structure.The project will impact both current and future researchers, practitioners, and students. The project will unlock the full potential of Intel's special-purpose hardware, explore the limitations of its instruction set architecture, and thus help design next-generation processors powered by more general-purpose features. These next-generation processors will enable more secure, reliable, and performant software. New undergraduate course modules will be developed to integrate research discovery with teaching. A K-12 summer class will be offered as an outreach and diversity program. The project also includes a plan to offer a program analysis workshop for non-computer scientists to support the broader research community.The project's main results will be software prototypes and hardware simulations, along with benchmarks, documentation, and research papers. The source code, benchmark applications, and documentation will be made publicly available on GitHub. The papers will be available on the dedicated project website as well. The project repository will be maintained for at least five years beyond the end of the project. All of these resources will be available from the project web page: http://research.cs.vt.edu/gpx.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.