Documents Related by Co-Citation

339 Checking system rules using system-specific, programmer-written compiler extensions – Dawson Engler, Benjamin Chelf, Andy Chou - 2000
385 Automatically validating temporal safety properties of interfaces – Thomas Ball, Sriram K. Rajamani - 2001
362 Enforcing High-Level Protocols in Low-Level Software – Robert DeLine, Manuel Fahndrich - 2001
520 Extended Static Checking for Java – Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata - 2002
339 A First Step towards Automated Detection of Buffer Overrun Vulnerabilities – David Wagner, Jeffrey S. Foster, Eric A. Brewer, Alexander Aiken - 2000
324 CCured: Type-Safe Retrofitting of Legacy Code – George C. Necula, Scott McPeak, Westley Weimer - 2002
244 Type-based race detection for Java – Cormac Flanagan, Stephen N. Freund
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
149 Using Programmer-Written Compiler Extensions to Catch Security Holes – Ken Ashcraft, et al.
40 Path-Sensitive Program Verification in Polynomial Time – Manuvir Das, Sorin Lerner, Mark Seigle - 2002
164 Securing Web Application Code by Static Analysis and Runtime Protection – Yao-Wen Huang, Fang Yu, Christian Hang, Chung-hung Tsai, D. T. Lee, Sy-yen Kuo - 2004
147 Automatically hardening web applications using precise tainting – Anh Nguyen-tuong, Salvatore Guarnieri, Doug Greene, David Evans - 2005
227 Cloning-based context-sensitive pointer alias analysis using binary decision diagrams – John Whaley, Monica S. Lam - 2004
195 A System and Language for Building System-Specific, Static Analyses – Seth Hallem, Benjamin Chelf, Yichen Xie, Dawson Engler - 2002
319 Cyclone: A safe dialect of C – Trevor Jim, Greg Morrisett , Dan Grossman , Michael Hicks , James Cheney, Yanling Wang
199 Detecting Format String Vulnerabilities with Type – Qualifiers Umesh Shankar, Umesh Shankar, Kunal Talwar, Jeffrey S. Foster, David Wagner - 2001
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
132 FormatGuard: Automatic Protection From printf Format String Vulnerabilities – Crispin Cowan, Matt Barringer, Steve Beattie, Greg Kroah-hartman, Mike Frantzen, Jamie Lokier - 2001
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