Introduction
The programming community has benefitted from great improvements in sophisticated detect defection tools based on static analysis. However, the use of these tools has yet to become prevalent since they are difficult to use. Unfortunately, most work has been focused on the algorithms, and much less on the (ease of) development and use of these tools.
We have developed Path Projection, a novel user interface toolkit that helps users visualize, navigate, and understand program paths, a common component of many static analysis tools' error reports. We have currently applied Path Projection to Locksmith, a data race detection tool for C.
Papers
- Path Projection for User-Centered Static Analysis Tools.
- 8th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering. Atlanta, GA, USA, November 2008.
- Paper†
- Presentation
- † © ACM, 2008. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in Proceedings of the 8th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, http://doi.acm.org/10.1145/1512475.1512488
- Path Projection for User-Centered Static Analysis Tools (Technical Report).
- Technical Report CS-TR-4919, University of Maryland, Department of Computer Science, August 2008.
- Technical Report CS-TR-4919 (PDF)
People
This material is based upon work supported by the National Science Foundation under Grants No. IIS-0613601, CCF-0430118, and CCF-0541036.