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.
.png)
aget example from paper |
.png)
aget with one column scrolled |
.png)
aget with additional multi-query terms
|
.png)
aget with all query terms removed |
.png)
knot with a deep call stack leading to race. Note that the path 3 is unrealizable due to
g_spawn_on_demand |
.png)
pfscan example showing that paths need not be call-stacks |