protected HashMutableDirectedGraph<EquivalentValue> |
InfoFlowAnalysis.getInvokeInfoFlowSummary(InvokeExpr ie,
Stmt is,
SootMethod context) |
protected HashMutableDirectedGraph<EquivalentValue> |
InfoFlowAnalysis.getInvokeInfoFlowSummary(InvokeExpr ie,
Stmt is,
SootMethod context) |
HashMutableDirectedGraph<EquivalentValue> |
SmartMethodInfoFlowAnalysis.getMethodAbbreviatedInfoFlowGraph() |
HashMutableDirectedGraph<EquivalentValue> |
SmartMethodInfoFlowAnalysis.getMethodAbbreviatedInfoFlowGraph() |
HashMutableDirectedGraph<EquivalentValue> |
SmartMethodInfoFlowAnalysis.getMethodInfoFlowSummary() |
HashMutableDirectedGraph<EquivalentValue> |
SmartMethodInfoFlowAnalysis.getMethodInfoFlowSummary() |
HashMutableDirectedGraph<EquivalentValue> |
InfoFlowAnalysis.getMethodInfoFlowSummary(SootMethod sm)
Returns a BACKED MutableDirectedGraph whose nodes are EquivalentValue
wrapped Refs.
|
HashMutableDirectedGraph<EquivalentValue> |
InfoFlowAnalysis.getMethodInfoFlowSummary(SootMethod sm)
Returns a BACKED MutableDirectedGraph whose nodes are EquivalentValue
wrapped Refs.
|
HashMutableDirectedGraph<EquivalentValue> |
ClassInfoFlowAnalysis.getMethodInfoFlowSummary(SootMethod method,
boolean doFullAnalysis) |
HashMutableDirectedGraph<EquivalentValue> |
InfoFlowAnalysis.getMethodInfoFlowSummary(SootMethod sm,
boolean doFullAnalysis) |
HashMutableDirectedGraph<EquivalentValue> |
ClassInfoFlowAnalysis.getMethodInfoFlowSummary(SootMethod method,
boolean doFullAnalysis) |
HashMutableDirectedGraph<EquivalentValue> |
InfoFlowAnalysis.getMethodInfoFlowSummary(SootMethod sm,
boolean doFullAnalysis) |
HashMutableDirectedGraph<EquivalentValue> |
ClassInfoFlowAnalysis.triviallyConservativeInfoFlowAnalysis(SootMethod sm)
Does not require the method to have a body
|
HashMutableDirectedGraph<EquivalentValue> |
ClassInfoFlowAnalysis.triviallyConservativeInfoFlowAnalysis(SootMethod sm)
Does not require the method to have a body
|