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

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

Active Bibliography

Abstract Efficient Detection of All Pointer and Array Access Errors – Todd M. Austin, Scott E. Breach, Gurindar S. Sohi
564 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
511 StackGuard: Automatic adaptive detection and prevention of buffer-overflow attacks – Crispin Cowan, Calton Pu, Dave Maier, Heather Hinton, Jonathan Walpole, Peat Bakke, Steve Beattie, Aaron Grier, Perry Wagle, Qian Zhang - 1998
Safe Systems Programming Languages – Peng Li - 2004
591 Dynamically discovering likely program invariants to support program evolution – M Ernst, J Cockrell, W Griswold, D Notkin - 1998
885 Efficiently computing static single assignment form and the control dependence graph – Ron Cytron, Jeanne Ferrante, Barry K. Rosen, Mark N. Wegman, F. Kenneth Zadeck - 1991
685 A Survey of Program Slicing Techniques – F. Tip - 1995
618 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
579 DART: Directed automated random testing – Patrice Godefroid, Nils Klarlund, Koushik Sen - 2005