public class SmartMethodLocalObjectsAnalysis extends Object
Modifier and Type | Field and Description |
---|---|
static int |
counter |
Constructor and Description |
---|
SmartMethodLocalObjectsAnalysis(SootMethod method,
InfoFlowAnalysis dfa) |
SmartMethodLocalObjectsAnalysis(UnitGraph g,
InfoFlowAnalysis dfa) |
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) |
public SmartMethodLocalObjectsAnalysis(SootMethod method, InfoFlowAnalysis dfa)
public SmartMethodLocalObjectsAnalysis(UnitGraph g, InfoFlowAnalysis dfa)
public Value getThisLocal()
public boolean isObjectLocal(Value local, CallLocalityContext context)
public static boolean isObjectLocal(InfoFlowAnalysis dfa, SootMethod method, CallLocalityContext context, Value local)
Copyright © 2019 Sable. All rights reserved.