Uses of Interface
soot.Local

Packages that use Local

Package	Description
soot	Base Soot classes, shared by different intermediate representations.
soot.baf	Public classes for the Baf intermediate representation.
soot.baf.internal	Internal, messy, implementation-specific classes for the Baf intermediate representation.
soot.dava
soot.dava.internal.AST
soot.dava.internal.javaRep
soot.dava.toolkits.base.AST.structuredAnalysis
soot.dava.toolkits.base.AST.transformations
soot.dava.toolkits.base.AST.traversals
soot.dava.toolkits.base.renamer
soot.dexpler
soot.dexpler.instructions
soot.grimp	Public classes for the Grimp intermediate representation.
soot.JastAddJ
soot.javaToJimple
soot.jbco
soot.jbco.bafTransformations
soot.jbco.util
soot.jimple	Public classes for the Jimple intermediate representation.
soot.jimple.internal	Internal, messy, implementation-specific classes for the Jimple intermediate representation.
soot.jimple.spark.builder
soot.jimple.spark.geom.geomPA
soot.jimple.spark.ondemand
soot.jimple.spark.pag
soot.jimple.toolkits.annotation.purity
soot.jimple.toolkits.callgraph
soot.jimple.toolkits.ide.exampleproblems
soot.jimple.toolkits.infoflow
soot.jimple.toolkits.invoke	A toolkit to deal with Jimple and invoke statements.
soot.jimple.toolkits.pointer
soot.jimple.toolkits.scalar	A toolkit for scalar optimization of Jimple.
soot.jimple.toolkits.typing.fast
soot.shimple	Public classes for the SSA Shimple intermediate representation.
soot.shimple.internal	Shimple internal messy stuff.
soot.shimple.toolkits.graph
soot.shimple.toolkits.scalar	Some analyses based on Shimple.
soot.sootify
soot.toDex
soot.toolkits.exceptions
soot.toolkits.scalar	A number of scalar optimizations, and the flow analysis framework.

Uses of Local in soot

Fields in soot with type parameters of type Local

Modifier and Type	Field and Description
protected Chain<Local>	Body.localChain The chain of locals for this Body.
protected IterableNumberer<Local>	Scene.localNumberer
protected Map<Local,Integer>	AbstractJasminClass.localToColor
protected Map<Local,Object>	AbstractJasminClass.localToGroup
protected Map<Local,Integer>	AbstractJasminClass.localToSlot

Methods in soot that return Local

Modifier and Type	Method and Description
Local	Body.getParameterLocal(int i) Return LHS of the first identity stmt assigning from \@parameter i.
Local	Body.getThisLocal() Return LHS of the first identity stmt assigning from \@this.

Methods in soot that return types with arguments of type Local

Modifier and Type	Method and Description
IterableNumberer<Local>	Scene.getLocalNumberer()
Chain<Local>	Body.getLocals() Returns a backed chain of the locals declared in this Body.
List<Local>	Body.getParameterLocals() Get all the LHS of the identity statements assigning from parameter references.

Methods in soot with parameters of type Local

Modifier and Type	Method and Description
void	AbstractUnitPrinter.local(Local l)
void	UnitPrinter.local(Local l)
PointsToSet	PointsToAnalysis.reachingObjects(Context c, Local l) Returns the set of objects pointed to by variable l in context c.
PointsToSet	PointsToAnalysis.reachingObjects(Context c, Local l, SootField f) Returns the set of objects pointed to by instance field f of the objects pointed to by l in context c.
PointsToSet	PointsToAnalysis.reachingObjects(Local l) Returns the set of objects pointed to by variable l.
PointsToSet	PointsToAnalysis.reachingObjects(Local l, SootField f) Returns the set of objects pointed to by instance field f of the objects pointed to by l.

Uses of Local in soot.baf

Fields in soot.baf with type parameters of type Local

Modifier and Type	Field and Description
protected Map<Local,Integer>	BafASMBackend.localToSlot

Methods in soot.baf that return Local

Modifier and Type	Method and Description
Local	StoreInst.getLocal()
Local	LoadInst.getLocal()
Local	IncInst.getLocal()
Local	Baf.newLocal(String name, Type t) Constructs a Local with the given name and type.

Methods in soot.baf with parameters of type Local

Modifier and Type	Method and Description
IncInst	Baf.newIncInst(Local aLocal, Constant aConstant)
LoadInst	Baf.newLoadInst(Type opType, Local l)
StoreInst	Baf.newStoreInst(Type opType, Local l)
void	StoreInst.setLocal(Local l)
void	LoadInst.setLocal(Local l)
void	IncInst.setLocal(Local l)

Uses of Local in soot.baf.internal

Classes in soot.baf.internal that implement Local

Modifier and Type	Class and Description
class	BafLocal

Methods in soot.baf.internal that return Local

Modifier and Type	Method and Description
Local	BStoreInst.getLocal()
Local	BIncInst.getLocal()
Local	BLoadInst.getLocal()
Local	BafLocal.getOriginalLocal()

Methods in soot.baf.internal with parameters of type Local

Modifier and Type	Method and Description
void	BStoreInst.setLocal(Local l)
void	BIncInst.setLocal(Local l)
void	BLoadInst.setLocal(Local l)
void	BafLocal.setOriginalLocal(Local l)

Constructors in soot.baf.internal with parameters of type Local

Constructor and Description
BIncInst(Local local, Constant constant)
BLoadInst(Type opType, Local local)
BStoreInst(Type opType, Local local)

Uses of Local in soot.dava

Methods in soot.dava that return Local

Modifier and Type	Method and Description
Local	DavaBody.get_ControlLocal()
Local	Dava.newLocal(String name, Type t)

Uses of Local in soot.dava.internal.AST

Methods in soot.dava.internal.AST that return Local

Modifier and Type	Method and Description
Local	ASTSynchronizedBlockNode.getLocal()

Methods in soot.dava.internal.AST with parameters of type Local

Modifier and Type	Method and Description
void	ASTMethodNode.addToDontPrintLocalsList(Local toAdd)
void	ASTMethodNode.removeDeclaredLocal(Local local)
void	ASTSynchronizedBlockNode.setLocal(Local local)

Method parameters in soot.dava.internal.AST with type arguments of type Local

Modifier and Type	Method and Description
void	ASTMethodNode.setDontPrintLocals(List<Local> list)

Uses of Local in soot.dava.internal.javaRep

Methods in soot.dava.internal.javaRep with parameters of type Local

Modifier and Type	Method and Description
void	DVariableDeclarationStmt.addLocal(Local add)
void	DVariableDeclarationStmt.removeLocal(Local remove)

Uses of Local in soot.dava.toolkits.base.AST.structuredAnalysis

Methods in soot.dava.toolkits.base.AST.structuredAnalysis that return Local

Modifier and Type	Method and Description
Local	ReachingCopies.LocalPair.getLeftLocal()
Local	CPVariable.getLocal()
Local	ReachingCopies.LocalPair.getRightLocal()

Methods in soot.dava.toolkits.base.AST.structuredAnalysis with parameters of type Local

