soot.jimple.toolkits.infoflow
Class ClassLocalObjectsAnalysis

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

public class ClassLocalObjectsAnalysis
extends Object

Constructor Summary

ClassLocalObjectsAnalysis(LocalObjectsAnalysis loa, InfoFlowAnalysis dfa, InfoFlowAnalysis primitiveDfa, UseFinder uf, SootClass sootClass, List<SootMethod> entryMethods)

ClassLocalObjectsAnalysis(LocalObjectsAnalysis loa, InfoFlowAnalysis dfa, UseFinder uf, SootClass sootClass)

Method Summary

static List<SootField>	getAllFields(SootClass sc)
static List<SootMethod>	getAllReachableMethods(SootClass sc)
CallLocalityContext	getContextFor(SootMethod sm)
List<SootField>	getInnerSharedFields()
protected List<SootField>	getLocalFields()
CallLocalityContext	getMergedContext(SootMethod method)
SmartMethodLocalObjectsAnalysis	getMethodLocalObjectsAnalysis(SootMethod sm)
protected List<SootField>	getSharedFields()
protected boolean	isFieldLocal(EquivalentValue fieldRef)
protected boolean	isFieldLocal(SootField field)
boolean	isObjectLocal(Value localOrRef, SootMethod sm)
boolean	parameterIsLocal(SootMethod method, EquivalentValue parameterRef)
protected boolean	parameterIsLocal(SootMethod method, EquivalentValue parameterRef, boolean includePrimitiveDataFlowIfAvailable)
protected boolean	thisIsLocal(SootMethod method, EquivalentValue thisRef)

Methods inherited from class java.lang.Object

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

Constructor Detail

ClassLocalObjectsAnalysis

public ClassLocalObjectsAnalysis(LocalObjectsAnalysis loa,
                                 InfoFlowAnalysis dfa,
                                 UseFinder uf,
                                 SootClass sootClass)

ClassLocalObjectsAnalysis

public ClassLocalObjectsAnalysis(LocalObjectsAnalysis loa,
                                 InfoFlowAnalysis dfa,
                                 InfoFlowAnalysis primitiveDfa,
                                 UseFinder uf,
                                 SootClass sootClass,
                                 List<SootMethod> entryMethods)

Method Detail

getAllReachableMethods

public static List<SootMethod> getAllReachableMethods(SootClass sc)

getAllFields

public static List<SootField> getAllFields(SootClass sc)

getMergedContext

public CallLocalityContext getMergedContext(SootMethod method)

getContextFor

public CallLocalityContext getContextFor(SootMethod sm)

isObjectLocal

public boolean isObjectLocal(Value localOrRef,
                             SootMethod sm)

getMethodLocalObjectsAnalysis

public SmartMethodLocalObjectsAnalysis getMethodLocalObjectsAnalysis(SootMethod sm)

getSharedFields

protected List<SootField> getSharedFields()

getLocalFields

protected List<SootField> getLocalFields()

getInnerSharedFields

public List<SootField> getInnerSharedFields()

isFieldLocal

protected boolean isFieldLocal(SootField field)

isFieldLocal

protected boolean isFieldLocal(EquivalentValue fieldRef)

parameterIsLocal

public boolean parameterIsLocal(SootMethod method,
                                EquivalentValue parameterRef)

parameterIsLocal

protected boolean parameterIsLocal(SootMethod method,
                                   EquivalentValue parameterRef,
                                   boolean includePrimitiveDataFlowIfAvailable)

thisIsLocal

protected boolean thisIsLocal(SootMethod method,
                              EquivalentValue thisRef)