What people are saying - Write a review
We haven't found any reviews in the usual places.
List of Figures Figure 1 A sample method with basic blocks
Data flow analysis in a basic block
Algorithm 1 Highlevel design
18 other sections not shown
A.bla algorithm analyzed method argTypes argv array elements B.bla B.foo basic block graph bytecodes C.foo CalculateCutsetsForSimpleVariables call basic block call point called method change flag current gen data flow analysis data flow equations described determines the set different instances element of arr entry Example execution block list field variable fields and arrays Figure gen and kill gen set getFromArrayTable(“T getFromFieldTable(“T.a global table graph of basic instance variables instruction invocation Java Virtual Machine JavaFilter kill sets local variables method analysis method call object of type objR pseudo code public static void public void bla public void main required methods return basic block return type return value rules set of methods set of required set of types simple basic block specific type stack machine stack pointer stack variable stackTop static public void static variables table of arrays table of fields theorem typesets update the gen void main String workset