soot.jimple.toolkits.infoflow

Class SmartMethodLocalObjectsAnalysis

java.lang.Object

soot.jimple.toolkits.infoflow.SmartMethodLocalObjectsAnalysis

public class SmartMethodLocalObjectsAnalysis
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
static int	counter

Constructor Summary

Constructors

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

Method Summary

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