soot.jimple.toolkits.infoflow
Class LocalObjectsAnalysis

java.lang.Object
  extended by soot.jimple.toolkits.infoflow.LocalObjectsAnalysis
Direct Known Subclasses:
ThreadLocalObjectsAnalysis

public class LocalObjectsAnalysis
extends Object


Field Summary
 InfoFlowAnalysis dfa
           
 
Constructor Summary
LocalObjectsAnalysis(InfoFlowAnalysis dfa)
           
 
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
 

Field Detail

dfa

public InfoFlowAnalysis dfa
Constructor Detail

LocalObjectsAnalysis

public LocalObjectsAnalysis(InfoFlowAnalysis dfa)
Method Detail

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)