Static extraction of program configuration options

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2011, Pages 131-140

  Rabkin, Ariel ^a   Katz, Randy ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

configuration; documentation; experiences; static analysis

Indexed keywords

CONFIGURATION; CONFIGURATION OPTIONS; EXPERIENCES; LINES OF CODE; OPEN SOURCES;

OPEN SYSTEMS; PROGRAM DEBUGGING; PROGRAM DOCUMENTATION; SOFTWARE ENGINEERING;

STATIC ANALYSIS;

EID: 79959900039     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1985793.1985812     Document Type: Conference Paper

References (32)

1. Apache Derby. http://db.apache.org/derby/.
2. HBase. http://hbase.apache.org/.
3. R. P. Buse and W. R. Weimer. Automatic documentation inference for exceptions. In ISSTA, New York, NY, USA, 2008.
4. A. Christensen, A. Møller, and M. Schwartzbach. Precise Analysis of String Expressions. In Symposium on Static Analysis, 2003.
5. A. Diwan, K. S. McKinley, and J. E. B. Moss. Type-based alias analysis. SIGPLAN Notices, 33(5), 1998.
6. K.-G. Doh, H. Kim, and D. A. Schmidt. Abstract parsing: Static analysis of dynamically generated string output using lr-parsing technology. In Symposium on Static Analysis, 2009.
7. J. Dong, Y. Zhao, and T. Peng. Architecture and design pattern discovery techniques-a review. In International Conference on Software Engineering Research and Practice (SERP), 2007.
8. S. Duan, V. Thummala, and S. Babu. Tuning database configuration parameters with iTuned. VLDB, 2009.
9. Hadoop. http://hadoop.apache.org/.
10. R. Hasti and S. Horwitz. Using static single assignment form to improve flow-insensitive pointer analysis. In PLDI, 1998.
11. D. Hettena and R. Cox. A guide to nachos 5.0j. http://inst.eecs.berkeley. edu/~cs162/sp07/Nachos/walk/walk.html.
12. D. Hovemeyer and W. Pugh. Finding bugs is easy. ACM SIGPLAN Notices, 39(12):106, 2004.
13. L. Keller, P. Upadhyaya, and G. Candea. ConfErr: A tool for assessing resilience to human configuration errors. In DSN, 2008.
14. C. Kirkegaard and A. Møller. Static analysis for Java Servlets and JSP. In Symposium on Static Analysis, 2006.
15. C. Kramer and L. Prechelt. Design recovery by automated search for structural design patterns in object-oriented software. In Working Conference on Reverse Engineering, 1996.
16. T. Kremenek, P. Twohey, G. Back, A. Ng, and D. Engler. From uncertainty to belief: inferring the specification within. In OSDI, 2006.
17. A. Lakshman, P. Malik, and K. Ranganathan. Cassandra: A Structured Storage System on a P2P Network. In SIGMOD, 2008.
18. T. Lethbridge, J. Singer, and A. Forward. How software engineers use documentation: The state of the practice. IEEE software, pages 35-39, 2003.
19. M. Levesque. Fundamental issues with open source software development. First Monday:, Special Issue #2: Open Source, October 2005.
20. J. Lim, T. Reps, and B. Liblit. Extracting output formats from executables. In Working Conference on Reverse Engineering, 2006.
21. B. Livshits, J. Whaley, and M. Lam. Reflection analysis for Java. In Third Asian Symposium on Programming Languages and Systems, 2005.
22. M. Michlmayr, F. Hunt, and D. Probert. Quality practices and problems in free software projects. In Proceedings of the First International Conference on Open Source Systems, 2005.
23. M. Naik. JChord. http://jchord.googlecode.com.
24. E. Reisner, C. Song, K. Ma, J. Foster, and A. Porter. Using symbolic evaluation to understand behavior in configurable software systems. In ICSE, 2010.
25. A. Rowstron and P. Druschel. Pastry: Scalable, decentralized object location, and routing for large-scale peer-to-peer systems. In Middleware, 2001.
26. C. Rubio-González and B. Liblit. Expect the unexpected: error code mismatches between documentation and the real world. In PASTE, 2010.
27. J. Sawin and A. Rountev. Improving static resolution of dynamic class loading in java using dynamically gathered environment information. In Automated Software Engineering, 2009.
28. D. Schreck, V. Dallmeier, and T. Zimmermann. How documentation evolves over time. In IWPSE '07: Ninth international workshop on Principles of software evolution, 2007.
29. J. Singer. Practices of software maintenance. In Proceedings of the International Conference on Software Maintenance, 1999.
30. Y.-Y. Su, M. Attariyan, and J. Flinn. Autobash: improving configuration management with operating system causality analysis. In SOSP, 2007.
31. J. Tucek, S. Lu, C. Huang, S. Xanthos, and Y. Zhou. Triage: diagnosing production run failures at the user's site. In SOSP, 2007.
32. R. Wang, X. Wang, K. Zhang, and Z. Li. Towards automatic reverse engineering of software security configurations. In CCS, 2008.