Efficient Detection of All Pointer and Array Access Errors (1994)

by Todd M. Austin , Scott E. Breach , Gurindar S. Sohi
Citations:213 - 1 self

Documents Related by Co-Citation

324 CCured: Type-Safe Retrofitting of Legacy Code – George C. Necula, Scott McPeak, Westley Weimer - 2002
303 Purify: Fast detection of memory leaks and access errors – Reed Hastings, Bob Joyce - 1991
394 Efficient Context-Sensitive Pointer Analysis for C Programs – Robert P. Wilson, Monica S. Lam - 1995
517 Points-to Analysis in Almost Linear Time – Bjarne Steensgaard - 1996
336 A First Step towards Automated Detection of Buffer Overrun Vulnerabilities – David Wagner, Jeffrey S. Foster, Eric A. Brewer, Alexander Aiken - 2000
131 A Schema for Interprocedural Modification Side-Effect Analysis With Pointer Aliasing – Barbara G. Ryder, William A. Landi, Philip A. Stocks, Sean Zhang, Rita Altucher - 2001
186 Backwards-compatible bounds checking for arrays and pointers in C programs – Richard W M Jones, Paul H J Kelly, Most C, Uncaught Errors - 1997
317 Cyclone: A safe dialect of C – Trevor Jim, Greg Morrisett , Dan Grossman , Michael Hicks , James Cheney, Yanling Wang
154 Static Detection of Dynamic Memory Errors – David Evans - 1996
526 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
385 Context-Sensitive Interprocedural Points-to Analysis in the Presence of Function Pointers – Maryam Emami, Rakesh Ghiya, Laurie J. Hendren - 1994
327 A Safe Approximate Algorithm for Interprocedural Pointer Aliasing – William Landi, Barbara G. Ryder - 1992
380 Zadeck. Analysis of pointers and structures – David R Chase, Mark Wegman, F Kenneth - 1990
226 Interprocedural May-Alias Analysis for Pointers: Beyond k-limiting – Alain Deutsch - 1994
218 Efficient Flow-Sensitive Interprocedural Computation of Pointer-Induced Aliases and Side Effects – Jong-deok Choi, Michael Burke, Paul Carini - 1993
68 Interprocedural Data Flow Analysis In The Presence Of Pointers, Procedure Variables, And Label Variables – William Edward Weihl, W Slwml Wtlm, William Edward - 1980
29 Saber-C: An InterpreterBased Programming Environment for the C Language – S Kaufer, R Lopez, S Pratap - 1988
23 E cient detection of all pointer and array access errors – T Austin, S Breach, G Sohi - 1993
42 Efficient Run-time Monitoring Using Shadow Processing – Harish Patil, Charles Fischer - 1995