soot.jimple.toolkits.infoflow
Class LocalObjectsAnalysis

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

public class LocalObjectsAnalysis
extends Object


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

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 getAllMethodsForClass(SootClass sootClass)

hasNonLocalEffects

public boolean hasNonLocalEffects(SootMethod containingMethod,
                                  InvokeExpr ie,
                                  SootMethod context)