Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
E cient Detection of All Pointer and Array Access Errors Todd M. Austin Scott E. Breach Gurindar S. Sohi
 

Summary: E cient Detection of All Pointer and Array Access Errors
Todd M. Austin Scott E. Breach Gurindar S. Sohi
Computer Sciences Department
University of Wisconsin-Madison
1210 W. Dayton Street
Madison, WI 53706
faustin, breach, sohig@cs.wisc.edu
Abstract
We present a pointer and array access checking technique
that provides complete error coverage through a simple set
of program transformations. Our technique, based on an ex-
tended safe pointer representation, has a number of novel
aspects. Foremost, it is the rst technique that detects all
spatial and temporal access errors. Its use is not limited
by the expressiveness of the language that is, it can be ap-
plied successfully to compiled or interpreted languages with
subscripted and mutable pointers, local references, and ex-
plicit and typeless dynamic storage management, e.g., C.
Because it is a source level transformation, it is amenable to
both compile- and run-time optimization. Finally, its per-

  

Source: Austin, Todd M. - Department of Electrical Engineering and Computer Science, University of Michigan

 

Collections: Engineering; Computer Technologies and Information Sciences