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

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

Active Bibliography

1 RUNTIME MONITORING OF C PROGRAMS FOR SECURITY AND CORRECTNESS – Suan Hsi Yong - 2004
122 Memory Management with Explicit Regions – David Gay, Alex Aiken - 1998
1 PRACTICAL LOW-OVERHEAD ENFORCEMENT OF MEMORY SAFETY FOR C PROGRAMS – Santosh Ganapati Nagarakatte
7 ABCD: Eliminating Array-Bounds Checks on Demand – Rastislav Bodik, Rajiv Gupta, Vivek Sarkar - 2000
121 ABCD: Eliminating Array Bounds Checks on Demand – Rastislav Bodik , Rajiv Gupta, Vivek Sarkar - 2000
3 Runtime countermeasures for code injection attacks against C and C++ programs – Yves Younan, Wouter Joosen, Frank Piessens
23 Code injection in C and C++ : A survey of vulnerabilities and countermeasures – Yves Younan, Wouter Joosen, Frank Piessens - 2004
1 Efficient Intraprocedural Array Bound Checking – Thi Viet Nga Nguyen, François Irigoin, Corinne Ancourt, Ronan Keryell
7 Eliminating Range Checks Using Static Single Assignment Form – John Gough, Herbert Klaeren - 1994
27 Optimizing Array Reference Checking in Java Programs – José E. Moreira, Samuel P. Midkiff, Samuel P. Midkiff, Jos E. Moreira, Marc Snir, Marc Snir - 1998
61 Elimination of Redundant Array Subscript Range Checks – Priyadarshan Kolte, Michael Wolfe - 1995
50 From Flop to MegaFlops: Java for Technical Computing – J. E. Moreira, S. P. Midkiff, M. Gupta - 1998
111 Symbolic Bounds Analysis of Pointers, Array Indices, and Accessed Memory Regions – Radu Rugina, Martin Rinard - 2000
42 Efficient Run-time Monitoring Using Shadow Processing – Harish Patil, Charles Fischer - 1995
Published in the Proceedings of the Principles of Programming Languages, 2002, pages??–?? CCured: Type-Safe Retrofitting of Legacy Code – George C. Necula, Scott Mcpeak, Westley Weimer
324 CCured: Type-Safe Retrofitting of Legacy Code – George C. Necula, Scott McPeak, Westley Weimer - 2002
113 CCured: Type-Safe Retrofitting of Legacy Software – George C. Necula, Jeremy Condit, Matthew Harren, Scott Mcpeak, Westley Weimer - 2005
2 WHATSAT: Dynamic heap type inference for program understanding and debugging – Marina Polishchuk, Ben Liblit, Chloë W. Schulze, Marina Polishchuk - 2006
AADEBUG2003 71 Postmortem Object Type Identification – Bryan M. Cantrill - 2003