Error propagation analysis for file systems

ACM SIGPLAN Notices

Volumn 44, Issue 6, 2009, Pages 270-280

  Rubio González, Cindy ^a   Gunawi, Haryadi S ^a   Liblit, Ben ^a   Arpaci Dusseau, Remzi H ^a   Arpaci Dusseau, Andrea C ^a  

^a University of Wisconsin   (United States)

Author keywords

Binary decision diagrams; Copy constant propagation; Interprocedural dataflow analysis; Static program analysis; Weighted pushdown systems

Indexed keywords

BINARY DECISION DIAGRAMS; CODES (SYMBOLS); COMPUTER OPERATING SYSTEMS; DATA FLOW ANALYSIS; ERRORS; PROGRAM DEBUGGING; STATIC ANALYSIS;

CONSTANT PROPAGATION; CONTEXT SENSITIVE; ERROR PROPAGATION; ERROR PROPAGATION ANALYSIS; INTERPROCEDURAL DATAFLOW ANALYSIS; LINUX FILE SYSTEM; STATIC PROGRAM ANALYSIS; WEIGHTED PUSHDOWN SYSTEMS;

INFORMATION MANAGEMENT;

EID: 67650821897     PISSN: 15232867     EISSN: None     Source Type: Journal    
DOI: 10.1145/1543135.1542506     Document Type: Conference Paper

References (32)

1. M. W. Bigrigg and J. J. Vos. The set-check-use methodology for detecting error propagation failures in I/O routines. In Workshop on Dependability Benchmarking, Washington, DC., June 2002.
2. R. E. Bryant. Binary decision diagrams and beyond: enabling technologies for formal verification. In R. L. Rudell, editor, ICCAD, pages 236-243. IEEE Computer Society, 1995.
3. D. Callahan. The program summary graph and flow-sensitive interpro-cedural data flow analysis. In PLDI, pages 47-56, 1988.
4. G. Candea, M. Delgado, M. Chen, and A. Fox. Automatic failure-path inference: A generic introspection technique for Internet applications. In Proceedings of the The Third IEEE Workshop on Internet Applications (WIAPP '03), pages 132-141, San Jose, California, June 2003. IEEE.
5. A. Dilger. Error propagation bugs in ext4. Personal communication, Nov. 2008.
6. D. Evans. LCLint User's Guide. University of Virginia, May 2000.
7. C. A. Flanagan and M. Burrows. System and method for dynamically detecting unchecked error condition values in computer programs. United States Patent #6,378,081 B1, Apr. 2002.
8. J. B. Goodenough. Structured exception handling. In POPL, pages 204-224, 1975.
9. T. Goradia. Dynamic impact analysis: A cost-effective technique to enforce error-propagation. In ISSTA, pages 171-181, 1993.
10. A. D. Groce. Problem solved. Personal communication, Jan. 2009.
11. H. S. Gunawi, C. Rubio-González, A. C. Arpaci-Dusseau, R. H. Arpaci-Dusseau, and B. Liblit. EIO: Error handling is occasionally correct. In 6th USENIX Conference on File and Storage Technologies (FAST '08), San Jose, California, Feb. 2008.
12. P. J. Guo, J. H. Perkins, S. McCamant, and M. D. Ernst. Dynamic inference of abstract types. In L. L. Pollock and M. Pezzè, editors, ISSTA, pages 255-265. ACM, 2006.
13. M. Hiller, A. Jhumka, and N. Suri. An approach for analysing the propagation of data errors in software. In DSN, pages 161-172. IEEE Computer Society, 2001.
14. M. Hiller, A. Jhumka, and N. Suri. Propane: an environment for examining the propagation of errors in software. In ISSTA, pages 81-85, 2002.
15. M. Hiller, A. Jhumka, and N. Suri. Epic: Profiling the propagation and effect of data errors in software. IEEE Trans. Computers, 53(5): 512-530, 2004.
16. A. Jhumka, M. Hiller, and N. Suri. Assessing inter-modular error propagation in distributed software. In SRDS, pages 152-161. IEEE Computer Society, 2001.
17. A. Johansson and N. Suri. Error propagation profiling of operating systems. In DSN, pages 86-95. IEEE Computer Society, 2005.
18. N. Kidd, T. Reps, and A. Lal. WALi: A C++ library for weighted pushdown systems. http://www.cs.wisc.edu/wpis/wpds/ download.php, 2008.
19. A. Lal, T. W. Reps, and G. Balakrishnan. Extended weighted pushdown systems. In K. Etessami and S. K. Rajamani, editors, CAV, volume 3576 of Lecture Notes in Computer Science, pages 434-448. Springer, 2005.
20. A. Lal, N. Kidd, T. W. Reps, and T. Touili. Abstract error projection. In H. R. Nielson and G. Filé, editors, SAS, volume 4634 of Lecture Notes in Computer Science, pages 200-217. Springer, 2007.
21. A. Lal, T. Touili, N. Kidd, and T. Reps. Interprocedural analysis of concurrent programs under a context bound. Technical Report 1598, University of Wisconsin-Madison, July 2007.
22. J. Lind-Nielsen. BuDDy - A Binary Decision Diagram Package. http://sourceforge.net/projects/buddy, 2004.
23. B. Liskov. A history of CLU. In HOPL Preprints, pages 133-147, 1993.
24. G. C. Necula, S. McPeak, S. P. Rahul, and W. Weimer. CIL: Intermediate language and tools for analysis and transformation of C programs. In R. N. Horspool, editor, CC, volume 2304 of Lecture Notes in Computer Science, pages 213-228. Springer, 2002.
25. T. W. Reps, S. Schwoon, S. Jha, and D. Melski. Weighted pushdown systems and their application to interprocedural dataflow analysis. Sci. Comput. Program., 58(1-2):206-263, 2005.
26. P. Sacramento, B. Cabral, and P. Marques. Unchecked exceptions: Can the programmer be trusted to document exceptions? In Second International Conference on Innovative Views of .NET Technologies, Florianópolis, Brazil, Oct. 2006. Microsoft.
27. S. Schwoon. Model-Checking Pushdown Systems. PhD thesis, Technical Univ. of Munich, Munich, Germany, July 2002.
28. K. G. Shin and T.-H. Lin. Modeling and measurement of error propagation in a multimodule computing system. IEEE Trans. Computers, 37(9):1053-1066, 1988.
29. Sun Microsystems, Inc. Unchecked exceptions - the controversy. http://java.sun.com/docs/books/tutorial/ essential/exceptions/runtime.html, Aug. 2007.
30. M. van Dooren and E. Steegmans. Combining the robustness of checked exceptions with the flexibility of unchecked exceptions using anchored exception declarations. In R. Johnson and R. P. Gabriel, editors, OOPSLA, pages 455-471. ACM, 2005.
31. M. N. Wegman and F. K. Zadeck. Constant propagation with conditional branches. In POPL, pages 291-299, 1985.
32. J. Yang, P. Twohey, D. R. Engler, and M. Musuvathi. Using model checking to find serious file system errors. ACM Trans. Comput. Syst., 24(4):393-423, 2006.