Modifier and Type	Method and Description
boolean	ReachingCopies.LocalPair.contains(Local local) Method checks whether local occurs in the left or right side of the localpair different semantics than the usual contains method which checks something in a list
void	ReachingCopies.gen(DavaFlowSet in, Local left, Local right)
List<DefinitionStmt>	ReachingDefs.getReachingDefs(Local local, Object node)
void	ReachingCopies.kill(DavaFlowSet<ReachingCopies.LocalPair> in, Local redefined)
void	ReachingDefs.kill(DavaFlowSet<Stmt> in, Local redefined)
Object	CP.killButGetValueForUse(Local left, CPFlowSet toReturn)
DavaFlowSet	MustMayInitialize.processSynchronizedLocal(Local local, DavaFlowSet input)
DavaFlowSet	CP.processSynchronizedLocal(Local local, DavaFlowSet input)
DavaFlowSet	UnreachableCodeFinder.processSynchronizedLocal(Local local, DavaFlowSet input)
DavaFlowSet	ReachingCopies.processSynchronizedLocal(Local local, DavaFlowSet input)
abstract DavaFlowSet<E>	StructuredAnalysis.processSynchronizedLocal(Local local, DavaFlowSet<E> input) To deal with the local used for synch blocks
DavaFlowSet<Stmt>	ReachingDefs.processSynchronizedLocal(Local local, DavaFlowSet<Stmt> inSet)

Constructors in soot.dava.toolkits.base.AST.structuredAnalysis with parameters of type Local

Constructor and Description
CPVariable(Local local)
LocalPair(Local left, Local right)

Uses of Local in soot.dava.toolkits.base.AST.transformations

Methods in soot.dava.toolkits.base.AST.transformations with parameters of type Local

Modifier and Type	Method and Description
AugmentedStmt	SuperFirstStmtHandler.createStmtAccordingToType(Type tempType, Value tempVal, Local newLocal, SootMethodRef getMethodRef)
List<DefinitionStmt>	LocalVariableCleaner.getDefs(Local var)

Uses of Local in soot.dava.toolkits.base.AST.traversals

Methods in soot.dava.toolkits.base.AST.traversals with parameters of type Local

Modifier and Type	Method and Description
void	ASTUsesAndDefs.createUDDUChain(Local local, Object useNodeOrStatement)
List	AllVariableUses.getUsesForLocal(Local local)
void	CopyPropagation.modifyUseBoxes(Local from, Local to, List useBoxes)
void	CopyPropagation.modifyUses(Local from, Local to, ASTCondition cond)
void	CopyPropagation.replace(Local from, Local to, Object use)

Uses of Local in soot.dava.toolkits.base.renamer

Methods in soot.dava.toolkits.base.renamer that return types with arguments of type Local

Modifier and Type	Method and Description
Iterator<Local>	heuristicSet.getLocalsIterator()

Methods in soot.dava.toolkits.base.renamer with parameters of type Local

Modifier and Type	Method and Description
void	heuristicSet.add(Local var, int bits)
void	heuristicSet.addCastString(Local var, String castString)
boolean	heuristicSet.contains(Local var)
List<String>	heuristicSet.getCastStrings(Local var)
List<String>	heuristicSet.getFieldName(Local var)
boolean	heuristicSet.getHeuristic(Local var, int bitIndex)
List<String>	heuristicSet.getMethodName(Local var)
List<String>	heuristicSet.getObjectClassName(Local var)
boolean	heuristicSet.isAnyHeuristicSet(Local var)
void	heuristicSet.setFieldName(Local var, String fieldName)
void	heuristicSet.setHeuristic(Local var, int bitIndex)
void	heuristicSet.setMethodName(Local var, String methodName)
void	heuristicSet.setObjectClassName(Local var, String objectClassName)

Uses of Local in soot.dexpler

Fields in soot.dexpler declared as Local

Modifier and Type	Field and Description
protected Local[]	DexBody.registerLocals
protected Local	DexBody.storeResultLocal

Fields in soot.dexpler with type parameters of type Local

Modifier and Type	Field and Description
protected Map<Local,Integer>	DexDefUseAnalysis.localToNumber

Methods in soot.dexpler that return Local

Modifier and Type	Method and Description
Local	DexBody.getRegisterLocal(int num) Return the Local that are associated with the number in the current register state.
Local[]	DexBody.getRegisterLocals() Return the Locals that are associated with the current register state.
Local	DexBody.getStoreResultLocal()

Methods in soot.dexpler with parameters of type Local

Modifier and Type	Method and Description
protected Set<Unit>	DexDefUseAnalysis.collectDefinitionsWithAliases(Local l) Collect definitions of l in body including the definitions of aliases of l.
protected List<Unit>	DexTransformer.collectDefinitionsWithAliases(Local l, LocalDefs localDefs, LocalUses localUses, Body body) Collect definitions of l in body including the definitions of aliases of l.
List<Unit>	DexDefUseAnalysis.getDefsOf(Local l)
List<Unit>	DexDefUseAnalysis.getDefsOfAt(Local l, Unit s)
Set<Unit>	DexDefUseAnalysis.getUsesOf(Local l)

Uses of Local in soot.dexpler.instructions

Methods in soot.dexpler.instructions that return types with arguments of type Local

Modifier and Type	Method and Description
protected List<Local>	MethodInvocationInstruction.buildParameters(DexBody body, List<? extends CharSequence> paramTypes, boolean isStatic) Build the local parameters of the invocation.

Methods in soot.dexpler.instructions with parameters of type Local

Modifier and Type	Method and Description
protected AssignStmt	FieldInstruction.getAssignStmt(DexBody body, Local sourceValue, ConcreteRef instanceField) Check if the field type equals the type of the value that will be stored in the field.
protected abstract Stmt	SwitchInstruction.switchStatement(DexBody body, org.jf.dexlib2.iface.instruction.Instruction targetData, Local key) Return a switch statement based on given target data on the given key.
protected Stmt	PackedSwitchInstruction.switchStatement(DexBody body, org.jf.dexlib2.iface.instruction.Instruction targetData, Local key)
protected Stmt	SparseSwitchInstruction.switchStatement(DexBody body, org.jf.dexlib2.iface.instruction.Instruction targetData, Local key)

Uses of Local in soot.grimp

Methods in soot.grimp that return Local

Modifier and Type	Method and Description
Local	Grimp.newLocal(String name, Type t) Constructs a Local with the given name and type.

Methods in soot.grimp with parameters of type Local

Modifier and Type	Method and Description
InterfaceInvokeExpr	Grimp.newInterfaceInvokeExpr(Local base, SootMethodRef method, List args) Constructs a InterfaceInvokeExpr(Local base, SootMethodRef method, List of Expr) grammar chunk.
SpecialInvokeExpr	Grimp.newSpecialInvokeExpr(Local base, SootMethodRef method, List args) Constructs a SpecialInvokeExpr(Local base, SootMethodRef method, List of Expr) grammar chunk.
VirtualInvokeExpr	Grimp.newVirtualInvokeExpr(Local base, SootMethodRef method, List args) Constructs a VirtualInvokeExpr(Local base, SootMethodRef method, List of Expr) grammar chunk.

Uses of Local in soot.JastAddJ

