public class SmartMethodInfoFlowAnalysis
extends Object

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`protected void`	`addFlowToCdfg(Stmt stmt)`
`void`	`generateAbbreviatedInfoFlowGraph()`
`void`	`generateInfoFlowSummary()`
`HashMutableDirectedGraph<EquivalentValue>`	`getMethodAbbreviatedInfoFlowGraph()`
`HashMutableDirectedGraph<EquivalentValue>`	`getMethodInfoFlowSummary()`
`Value`	`getThisLocal()`
`protected void`	`handleFlowsToDataStructure(Value base, Value source)`
`protected void`	`handleFlowsToValue(Value sink, Value source)`
`protected void`	`handleInnerField(Value innerFieldRef)`
`protected List<Value>`	`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)`

public SmartMethodInfoFlowAnalysis(UnitGraph g,
                                   InfoFlowAnalysis dfa)

public void generateAbbreviatedInfoFlowGraph()

public List<EquivalentValue> sourcesOf(EquivalentValue node)

public List<EquivalentValue> sinksOf(EquivalentValue node)

public HashMutableDirectedGraph<EquivalentValue> getMethodInfoFlowSummary()

public HashMutableDirectedGraph<EquivalentValue> getMethodAbbreviatedInfoFlowGraph()

protected boolean isNonRefType(Type type)

protected boolean ignoreThisDataType(Type type)

protected void handleFlowsToValue(Value sink,
                                  Value source)

protected void handleFlowsToDataStructure(Value base,
                                          Value source)

protected void handleInnerField(Value innerFieldRef)

protected List<Value> handleInvokeExpr(InvokeExpr ie,
                                       Stmt is)

protected void addFlowToCdfg(Stmt stmt)

Class SmartMethodInfoFlowAnalysis