Automating configuration troubleshooting with dynamic information flow analysis

Proceedings of the 9th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2010

Volumn , Issue , 2019, Pages 237-250

  Attariyan, Mona ^a   Flinn, Jason ^a  

^a UNIVERSITY OF MICHIGAN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; SYSTEMS ANALYSIS;

APPLICATION BINARIES; CAUSAL DEPENDENCIES; CONFIGURATION ERRORS; CONFIGURATION FILES; DYNAMIC INFORMATION FLOW ANALYSIS; MISCONFIGURATIONS; MOST LIKELY; TROUBLESHOOTS;

ERRORS;

EID: 85076932459     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (48)

1. H. Agrawal and J. R. Horgan. Dynamic program slicing. In ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 246-256, 1990.
2. M. K. Aguilera, J. C. Mogul, J. L. wiener, P. Reynolds, and A. Muthitacharoen. Performance debugging for distributed systems of black boxes. In Proceedings of the 19th ACM Symposium on Operating Systems Principles, pages 74-89, Bolton Landing, NY, October 2003.
3. G. Altekar and I. Stoica. ODR: Output-deterministic replay for multicore debugging. In Proceedings of the 22nd ACM Symposium on Operating Systems Principles, pages 193-206, October 2009.
4. M. Attariyan and J. Flinn. Using causality to diagnose configuration bugs. In Proceedings of the USENIX Annual Technical Conference, pages 171-177, Boston, MA, June 2008.
5. P. Barham, A. Donnelly, R. Isaacs, and R. Mortier. Using Magpie for request extraction and workload modelling. In Proceedings of the 6th Symposium on Operating Systems Design and Implementation, pages 259-272, San Francisco, CA, December 2004.
6. P. Barham, R. Isaacs, R. Mortier, and D. Narayanan. Magpie: Online modelling and performance-aware systems. In Proceedings of the 9th Workshop on Hot Topics in Operating Systems, Lihue, HI, May 2003.
7. A. B. Brown and D. A. Patterson. To err is human. In DSN Workshop on Evaluating and Architecting System Dependability, Goteborg, Sweden, July 2001.
8. A. B. Brown and D. A. Patterson. Undo for operators: Building an undoable e-mail store. In Proceedings of the 2003 USENIX Technical Conference, San Antonio, TX, June 2003.
9. C. Cadar, D. Dunbar, and D. Engler. KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs. In Usenix Symposium on Operating System Design and Implementation (OSDI), pages 209-224, December 2008.
10. M. Castro and B. Liskov. Proactive recovery in a Byzantine-fault-tolerant system. In Proceedings of the 4th Symposium on Operating Systems Design and Implementation, San Diego, CA, October 2000.
11. A. Chanda, K. Elmeleegy, A. L. Cox, and W. Zwaenepoel. Causeway: Operating system support for controlling and analyzing the execution of distributed programs. In Proceedings of the 10th Workshop on Hot Topics in Operating Systems (HotOS-X), Santa Fe, NM, June 2005.
12. M. Y. Chen, A. Accardi, E. Kiciman, J. Lloyd, D. Patterson, A. Fox, and E. Brewer. Path-based failure and evolution management. In Proceedings of the 1st Symposium on Networked Systems Design and Implementation (NSDI), San Francisco, CA, March 2004.
13. M. Y. Chen, E. Kiciman, E. Fratkin, A. Fox, and E. Brewer. Pinpoint: Problem, determination in large, dynamic Internet services. In Proceedings of the International Conference on Dependable Systems and Networks (DSN), pages 595-604, Bethesda, MD, June 2002.
14. J. Clause, W. Li, and A. Orso. Dytan: A generic dynamic taint analysis framework. In In Proceedings of the International Symposium on Software Testing and Analysis, pages 196-206, July 2007.
15. I. Cohen, M. Goldszmidt, T. Kelly, J. Symons, and J. Chase. Correlating instrumentation data to system states: A building block for automated diagnosis and control. In Proceedings of the 6th Symposium on Operating Systems Design and Implementation, pages 231-244, San Francisco, CA, December 2004.
16. Computing Research Association. Final report of the CRA conference on grand research challenges in information systems. Technical report, September 2003.
17. L. P. Cox and P. Gilbert. RedFlag: Reducing inadvertant leaks by personal machines. Technical Report MSR-TR-2009-02, Duke University, 2009.
18. G. W. Dunlap, S. T. King, S. Cinar, M. A. Basrai, and P. M. Chen. ReVirt: Enabling intrusion analysis through virtual-machine logging and replay. In Proceedings of the 5th Symposium on Operating Systems Design and Implementation, pages 211-224, Boston, MA, December 2002.
19. P. Efstathopoulos, M. Krohn, S. VanDeBogart, C. Frey, D. Ziegler, E. Kohler, D. Mazieres, F. Kaashoek, and R. Morris. Labels and event processes in the Asbestos operating system. In Proceedings of the 20th ACM Symposium on Operating Systems Principles, Brighton, United Kingdom, October 2005.
20. J. Gray. Why do computer stop and what can be done about it? Technical Report 85.7, Tandem Corp., June 1985.
21. J. Ha, C. J. Rossbach, J. V. Davis, I. Roy, H. E. Ramadan, D. E. Porter, D. L. Chen, and E. Witchel. Improved error reporting for software that uses black-box components. In Proceedings of the Conference on Programming Language Design and Implementation 2007, pages 101-111, San Diego, CA, 2007.
22. IDA Pro disassembler. http://www.hex-rays.com/idapro.
23. F. Junqueira, Y. J. Song, and B. Reed. BFT for the skeptics. In ACM Symposium on Operating Systems Principles: Work in Progress Session, October 2009.
24. A. Kapoor. Web-to-host: Reducing total cost of ownership. Technical Report 200503, The Tolly Group, May 2000.
25. L. Keller, P. Upadhyaya, and G. Candea. ConfErr: A tool for assessing resilience to human configuration errors. In Proceedings of the International Conference on Dependable Systems and Networks (DSN), pages 157-166, Anchorage, AK, June 2008.
26. S. T. King and P. M. Chen. Backtracking intrusions. In Proceedings of the 19th ACM Symposium on Operating Systems Principles, pages 223-236, Bolton Landing, NY, October 2003.
27. D. Lee, B. Wester, K. Veeraraghavan, P. M. Chen, J. Flinn, and S. Narayanasamy. Respec: Efficient online multiprocessor replay via speculation and external determinism. In Proceedings of the 15th International Conference on Architectural Support for Programming Languages and Operating Systems, pages 77-89, Pittsburgh, PA, March 2010.
28. http://www.linuxforums.org/forum/servers/125833-solvedapache-wont-follow-symlinks.html.
29. C.-K. Luk, R. Cohn, R. Muth, H. Patil, A. Klauser, G. Lowney, S. Wallace, V. J. Reddi, and K. Hazelwood. Pin: Building customized program analysis tools with dynamic instrumentation. In Programming Language Design and Implementation, pages 190-200, Chicago, IL, June 2005.
30. R. E. Lyons and W. Vanderkulk. The use of triple-modular redundancy to improve computer reliability. IBM Journal of Research and Development, 6(2):200-209, 1962.
31. B. Murphy and T. Gent. Measuring system and software reliability using an automated data collection process. Quality and Reliability Engineering International, 11(5), 1995.
32. A. C. Myers. JFlow: Practical mostly-static information flow control. In Proceedings of the Annual Symposium on Principles of Programming Languages, pages 228-241, San Antonio, TX, January 1999.
33. K. Nagaraja, F. Oliveria, R. Bianchini, R. P. Martin, and T. Nguyen. Understanding and dealing with operator mistakes in Internet services. In Proceedings of the 6th Symposium on Operating Systems Design and Implementation, pages 61-76, San Francisco, CA, December 2004.
34. J. Newsome and D. Song. Dynamic taint analysis: Automatic detection, analysis, and signature generation of exploit attacks on commodity software. In In Proceedings of the 12th Network and Distributed Systems Security Symposium, February 2005.
35. D. Oppenheimer, A. Ganapathi, and D. A. Patterson. Why do Internet services fail, and what can be done about it? In Proceedings of the 4th USENIX Symposium on Internet Technologies and Systems (USITS), March 2003.
36. S. Park, Y. Zhou, W. Xiong, Z. Yin, R. Kaushik, K. H. Lee, and S. Lu. PRES: Probabilistic replay with execution sketching on multiprocessors. In Proceedings of the 22nd ACM Symposium on Operating Systems Principles, pages 177-191, October 2009.
37. Y.-Y. Su, M. Attariyan, and J. Flinn. AutoBash: Improving configuration management with operating system causality analysis. In Proceedings of the 21st ACM Symposium on Operating Systems Principles, pages 237-250, Stevenson, WA, October 2007.
38. H. J. Wang, J. C. Platt, Y. Chen, R. Zhang, and Y.-M. Wang. Automatic misconfiguration troubleshooting with PeerPressure. In Proceedings of the 6th Symposium on Operating Systems Design and Implementation, pages 245-257, San Francisco, CA, December 2004.
39. Y.-M. Wang, C. Verbowski, J. Dunagan, Y. Chen, H. J. Wang, C. Yuan, and Z. Zhang. STRIDER: A black-box, state-based approach to change and configuration management and support. In Proceedings of the USENIX Large Installation Systems Administration Conference, pages 159-172, October 2003.
40. A. Whitaker, R. S. Cox, and S. D. Gribble. Configuration debugging as search: Finding the needle in the haystack. In Proceedings of the 6th Symposium on Operating Systems Design and Implementation, pages 77-90, San Francisco, CA, December 2004.
41. J. Yang, C. Sar, and D. Engler. eXplode: a lightweight, general system for finding serious storage system errors. In Proceedings of the 7th Symposium on Operating Systems Design and Implementation, pages 131-146, Seattle, WA, November 2006.
42. A. Yip, X. Wang, N. Zeldovich, and M. F. Kaashoek. Improving application security with data flow assertions. In Proceedings of the 22nd ACM Symposium on Operating Systems Principles, pages 291-304, October 2009.
43. D. Yuan, H. Mai, W. Xiong, L. Tan, Y. Zhou, and S. Pasupathy. SherLog: Error diagnosis by connecting clues from run-time logs. In Proceedings of the Fifteenth International Conference on Architectural Support for Programming Languages and Operating Systems, pages 143-154, Pittsburgh, PA, March 2010.
44. C. Zamfir and G. Candea. Execution Synthesis: A Technique for Automated Software Debugging. In Proceedings of the 2010 European Conference on Computer Systems (EuroSys), pages 321-334, April 2010.
45. S. Zdancewic, L. Zheng, N. Nystrom, and A. C. Myers. Untrusted hosts and confidentiality: Secure program partitioning. In Proceedings of the 18th ACM Symposium on Operating Systems Principles, pages 1-14, Banff, Canada, October 2001.
46. N. Zeldovich, S. Boyd-Wickizer, E. Kohler, and D. Mazieres. Making information flow explicit in HiStar. In Proceedings of the 7th Symposium on Operating Systems Design and Implementation, pages 263-278, Seattle, WA, November 2006.
47. X. Zhang, N. Gupta, and R. Gupta. Pruning dynamic slices with confidence. In Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, pages 169-180, June 2006.
48. X. Zhang, S. Tallam, N. Gupta, and R. Gupta. Towards locating execution omission errors. In Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, pages 415-424, June 2007.