soot.jimple.toolkits.infoflow
Class LocalObjectsAnalysis
java.lang.Object
soot.jimple.toolkits.infoflow.LocalObjectsAnalysis
- Direct Known Subclasses:
- ThreadLocalObjectsAnalysis
public class LocalObjectsAnalysis
- extends Object
Method Summary |
List<SootMethod> |
getAllMethodsForClass(SootClass sootClass)
|
ClassLocalObjectsAnalysis |
getClassLocalObjectsAnalysis(SootClass sc)
|
CallChain |
getNextCallChainBetween(ReachableMethods rm,
SootMethod start,
SootMethod end,
Edge endToPath,
CallChain path,
List previouslyFound)
|
CallChain |
getNextCallChainBetween(SootMethod start,
SootMethod goal,
List previouslyFound)
|
boolean |
hasNonLocalEffects(SootMethod containingMethod,
InvokeExpr ie,
SootMethod context)
|
boolean |
isFieldLocalToParent(SootField sf)
|
boolean |
isObjectLocalToContext(Value localOrRef,
SootMethod sm,
SootMethod context)
|
boolean |
isObjectLocalToParent(Value localOrRef,
SootMethod sm)
|
protected ClassLocalObjectsAnalysis |
newClassLocalObjectsAnalysis(LocalObjectsAnalysis loa,
InfoFlowAnalysis dfa,
UseFinder uf,
SootClass sc)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
dfa
public InfoFlowAnalysis dfa
LocalObjectsAnalysis
public LocalObjectsAnalysis(InfoFlowAnalysis dfa)
getClassLocalObjectsAnalysis
public ClassLocalObjectsAnalysis getClassLocalObjectsAnalysis(SootClass sc)
newClassLocalObjectsAnalysis
protected ClassLocalObjectsAnalysis newClassLocalObjectsAnalysis(LocalObjectsAnalysis loa,
InfoFlowAnalysis dfa,
UseFinder uf,
SootClass sc)
isObjectLocalToParent
public boolean isObjectLocalToParent(Value localOrRef,
SootMethod sm)
isFieldLocalToParent
public boolean isFieldLocalToParent(SootField sf)
isObjectLocalToContext
public boolean isObjectLocalToContext(Value localOrRef,
SootMethod sm,
SootMethod context)
getNextCallChainBetween
public CallChain getNextCallChainBetween(SootMethod start,
SootMethod goal,
List previouslyFound)
getNextCallChainBetween
public CallChain getNextCallChainBetween(ReachableMethods rm,
SootMethod start,
SootMethod end,
Edge endToPath,
CallChain path,
List previouslyFound)
getAllMethodsForClass
public List<SootMethod> getAllMethodsForClass(SootClass sootClass)
hasNonLocalEffects
public boolean hasNonLocalEffects(SootMethod containingMethod,
InvokeExpr ie,
SootMethod context)