soot.jimple.toolkits.infoflow
Class SmartMethodInfoFlowAnalysis

java.lang.Object
  extended bysoot.jimple.toolkits.infoflow.SmartMethodInfoFlowAnalysis

public class SmartMethodInfoFlowAnalysis
extends Object


Field Summary
static int counter
           
 
Constructor Summary
SmartMethodInfoFlowAnalysis(UnitGraph g, InfoFlowAnalysis dfa)
           
 
Method Summary
protected  void addFlowToCdfg(Stmt stmt)
           
 void generateAbbreviatedInfoFlowGraph()
           
 void generateInfoFlowSummary()
           
 MutableDirectedGraph getMethodAbbreviatedInfoFlowGraph()
           
 MutableDirectedGraph getMethodInfoFlowSummary()
           
 Value getThisLocal()
           
protected  void handleFlowsToDataStructure(Value base, Value source)
           
protected  void handleFlowsToValue(Value sink, Value source)
           
protected  void handleInnerField(Value innerFieldRef)
           
protected  List handleInvokeExpr(InvokeExpr ie)
           
protected  boolean ignoreThisDataType(Type type)
           
protected  boolean isNonRefType(Type type)
           
 List sinksOf(EquivalentValue node)
           
 List sourcesOf(EquivalentValue node)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

counter

public static int counter
Constructor Detail

SmartMethodInfoFlowAnalysis

public SmartMethodInfoFlowAnalysis(UnitGraph g,
                                   InfoFlowAnalysis dfa)
Method Detail

generateAbbreviatedInfoFlowGraph

public void generateAbbreviatedInfoFlowGraph()

generateInfoFlowSummary

public void generateInfoFlowSummary()

sourcesOf

public List sourcesOf(EquivalentValue node)

sinksOf

public List sinksOf(EquivalentValue node)

getMethodInfoFlowSummary

public MutableDirectedGraph getMethodInfoFlowSummary()

getMethodAbbreviatedInfoFlowGraph

public MutableDirectedGraph getMethodAbbreviatedInfoFlowGraph()

isNonRefType

protected boolean isNonRefType(Type type)

ignoreThisDataType

protected boolean ignoreThisDataType(Type type)

handleFlowsToValue

protected void handleFlowsToValue(Value sink,
                                  Value source)

handleFlowsToDataStructure

protected void handleFlowsToDataStructure(Value base,
                                          Value source)

handleInnerField

protected void handleInnerField(Value innerFieldRef)

handleInvokeExpr

protected List handleInvokeExpr(InvokeExpr ie)

addFlowToCdfg

protected void addFlowToCdfg(Stmt stmt)

getThisLocal

public Value getThisLocal()