The Community for Technology Leaders
2013 IEEE 13th International Working Conference on Source Code Analysis and Manipulation (SCAM) (2002)
Montreal, Canada
Oct. 1, 2002 to Oct. 1, 2002
ISBN: 0-7695-1793-5
pp: 55
Sebastian Danicic , Goldsmiths College
Chris Fox , Essex University
Mark Harman , Brunel University
Lin Hu , Brunel University
Rob Hierons , Brunel University
Joachim Wegener , DaimlerChrysler
ABSTRACT
<p>Variable dependence is an analysis problem in which the aim is to determine the set of input variables that can affect the values stored in a chosen set of intermediate program variables.</p> <p>This paper shows the relationship between the variable dependence analysis problem and slicing and describes VADA, a system that implements variable dependence analysis.</p> <p>In order to cover the full range of C constructs and features, a transformation to a core language is employed Thus, the full analysis is required only for the core language, which is relatively simple. This reduces the overall effort required for dependency analysis. The transformations used need preserve only the variable dependence relation, and therefore need not be meaning preserving in the traditional sense. The paper describes how this relaxed meaning further simplifies the transformation phase of the approach. Finally, the results of an empirical study into the performance of the system are presented.</p>
INDEX TERMS
Program Slicing, Program Transformation, Variable Dependence Analysis
CITATION
Sebastian Danicic, Chris Fox, Mark Harman, Lin Hu, Rob Hierons, Joachim Wegener, "VADA: A Transformation-Based System for Variable Dependence Analysis", 2013 IEEE 13th International Working Conference on Source Code Analysis and Manipulation (SCAM), vol. 00, no. , pp. 55, 2002, doi:10.1109/SCAM.2002.1134105
106 ms
(Ver 3.3 (11022016))