Backward-compatible constant-time exception-protected memory

Abstract

We present a novel, table-free technique for detecting all temporal and spatial memory access errors (e.g. dangling pointers, out-of-bounds check, etc.) in programs supporting general pointers. Our approach is the first technique to provide such error checking using only constant-time operations. The scheme relies on fat pointers, whose size is contained… (More)
DOI: 10.1145/1595696.1595710

Topics

3 Figures and Tables

Cite this paper

@inproceedings{Varma2009BackwardcompatibleCE, title={Backward-compatible constant-time exception-protected memory}, author={Pradeep Varma and R. K. Shyamasundar and Harshit J. Shah}, booktitle={ESEC/SIGSOFT FSE}, year={2009} }