|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectsoot.jimple.toolkits.infoflow.ClassLocalObjectsAnalysis
public class ClassLocalObjectsAnalysis
| 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 |
|---|
public ClassLocalObjectsAnalysis(LocalObjectsAnalysis loa,
InfoFlowAnalysis dfa,
UseFinder uf,
SootClass sootClass)
public ClassLocalObjectsAnalysis(LocalObjectsAnalysis loa,
InfoFlowAnalysis dfa,
InfoFlowAnalysis primitiveDfa,
UseFinder uf,
SootClass sootClass,
List<SootMethod> entryMethods)
| Method Detail |
|---|
public static List<SootMethod> getAllReachableMethods(SootClass sc)
public static List<SootField> getAllFields(SootClass sc)
public CallLocalityContext getMergedContext(SootMethod method)
public CallLocalityContext getContextFor(SootMethod sm)
public boolean isObjectLocal(Value localOrRef,
SootMethod sm)
public SmartMethodLocalObjectsAnalysis getMethodLocalObjectsAnalysis(SootMethod sm)
protected List<SootField> getSharedFields()
protected List<SootField> getLocalFields()
public List<SootField> getInnerSharedFields()
protected boolean isFieldLocal(SootField field)
protected boolean isFieldLocal(EquivalentValue fieldRef)
public boolean parameterIsLocal(SootMethod method,
EquivalentValue parameterRef)
protected boolean parameterIsLocal(SootMethod method,
EquivalentValue parameterRef,
boolean includePrimitiveDataFlowIfAvailable)
protected boolean thisIsLocal(SootMethod method,
EquivalentValue thisRef)
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||