Package soot.jimple.toolkits.infoflow

Class SmartMethodLocalObjectsAnalysis

java.lang.Object

soot.jimple.toolkits.infoflow.SmartMethodLocalObjectsAnalysis

public class SmartMethodLocalObjectsAnalysis
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
static int	counter

Constructor Summary

Constructors

Constructor	Description
SmartMethodLocalObjectsAnalysis(SootMethod method, InfoFlowAnalysis dfa)
SmartMethodLocalObjectsAnalysis(UnitGraph g, InfoFlowAnalysis dfa)

Method Summary

Modifier and Type	Method	Description
Value	getThisLocal()
static boolean	isObjectLocal(InfoFlowAnalysis dfa, SootMethod method, CallLocalityContext context, Value local)
boolean	isObjectLocal(Value local, CallLocalityContext context)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

counter

public static int counter

Constructor Detail

SmartMethodLocalObjectsAnalysis

public SmartMethodLocalObjectsAnalysis(SootMethod method,
                                       InfoFlowAnalysis dfa)

SmartMethodLocalObjectsAnalysis

public SmartMethodLocalObjectsAnalysis(UnitGraph g,
                                       InfoFlowAnalysis dfa)

Method Detail

getThisLocal

public Value getThisLocal()

isObjectLocal

public boolean isObjectLocal(Value local,
                             CallLocalityContext context)

isObjectLocal

public static boolean isObjectLocal(InfoFlowAnalysis dfa,
                                    SootMethod method,
                                    CallLocalityContext context,
                                    Value local)