soot.jimple.toolkits.thread
Class ThreadLocalObjectsAnalysis
java.lang.Object
soot.jimple.toolkits.infoflow.LocalObjectsAnalysis
soot.jimple.toolkits.thread.ThreadLocalObjectsAnalysis
- All Implemented Interfaces:
- IThreadLocalObjectsAnalysis
public class ThreadLocalObjectsAnalysis
- extends LocalObjectsAnalysis
- implements IThreadLocalObjectsAnalysis
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
ThreadLocalObjectsAnalysis
public ThreadLocalObjectsAnalysis(MhpTester mhp)
precompute
public void precompute()
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)
- Specified by:
isObjectThreadLocal
in interface IThreadLocalObjectsAnalysis
hasNonThreadLocalEffects
public boolean hasNonThreadLocalEffects(SootMethod containingMethod,
InvokeExpr ie)
escapesThrough
public List escapesThrough(Value sharedValue,
SootMethod containingMethod)
- Returns a list of thread-shared sources and sinks.
Returns empty list if not actually a shared value.