soot.jimple.toolkits.infoflow

Class ClassInfoFlowAnalysis

java.lang.Object

soot.jimple.toolkits.infoflow.ClassInfoFlowAnalysis

public class ClassInfoFlowAnalysis
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
static int	methodCount

Constructor Summary

Constructors

Constructor and Description
ClassInfoFlowAnalysis(SootClass sootClass, InfoFlowAnalysis dfa)

Method Summary

Modifier and Type	Method and Description
SmartMethodInfoFlowAnalysis	getMethodInfoFlowAnalysis(SootMethod method)
MutableDirectedGraph	getMethodInfoFlowSummary(SootMethod method)
HashMutableDirectedGraph	getMethodInfoFlowSummary(SootMethod method, boolean doFullAnalysis)
HashMutableDirectedGraph	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 getMethodInfoFlowSummary(SootMethod method)

getMethodInfoFlowSummary

public HashMutableDirectedGraph getMethodInfoFlowSummary(SootMethod method,
                                                         boolean doFullAnalysis)

triviallyConservativeInfoFlowAnalysis

public HashMutableDirectedGraph triviallyConservativeInfoFlowAnalysis(SootMethod sm)

Does not require the method to have a body