Package soot.jimple.toolkits.infoflow

Class ClassInfoFlowAnalysis

java.lang.Object

soot.jimple.toolkits.infoflow.ClassInfoFlowAnalysis

public class ClassInfoFlowAnalysis
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
static int	methodCount

Constructor Summary

Constructors

Constructor	Description
ClassInfoFlowAnalysis(SootClass sootClass, InfoFlowAnalysis dfa)

Method Summary

Modifier and Type	Method	Description
SmartMethodInfoFlowAnalysis	getMethodInfoFlowAnalysis(SootMethod method)
MutableDirectedGraph<EquivalentValue>	getMethodInfoFlowSummary(SootMethod method)
HashMutableDirectedGraph<EquivalentValue>	getMethodInfoFlowSummary(SootMethod method, boolean doFullAnalysis)
HashMutableDirectedGraph<EquivalentValue>	triviallyConservativeInfoFlowAnalysis(SootMethod sm)	Does not require the method to have a body

Methods inherited from class java.lang.Object

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

Field Detail

methodCount

public static int methodCount

Constructor Detail

ClassInfoFlowAnalysis

public ClassInfoFlowAnalysis(SootClass sootClass,
                             InfoFlowAnalysis dfa)

Method Detail

getMethodInfoFlowAnalysis

public SmartMethodInfoFlowAnalysis getMethodInfoFlowAnalysis(SootMethod method)

getMethodInfoFlowSummary

public MutableDirectedGraph<EquivalentValue> getMethodInfoFlowSummary(SootMethod method)

getMethodInfoFlowSummary

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

triviallyConservativeInfoFlowAnalysis

public HashMutableDirectedGraph<EquivalentValue> triviallyConservativeInfoFlowAnalysis(SootMethod sm)

Does not require the method to have a body