public class LocalObjectsAnalysis
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
InfoFlowAnalysis |
dfa |
Constructor and Description |
---|
LocalObjectsAnalysis(InfoFlowAnalysis dfa) |
Modifier and Type | Method and Description |
---|---|
java.util.List<SootMethod> |
getAllMethodsForClass(SootClass sootClass) |
ClassLocalObjectsAnalysis |
getClassLocalObjectsAnalysis(SootClass sc) |
CallChain |
getNextCallChainBetween(ReachableMethods rm,
SootMethod start,
SootMethod end,
Edge endToPath,
CallChain path,
java.util.List previouslyFound) |
CallChain |
getNextCallChainBetween(SootMethod start,
SootMethod goal,
java.util.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) |
public InfoFlowAnalysis dfa
public LocalObjectsAnalysis(InfoFlowAnalysis dfa)
public ClassLocalObjectsAnalysis getClassLocalObjectsAnalysis(SootClass sc)
protected ClassLocalObjectsAnalysis newClassLocalObjectsAnalysis(LocalObjectsAnalysis loa, InfoFlowAnalysis dfa, UseFinder uf, SootClass sc)
public boolean isObjectLocalToParent(Value localOrRef, SootMethod sm)
public boolean isFieldLocalToParent(SootField sf)
public boolean isObjectLocalToContext(Value localOrRef, SootMethod sm, SootMethod context)
public CallChain getNextCallChainBetween(SootMethod start, SootMethod goal, java.util.List previouslyFound)
public CallChain getNextCallChainBetween(ReachableMethods rm, SootMethod start, SootMethod end, Edge endToPath, CallChain path, java.util.List previouslyFound)
public java.util.List<SootMethod> getAllMethodsForClass(SootClass sootClass)
public boolean hasNonLocalEffects(SootMethod containingMethod, InvokeExpr ie, SootMethod context)