Brunel University Research Archive (BURA) >
Research Areas >
Computer Science >

Please use this identifier to cite or link to this item: http://bura.brunel.ac.uk/handle/2438/3393

Title: VADA: A transformation-based system for variable dependence analysis
Authors: Harman, M
Fox, C
Hierons, RM
Hu, L
Danicic, S
Wegener, J
Keywords: Program slicing; Program transformation; Variable dependence analysis
Publication Date: 2002
Publisher: IEEE
Citation: 2nd IEEE International Workshop on Source Code Analysis and Manipulation, Montreal, pp. 55-64, Oct 2002
Abstract: 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. This paper shows the relationship between the variable dependence analysis problem and slicing and describes VADA, a system that implements variable dependence analysis. 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.
URI: http://bura.brunel.ac.uk/handle/2438/3393
Appears in Collections:Computer Science
Software Engineering (B-SERC)
Dept of Computer Science Research Papers

Files in This Item:

File Description SizeFormat
Transformation-based system for variable dependence analysis.pdf214.25 kBAdobe PDFView/Open

Items in BURA are protected by copyright, with all rights reserved, unless otherwise indicated.