Fields in soot.JastAddJ declared as Local

Modifier and Type	Field and Description
Local	VariableDeclaration.local
Local	ParameterDeclaration.local

Methods in soot.JastAddJ that return Local

Modifier and Type	Method and Description
Local	ASTNode.asLocal(Body b, Value v)
Local	ASTNode.asLocal(Body b, Value v, Type t)
Local	VarAccess.base(Body b)
Local	VarAccess.createLoadQualifier(Body b)
Local	Access.emitThis(Body b, TypeDecl targetDecl)
Local	Body.emitThis(TypeDecl typeDecl)
Local	Body.getParam(int i)
Local	SynchronizedStmt.monitor(Body b)
Local	Body.newLocal(String name, Type type)
Local	Body.newTemp(Type type)
Local	Body.newTemp(Value v)

Methods in soot.JastAddJ with parameters of type Local

Modifier and Type	Method and Description
InterfaceInvokeExpr	Body.newInterfaceInvokeExpr(Local base, SootMethodRef method, ASTNode location)
InterfaceInvokeExpr	Body.newInterfaceInvokeExpr(Local base, SootMethodRef method, List args, ASTNode location)
InterfaceInvokeExpr	Body.newInterfaceInvokeExpr(Local base, SootMethodRef method, Value arg, ASTNode location)
SpecialInvokeExpr	Body.newSpecialInvokeExpr(Local base, SootMethodRef method, ASTNode location)
SpecialInvokeExpr	Body.newSpecialInvokeExpr(Local base, SootMethodRef method, List args, ASTNode location)
SpecialInvokeExpr	Body.newSpecialInvokeExpr(Local base, SootMethodRef method, Value arg, ASTNode location)
VirtualInvokeExpr	Body.newVirtualInvokeExpr(Local base, SootMethodRef method, ASTNode location)
VirtualInvokeExpr	Body.newVirtualInvokeExpr(Local base, SootMethodRef method, List args, ASTNode location)
VirtualInvokeExpr	Body.newVirtualInvokeExpr(Local base, SootMethodRef method, Value arg, ASTNode location)

Uses of Local in soot.javaToJimple

Fields in soot.javaToJimple declared as Local

Modifier and Type	Field and Description
protected Local	JimpleBodyBuilder.outerClassParamLocal
protected Local	JimpleBodyBuilder.specialThisLocal

Fields in soot.javaToJimple with type parameters of type Local

Modifier and Type	Field and Description
protected HashMap<polyglot.util.IdentityKey,Local>	JimpleBodyBuilder.localsMap

Methods in soot.javaToJimple that return Local

Modifier and Type	Method and Description
protected Local	LocalGenerator.createLocal(String name, Type sootType)
protected Local	JimpleBodyBuilder.generateLocal(polyglot.types.Type polyglotType) Extra Local Variables Generation
protected Local	JimpleBodyBuilder.generateLocal(Type sootType)
protected Local	AbstractJimpleBodyBuilder.generateLocal(Type sootType)
protected Local	AbstractJimpleBodyBuilder.generateLocal(polyglot.types.Type polyglotType)
Local	LocalGenerator.generateLocal(Type type) generates a new soot local given the type
Local	PolyglotMethodSource.getOuterClassThisInit()
static Local	Util.getPrivateAccessFieldInvoke(SootMethodRef toInvoke, ArrayList params, Body body, LocalGenerator lg)
protected Local	JimpleBodyBuilder.getThis(Type sootType)
protected Local	AbstractJimpleBodyBuilder.getThis(Type sootType)
static Local	Util.getThis(Type sootType, Body body, HashMap getThisMap, LocalGenerator lg)
static Local	Util.getThisGivenOuter(Type sootType, HashMap getThisMap, Body body, LocalGenerator lg, Local t2)
protected Local	JimpleBodyBuilder.handlePrivateFieldAssignSet(polyglot.ast.Assign assign)
protected Local	AccessFieldJBB.handlePrivateFieldAssignSet(polyglot.ast.Assign assign)
protected Local	AbstractJimpleBodyBuilder.handlePrivateFieldAssignSet(polyglot.ast.Assign assign)
protected Local	JimpleBodyBuilder.handlePrivateFieldSet(polyglot.ast.Expr expr, Value right, Value base)
protected Local	AccessFieldJBB.handlePrivateFieldSet(polyglot.ast.Expr expr, Value right, Value baseLocal)
protected Local	AbstractJimpleBodyBuilder.handlePrivateFieldSet(polyglot.ast.Expr expr, Value right, Value base)
protected Local	JimpleBodyBuilder.handlePrivateFieldUnarySet(polyglot.ast.Unary unary)
protected Local	AccessFieldJBB.handlePrivateFieldUnarySet(polyglot.ast.Unary unary)
protected Local	AbstractJimpleBodyBuilder.handlePrivateFieldUnarySet(polyglot.ast.Unary unary)

Methods in soot.javaToJimple with parameters of type Local

Modifier and Type	Method and Description
protected Value	JimpleBodyBuilder.getAssignRightLocal(polyglot.ast.Assign assign, Local leftLocal)
protected Value	AbstractJimpleBodyBuilder.getAssignRightLocal(polyglot.ast.Assign assign, Local leftLocal)
static Local	Util.getThisGivenOuter(Type sootType, HashMap getThisMap, Body body, LocalGenerator lg, Local t2)
void	PolyglotMethodSource.setOuterClassThisInit(Local l)

Uses of Local in soot.jbco

Fields in soot.jbco with type parameters of type Local

Modifier and Type	Field and Description
static Map<SootMethod,Map<Local,Local>>	Main.methods2Baf2JLocals
static Map<SootMethod,Map<Local,Local>>	Main.methods2Baf2JLocals
static Map<SootMethod,List<Local>>	Main.methods2JLocals

Uses of Local in soot.jbco.bafTransformations

Fields in soot.jbco.bafTransformations with type parameters of type Local

Modifier and Type	Field and Description
Map<Local,Local>	StackTypeHeightCalculator.StackEffectSwitch.bafToJLocals
Map<Local,Local>	StackTypeHeightCalculator.StackEffectSwitch.bafToJLocals

Methods in soot.jbco.bafTransformations with parameters of type Local

Modifier and Type	Method and Description
static PushInst	FixUndefinedLocals.getPushInitializer(Local l, Type t)

Method parameters in soot.jbco.bafTransformations with type arguments of type Local

Modifier and Type	Method and Description
static Map<Unit,Stack<Type>>	StackTypeHeightCalculator.calculateStackHeights(Body b, Map<Local,Local> b2JLocs)
static Map<Unit,Stack<Type>>	StackTypeHeightCalculator.calculateStackHeights(Body b, Map<Local,Local> b2JLocs)

Uses of Local in soot.jbco.util

Methods in soot.jbco.util that return Local

Modifier and Type	Method and Description
static Local	BodyBuilder.buildThisLocal(PatchingChain<Unit> units, ThisRef tr, Collection<Local> locals)

Methods in soot.jbco.util that return types with arguments of type Local

