soot.coffi

Class CFG

java.lang.Object

soot.coffi.CFG

public class CFG
extends java.lang.Object

A Control Flow Graph.

Author:

Clark Verbrugge

Field Summary

Fields

Modifier and Type	Field and Description
static java.util.HashMap<SootMethod,int[]>	methodsToVEM

Constructor Summary

Constructors

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

Method Summary

Methods

Modifier and Type	Method and Description
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 java.util.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