soot.coffi
Class CFG

java.lang.Object
  soot.coffi.CFG

public class CFG
extends Object

A Control Flow Graph.

Author:

Clark Verbrugge

Field Summary

static HashMap<SootMethod,int[]>

methodsToVEM

Constructor Summary

CFG(method_info m)
Constructs a new control flow graph for the given method.

Method Summary

boolean	jimplify(soot.coffi.cp_info[] constant_pool, int this_class, soot.coffi.BootstrapMethods_attribute bootstrap_methods_attribute, JimpleBody listBody) Main.v() entry point for converting list of Instructions to Jimple statements; performs flow analysis, constructs Jimple statements, and fixes jumps.
soot.coffi.Instruction	reconstructInstructions() Reconstructs the instruction stream by appending the Instruction lists associated with each basic block.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

methodsToVEM

public static HashMap<SootMethod,int[]> methodsToVEM

Constructor Detail

CFG

public CFG(method_info m)

Constructs a new control flow graph for the given method.

Parameters:

m - the method in question.

See Also:

method_info

Method Detail

reconstructInstructions

public soot.coffi.Instruction reconstructInstructions()

Reconstructs the instruction stream by appending the Instruction lists associated with each basic block.

Note that this joins up the basic block Instruction lists, and so they will no longer end with null after this.

Returns:

the head of the list of instructions.

jimplify

public boolean jimplify(soot.coffi.cp_info[] constant_pool,
                        int this_class,
                        soot.coffi.BootstrapMethods_attribute bootstrap_methods_attribute,
                        JimpleBody listBody)

Main.v() entry point for converting list of Instructions to Jimple statements; performs flow analysis, constructs Jimple statements, and fixes jumps.

Parameters:

constant_pool - constant pool of ClassFile.

this_class - constant pool index of the CONSTANT_Class_info object for this' class.

bootstrap_methods_attribute -

Returns:

true if all ok, false if there was an error.

See Also:

Stmt