Modifier and Type	Method and Description
static List<Local>	BodyBuilder.buildParameterLocals(PatchingChain<Unit> units, Collection<Local> locals, List<Type> paramTypes)

Method parameters in soot.jbco.util with type arguments of type Local

Modifier and Type	Method and Description
static List<Local>	BodyBuilder.buildParameterLocals(PatchingChain<Unit> units, Collection<Local> locals, List<Type> paramTypes)
static Local	BodyBuilder.buildThisLocal(PatchingChain<Unit> units, ThisRef tr, Collection<Local> locals)

Uses of Local in soot.jimple

Methods in soot.jimple that return Local

Modifier and Type	Method and Description
Local	JimpleToBafContext.getBafLocalOfJimpleLocal(Local jimpleLocal)
Local	Jimple.newLocal(String name, Type t) Constructs a Local with the given name and type.

Methods in soot.jimple with parameters of type Local

Modifier and Type	Method and Description
protected abstract void	PointerStmtSwitch.caseAnyNewStmt(Local dest, Expr e) Any type of new statement (NewStmt, NewArrayStmt, NewMultiArrayStmt)
protected abstract void	PointerStmtSwitch.caseArrayLoadStmt(Local dest, ArrayRef src) A statement of the form l1 = l2[i];
protected abstract void	PointerStmtSwitch.caseArrayStoreStmt(ArrayRef dest, Local src) A statement of the form l1[i] = l2;
protected void	PointerStmtSwitch.caseCastStmt(Local dest, Local src, CastExpr c) A statement of the form l = (cl) v;
protected void	PointerStmtSwitch.caseCatchStmt(Local dest, CaughtExceptionRef cer) A catch statement
protected abstract void	PointerStmtSwitch.caseCopyStmt(Local dest, Local src) A statement of the form l = v;
protected abstract void	PointerStmtSwitch.caseGlobalLoadStmt(Local dest, StaticFieldRef src) A statement of the form l = cl.f;
protected abstract void	PointerStmtSwitch.caseGlobalStoreStmt(StaticFieldRef dest, Local src) A statement of the form cl.f = l;
protected abstract void	PointerStmtSwitch.caseIdentityStmt(Local dest, IdentityRef src) An identity statement assigning a parameter to a local.
protected abstract void	PointerStmtSwitch.caseInvokeStmt(Local dest, InvokeExpr e) A method invocation.
protected abstract void	PointerStmtSwitch.caseLoadStmt(Local dest, InstanceFieldRef src) A statement of the form l1 = l2.f;
void	JimpleValueSwitch.caseLocal(Local l)
void	AbstractJimpleValueSwitch.caseLocal(Local v)
protected void	PointerStmtSwitch.caseNewArrayStmt(Local dest, NewArrayExpr e) A newarray statement
protected void	PointerStmtSwitch.caseNewMultiArrayStmt(Local dest, NewMultiArrayExpr e) A anewarray statement
protected void	PointerStmtSwitch.caseNewStmt(Local dest, NewExpr e) A new statement
protected abstract void	PointerStmtSwitch.caseReturnStmt(Local val) A return statement.
protected abstract void	PointerStmtSwitch.caseStoreStmt(InstanceFieldRef dest, Local src) A statement of the form l1.f = l2;
protected void	PointerStmtSwitch.caseThrowStmt(Local thrownException) A throw statement
Local	JimpleToBafContext.getBafLocalOfJimpleLocal(Local jimpleLocal)
boolean	EqualLocals.isLocalEqualToAt(Local l1, Local l2, Stmt s)
InterfaceInvokeExpr	Jimple.newInterfaceInvokeExpr(Local base, SootMethodRef method)
InterfaceInvokeExpr	Jimple.newInterfaceInvokeExpr(Local base, SootMethodRef method, List<? extends Value> args) Constructs a NewInterfaceInvokeExpr(Local base, SootMethodRef method, List of Immediate) grammar chunk.
InterfaceInvokeExpr	Jimple.newInterfaceInvokeExpr(Local base, SootMethodRef method, Value... args) Constructs a NewInterfaceInvokeExpr(Local base, SootMethodRef method, List of Immediate) grammar chunk.
InterfaceInvokeExpr	Jimple.newInterfaceInvokeExpr(Local base, SootMethodRef method, Value arg)
SpecialInvokeExpr	Jimple.newSpecialInvokeExpr(Local base, SootMethodRef method)
SpecialInvokeExpr	Jimple.newSpecialInvokeExpr(Local base, SootMethodRef method, List<? extends Value> args) Constructs a NewSpecialInvokeExpr(Local base, SootMethodRef method, List of Immediate) grammar chunk.
SpecialInvokeExpr	Jimple.newSpecialInvokeExpr(Local base, SootMethodRef method, Value... args) Constructs a NewSpecialInvokeExpr(Local base, SootMethodRef method, List of Immediate) grammar chunk.
SpecialInvokeExpr	Jimple.newSpecialInvokeExpr(Local base, SootMethodRef method, Value arg)
VirtualInvokeExpr	Jimple.newVirtualInvokeExpr(Local base, SootMethodRef method)
VirtualInvokeExpr	Jimple.newVirtualInvokeExpr(Local base, SootMethodRef method, List<? extends Value> args) Constructs a NewVirtualInvokeExpr(Local base, SootMethodRef method, List of Immediate) grammar chunk.
VirtualInvokeExpr	Jimple.newVirtualInvokeExpr(Local base, SootMethodRef method, Value... args) Constructs a NewVirtualInvokeExpr(Local base, SootMethodRef method, List of Immediate) grammar chunk.
VirtualInvokeExpr	Jimple.newVirtualInvokeExpr(Local base, SootMethodRef method, Value arg)
void	JimpleToBafContext.setBafLocalOfJimpleLocal(Local jimpleLocal, Local bafLocal)
void	ArrayRef.setBase(Local base)

Constructors in soot.jimple with parameters of type Local

Constructor and Description
LocalStmtPair(Local local, Stmt stmt)

Uses of Local in soot.jimple.internal

Classes in soot.jimple.internal that implement Local

Modifier and Type	Class and Description
class	JimpleLocal

Methods in soot.jimple.internal with parameters of type Local

Modifier and Type	Method and Description
void	JArrayRef.setBase(Local base)

Constructors in soot.jimple.internal with parameters of type Local

Constructor and Description
JSpecialInvokeExpr(Local base, SootMethodRef methodRef, List<? extends Value> args)

Uses of Local in soot.jimple.spark.builder

Methods in soot.jimple.spark.builder with parameters of type Local

Modifier and Type	Method and Description
void	MethodNodeFactory.caseLocal(Local l)

Uses of Local in soot.jimple.spark.geom.geomPA

Methods in soot.jimple.spark.geom.geomPA with parameters of type Local

