Path Projection

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.
Khoo Yit Phang, Jeffrey S. Foster, Michael Hicks, and Vibha Sazawal.
8th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering. Atlanta, GA, USA, November 2008.
Paper
Presentation
Path Projection for User-Centered Static Analysis Tools (Technical Report).
Khoo Yit Phang, Jeffrey S. Foster, Michael Hicks, and Vibha Sazawal.
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.