Checking system rules using system-specific, programmer-written compiler extensions (2000)

Cached

Download Links

by Dawson Engler , Benjamin Chelf , Andy Chou
Citations:338 - 19 self

Documents Related by Co-Citation

385 Automatically validating temporal safety properties of interfaces – Thomas Ball, Sriram K. Rajamani - 2001
19 Checking system rules using system-speci c, programmer-written compiler extensions – D Engler, B Chelf, A Chou, S Hallem
400 Automatic predicate abstraction of C programs – Thomas Ball , Rupak Majumdar, Todd Millstein, Sriram K. Rajamani - 2001
362 Enforcing High-Level Protocols in Low-Level Software – Robert DeLine, Manuel Fahndrich - 2001
360 Flow-Sensitive Type Qualifiers – Jeffrey S. Foster, Tachio Terauchi, Alex Aiken - 2002
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
600 Construction of abstract state graphs with PVS – Susanne Graf, Hassen Saidi - 1997
301 Bugs as Deviant Behavior: A General Approach to Inferring Errors in Systems Code – Dawson Engler, David Yu Chen, Seth Hallem, Andy Chou, Benjamin Chelf - 2001
2407 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
339 A First Step towards Automated Detection of Buffer Overrun Vulnerabilities – David Wagner, Jeffrey S. Foster, Eric A. Brewer, Alexander Aiken - 2000
291 Extended static checking – David L. Detlefs, K. Rustan M. Leino, Greg Nelson, James B. Saxe - 1998
1878 Abstract Interpretation: a Unified Lattice Model for Static – P Cousot, R Cousot
209 Typestate: A programming language concept for enhancing software reliability – R E Strom, S Yemini - 1986
160 Boolean and Cartesian Abstraction for Model Checking C Programs – Thomas Ball, Andreas Podelski, Sriram K. Rajamani - 2001
195 A System and Language for Building System-Specific, Static Analyses – Seth Hallem, Benjamin Chelf, Yichen Xie, Dawson Engler - 2002
449 Lazy Abstraction – Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Gregoire Sutre - 2002
51 An extended static checker for Modula-3 – K R M Leino, G Nelson - 1998
154 Static Detection of Dynamic Memory Errors – David Evans - 1996
544 Dynamically discovering likely program invariants to support program evolution – Michael D. Ernst, Jake Cockrelit, William G. Griswoldt, David Notkint - 2001