Modifier and Type	Method and Description
boolean	GeomQueries.contexsByAnyCallEdge(Edge sootEdge, Local l, PtSensVisitor visitor) Deprecated.
boolean	GeomQueries.contextsByAnyCallEdge(Edge sootEdge, Local l, SparkField field, PtSensVisitor visitor) Deprecated.
boolean	GeomQueries.contextsByCallChain(Edge[] callEdgeChain, Local l, PtSensVisitor visitor) Deprecated.
boolean	GeomQueries.contextsByCallChain(Edge[] callEdgeChain, Local l, SparkField field, PtSensVisitor visitor) Deprecated.
boolean	GeomQueries.contextsGoBy(Edge sootEdge, Local l, PtSensVisitor visitor) Answer contexts-go-by query.
boolean	GeomQueries.contextsGoBy(Edge sootEdge, Local l, SparkField field, PtSensVisitor visitor) Searching the points-to results for field expression such as p.f.
boolean	GeomQueries.isAlias(Local l1, Local l2) Decide if under any contexts, pointers @param l1 and @param l2 can be an alias.
boolean	GeomQueries.isAliasCI(Local l1, Local l2) Are the two pointers an alias with context insensitive points-to information?
boolean	GeomQueries.kCFA(Edge[] callEdgeChain, Local l, PtSensVisitor visitor) Standard K-CFA querying for arbitrary K.
boolean	GeomQueries.kCFA(Edge[] callEdgeChain, Local l, SparkField field, PtSensVisitor visitor) Standard K-CFA querying for field expression.
PointsToSet	GeomPointsTo.reachingObjects(Context c, Local l)
PointsToSet	GeomPointsTo.reachingObjects(Context c, Local l, SootField f)
PointsToSet	GeomPointsTo.reachingObjects(Local l)
PointsToSet	GeomPointsTo.reachingObjects(Local l, SootField f)

Uses of Local in soot.jimple.spark.ondemand

Fields in soot.jimple.spark.ondemand with type parameters of type Local

Modifier and Type	Field and Description
protected Map<Local,PointsToSet>	DemandCSPointsTo.reachingObjectsCache
protected Map<Local,PointsToSet>	DemandCSPointsTo.reachingObjectsCacheNoCGRefinement

Methods in soot.jimple.spark.ondemand with parameters of type Local

Modifier and Type	Method and Description
protected PointsToSet	DemandCSPointsTo.computeReachingObjects(Local l) Computes the possibly refined set of reaching objects for l.
PointsToSet	DemandCSPointsTo.doReachingObjects(Local l)
PointsToSet	DemandCSPointsTo.reachingObjects(Context c, Local l) Currently not implemented.
PointsToSet	DemandCSPointsTo.reachingObjects(Context c, Local l, SootField f) Currently not implemented.
PointsToSet	DemandCSPointsTo.reachingObjects(Local l)
PointsToSet	DemandCSPointsTo.reachingObjects(Local l, SootField f) Currently not implemented.

Constructors in soot.jimple.spark.ondemand with parameters of type Local

Constructor and Description
LazyContextSensitivePointsToSet(Local l, EqualsSupportingPointsToSet contextInsensitiveSet, DemandCSPointsTo demandCSPointsTo)

Uses of Local in soot.jimple.spark.pag

Methods in soot.jimple.spark.pag with parameters of type Local

Modifier and Type	Method and Description
PointsToSet	PAG.reachingObjects(Context c, Local l) Returns the set of objects pointed to by variable l in context c.
PointsToSet	PAG.reachingObjects(Context c, Local l, SootField f) Returns the set of objects pointed to by instance field f of the objects pointed to by l in context c.
PointsToSet	PAG.reachingObjects(Local l) Returns the set of objects pointed to by variable l.
PointsToSet	PAG.reachingObjects(Local l, SootField f) Returns the set of objects pointed to by instance field f of the objects pointed to by l.

Uses of Local in soot.jimple.toolkits.annotation.purity

Methods in soot.jimple.toolkits.annotation.purity with parameters of type Local

Modifier and Type	Method and Description
protected boolean	PurityGraph.localsPut(Local local, PurityNode node)
protected boolean	PurityGraph.localsPutAll(Local local, Set nodes)
protected boolean	PurityGraph.localsRemove(Local local)

Uses of Local in soot.jimple.toolkits.callgraph

Fields in soot.jimple.toolkits.callgraph with type parameters of type Local

Modifier and Type	Field and Description
protected MultiMap<AllocDotField,Local>	OnFlyCallGraphBuilder.allocDotFieldToLocal
protected MultiMap<Local,InvokeCallSite>	OnFlyCallGraphBuilder.baseToInvokeSite
protected MultiMap<Local,InvokeCallSite>	OnFlyCallGraphBuilder.invokeArgsToInvokeSite
protected Map<Local,BitSet>	OnFlyCallGraphBuilder.invokeArgsToSize
protected LargeNumberedMap<SootMethod,List<Local>>	OnFlyCallGraphBuilder.methodToInvokeArgs
protected LargeNumberedMap<SootMethod,List<Local>>	OnFlyCallGraphBuilder.methodToInvokeBases
protected LargeNumberedMap<SootMethod,List<Local>>	OnFlyCallGraphBuilder.methodToReceivers
protected LargeNumberedMap<SootMethod,List<Local>>	OnFlyCallGraphBuilder.methodToStringConstants
protected MultiMap<Local,Type>	OnFlyCallGraphBuilder.reachingArgTypes
protected MultiMap<Local,Type>	OnFlyCallGraphBuilder.reachingBaseTypes
protected LargeNumberedMap<Local,List<VirtualCallSite>>	OnFlyCallGraphBuilder.receiverToSites

Methods in soot.jimple.toolkits.callgraph that return Local

Modifier and Type	Method and Description
Local	InvokeCallSite.argArray()
Local	InvokeCallSite.base()

Methods in soot.jimple.toolkits.callgraph that return types with arguments of type Local

Modifier and Type	Method and Description
LargeNumberedMap<SootMethod,List<Local>>	OnFlyCallGraphBuilder.methodToInvokeArgs()
LargeNumberedMap<SootMethod,List<Local>>	OnFlyCallGraphBuilder.methodToInvokeBases()
LargeNumberedMap<SootMethod,List<Local>>	OnFlyCallGraphBuilder.methodToReceivers()
LargeNumberedMap<SootMethod,List<Local>>	OnFlyCallGraphBuilder.methodToStringConstants()

Methods in soot.jimple.toolkits.callgraph with parameters of type Local

Modifier and Type	Method and Description
void	OnFlyCallGraphBuilder.addBaseType(Local base, Context context, Type ty)
void	OnFlyCallGraphBuilder.addInvokeArgDotField(Local receiver, AllocDotField dot)
void	OnFlyCallGraphBuilder.addInvokeArgType(Local argArray, Context context, Type t)
void	OnFlyCallGraphBuilder.addPossibleArgArraySize(Local argArray, int value, Context context)
void	OnFlyCallGraphBuilder.addStringConstant(Local l, Context srcContext, String constant)
void	OnFlyCallGraphBuilder.addType(Local receiver, Context srcContext, Type type, Context typeContext)
ConstantArrayAnalysis.ArrayTypes	ConstantArrayAnalysis.getArrayTypesBefore(Stmt s, Local arrayLocal)
boolean	ConstantArrayAnalysis.isConstantBefore(Stmt s, Local arrayLocal)
void	OnFlyCallGraphBuilder.setArgArrayNonDetSize(Local argArray, Context context)
boolean	OnFlyCallGraphBuilder.wantInvokeArg(Local receiver)
boolean	OnFlyCallGraphBuilder.wantStringConstants(Local stringConst)
boolean	OnFlyCallGraphBuilder.wantTypes(Local receiver)

