The SLAM project: debugging system software via static analysis

by Thomas Ball , Sriram K. Rajamani
Venue:SIGPLAN Not
Citations:369 - 12 self

Documents Related by Co-Citation

445 Lazy Abstraction – Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Gregoire Sutre - 2002
249 ESP: Path-Sensitive Program Verification in Polynomial Time – Manuvir Das, Sorin Lerner, Mark Seigle - 2002
597 Construction of abstract state graphs with PVS – Susanne Graf, Hassen Saidi - 1997
393 Automatic predicate abstraction of C programs – Thomas Ball , Rupak Majumdar, Todd Millstein, Sriram K. Rajamani - 2001
564 Bandera: Extracting Finite-state Models from Java Source Code – James C. Corbett, Matthew B. Dwyer, John Hatcliff, Shawn Laubach, Corina S. Pasareanu, Hongjun Zheng - 2000
356 Flow-Sensitive Type Qualifiers – Jeffrey S. Foster, Tachio Terauchi, Alex Aiken - 2002
338 Checking system rules using system-specific, programmer-written compiler extensions – Dawson Engler, Benjamin Chelf, Andy Chou - 2000
360 Enforcing High-Level Protocols in Low-Level Software – Robert DeLine, Manuel Fahndrich - 2001
369 Interprocedural Dataflow Analysis via Graph Reachability – Thomas Reps, Mooly Sagiv, Susan Horwitz - 1994
210 Abstractions from Proofs – Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Kenneth L. McMillan - 2004
203 Modular verification of software components in C – Sagar Chaki, Edmund Clarke, Alex Groce, et al. - 2003
265 A static analyzer for finding dynamic programming errors – W Bush, J Pincus, D Sielaff
384 Automatically validating temporal safety properties of interfaces – Thomas Ball, Sriram K. Rajamani - 2001
302 Two approaches to interprocedural data flow analysis – M Sharir, A Pnueli - 1981
518 Extended Static Checking for Java – Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata - 2002
195 A System and Language for Building System-Specific, Static Analyses – Seth Hallem, Benjamin Chelf, Yichen Xie, Dawson Engler - 2002
44 Setuid demystified – Hao Chen, David Wagner, Drew Dean - 2002
44 Logic Verification of ANSI-C code with SPIN – Gerard J. Holzmann - 2000
149 Using Programmer-Written Compiler Extensions to Catch Security Holes – Ken Ashcraft, et al.