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
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

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.
doi:10.1109/SCAM.2002.1134105
102 ms
(Ver 3.3 (11022016))