Package soot.jimple.toolkits.infoflow

Class LocalObjectsAnalysis

java.lang.Object

soot.jimple.toolkits.infoflow.LocalObjectsAnalysis

Direct Known Subclasses:

ThreadLocalObjectsAnalysis

public class LocalObjectsAnalysis
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
InfoFlowAnalysis	dfa

Constructor Summary

Constructors

Constructor	Description
LocalObjectsAnalysis(InfoFlowAnalysis dfa)

Method Summary

Modifier and Type	Method	Description
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)