Detecting and escaping infinite loops with jolt

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6813 LNCS, Issue , 2011, Pages 609-633

  Carbin, Michael ^a   Misailovic, Sasa ^a   Kling, Michael ^a   Rinard, Martin C ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BENCHMARK APPLICATIONS; LOOP ITERATION; LOST WORK; POTENTIAL PROBLEMS; PROGRAM STATE; TRANSFER CONTROL;

OBJECT ORIENTED PROGRAMMING; RATING;

BENCHMARKING;

EID: 79961148273     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-22655-7_28     Document Type: Conference Paper

References (38)

1. Exuberant ctags, http://ctags.sourceforge.net
2. GNU grep, http://www.gnu.org/software/grep
3. GNU indent, http://www.gnu.org/software/indent
4. GNU sed, http://www.gnu.org/software/sed
5. GStreamer, http://www.gstreamer.net
6. numpy, http://numpy. scipy. org
7. scipy,http://www.scipy.org
8. Bradley, A.R., Manna, Z., Sipma, H.B.: Termination ofpolynomial programs. In: International Conference on Verification, Model Checking, and Abstract Interpre-tation (2005)
9. Burnim, J., Jalbert, N., Stergiou, C., Sen, K.: Looper: Lightweight detection of infinite loops at runtime. In: International Conference on Automated Software Engineering (2009)
10. Coĺon, M.A., Sipma, H.B.: Practical methods for proving program termination. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol. 2404, pp. 442-454. Springer, Heidelberg (2002)
11. Cook, B., Podelski, A., Rybalchenko, A.: Terminator: beyond safety. In: Ball, T., Jones, R.B. (eds.) CAV 2006. LNCS, vol. 4144, pp. 415-418. Springer, Heidelberg (2006) (Pubitemid 44560894)
12. Dallmeier, V., Zeller, A., Meyer, B.: Generating fixes from object behavior anoma-lies. In: International Conference on Automated Software Engineering (2009)
13. Demsky, B., Rinard, M.: Data structure repair using goal-directed reasoning. In: International Conference on Software Engineering (2005)
14. Gupta, A., Henzinger, T.A., Majumdar, R., Rybalchenko, A., Xu, R.G.: Proving non-termination. In: Symposium on Principles of Programming Languages (2008)
15. Hayashizaki, H., Wu, P., Inoue, H., Serrano, M., Nakatani, T.: Improving the per-formance of trace-based systems by false loop filtering. In: International Confer-ence on Architectural Support for Programming Languages and Operating Systems (2011)
16. Lattner, C., Adve, V.: LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation. In: International Symposium on Code Generation and Optimization (2004)
17. Li, Z., Tan, L., Wang, X., Lu, S., Zhou, Y., Zhai, C.: Have things changed now? an empirical study of bug characteristics in modern open source software. In: Work-shop on Architectural and System Support for Improving Software Dependability (2006)
18. Luk, C., Cohn, R., Muth, R., Patil, H., Klauser, A., Lowney, G., Wallace, S., Reddi, V., Hazelwood, K.: Pin: Building customized program analysis tools with dynamic instrumentation. In: Conference on Programming Language Design and Implementation (2005)
19. Metz, C.: Mozilla girds firefox with hang detector (June 2010), http://www. theregister.co.uk/2010/06/10/firefox-hang-detector/
20. Miller, B., Koski, D., Lee, C., Maganty, V., Murthy, R., Natarajan, A., Steidl, J.: Fuzz revisited: A re-examination of the reliability of Unix utilities and services. TR #1268, Computer Sciences Department, University of Wisconsin (1995)
21. Muchnick, S.: Advanced Compiler Design and Implementation (1997)
22. Nagarajan, V., Jeffrey, D., Gupta, R.: Self-recovery in server programs. In: Inter-national Symposium on Memory Management (2009)
23. Nethercote, N., Seward, J.: Valgrind A Program Supervision Framework. Electronic Notes in Theoretical Computer Science 89(2), 44-66 (2003)
24. Nguyen, H.H., Rinard, M.: Detecting and eliminating memory leaks using cyclic memory allocation. In: International Symposium on Memory Management (2007)
25. Palix, N., Thomas, G., Saha, S., Calv̀es, C., Lawall, J., Muller, G.: Faults in Linux: Ten years later. In: International Conference on Architectural Support for Pro-gramming Languages and Operating Systems (2011)
26. Perkins, J., Kim, S., Larsen, S., Amarasinghe, S., Bachrach, J., Carbin, M., Pacheco, C., Sherwood, F., Sidiroglou, S., Sullivan, G., Wong, W., Zibin, Y., Ernst, M., Rinard, M.: Automatically patching errors in deployed software. In: Sympo-sium on Operating Systems Principles (2009)
27. Qin, F., Tucek, J., Sundaresan, J., Zhou, Y.: Rx: treating bugs as allergies\-a safe method to survive software failures. In: Symposium on Operating Systems Principles (2005)
28. Rinard, M., Cadar, C., Dumitran, D., Roy, D.M., Leu, T., Beebee Jr., W.S.: En-hancing server availability and security through failure-oblivious computing. In: Symposium on Operating Systems Design and Implementation (2004)
29. Schulte, E., Forrest, S., Weimer, W.: Automated program repair through the evo-lution of assembly code. In: International Conference on Automated Software En-gineering (2010)
30. Sidiroglou, S., Laadan, O., Perez, C., Viennot, N., Nieh, J., Keromytis, A.: Assure: automatic software self-healing using rescue points. In: International Conference on Architectural Support for Programming Languages and Operating Systems (2009)
31. Sidiroglou, S., Locasto, M., Boyd, S., Keromytis, A.: Building a reactive immune system for software services. In: USENIX Annual Technical Conference (2005)
32. Song, X., Chen, H., Zang, B.: Why software hangs and what can be done with it. In: International Conference on Dependable Systems and Networks (2010)
33. Spoto, F., Mesnard, F., Payet, E.: A termination analyzer for java bytecode based on path-length. Transactions on Programming Languages and Systems 32, 1-70 (2010)
34. Theiling, H.: Extracting safe and precise control flow from binaries. In: Interna-tional Conference on Real-Time Systems and Applications (2000)
35. Velroyen, H., Rümmer, P.: Non-termination checking for imperative programs. In: International Conference on Tests and Proofs (2008)
36. Wei, Y., Pei, Y., Furia, C., Silva, L., Buchholz, S., Meyer, B., Zeller, A.: Automated fixing of programs with contracts. In: International Symposium on Software Testing and Analysis (2010)
37. Weimer, W., Nguyen, T.V., Le Goues, C., Forrest, S.: Automatically finding patches using genetic programming. In: International Conference on Software En-gineering (2009)
38. Xiong, W., Park, S., Zhang, J., Zhou, Y., Ma, Z.: Ad hoc synchronization consid-ered harmful. In: Symposium on Operating Systems Design and Implementation (2010)