soot.jimple.toolkits.infoflow
Class ClassInfoFlowAnalysis

java.lang.Object
  soot.jimple.toolkits.infoflow.ClassInfoFlowAnalysis

public class ClassInfoFlowAnalysis
extends Object

Field Summary

static int

methodCount

Constructor Summary

ClassInfoFlowAnalysis(SootClass sootClass, InfoFlowAnalysis dfa)

Method Summary

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