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:63 - 2 self

Documents Related by Co-Citation

315 Checking system rules using system-specific, programmer-written compiler extensions – Dawson Engler, Benjamin Chelf, Andy Chou - 2000
224 ESP: Path-Sensitive Program Verification in Polynomial Time – Manuvir Das, Sorin Lerner, Mark Seigle - 2002
119 Checking for Race Conditions in File Accesses – Matt Bishop, Michael Dilger - 1996
178 MOPS: an Infrastructure for Examining Security Properties of Software – Hao Chen, David Wagner - 2002
314 A First Step towards Automated Detection of Buffer Overrun Vulnerabilities – David Wagner, Jeffrey S. Foster, Eric A. Brewer, Alexander Aiken - 2000
182 Detecting Format String Vulnerabilities with Type – Qualifiers Umesh Shankar, Umesh Shankar, Kunal Talwar, Jeffrey S. Foster, David Wagner - 2001
242 A static analyzer for finding dynamic programming errors. Software—Practice and Experience – W R Bush, J D Pincus, D J Sielaff - 2000
378 Lazy Abstraction – Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Gregoire Sutre - 2002
232 Mining Specifications – Glenn Ammons, Rastislav Bodik, James R. Larus - 2002
286 CCured: Type-Safe Retrofitting of Legacy Code – George C. Necula, Scott McPeak, Westley Weimer - 2002
348 Automatically validating temporal safety properties of interfaces – Thomas Ball, Sriram K. Rajamani - 2001
147 Cmc: A pragmatic approach to model checking real code – Madanlal Musuvathi, David Y. W. Park, Andy Chou, Dawson R. Engler, David L. Dill - 2002
139 Using Programmer-Written Compiler Extensions to Catch Security Holes – Ken Ashcraft, et al.
101 Using Model Checking to Find Serious File System Errors – Junfeng Yang, Paul Twohey, Dawson Engler - 2004
16 Dynamic detection and prevention of race conditions in file accesses – Eugene Tsyrklevich, Bennet Yee - 2003
15 WPDS++: A C++ library for weighted pushdown systems – N Kidd, T Reps, D Melski, A Lal - 2004
39 Analysis of modular arithmetic – Markus Müller-Olm, Helmut Seidl - 2005
27 Extended weighted pushdown systems – Akash Lal, Thomas Reps, Gogul Balakrishnan - 2005
90 Analyzing Memory Accesses in x86 Executables – Gogul Balakrishnan, Thomas Reps - 2004