Package soot.jimple.toolkits.infoflow

Class InfoFlowAnalysis

java.lang.Object

soot.jimple.toolkits.infoflow.InfoFlowAnalysis

public class InfoFlowAnalysis
extends Object

Constructor Summary

Constructors

Constructor	Description
InfoFlowAnalysis(boolean includePrimitiveDataFlow, boolean includeInnerFields)
InfoFlowAnalysis(boolean includePrimitiveDataFlow, boolean includeInnerFields, boolean printDebug)

Method Summary

Modifier and Type	Method	Description
protected MutableDirectedGraph<EquivalentValue>	getInvokeAbbreviatedInfoFlowGraph(InvokeExpr ie, SootMethod context)
protected HashMutableDirectedGraph<EquivalentValue>	getInvokeInfoFlowSummary(InvokeExpr ie, Stmt is, SootMethod context)
SmartMethodInfoFlowAnalysis	getMethodInfoFlowAnalysis(SootMethod sm)
HashMutableDirectedGraph<EquivalentValue>	getMethodInfoFlowSummary(SootMethod sm)	Returns a BACKED MutableDirectedGraph whose nodes are EquivalentValue wrapped Refs.
HashMutableDirectedGraph<EquivalentValue>	getMethodInfoFlowSummary(SootMethod sm, boolean doFullAnalysis)
static EquivalentValue	getNodeForFieldRef(SootMethod sm, SootField sf)	Returns an unmodifiable list of EquivalentValue wrapped Refs that sink flows from when method sm is called.
static EquivalentValue	getNodeForFieldRef(SootMethod sm, SootField sf, Local realLocal)
static EquivalentValue	getNodeForParameterRef(SootMethod sm, int i)
static EquivalentValue	getNodeForReturnRef(SootMethod sm)
static EquivalentValue	getNodeForThisRef(SootMethod sm)
static String	getNodeLabel(Object o)
static String	getNodeName(Object o)
boolean	includesInnerFields()
boolean	includesPrimitiveInfoFlow()
boolean	printDebug()
static void	printGraphToDotFile(String filename, DirectedGraph<EquivalentValue> graph, String graphname, boolean onePage)
static void	printInfoFlowSummary(DirectedGraph<EquivalentValue> g)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

InfoFlowAnalysis

public InfoFlowAnalysis(boolean includePrimitiveDataFlow,
                        boolean includeInnerFields)

InfoFlowAnalysis

public InfoFlowAnalysis(boolean includePrimitiveDataFlow,
                        boolean includeInnerFields,
                        boolean printDebug)

Method Detail

includesPrimitiveInfoFlow

public boolean includesPrimitiveInfoFlow()

includesInnerFields

public boolean includesInnerFields()

printDebug

public boolean printDebug()

getMethodInfoFlowAnalysis

public SmartMethodInfoFlowAnalysis getMethodInfoFlowAnalysis(SootMethod sm)

getMethodInfoFlowSummary

public HashMutableDirectedGraph<EquivalentValue> getMethodInfoFlowSummary(SootMethod sm)

Returns a BACKED MutableDirectedGraph whose nodes are EquivalentValue wrapped Refs. It's perfectly safe to modify this graph, just so long as new nodes are EquivalentValue wrapped Refs.

getMethodInfoFlowSummary

public HashMutableDirectedGraph<EquivalentValue> getMethodInfoFlowSummary(SootMethod sm,
                                                                          boolean doFullAnalysis)

getNodeForFieldRef

public static EquivalentValue getNodeForFieldRef(SootMethod sm,
                                                 SootField sf)

Returns an unmodifiable list of EquivalentValue wrapped Refs that sink flows from when method sm is called.

getNodeForFieldRef

public static EquivalentValue getNodeForFieldRef(SootMethod sm,
                                                 SootField sf,
                                                 Local realLocal)

getNodeForParameterRef

public static EquivalentValue getNodeForParameterRef(SootMethod sm,
                                                     int i)

getNodeForReturnRef

public static EquivalentValue getNodeForReturnRef(SootMethod sm)

getNodeForThisRef

public static EquivalentValue getNodeForThisRef(SootMethod sm)

getInvokeInfoFlowSummary

protected HashMutableDirectedGraph<EquivalentValue> getInvokeInfoFlowSummary(InvokeExpr ie,
                                                                             Stmt is,
                                                                             SootMethod context)

getInvokeAbbreviatedInfoFlowGraph

protected MutableDirectedGraph<EquivalentValue> getInvokeAbbreviatedInfoFlowGraph(InvokeExpr ie,
                                                                                  SootMethod context)

printInfoFlowSummary

public static void printInfoFlowSummary(DirectedGraph<EquivalentValue> g)

printGraphToDotFile

public static void printGraphToDotFile(String filename,
                                       DirectedGraph<EquivalentValue> graph,
                                       String graphname,
                                       boolean onePage)

getNodeName

public static String getNodeName(Object o)

getNodeLabel

public static String getNodeLabel(Object o)