soot.jimple.toolkits.infoflow
Class ClassLocalObjectsAnalysis
java.lang.Object
soot.jimple.toolkits.infoflow.ClassLocalObjectsAnalysis
- public class ClassLocalObjectsAnalysis
- extends Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
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 entryMethods)
getAllReachableMethods
public static List getAllReachableMethods(SootClass sc)
getAllFields
public static List 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 getSharedFields()
getLocalFields
protected List getLocalFields()
getInnerSharedFields
public List 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)