Documents Related by Co-Citation

265 A static analyzer for finding dynamic programming errors – William R Bush, Jonathan D Pincus, David J Sielaff
169 Statically Detecting Likely Buffer Overflow Vulnerabilities – David Larochelle, David Evans - 2001
340 Checking system rules using system-specific, programmer-written compiler extensions – Dawson Engler, Benjamin Chelf, Andy Chou - 2000
473 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
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
327 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
170 Transparent Run-Time Defense Against Stack Smashing Attacks – Arash Baratloo, Navjot Singh, Timothy Tsai - 2000
214 Efficient Detection of All Pointer and Array Access Errors – Todd M. Austin, Scott E. Breach, Gurindar S. Sohi - 1994
321 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
155 Static Detection of Dynamic Memory Errors – David Evans - 1996
305 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
361 Enforcing High-Level Protocols in Low-Level Software – Robert DeLine, Manuel Fahndrich - 2001
196 A System and Language for Building System-Specific, Static Analyses – Seth Hallem, Benjamin Chelf, Yichen Xie, Dawson Engler - 2002
264 Secure Execution Via Program Shepherding – Vladimir Kiriansky , Derek Bruening, Saman Amarasinghe - 2002
518 Points-to Analysis in Almost Linear Time – Bjarne Steensgaard - 1996