soot.jimple.toolkits.infoflow

Class SmartMethodInfoFlowAnalysis

java.lang.Object

soot.jimple.toolkits.infoflow.SmartMethodInfoFlowAnalysis

public class SmartMethodInfoFlowAnalysis
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
static int	counter

Constructor Summary

Constructors

Constructor and Description
SmartMethodInfoFlowAnalysis(UnitGraph g, InfoFlowAnalysis dfa)

Method Summary

Modifier and Type	Method and Description
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 java.util.List	handleInvokeExpr(InvokeExpr ie, Stmt is)
protected boolean	ignoreThisDataType(Type type)
protected boolean	isNonRefType(Type type)
java.util.List<EquivalentValue>	sinksOf(EquivalentValue node)
java.util.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 java.util.List<EquivalentValue> sourcesOf(EquivalentValue node)

sinksOf

public java.util.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 java.util.List handleInvokeExpr(InvokeExpr ie,
                                          Stmt is)

addFlowToCdfg

protected void addFlowToCdfg(Stmt stmt)

getThisLocal

public Value getThisLocal()