2008 Eighth IEEE International Working Conference on Source Code Analysis and Manipulation (2008)
Sept. 28, 2008 to Sept. 29, 2008
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SCAM.2008.27
This paper describes a framework that upports powerful queries in debugging tools, and describes in particular the transformations, alias analysis, and type analysis used to make the queries efficient.??The framework allows queriesover the states of all objects at any point in the execution as well as over the history of states.??The transformations are based on incrementally maintaining the results of expensive queries studied in previous work.??Thealias analysis extends the flow-sensitive intraprocedural analysis to an efficient flow-sensitive interprocedural analysis for an object-oriented language with also a form of context sensitivity.??We also show the power of the framework and the effectiveness of the analyses through case studies and experiments with XML DOM tree transformations, an FTP client, and others.??We were able to easily determine the sources of all injected bugs, and we also found an actual bug in the case study on the FTP client.
Query-based Debugging, Invariant Verification, Incremental Computation, Alias Analysis, Type Analysis
Y. A. Liu, S. D. Stoller, T. Rothamel, M. Gorbovitski and K. T. Tekle, "Analysis and Transformations for Efficient Query-Based Debugging," 2008 Eighth IEEE International Working Conference on Source Code Analysis and Manipulation(SCAM), vol. 00, no. , pp. 174-183, 2008.