Expect the unexpected: Error code mismatches between documentation and the real world

ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering

Volumn , Issue , 2010, Pages 73-80

  Rubio González, Cindy ^a   Liblit, Ben ^a  

^a UNIVERSITY OF WISCONSIN MADISON   (United States)

Author keywords

interprocedural dataflow analysis; manual pages; static program analysis; weighted pushdown systems

Indexed keywords

ACTUAL ERROR; ANALYSIS RESULTS; ERROR CODES; FILE SYSTEMS; INTERPROCEDURAL DATAFLOW ANALYSIS; MEMORY CONSUMPTION; RELATED SYSTEMS; RUNTIMES; STATIC PROGRAM ANALYSIS; SYSTEM CALLS; WEIGHTED PUSHDOWN SYSTEMS;

COMPUTER OPERATING SYSTEMS; EMBEDDED SYSTEMS;

DATA FLOW ANALYSIS;

EID: 77954699809     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1806672.1806687     Document Type: Conference Paper

References (23)

1. E. Berglund and M. Priestley. Open-source documentation: in search of user-driven, just-in-time writing. In SIGDOC, pages 132-141, 2001.
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. R. P. L. Buse and W. Weimer. Automatic documentation inference for exceptions. In B. G. Ryder and A. Zeller, editors, ISSTA, pages 273-282. ACM, 2008.
4. L. H. Etzkorn, W. E. H. Jr., and C. G. Davis. Automated reusability quality analysis of oo legacy software. Information & Software Technology, 43(5):295-308, 2001. (Pubitemid 32272188)
5. C. Kaner. Liability for defective documentation. In S. B. Jones and D. G. Novick, editors, SIGDOC, pages 192-197. ACM, 2003.
6. N. Kidd, T. Reps, and A. Lal. WALi: A C++ library for weighted pushdown systems. http://www.cs.wisc.edu/wpis/wpds/, 2009.
7. 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.
8. 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.
9. T. Lethbridge, J. Singer, and A. Forward. How software engineers use documentation: The state of the practice. IEEE Software, 20(6):35-39, 2003.
10. J. Lind-Nielsen. BuDDy - A Binary Decision Diagram Package. http://sourceforge.net/projects/buddy, 2004.
11. S. N. I. Mount, R. M. Newman, R. J. Low, and A. Mycroft. Exstatic: a generic static checker applied to documentation systems. In S. R. Tilley and S. Huang, editors, SIGDOC, pages 52-57. ACM, 2004.
12. 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.
13. 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.
14. G. Robles, J. M. González Barahona, and J. L. Prieto Martínez. Assessing and evaluating documentation in libre software projects. In T. Wasserman and M. Pal, editors, Workshop on Evaluation Frameworks for Open Source Software (EFOSS), Como, Italy, June 2006. International Federation for Information Processing.
15. C. Rubio-González, H. S. Gunawi, B. Liblit, R. H. Arpaci-Dusseau, and A. C. Arpaci-Dusseau. Error Propagation Analysis for File Systems. In Proceedings of the ACM SIGPLAN 2009 Conference on Programming Language Design and Implementation, Dublin, Ireland, June 15-20 2009.
16. 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.
17. C. Schönberg, F. Weitl, M. Jaksic, and B. Freitag. Logic-based verification of technical documentation. In U. M. Borghoff and B. Chidlovskii, editors, ACM Symposium on Document Engineering, pages 251-252. ACM, 2009.
18. D. Schreck, V. Dallmeier, and T. Zimmermann. How documentation evolves over time. In M. D. Penta and M. Lanza, editors, IWPSE, pages 4-10. ACM, 2007.
19. J. Singer. Practices of software maintenance. In ICSM, pages 139-145, 1998.
20. L. Tan, D. Yuan, G. Krishna, and Y. Zhou. /*icomment: bugs or bad comments?*/. In T. C. Bressoud and M. F. Kaashoek, editors, SOSP, pages 145-158. ACM, 2007.
21. G. Venolia. Textual allusions to artifacts in software-related repositories. In S. Diehl, H. Gall, and A. E. Hassan, editors, MSR, pages 151-154. ACM, 2006.
22. M. N. Wegman and F. K. Zadeck. Constant propagation with conditional branches. In POPL, pages 291-299, 1985.
23. Y. Xie and D. R. Engler. Using redundancies to find errors. IEEE Trans. Software Eng., 29(10):915-928, 2003.