Model checking one million lines of C code (2004)

by Hao Chen , Drew Dean , David Wagner
Venue:In Proceedings of the 11th Annual Network and Distributed System Security Symposium (NDSS
Citations:69 - 2 self

Documents Related by Co-Citation

339 Checking system rules using system-specific, programmer-written compiler extensions – Dawson Engler, Benjamin Chelf, Andy Chou - 2000
250 ESP: Path-Sensitive Program Verification in Polynomial Time – Manuvir Das, Sorin Lerner, Mark Seigle - 2002
135 Checking for Race Conditions in File Accesses – Matt Bishop, Michael Dilger - 1996
196 MOPS: an Infrastructure for Examining Security Properties of Software – Hao Chen, David Wagner - 2002
339 A First Step towards Automated Detection of Buffer Overrun Vulnerabilities – David Wagner, Jeffrey S. Foster, Eric A. Brewer, Alexander Aiken - 2000
149 Using Programmer-Written Compiler Extensions to Catch Security Holes – Ken Ashcraft, et al.
199 Detecting Format String Vulnerabilities with Type – Qualifiers Umesh Shankar, Umesh Shankar, Kunal Talwar, Jeffrey S. Foster, David Wagner - 2001
227 Finding bugs is easy – David Hovemeyer, William Pugh - 2004
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
449 Lazy Abstraction – Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Gregoire Sutre - 2002
289 Mining Specifications – Glenn Ammons, Rastislav Bodik, James R. Larus - 2002
324 CCured: Type-Safe Retrofitting of Legacy Code – George C. Necula, Scott McPeak, Westley Weimer - 2002
385 Automatically validating temporal safety properties of interfaces – Thomas Ball, Sriram K. Rajamani - 2001
182 Cmc: A pragmatic approach to model checking real code – Madanlal Musuvathi, David Y. W. Park, Andy Chou, Dawson R. Engler, David L. Dill - 2002
122 Using Model Checking to Find Serious File System Errors – Junfeng Yang, Paul Twohey, Dawson Engler - 2004
21 Dynamic detection and prevention of race conditions in file accesses – Eugene Tsyrklevich, Bennet Yee - 2003
33 Extended weighted pushdown systems – Akash Lal, Thomas Reps, Gogul Balakrishnan - 2005
17 WPDS++: A C++ library for weighted pushdown systems – N Kidd, T Reps, D Melski, A Lal - 2005
114 Analyzing Memory Accesses in x86 Executables – Gogul Balakrishnan, Thomas Reps - 2004