Constructors in soot.jimple.toolkits.callgraph with parameters of type Local

Constructor and Description
InvokeCallSite(Stmt stmt, SootMethod container, InstanceInvokeExpr iie, Local base)
InvokeCallSite(Stmt stmt, SootMethod container, InstanceInvokeExpr iie, Local base, ConstantArrayAnalysis.ArrayTypes reachingArgTypes, int nullnessCode)
InvokeCallSite(Stmt stmt, SootMethod container, InstanceInvokeExpr iie, Local base, Local argArray, int nullnessCode)

Uses of Local in soot.jimple.toolkits.ide.exampleproblems

Methods in soot.jimple.toolkits.ide.exampleproblems that return Local

Modifier and Type	Method and Description
Local	IFDSUninitializedVariables.createZeroValue()
Local	IFDSLocalInfoFlow.createZeroValue()

Methods in soot.jimple.toolkits.ide.exampleproblems that return types with arguments of type Local

Modifier and Type	Method and Description
heros.FlowFunctions<Unit,Local,SootMethod>	IFDSUninitializedVariables.createFlowFunctionsFactory()
heros.FlowFunctions<Unit,Local,SootMethod>	IFDSLocalInfoFlow.createFlowFunctionsFactory()
Map<Unit,Set<Local>>	IFDSUninitializedVariables.initialSeeds()
Map<Unit,Set<Local>>	IFDSLocalInfoFlow.initialSeeds()

Uses of Local in soot.jimple.toolkits.infoflow

Classes in soot.jimple.toolkits.infoflow that implement Local

Modifier and Type	Class and Description
class	FakeJimpleLocal

Methods in soot.jimple.toolkits.infoflow that return Local

Modifier and Type	Method and Description
Local	FakeJimpleLocal.getRealLocal()

Methods in soot.jimple.toolkits.infoflow with parameters of type Local

Modifier and Type	Method and Description
static EquivalentValue	InfoFlowAnalysis.getNodeForFieldRef(SootMethod sm, SootField sf, Local realLocal)

Constructors in soot.jimple.toolkits.infoflow with parameters of type Local

Constructor and Description
FakeJimpleLocal(String name, Type t, Local realLocal) Constructs a FakeJimpleLocal of the given name and type.
FakeJimpleLocal(String name, Type t, Local realLocal, Object info)

Uses of Local in soot.jimple.toolkits.invoke

Methods in soot.jimple.toolkits.invoke that return Local

Modifier and Type	Method and Description
Local	SynchronizerManager.addStmtsToFetchClassBefore(JimpleBody jb, Stmt target) Adds code to fetch the static Class object to the given JimpleBody before the target Stmt.

Methods in soot.jimple.toolkits.invoke with parameters of type Local

Modifier and Type	Method and Description
void	SynchronizerManager.synchronizeStmtOn(Stmt stmt, JimpleBody b, Local lock) Wraps stmt around a monitor associated with local lock.

Uses of Local in soot.jimple.toolkits.pointer

Fields in soot.jimple.toolkits.pointer declared as Local

Modifier and Type	Field and Description
protected Local	InstanceKey.assignedLocal

Fields in soot.jimple.toolkits.pointer with type parameters of type Local

Modifier and Type	Field and Description
protected Set<Local>	LocalMustNotAliasAnalysis.locals

Methods in soot.jimple.toolkits.pointer that return Local

Modifier and Type	Method and Description
Local	InstanceKey.getLocal()

Methods in soot.jimple.toolkits.pointer that return types with arguments of type Local

Modifier and Type	Method and Description
protected HashMap<Local,Set<NewExpr>>	LocalMustNotAliasAnalysis.entryInitialFlow()
protected HashMap<Local,Set<NewExpr>>	LocalMustNotAliasAnalysis.newInitialFlow()

Methods in soot.jimple.toolkits.pointer with parameters of type Local

