soot.jimple.toolkits.thread
Class ThreadLocalObjectsAnalysis

java.lang.Object
  extended bysoot.jimple.toolkits.infoflow.LocalObjectsAnalysis
      extended bysoot.jimple.toolkits.thread.ThreadLocalObjectsAnalysis

public class ThreadLocalObjectsAnalysis
extends LocalObjectsAnalysis


Constructor Summary
ThreadLocalObjectsAnalysis(MhpTester mhp)
           
 
Method Summary
 boolean hasNonThreadLocalEffects(SootMethod containingMethod, InvokeExpr ie)
           
 boolean isObjectThreadLocal(Value localOrRef, SootMethod sm)
           
protected  ClassLocalObjectsAnalysis newClassLocalObjectsAnalysis(LocalObjectsAnalysis loa, InfoFlowAnalysis dfa, UseFinder uf, SootClass sc)
           
 
Methods inherited from class soot.jimple.toolkits.infoflow.LocalObjectsAnalysis
getAllMethodsForClass, getClassLocalObjectsAnalysis, getNextCallChainBetween, getNextCallChainBetween, hasNonLocalEffects, isFieldLocalToParent, isObjectLocalToContext, isObjectLocalToParent
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ThreadLocalObjectsAnalysis

public ThreadLocalObjectsAnalysis(MhpTester mhp)
Method Detail

newClassLocalObjectsAnalysis

protected ClassLocalObjectsAnalysis newClassLocalObjectsAnalysis(LocalObjectsAnalysis loa,
                                                                 InfoFlowAnalysis dfa,
                                                                 UseFinder uf,
                                                                 SootClass sc)
Overrides:
newClassLocalObjectsAnalysis in class LocalObjectsAnalysis

isObjectThreadLocal

public boolean isObjectThreadLocal(Value localOrRef,
                                   SootMethod sm)

hasNonThreadLocalEffects

public boolean hasNonThreadLocalEffects(SootMethod containingMethod,
                                        InvokeExpr ie)