Path projection for user-centered static analysis tools

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

Volumn , Issue , 2008, Pages 57-63

  Khoo, Yit Phang ^a   Foster, Jeffrey S ^a   Hicks, Michael ^a   Sazawal, Vibha ^a  

^a UNIVERSITY OF MARYLAND   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DATA RACE DETECTION; DEFECT DETECTION; INDUSTRIAL COMMUNITIES; STATIC-ANALYSIS ALGORITHM; USER INTERFACE TOOLKIT; USER STUDY; USER-CENTERED;

COMPUTER SOFTWARE; ERROR DETECTION; INDUSTRIAL RESEARCH; INSPECTION EQUIPMENT; STATIC ANALYSIS; TECHNICAL PRESENTATIONS;

USER INTERFACES;

EID: 77950582722     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1512475.1512488     Document Type: Conference Paper

References (31)

1. P. Anderson, T. Reps, T. Teitelbaum, and M. Zarins. Tool support for fine-grained software inspection. IEEE Software, 20(4):42-50, July/August 2003.
2. J. Anvik, L. Hiew, and G. C. Murphy. Who should fix this bug? In ICSE '06, pages 361-370, 2006.
3. T. Ball and S. K. Rajamani. The SLAM Project: Debugging System Software via Static Analysis. In Proceedings of the 29th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 1-3, Portland, Oregon, Jan. 2002.
4. M. Beaven and R. Stansifer. Explaining type errors in polymorphic languages. ACM Lett. Program. Lang. Syst., 2(1-4):17-30, 1993.
5. D. Beyer, A. J. Chlipala, T. A. Henzinger, R. Jhala, and R. Majumdar. The Blast query language for software verification. In R. Giacobazzi, editor, Static Analysis, 11th International Symposium, volume 3148 of Lecture Notes in Computer Science, pages 2-18, Verona, Italy, Aug. 2004. Springer-Verlag.
6. Coverity, Inc. Coverity Prevent SQS, 2007. http://www.coverity.com/html/ prod-prevent.html.
7. R. F. Crew. ASTLOG: A Language for Examining Abstract Syntax Trees. In Proceedings of the Conference on Domain-Specific Languages, Santa Barbara, California, Oct. 1997.
8. D. Cubranic and G. C. Murphy. Automatic bug triage using text categorization. In SEKE'04, pages 92-97, 2004.
9. M. D'Ambros, M. Lanza, and M. Pinzger. "A Bug's Life" Visualizing a Bug Database. VISSOFT '07, pages 113-120, 24-25 June 2007.
10. D. Duggan and F. Bent. Explaining type inference. Science of Computer Programming, 27(1):37-83, 1996.
11. C. Flanagan, M. Flatt, S. Krishnamurthi, S. Weirich, and M. Felleisen. Catching Bugs in the Web of Program Invariants. In PLDI '96, pages 23-32, 1996.
12. Fortify Software Inc. Fortify Source Code Analysis, 2007. http://www.fortifysoftware.com/products/sca/.
13. G. W. Furnas. Generalized Fisheye Views. In Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, pages 16-23, Boston, Massachusetts, Apr. 1986.
14. GrammaTech, Inc. CodeSonar, 2007. http://www.grammatech.com/products/ codesonar/overview.html.
15. D. Greenfieldboyce and J. S. Foster. Visualizing Type Qualifier Inference with Eclipse. In Workshop on Eclipse Technology eXchange, Vancouver, British Columbia, Canada, Oct. 2004.
16. C. Haack and J. B. Wells. Type error slicing in implicitly typed higher-order languages. Sci. Comput. Program., 50(1-3):189-224, 2004.
17. S. Hallem, B. Chelf, Y. Xie, and D. Engler. A System and Language for Building System - Specific, Static Analyses. In PLDI '02, pages 69-82, 2002.
18. Y. P. Khoo, J. S. Foster, M. Hicks, and V. Sazawal. Path Projection for User-Centered Static Analysis Tools. Technical Report CS-TR-4919, Department of Computer Science, University of Maryland, College Park, Aug. 2008.
19. Klocwork Inc. Klocwork Enterprise Development Suite, 2007. http://www.klocwork.com.
20. T. Kremenek, K. Ashcraft, J. Yang, and D. Engler. Correlation exploitation in error ranking. In FSE '04, pages 83-93, 2004.
21. J. R. Larus, T. Ball, M. Das, R. DeLine, M. Fahndrich, J. Pincus, S. K. Rajamani, and R. Venkatapathy. Righting Software. IEEE Software, 21(3):92-100, May/June 2004.
22. M. Neubauer and P. Thiemann. Discriminative sum types locate the source of type errors. In ICFP '03, pages 15-26, 2003.
23. J. Pincus. User Interaction Issues in Defect Detection Tools. Presentation at UW/MSR Research Summer Institute, 2001. http://research. microsoft.com/ users/jpincus/uwmsrsi01.ppt.
24. P. Pratikakis, J. S. Foster, and M. Hicks. Locksmith: Context-Sensitive Correlation Analysis for Race Detection. In PLDI '06, pages 320-331, 2006.
25. B. Pugh et al. FindBugs, 2007. http://findbugs.sourceforge.net.
26. P. Runeson, M. Alexandersson, and O. Nyholm. Detection of Duplicate Defect Reports Using Natural Language Processing. In ICSE '07, pages 499-510, 2007.
27. S. Savage, M. Burrows, G. Nelson, P. Sobalvarro, and T. Anderson. Eraser: A Dynamic Data Race Detector for Multi-Threaded Programs. In SOSP '97, pages 27-37, 1997.
28. W. Scherlis et al. The Fluid Project, 2007. http://www.fluid.cs.cmu.edu: 8080/Fluid.
29. M.-A. Storey. A Cognitive Framework For Describing and Evaluating Software Exploration Tools. PhD thesis, Computing Science, Simon Fraser University, Canada, 1998.
30. M. Weiser. Program slicing. IEEE Transactions on Software Engineering, 10(4):352-357, July 1984.
31. J. Yang, J. Wells, P. Trinder, and G. Michaelson. Improved type error reporting, 2000.