soot.jimple.toolkits.infoflow
Class SmartMethodInfoFlowAnalysis

java.lang.Object
  soot.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()
HashMutableDirectedGraph	getMethodAbbreviatedInfoFlowGraph()
HashMutableDirectedGraph	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, Stmt is)
protected boolean	ignoreThisDataType(Type type)
protected boolean	isNonRefType(Type type)
List<EquivalentValue>	sinksOf(EquivalentValue node)
List<EquivalentValue>	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<EquivalentValue> sourcesOf(EquivalentValue node)

sinksOf

public List<EquivalentValue> sinksOf(EquivalentValue node)

getMethodInfoFlowSummary

public HashMutableDirectedGraph getMethodInfoFlowSummary()

getMethodAbbreviatedInfoFlowGraph

public HashMutableDirectedGraph 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,
                                Stmt is)

addFlowToCdfg

protected void addFlowToCdfg(Stmt stmt)

getThisLocal

public Value getThisLocal()