Files:DescriptionFile size FormatBrowse
Fulltext0.94 MBPDF (requires Acrobat Reader)Previous | Next
PostScript
  
Authors:Richard W. M. Jones: Department of Computing, Imperial College of Science, Technology and Medicine, UK
Paul H. J. Kelly: Department of Computing, Imperial College of Science, Technology and Medicine, UK
Publication title:Backwards-Compatible Bounds Checking for Arrays and Pointers in C Programs
Conference:Proceedings of the 3rd International Workshop on Automatic Debugging, 1997 (AADEBUG-97)
Publication type: Abstract and Fulltext
Issue:001
Article No.:002
Abstract:This paper presents a new approach to enforcing array bounds and pointer checking in the C language. Checking is rigorous in the sense that the result of pointer arithmetic must refer to the same object as the original pointer (this object is sometimes called the intended referent). The novel aspect of this work is that checked code can inter-operate without restriction with unchecked code, without interface problems, with some effective checking, and without false alarms. This backwards compatibility property allows the overheads of checking to be confined to suspect modules, and also facilitates the use of libraries for which source code is not available. The paper describes the scheme, its prototype implementation (as an extension to the GNU C compiler). presents experimental results to evaluate its effectiveness, and discusses performance issues and the effectiveness of some simple optimisations.
Language:English
Year:1997
No. of pages:14
Pages:13-26
Series:Linköping Electronic Conference Proceedings
ISSN (print):1650-3686
ISSN (online):1650-3740
File:http://www.ep.liu.se/ea/cis/1997/009/02/cis9700902.pdf
Available:1997-09-10
Publisher:Linköping University Electronic Press, Linköpings universitet

REFERENCE TO THIS PAGE
Richard W. M. Jones, Paul H. J. Kelly (1997). Backwards-Compatible Bounds Checking for Arrays and Pointers in C Programs, Proceedings of the 3rd International Workshop on Automatic Debugging, 1997 (AADEBUG-97) http://www.ep.liu.se/ecp_article/index.en.aspx?issue=001;article=002 (accessed 8/20/2014)