soot.jimple.toolkits.infoflow

Class ClassLocalObjectsAnalysis

java.lang.Object

soot.jimple.toolkits.infoflow.ClassLocalObjectsAnalysis

public class ClassLocalObjectsAnalysis
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
ClassLocalObjectsAnalysis(LocalObjectsAnalysis loa, InfoFlowAnalysis dfa, InfoFlowAnalysis primitiveDfa, UseFinder uf, SootClass sootClass, java.util.List<SootMethod> entryMethods)
ClassLocalObjectsAnalysis(LocalObjectsAnalysis loa, InfoFlowAnalysis dfa, UseFinder uf, SootClass sootClass)

Method Summary

Methods

Modifier and Type	Method and Description
static java.util.List<SootField>	getAllFields(SootClass sc)
static java.util.List<SootMethod>	getAllReachableMethods(SootClass sc)
CallLocalityContext	getContextFor(SootMethod sm)
java.util.List<SootField>	getInnerSharedFields()
protected java.util.List<SootField>	getLocalFields()
CallLocalityContext	getMergedContext(SootMethod method)
SmartMethodLocalObjectsAnalysis	getMethodLocalObjectsAnalysis(SootMethod sm)
protected java.util.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,
                         java.util.List<SootMethod> entryMethods)

Method Detail

getAllReachableMethods

public static java.util.List<SootMethod> getAllReachableMethods(SootClass sc)

getAllFields

public static java.util.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 java.util.List<SootField> getSharedFields()

getLocalFields

protected java.util.List<SootField> getLocalFields()

getInnerSharedFields

public java.util.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)