soot.jimple.toolkits.infoflow
Class SmartMethodLocalObjectsAnalysis

java.lang.Object
  soot.jimple.toolkits.infoflow.SmartMethodLocalObjectsAnalysis

public class SmartMethodLocalObjectsAnalysis
extends Object

Field Summary

static int

counter

Constructor Summary

SmartMethodLocalObjectsAnalysis(SootMethod method, InfoFlowAnalysis dfa)

SmartMethodLocalObjectsAnalysis(UnitGraph g, InfoFlowAnalysis dfa)

Method Summary

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)