|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--soot.coffi.CFG
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 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 |
public CFG(method_info m)
m
- the method in question.method_info
Method Detail |
public soot.coffi.Instruction reconstructInstructions()
Note that this joins up the basic block Instruction lists, and so they will no longer end with null after this.
public boolean jimplify(soot.coffi.cp_info[] constant_pool, int this_class, JimpleBody listBody)
constant_pool
- constant pool of ClassFile.this_class
- constant pool index of the CONSTANT_Class_info object for
this' class.Stmt
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |