The method of attributes for data flow analysis

Summary The importance of producing data flow information on demand is discussed. The method of attributes is applied to the demand analysis of live variables.Part I of this paper described the method of attributes, which is a technique for high level data flow analysis. In that paper, the method was applied to two well-known problems: analysis of dead variables and analysis of available expressions. Both of these analyses are called exhaustive because they uncover information for all program points.In this part, we apply the method of attributes to a problem in demand data flow analysis.