soot.coffi
Class CFG

java.lang.Object
  |
  +--soot.coffi.CFG

public class CFG
extends java.lang.Object

A Control Flow Graph.


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, 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
 

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,
                        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.
Returns:
true if all ok, false if there was an error.
See Also:
Stmt