Algorithm animation using 3D interactive graphics
UIST '93 Proceedings of the 6th annual ACM symposium on User interface software and technology
Visualization of test information to assist fault localization
Proceedings of the 24th International Conference on Software Engineering
EVolve: an open extensible software visualization framework
Proceedings of the 2003 ACM symposium on Software visualization
Proceedings of the 2003 ACM symposium on Software visualization
End-user software visualizations for fault localization
Proceedings of the 2003 ACM symposium on Software visualization
TANGO: A FRAMEWORK AND SYSTEM FOR ALGORITHM ANIMATION
ACM SIGCHI Bulletin
Visualizing multiple evolution metrics
SoftVis '05 Proceedings of the 2005 ACM symposium on Software visualization
Methodology and architecture of JIVE
SoftVis '05 Proceedings of the 2005 ACM symposium on Software visualization
SoftVis '05 Proceedings of the 2005 ACM symposium on Software visualization
Empirical evaluation of the tarantula automatic fault-localization technique
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Software evolution: analysis and visualization
Proceedings of the 28th international conference on Software engineering
Experimental evaluation of animated-verifying object viewers for Java
SoftVis '06 Proceedings of the 2006 ACM symposium on Software visualization
A data-driven graphical toolkit for software visualization
SoftVis '06 Proceedings of the 2006 ACM symposium on Software visualization
Visualization of exception handling constructs to support program understanding
Proceedings of the 4th ACM symposium on Software visualization
Accurate Interprocedural Null-Dereference Analysis for Java
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Combining concern input with program analysis for bloat detection
Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications
Hi-index | 0.00 |
Visualization of a program typically entails low level views of the programexecution state showing, for example,method invocations or relations amongst heap objects. In most cases, this would imply visualization of the executable program. However there is a certain genre of programs that analyze or transform other programs. These programs could be compilers, static bug detectors, test suite analyzers, model to model transformers etc. In such cases, very often, it helps to visualize what is happening to the input program rather than the analyzer program. It is for such programs that we describe a configurable, analysis framework. For ease of exposition, we call the analyzer programthe "manipulate" program, and the input programthe "puppet" program. To facilitate the visualization, we instrument the manipulate program to generate a dump as it analyzes the puppet program. Using the "dump", we reconstruct the interprocedural control flow graph of the puppet program and then visualize the flow of the manipulate program over the puppet program. We use colors to highlight different events in the manipulate program. Using this scheme, we are able to (1) gain insight into the manipulate program; (2) collect useful information / statistics about the puppet program.We have implemented the visualizer in a tool called "INSIGHT". We ran INSIGHT on a static debugging tool (the manipulate program) called XYLEM. XYLEM applies static analysis to find potential null pointer exceptions in a puppet program, as for example, the Apache Ant program. We report the insights gained by running XYLEM through INSIGHT on ANT and other puppet programs.