The Community for Technology Leaders
Proceedings. Second IEEE International Workshop on Source Code Analysis and Manipulation (2002)
Montreal, Canada
Oct. 1, 2002 to Oct. 1, 2002
ISBN: 0-7695-1793-5
pp: 55
Mark Harman , Brunel University
Chris Fox , Essex University
Rob Hierons , Brunel University
Lin Hu , Brunel University
Sebastian Danicic , Goldsmiths College
Joachim Wegener , DaimlerChrysler
<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>
Program Slicing, Program Transformation, Variable Dependence Analysis

S. Danicic, C. Fox, M. Harman, L. Hu, R. Hierons and J. Wegener, "VADA: A Transformation-Based System for Variable Dependence Analysis," Proceedings. Second IEEE International Workshop on Source Code Analysis and Manipulation(SCAM), Montreal, Canada, 2002, pp. 55.
80 ms
(Ver 3.3 (11022016))