Modifier and Type	Method and Description
RefType	LocalMustNotAliasAnalysis.concreteType(Local l, Stmt s) If the given local at the given statement was initialized with a single, concrete new-expression then the type of this expression is returned.
boolean	LocalMustNotAliasAnalysis.hasInfoOn(Local l, Stmt s) Returns true if this analysis has any information about local l at statement s (i.e.
boolean	LocalMustAliasAnalysis.hasInfoOn(Local l, Stmt s) Returns true if this analysis has any information about local l at statement s.
String	LocalMustAliasAnalysis.instanceKeyString(Local l, Stmt s) Returns a string (natural number) representation of the instance key associated with l at statement s or null if there is no such key associated.
String	StrongLocalMustAliasAnalysis.instanceKeyString(Local l, Stmt s) Returns a string (natural number) representation of the instance key associated with l at statement s or null if there is no such key associated.
boolean	LocalMustAliasAnalysis.mustAlias(Local l1, Stmt s1, Local l2, Stmt s2)
boolean	StrongLocalMustAliasAnalysis.mustAlias(Local l1, Stmt s1, Local l2, Stmt s2)
boolean	LocalMustNotAliasAnalysis.notMayAlias(Local l1, Stmt s1, Local l2, Stmt s2)
PointsToSet	DumbPointerAnalysis.reachingObjects(Context c, Local l) Returns the set of objects pointed to by variable l in context c.
PointsToSet	DumbPointerAnalysis.reachingObjects(Context c, Local l, SootField f) Returns the set of objects pointed to by instance field f of the objects pointed to by l in context c.
protected PointsToSet	PASideEffectTester.reachingObjects(Local l)
PointsToSet	DumbPointerAnalysis.reachingObjects(Local l) Returns the set of objects pointed to by variable l.
PointsToSet	DumbPointerAnalysis.reachingObjects(Local l, SootField f) Returns the set of objects pointed to by instance field f of the objects pointed to by l.

Method parameters in soot.jimple.toolkits.pointer with type arguments of type Local

Modifier and Type	Method and Description
protected void	LocalMustNotAliasAnalysis.copy(HashMap<Local,Set<NewExpr>> source, HashMap<Local,Set<NewExpr>> dest)
protected void	LocalMustNotAliasAnalysis.copy(HashMap<Local,Set<NewExpr>> source, HashMap<Local,Set<NewExpr>> dest)
protected void	LocalMustNotAliasAnalysis.flowThrough(HashMap<Local,Set<NewExpr>> in, Unit unit, HashMap<Local,Set<NewExpr>> out)
protected void	LocalMustNotAliasAnalysis.flowThrough(HashMap<Local,Set<NewExpr>> in, Unit unit, HashMap<Local,Set<NewExpr>> out)
protected void	LocalMustNotAliasAnalysis.merge(HashMap<Local,Set<NewExpr>> in1, HashMap<Local,Set<NewExpr>> in2, HashMap<Local,Set<NewExpr>> o)
protected void	LocalMustNotAliasAnalysis.merge(HashMap<Local,Set<NewExpr>> in1, HashMap<Local,Set<NewExpr>> in2, HashMap<Local,Set<NewExpr>> o)
protected void	LocalMustNotAliasAnalysis.merge(HashMap<Local,Set<NewExpr>> in1, HashMap<Local,Set<NewExpr>> in2, HashMap<Local,Set<NewExpr>> o)

Constructors in soot.jimple.toolkits.pointer with parameters of type Local

Constructor and Description
InstanceKey(Local local, Stmt stmt, SootMethod owner, LocalMustAliasAnalysis lmaa, LocalMustNotAliasAnalysis lmna) Creates a new instance key representing the value stored in local, just before stmt.

Uses of Local in soot.jimple.toolkits.scalar

Methods in soot.jimple.toolkits.scalar that return Local

Modifier and Type	Method and Description
Local	LocalCreation.newLocal(String prefix, Type type) returns a new local with the given prefix and the given type. the returned local will automatically added to the locals-chain.
Local	LocalCreation.newLocal(Type type) returns a new local with the prefix given to the constructor (or the default-prefix if none has been given) and the given type. The returned local will automatically added to the locals-chain. The local will be of the form: prefixX (where the last X is a number, so the localname is unique).

Methods in soot.jimple.toolkits.scalar with parameters of type Local

Modifier and Type	Method and Description
boolean	EqualUsesAnalysis.areEqualUses(Stmt firstStmt, Local firstLocal, Stmt secondStmt, Local secondLocal) Deprecated.
boolean	EqualUsesAnalysis.areEqualUses(Stmt firstStmt, Local firstLocal, Stmt secondStmt, Local secondLocal, List boundaryStmts) Deprecated.
List	EqualLocalsAnalysis.getCopiesOfAt(Local l, Stmt s) Returns a list of EquivalentValue wrapped Locals and Refs that must always be equal to l at s

Method parameters in soot.jimple.toolkits.scalar with type arguments of type Local

Modifier and Type	Method and Description
boolean	EqualUsesAnalysis.areEqualUses(Map<Stmt,Local> stmtToLocal) Deprecated.
boolean	EqualUsesAnalysis.areEqualUses(Map<Stmt,Local> stmtToLocal, List boundaryStmts) Deprecated.

Constructor parameters in soot.jimple.toolkits.scalar with type arguments of type Local

Constructor and Description
LocalCreation(Collection<Local> locals) all actions are done on the given locals-chain.
LocalCreation(Collection<Local> locals, String prefix) whenever newLocal(type) will be called, the given prefix is used.

Uses of Local in soot.jimple.toolkits.typing.fast

Fields in soot.jimple.toolkits.typing.fast with type parameters of type Local

Modifier and Type	Field and Description
protected HashMap<Local,Type>	Typing.map

Methods in soot.jimple.toolkits.typing.fast that return Local

Modifier and Type	Method and Description
protected Local	TypeResolver.CastInsertionUseVisitor.createCast(Type useType, Stmt stmt, Local old) Creates a cast at stmt of vold to the given type.

Methods in soot.jimple.toolkits.typing.fast that return types with arguments of type Local

Modifier and Type	Method and Description
static MultiMap<Local,Type>	DefaultTypingStrategy.getFlatTyping(List<Typing> tgs)
static Set<Local>	DefaultTypingStrategy.getObjectLikeTypings(List<Typing> tgs)

Methods in soot.jimple.toolkits.typing.fast with parameters of type Local

Modifier and Type	Method and Description
protected Local	TypeResolver.CastInsertionUseVisitor.createCast(Type useType, Stmt stmt, Local old) Creates a cast at stmt of vold to the given type.
Type	Typing.get(Local v)
Type	Typing.set(Local v, Type t)

Method parameters in soot.jimple.toolkits.typing.fast with type arguments of type Local

Modifier and Type	Method and Description
int	DefaultTypingStrategy.compare(Typing a, Typing b, IHierarchy h, Collection<Local> localsToIgnore)
Typing	DefaultTypingStrategy.createTyping(Chain<Local> locals)
Typing	ITypingStrategy.createTyping(Chain<Local> locals) Creates a new typing class instance with initialized bottom types for the given locals

Constructor parameters in soot.jimple.toolkits.typing.fast with type arguments of type Local

Constructor and Description
Typing(Collection<Local> vs)

Uses of Local in soot.shimple

Methods in soot.shimple that return Local

Modifier and Type	Method and Description
static Local	Shimple.getLhsLocal(Unit unit) Returns the corresponding left Local if the unit is a Shimple node, null otherwise.

Methods in soot.shimple with parameters of type Local

Modifier and Type	Method and Description
PhiExpr	Shimple.newPhiExpr(Local leftLocal, List<Block> preds) Create a trivial PhiExpr, where preds are an ordered list of the control predecessor Blocks of the Phi expression.
PiExpr	Shimple.newPiExpr(Local local, Unit predicate, Object targetKey)

Uses of Local in soot.shimple.internal

Fields in soot.shimple.internal with type parameters of type Local

Modifier and Type	Field and Description
protected Map<String,Local>	ShimpleBodyBuilder.newLocals Maps new name Strings to Locals.
protected Map<Local,Local>	ShimpleBodyBuilder.newLocalsToOldLocal Maps renamed Locals to original Locals.
protected Map<Local,Local>	ShimpleBodyBuilder.newLocalsToOldLocal Maps renamed Locals to original Locals.
protected List<Local>	ShimpleBodyBuilder.origLocals A fixed list of all original Locals.
protected MultiMap<Local,Block>	PhiNodeManager.varToBlocks
protected MultiMap<Local,Block>	PiNodeManager.varToBlocks

Methods in soot.shimple.internal that return Local

Modifier and Type	Method and Description
protected Local	ShimpleBodyBuilder.fetchNewLocal(Local local, Integer subscript) Clever convenience function to fetch or create new Local's given a Local and the desired subscript.

Methods in soot.shimple.internal with parameters of type Local

Modifier and Type	Method and Description
protected Local	ShimpleBodyBuilder.fetchNewLocal(Local local, Integer subscript) Clever convenience function to fetch or create new Local's given a Local and the desired subscript.
void	PiNodeManager.insertPiNodes(Local local, Block frontierBlock)
void	PiNodeManager.piHandleIfStmt(Local local, IfStmt u)
void	PiNodeManager.piHandleSwitchStmt(Local local, Unit u)
void	PhiNodeManager.prependTrivialPhiNode(Local local, Block frontierBlock) Inserts a trivial Phi node with the appropriate number of arguments.

Constructors in soot.shimple.internal with parameters of type Local

Constructor and Description
SPhiExpr(Local leftLocal, List<Block> preds) Create a trivial Phi expression for leftLocal.

Uses of Local in soot.shimple.toolkits.graph

Methods in soot.shimple.toolkits.graph that return Local

Modifier and Type	Method and Description
Local	ValueGraph.getLocal(ValueGraph.Node node)

Methods in soot.shimple.toolkits.graph with parameters of type Local

Modifier and Type	Method and Description
boolean	GlobalValueNumberer.areEqual(Local local1, Local local2)
boolean	SimpleGlobalValueNumberer.areEqual(Local local1, Local local2)
int	GlobalValueNumberer.getGlobalValueNumber(Local local)
int	SimpleGlobalValueNumberer.getGlobalValueNumber(Local local)

Uses of Local in soot.shimple.toolkits.scalar

Fields in soot.shimple.toolkits.scalar with type parameters of type Local

Modifier and Type	Field and Description
protected Map<Local,ArrayList>	ShimpleLocalUses.localToUses

Methods in soot.shimple.toolkits.scalar with parameters of type Local

Modifier and Type	Method and Description
List<Unit>	ShimpleLocalDefs.getDefsOf(Local l) Unconditionally returns the definition site of a local (as a singleton list).
List<Unit>	ShimpleLocalDefs.getDefsOfAt(Local l, Unit s) Returns the definition site for a Local at a certain point (Unit) in a method as a singleton list.
List	ShimpleLocalUses.getUsesOf(Local local) Returns all the uses of the given Local as a list of UnitValueBoxPairs, each containing a Unit that uses the local and the corresponding ValueBox containing the Local.

Method parameters in soot.shimple.toolkits.scalar with type arguments of type Local

Modifier and Type	Method and Description
static Constant	SEvaluator.getFuzzyConstantValueOf(Value v, Map<Local,Constant> localToConstant) Get the constant value of the expression given the assumptions in the localToConstant map (may contain Top and Bottom).
protected void	SConstantPropagatorAndFolder.propagateResults(Map<Local,Constant> localToConstant) Propagates constants to the definition and uses of the relevant locals given a mapping.

Uses of Local in soot.sootify

Methods in soot.sootify with parameters of type Local

Modifier and Type	Method and Description
void	ValueTemplatePrinter.caseLocal(Local l)

Uses of Local in soot.toDex

Classes in soot.toDex that implement Local

Modifier and Type	Class and Description
class	TemporaryRegisterLocal

Methods in soot.toDex that return Local

Modifier and Type	Method and Description
Local	TemporaryRegisterLocal.clone()
Local	LocalRegisterAssignmentInformation.getLocal()

Methods in soot.toDex that return types with arguments of type Local

Modifier and Type	Method and Description
Map<Local,Integer>	RegisterAllocator.getLocalToRegisterMapping()

Methods in soot.toDex with parameters of type Local

Modifier and Type	Method and Description
Register	RegisterAllocator.asLocal(Local local)
void	RegisterAllocator.asParameter(SootMethod sm, Local l)
static LocalRegisterAssignmentInformation	LocalRegisterAssignmentInformation.v(Register register, Local l)

Constructors in soot.toDex with parameters of type Local

Constructor and Description
LocalRegisterAssignmentInformation(Register register, Local local)

Uses of Local in soot.toolkits.exceptions

Methods in soot.toolkits.exceptions with parameters of type Local

Modifier and Type	Method and Description
void	UnitThrowAnalysis.ValueSwitch.caseLocal(Local l)

Uses of Local in soot.toolkits.scalar

Methods in soot.toolkits.scalar that return Local

Modifier and Type	Method and Description
Local	LocalUnitPair.getLocal()

Methods in soot.toolkits.scalar that return types with arguments of type Local

Modifier and Type	Method and Description
protected FlowSet<Local>	InitAnalysis.entryInitialFlow()
List<Local>	LiveLocals.getLiveLocalsAfter(Unit s) Returns the list of Locals that are live after the specified Unit.
List<Local>	SimpleLiveLocals.getLiveLocalsAfter(Unit s)
List<Local>	CombinedDUAnalysis.getLiveLocalsAfter(Unit u)
List<Local>	LiveLocals.getLiveLocalsBefore(Unit s) Returns the list of Locals that are live before the specified Unit.
List<Local>	SimpleLiveLocals.getLiveLocalsBefore(Unit s)
List<Local>	CombinedDUAnalysis.getLiveLocalsBefore(Unit u)
Set<Local>	SimpleLocalUses.getUnusedVariables() Gets all variables that are not used in this body
Set<Local>	SimpleLocalUses.getUsedVariables() Gets all variables that are used in this body
protected FlowSet<Local>	InitAnalysis.newInitialFlow()

Methods in soot.toolkits.scalar with parameters of type Local

Modifier and Type	Method and Description
List<Unit>	SmartLocalDefs.getDefsOf(Local l)
List<Unit>	LocalDefs.getDefsOf(Local l) Returns the definition sites for a Local merged over all points in a method.
List<Unit>	SimpleLocalDefs.getDefsOf(Local l)
List<Unit>	CombinedDUAnalysis.getDefsOf(Local l)
List<Unit>	SmartLocalDefs.getDefsOfAt(Local l, Unit s)
List<Unit>	LocalDefs.getDefsOfAt(Local l, Unit s) Returns the definition sites for a Local at a certain point (Unit) in a method.
List<Unit>	SimpleLocalDefs.getDefsOfAt(Local l, Unit s)
List<Unit>	CombinedDUAnalysis.getDefsOfAt(Local l, Unit s)

Method parameters in soot.toolkits.scalar with type arguments of type Local

Modifier and Type	Method and Description
static void	FastColorer.assignColorsToLocals(Body unitBody, Map<Local,Object> localToGroup, Map<Local,Integer> localToColor, Map<Object,Integer> groupToColorCount) Provides an economical coloring for the locals of unitBody.
static void	FastColorer.assignColorsToLocals(Body unitBody, Map<Local,Object> localToGroup, Map<Local,Integer> localToColor, Map<Object,Integer> groupToColorCount) Provides an economical coloring for the locals of unitBody.
protected void	InitAnalysis.copy(FlowSet<Local> source, FlowSet<Local> dest)
protected void	InitAnalysis.copy(FlowSet<Local> source, FlowSet<Local> dest)
protected void	InitAnalysis.flowThrough(FlowSet<Local> in, Unit unit, FlowSet<Local> out)
protected void	InitAnalysis.flowThrough(FlowSet<Local> in, Unit unit, FlowSet<Local> out)
protected void	InitAnalysis.merge(FlowSet<Local> in1, FlowSet<Local> in2, FlowSet<Local> out)
protected void	InitAnalysis.merge(FlowSet<Local> in1, FlowSet<Local> in2, FlowSet<Local> out)
protected void	InitAnalysis.merge(FlowSet<Local> in1, FlowSet<Local> in2, FlowSet<Local> out)
static void	FastColorer.unsplitAssignColorsToLocals(Body unitBody, Map<Local,Object> localToGroup, Map<Local,Integer> localToColor, Map<Object,Integer> groupToColorCount) Provides a coloring for the locals of unitBody, attempting to not split locals assigned the same name in the original Jimple.
static void	FastColorer.unsplitAssignColorsToLocals(Body unitBody, Map<Local,Object> localToGroup, Map<Local,Integer> localToColor, Map<Object,Integer> groupToColorCount) Provides a coloring for the locals of unitBody, attempting to not split locals assigned the same name in the original Jimple.

Constructors in soot.toolkits.scalar with parameters of type Local

Constructor and Description
LocalUnitPair(Local local, Unit unit) Constructs a LocalUnitPair from a Unit object and a Local object.