Documents Related by Co-Citation

169 Statically Detecting Likely Buffer Overflow Vulnerabilities – David Larochelle, David Evans - 2001
266 A static analyzer for finding dynamic programming errors. Software - Practice and Experiance 2000;(30):775–802 – W R Bush, J D Pincus, D J Sielaff
339 Checking system rules using system-specific, programmer-written compiler extensions – Dawson Engler, Benjamin Chelf, Andy Chou - 2000
467 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
187 Backwards-compatible bounds checking for arrays and pointers in C programs – Richard W M Jones, Paul H J Kelly, Most C, Uncaught Errors - 1997
324 CCured: Type-Safe Retrofitting of Legacy Code – George C. Necula, Scott McPeak, Westley Weimer - 2002
199 Detecting Format String Vulnerabilities with Type – Qualifiers Umesh Shankar, Umesh Shankar, Kunal Talwar, Jeffrey S. Foster, David Wagner - 2001
23 A step towards automated detection of buer overrun vulnerabilities – David Wagner, Jerey S Foster, Eric A Brewer, Alexander Aiken - 2000
168 Transparent Run-Time Defense Against Stack Smashing Attacks – Arash Baratloo, Navjot Singh, Timothy Tsai - 2000
213 Efficient Detection of All Pointer and Array Access Errors – Todd M. Austin, Scott E. Breach, Gurindar S. Sohi - 1994
319 Cyclone: A safe dialect of C – Trevor Jim, Greg Morrisett , Dan Grossman , Michael Hicks , James Cheney, Yanling Wang
19 Checking system rules using system-speci c, programmer-written compiler extensions – D Engler, B Chelf, A Chou, S Hallem
154 Static Detection of Dynamic Memory Errors – David Evans - 1996
303 Purify: Fast detection of memory leaks and access errors – Reed Hastings, Bob Joyce - 1991
360 Flow-Sensitive Type Qualifiers – Jeffrey S. Foster, Tachio Terauchi, Alex Aiken - 2002
362 Enforcing High-Level Protocols in Low-Level Software – Robert DeLine, Manuel Fahndrich - 2001
195 A System and Language for Building System-Specific, Static Analyses – Seth Hallem, Benjamin Chelf, Yichen Xie, Dawson Engler - 2002
262 Secure Execution Via Program Shepherding – Vladimir Kiriansky , Derek Bruening, Saman Amarasinghe - 2002
520 Points-to Analysis in Almost Linear Time – Bjarne Steensgaard - 1996