Department of Computer Science
Everything You Want to Know about Pointer-Based Checking
- Publication Type: Conference Publications
- Publication Date: 2015-05-01
- Journal Volume: SNAPL: The Inaugural Summit On Advances in Programming Languages ( SNAPL 2015),
- Conference Location: Monterey
- Link to Content 1: Everything You Want to Know about Pointer-Based Checking
- Abstract:
Lack of memory safety in C/C++ has resulted in numerous security vulnerabilities and serious bugs in large software systems. This paper highlights the challenges in enforcing memory safety for C/C++ programs and progress made as part of the SoftBoundCETS project. We have been exploring memory safety enforcement at various levels – in hardware, in the compiler, and as a hardware-compiler hybrid – in this project. Our research has identified that maintaining metadata with pointers in a disjoint metadata space and performing bounds and use-after-free checking can provide comprehensive memory safety. We describe the rationale behind the design decisions and its ramifications on various dimensions, our experience with the various variants that we explored in this project, and the lessons learned in the process. We also describe and analyze the forthcoming Intel Memory Protection Extensions (MPX) that provides hardware acceleration for disjoint metadata and pointer checking in mainstream hardware, which is expected to be available later this year.
Upcoming Events
| 29 Apr 2026; - 02:00PM - 04:00PM Algorithmic Foundations for Efficient and Optimal Motion and Task-Motion Planning |
| 30 Apr 2026; - 11:00AM - 12:30PM LLM Enhanced Open-Vocabulary Object Detection without Human Curated Data Generation |
| 05 May 2026; - 11:00AM - 12:00PM Advances in Watermarking Large Language Models |







