Date Added: Apr 2010
Variable dependence is a source code analysis problem, related to slicing and chopping, in which the aim is to determine the set of variables that can affect the values of given program variables at specified points in the program. This paper describes an approach to solving the problem based on transforming program code into an intermediate language without preserving concrete semantics but keeping variable dependence relations intact. Interestingly the transformation phase need only preserve variable dependence, thereby admitting useful transformations that fail to preserve standard semantics (but do preserve variable dependence). The paper describes an implementation of a variable dependence analysis system called VADA, illustrating the application of non-meaning - preserving transformation, together with an empirical study of performance optimisation steps.