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
December 1, 1993
Abstract
In this paper, 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 extended 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 applied successfully to compiled or
interpreted languages with subscripted and mutable pointers, local references, and explicit 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 performance, even
without compile-time optimization, is quite good. We implemented a prototype translator
for the C language and analyzed the checking overheads of six non-trivial, pointer intensive
programs. Execution overheads range from 130% to 540% with text and data size overheads

  

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

 

Collections: Engineering; Computer Technologies and Information Sciences