Uses of Interface
soot.Local

Packages that use Local

Package	Description
soot	Base Soot classes, shared by different intermediate representations.
soot.asm
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.dotnet.instructions
soot.dotnet.members
soot.dotnet.members.method
soot.dotnet.types
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	Description
protected Chain<Local>	Body.localChain	The chain of locals for this Body.
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	Description
abstract Local	LocalGenerator.generateLocal(Type type)	generates a new soot local given the type
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	Description
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	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.

Method parameters in soot with type arguments of type Local

Modifier and Type	Method	Description
LocalCreation	Scene.createLocalCreation(Chain<Local> locals)
LocalCreation	Scene.createLocalCreation(Chain<Local> locals, String prefix)

Uses of Local in soot.asm

Fields in soot.asm with type parameters of type Local

Modifier and Type	Field	Description
protected Map<Integer,Local>	AsmMethodSource.locals

Methods in soot.asm that return Local

Modifier and Type	Method	Description
protected Local	AsmMethodSource.newStackLocal()

Uses of Local in soot.baf

Fields in soot.baf with type parameters of type Local

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

Methods in soot.baf that return Local

Modifier and Type	Method	Description
Local	IncInst.getLocal()
Local	LoadInst.getLocal()
Local	StoreInst.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	Description
IncInst	Baf.newIncInst(Local aLocal, Constant aConstant)
LoadInst	Baf.newLoadInst(Type opType, Local l)
StoreInst	Baf.newStoreInst(Type opType, Local l)
void	IncInst.setLocal(Local l)
void	LoadInst.setLocal(Local l)
void	StoreInst.setLocal(Local l)

Uses of Local in soot.baf.internal

Classes in soot.baf.internal that implement Local

Modifier and Type	Class	Description
class	BafLocal

Methods in soot.baf.internal that return Local

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

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

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

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

Constructor	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	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	Description
Local	ASTSynchronizedBlockNode.getLocal()

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

Modifier and Type	Method	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	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	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	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	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	CP.processSynchronizedLocal(Local local, DavaFlowSet input)
DavaFlowSet	MustMayInitialize.processSynchronizedLocal(Local local, DavaFlowSet input)
DavaFlowSet	ReachingCopies.processSynchronizedLocal(Local local, DavaFlowSet input)
DavaFlowSet<Stmt>	ReachingDefs.processSynchronizedLocal(Local local, DavaFlowSet<Stmt> inSet)
abstract DavaFlowSet<E>	StructuredAnalysis.processSynchronizedLocal(Local local, DavaFlowSet<E> input)	To deal with the local used for synch blocks
DavaFlowSet	UnreachableCodeFinder.processSynchronizedLocal(Local local, DavaFlowSet input)

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

Constructor	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	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	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	Description
Iterator<Local>	heuristicSet.getLocalsIterator()

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

Modifier and Type	Method	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	Description
protected Local[]	DexBody.registerLocals
protected Local	DexBody.storeResultLocal

Fields in soot.dexpler with type parameters of type Local

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

Methods in soot.dexpler that return Local

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

Uses of Local in soot.dotnet.instructions

Methods in soot.dotnet.instructions that return Local

Modifier and Type	Method	Description
protected Local	AbstractCilnstruction.createTempVar(Body jb, Jimple jimple, Value inv)
protected Local	AbstractCilnstruction.createTempVar(Body jb, Type type)
Local	CatchHandlerBody.getExceptionVariable()
Local	CilIsInstInstruction.resolveRewritingIsInst(Body jb, Local variable, InstanceOfExpr instanceOfExpr)

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

Modifier and Type	Method	Description
List<Pair<Local,Local>>	CilCallInstruction.getLocalsToCastForCall()
List<Pair<Local,Local>>	CilCallInstruction.getLocalsToCastForCall()

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

Modifier and Type	Method	Description
void	CilILFunctionInstruction.resolveRewritingIsInst(Body jb, Local variable, Value instanceOfExpr)
Local	CilIsInstInstruction.resolveRewritingIsInst(Body jb, Local variable, InstanceOfExpr instanceOfExpr)

Constructors in soot.dotnet.instructions with parameters of type Local

Constructor	Description
CatchFilterHandlerBody(DotnetBody dotnetBody, ProtoIlInstructions.IlTryCatchHandlerMsg handlerMsg, Local exceptionVar, Unit nopStmtEnd)
CatchHandlerBody(Local exceptionVariable, ProtoIlInstructions.IlTryCatchHandlerMsg handlerMsg, DotnetBody dotnetBody, Body tryBody, Unit exceptionIdentityStmt, List<Unit> nopsToReplaceWithGoto)
CilLdElemaInstruction(ProtoIlInstructions.IlInstructionMsg instruction, DotnetBody dotnetBody, CilBlock cilBlock, Local variable)

Uses of Local in soot.dotnet.members

Methods in soot.dotnet.members with parameters of type Local

Modifier and Type	Method	Description
static Unit	ByReferenceWrapperGenerator.getUpdateWrappedValueCall(Local wrapped, Local unwrapped)	Returns a call to update a wrapped object

Uses of Local in soot.dotnet.members.method

Methods in soot.dotnet.members.method that return Local

Modifier and Type	Method	Description
Local	DotnetBodyVariableManager.addOrGetVariable(ProtoIlInstructions.IlVariableMsg v, Body jbTmp)	Add or get variable/local of this method body
Local	DotnetBodyVariableManager.addOrGetVariable(ProtoIlInstructions.IlVariableMsg v, Type type, Body jbTmp)	Type of local is got by the protoVariableMsg but in some cases we need to define the type of the local
Local	DotnetBodyVariableManager.getReferenceLocal(Local element)

Methods in soot.dotnet.members.method with parameters of type Local

Modifier and Type	Method	Description
void	DotnetBodyVariableManager.addLocalVariable(Local local)
void	DotnetBodyVariableManager.addReferenceLocal(Local element, Local referenceHolder)
InvokeStmt	DelegateHandler.DelegateInfo.getCallToDelegateCreator(Local delegateObj, Value base, int num)
Local	DotnetBodyVariableManager.getReferenceLocal(Local element)

Method parameters in soot.dotnet.members.method with type arguments of type Local

Modifier and Type	Method	Description
void	DotnetBodyVariableManager.fillMethodParameter(List<Unit> unwrapCalls, Map<Local,Local> unwrappedToWrapped)	Add parameters of the .NET method to the Jimple Body
void	DotnetBodyVariableManager.fillMethodParameter(List<Unit> unwrapCalls, Map<Local,Local> unwrappedToWrapped)	Add parameters of the .NET method to the Jimple Body
void	DotnetBodyVariableManager.fillMethodParameter(Body jb, List<ProtoAssemblyAllTypes.ParameterDefinition> parameters, List<Unit> unwrapCalls, Map<Local,Local> unwrappedToWrapped)	Add parameters of the .NET method to the Jimple Body
void	DotnetBodyVariableManager.fillMethodParameter(Body jb, List<ProtoAssemblyAllTypes.ParameterDefinition> parameters, List<Unit> unwrapCalls, Map<Local,Local> unwrappedToWrapped)	Add parameters of the .NET method to the Jimple Body

Uses of Local in soot.dotnet.types

Methods in soot.dotnet.types with parameters of type Local

Modifier and Type	Method	Description
static Value	DotnetTypeFactory.initType(Local variable)	Return a initial value for the given type of the variable

Uses of Local in soot.grimp

Methods in soot.grimp that return Local

Modifier and Type	Method	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	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	Description
Local	ParameterDeclaration.local
Local	VariableDeclaration.local

Methods in soot.JastAddJ that return Local

Modifier and Type	Method	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	Description
InterfaceInvokeExpr	Body.newInterfaceInvokeExpr(Local base, SootMethodRef method, List args, ASTNode location)
InterfaceInvokeExpr	Body.newInterfaceInvokeExpr(Local base, SootMethodRef method, ASTNode location)
InterfaceInvokeExpr	Body.newInterfaceInvokeExpr(Local base, SootMethodRef method, Value arg, ASTNode location)
SpecialInvokeExpr	Body.newSpecialInvokeExpr(Local base, SootMethodRef method, List args, ASTNode location)
SpecialInvokeExpr	Body.newSpecialInvokeExpr(Local base, SootMethodRef method, ASTNode location)
SpecialInvokeExpr	Body.newSpecialInvokeExpr(Local base, SootMethodRef method, Value arg, ASTNode location)
VirtualInvokeExpr	Body.newVirtualInvokeExpr(Local base, SootMethodRef method, List args, ASTNode location)
VirtualInvokeExpr	Body.newVirtualInvokeExpr(Local base, SootMethodRef method, 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	Description
protected Local	JimpleBodyBuilder.outerClassParamLocal
protected Local	JimpleBodyBuilder.specialThisLocal

Fields in soot.javaToJimple with type parameters of type Local

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

Methods in soot.javaToJimple that return Local

Modifier and Type	Method	Description
protected Local	DefaultLocalGenerator.createLocal(String name, Type sootType)
protected Local	AbstractJimpleBodyBuilder.generateLocal(polyglot.types.Type polyglotType)
protected Local	AbstractJimpleBodyBuilder.generateLocal(Type sootType)
Local	DefaultLocalGenerator.generateLocal(Type type)
protected Local	JimpleBodyBuilder.generateLocal(polyglot.types.Type polyglotType)	Extra Local Variables Generation
protected Local	JimpleBodyBuilder.generateLocal(Type sootType)
Local	PolyglotMethodSource.getOuterClassThisInit()
static Local	Util.getPrivateAccessFieldInvoke(SootMethodRef toInvoke, ArrayList params, Body body, LocalGenerator lg)
protected Local	AbstractJimpleBodyBuilder.getThis(Type sootType)
protected Local	JimpleBodyBuilder.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	AbstractJimpleBodyBuilder.handlePrivateFieldAssignSet(polyglot.ast.Assign assign)
protected Local	AccessFieldJBB.handlePrivateFieldAssignSet(polyglot.ast.Assign assign)
protected Local	JimpleBodyBuilder.handlePrivateFieldAssignSet(polyglot.ast.Assign assign)
protected Local	AbstractJimpleBodyBuilder.handlePrivateFieldSet(polyglot.ast.Expr expr, Value right, Value base)
protected Local	AccessFieldJBB.handlePrivateFieldSet(polyglot.ast.Expr expr, Value right, Value baseLocal)
protected Local	JimpleBodyBuilder.handlePrivateFieldSet(polyglot.ast.Expr expr, Value right, Value base)
protected Local	AbstractJimpleBodyBuilder.handlePrivateFieldUnarySet(polyglot.ast.Unary unary)
protected Local	AccessFieldJBB.handlePrivateFieldUnarySet(polyglot.ast.Unary unary)
protected Local	JimpleBodyBuilder.handlePrivateFieldUnarySet(polyglot.ast.Unary unary)

Methods in soot.javaToJimple with parameters of type Local

Modifier and Type	Method	Description
protected Value	AbstractJimpleBodyBuilder.getAssignRightLocal(polyglot.ast.Assign assign, Local leftLocal)
protected Value	JimpleBodyBuilder.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	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	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	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	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	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	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	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	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	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	AbstractImmediateSwitch.caseLocal(Local v)
void	AbstractJimpleValueSwitch.caseLocal(Local v)
void	ImmediateSwitch.caseLocal(Local l)
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 arg)
InterfaceInvokeExpr	Jimple.newInterfaceInvokeExpr(Local base, SootMethodRef method, Value... args)	Constructs a NewInterfaceInvokeExpr(Local base, SootMethodRef method, List of Immediate) grammar chunk.
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 arg)
SpecialInvokeExpr	Jimple.newSpecialInvokeExpr(Local base, SootMethodRef method, Value... args)	Constructs a NewSpecialInvokeExpr(Local base, SootMethodRef method, List of Immediate) grammar chunk.
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 arg)
VirtualInvokeExpr	Jimple.newVirtualInvokeExpr(Local base, SootMethodRef method, Value... args)	Constructs a NewVirtualInvokeExpr(Local base, SootMethodRef method, List of Immediate) grammar chunk.
void	JimpleToBafContext.setBafLocalOfJimpleLocal(Local jimpleLocal, Local bafLocal)
void	ArrayRef.setBase(Local base)

Constructors in soot.jimple with parameters of type Local

Constructor	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	Description
class	JimpleLocal

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

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

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

Constructor	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	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	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	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	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	Description
LazyContextSensitivePointsToSet(Local l, EqualsSupportingPointsToSet contextInsensitiveSet, DemandCSPointsTo demandCSPointsTo)

Uses of Local in soot.jimple.spark.pag

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

Modifier and Type	Field	Description
protected Map<Local,LocalVarNode>	PAG.localToNodeMap

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

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

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

Modifier and Type	Field	Description
protected MultiMap<PurityNode,Local>	PurityGraph.backLocals
protected MultiMap<Local,PurityNode>	PurityGraph.locals

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

Modifier and Type	Method	Description
protected boolean	PurityGraph.localsPut(Local local, PurityNode node)
protected boolean	PurityGraph.localsPutAll(Local local, Set<PurityNode> 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	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 Map<SootMethod,List<Local>>	OnFlyCallGraphBuilder.methodToInvokeArgs
protected Map<SootMethod,List<Local>>	OnFlyCallGraphBuilder.methodToInvokeBases
protected Map<SootMethod,List<Local>>	OnFlyCallGraphBuilder.methodToReceivers
protected Map<SootMethod,List<Local>>	OnFlyCallGraphBuilder.methodToStringConstants
protected MultiMap<Local,Type>	OnFlyCallGraphBuilder.reachingArgTypes
protected MultiMap<Local,Type>	OnFlyCallGraphBuilder.reachingBaseTypes
protected Map<Local,List<VirtualCallSite>>	OnFlyCallGraphBuilder.receiverToSites
protected Map<Local,List<VirtualCallSite>>	OnFlyCallGraphBuilder.stringConstToSites

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

Modifier and Type	Method	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	Description
Set<Local>	OnFlyCallGraphBuilder.getReceiversOfVirtualEdge(VirtualEdgesSummaries.InvocationVirtualEdgeTarget edgeTarget, InvokeExpr invokeExpr)	Returns all values that should be mapped to this in the edge target.
Map<SootMethod,List<Local>>	OnFlyCallGraphBuilder.methodToInvokeArgs()
Map<SootMethod,List<Local>>	OnFlyCallGraphBuilder.methodToInvokeBases()
Map<SootMethod,List<Local>>	OnFlyCallGraphBuilder.methodToReceivers()
Map<SootMethod,List<Local>>	OnFlyCallGraphBuilder.methodToStringConstants()

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

Modifier and Type	Method	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)
protected void	OnFlyCallGraphBuilder.processVirtualEdgeSummary(SootMethod callSiteMethod, Stmt callSite, Stmt curStmt, Local receiver, VirtualEdgesSummaries.InvocationVirtualEdgeTarget target, Kind edgeType)
protected void	OnFlyCallGraphBuilder.processVirtualEdgeSummary(SootMethod m, Stmt s, Local receiver, VirtualEdgesSummaries.InvocationVirtualEdgeTarget target, Kind edgeType)
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	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	Description
Local	IFDSLocalInfoFlow.createZeroValue()
Local	IFDSUninitializedVariables.createZeroValue()

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

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

Uses of Local in soot.jimple.toolkits.infoflow

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

Modifier and Type	Class	Description
class	FakeJimpleLocal

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

Modifier and Type	Method	Description
Local	FakeJimpleLocal.getRealLocal()

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

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

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

Constructor	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	Description
Local	SynchronizerManager.addStmtsToFetchClassBefore(JimpleBody b, Stmt target)	Adds code to fetch the static Class object to the given JimpleBody before the target Stmt.
Local	SynchronizerManager.addStmtsToFetchClassBefore(ShimpleBody b, 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	Description
void	SynchronizerManager.synchronizeStmtOn(Stmt stmt, JimpleBody b, Local lock)	Wraps stmt around a monitor associated with local lock.
void	SynchronizerManager.synchronizeStmtOn(Stmt stmt, ShimpleBody 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	Description
protected Local	InstanceKey.assignedLocal

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

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

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

Modifier and Type	Method	Description
Local	InstanceKey.getLocal()

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

Modifier and Type	Method	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	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	LocalMustAliasAnalysis.hasInfoOn(Local l, Stmt s)	Returns true if this analysis has any information about local l at statement s.
boolean	LocalMustNotAliasAnalysis.hasInfoOn(Local l, Stmt s)	Returns true if this analysis has any information about local l at statement s (i.e.
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.
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.
protected PointsToSet	PASideEffectTester.reachingObjects(Local l)

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

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

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

Modifier and Type	Field	Description
protected Local	EqualLocalsAnalysis.l

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

Modifier and Type	Field	Description
protected Collection<Local>	LocalCreation.localChain
protected Map<Stmt,Local>	EqualUsesAnalysis.stmtToLocal	Deprecated.
protected Collection<Local>	EqualUsesAnalysis.useLocals	Deprecated.

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

Modifier and Type	Method	Description
Local	DefaultLocalCreation.newLocal(String prefix, Type type)
Local	DefaultLocalCreation.newLocal(Type type)
abstract 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.
abstract 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 local name is unique).

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

Modifier and Type	Method	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<Stmt> boundaryStmts)	Deprecated.
List<Object>	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	Description
boolean	EqualUsesAnalysis.areEqualUses(Map<Stmt,Local> stmtToLocal)	Deprecated.
boolean	EqualUsesAnalysis.areEqualUses(Map<Stmt,Local> stmtToLocal, List<Stmt> boundaryStmts)	Deprecated.

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

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

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	Description
protected HashMap<Local,Type>	Typing.map

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

Modifier and Type	Method	Description
protected Local	TypeResolver.CastInsertionUseVisitor.createCast(Type useType, Stmt stmt, Local old, boolean after)	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	Description
Collection<Local>	Typing.getAllLocals()
static MultiMap<Local,Type>	DefaultTypingStrategy.getFlatTyping(List<Typing> tgs)
Map<Local,Type>	Typing.getMap()
static Set<Local>	DefaultTypingStrategy.getObjectLikeTypings(List<Typing> tgs)

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

Modifier and Type	Method	Description
protected Local	TypeResolver.CastInsertionUseVisitor.createCast(Type useType, Stmt stmt, Local old, boolean after)	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	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	Description
Typing(Collection<Local> vs)

Uses of Local in soot.shimple

Methods in soot.shimple that return Local

Modifier and Type	Method	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	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	Description
protected Map<String,Local>	ShimpleBodyBuilder.newLocals
protected Map<Local,Local>	ShimpleBodyBuilder.newLocalsToOldLocal
protected Map<Local,Local>	ShimpleBodyBuilder.newLocalsToOldLocal
protected List<Local>	ShimpleBodyBuilder.origLocals
protected MultiMap<Local,Block>	PhiNodeManager.varToBlocks
protected MultiMap<Local,Block>	PiNodeManager.varToBlocks

Methods in soot.shimple.internal that return Local

Modifier and Type	Method	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	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	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	Description
Local	ValueGraph.getLocal(ValueGraph.Node node)

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

Modifier and Type	Method	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	Description
protected Map<Local,List<UnitValueBoxPair>>	ShimpleLocalUses.localToUses

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

Modifier and Type	Method	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<UnitValueBoxPair>	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	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	Description
void	ValueTemplatePrinter.caseLocal(Local l)

Uses of Local in soot.toDex

Classes in soot.toDex that implement Local

Modifier and Type	Class	Description
class	TemporaryRegisterLocal

Methods in soot.toDex that return Local

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

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

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

Methods in soot.toDex with parameters of type Local

Modifier and Type	Method	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	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	Description
void	UnitThrowAnalysis.ValueSwitch.caseLocal(Local l)

Uses of Local in soot.toolkits.scalar

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

Modifier and Type	Field	Description
protected FlowSet<Local>	InitAnalysis.allLocals
Map<Local,Constant>	FlowSensitiveConstantPropagator.ConstantState.constants

Methods in soot.toolkits.scalar that return Local

Modifier and Type	Method	Description
Local	LocalUnitPair.getLocal()

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

Modifier and Type	Method	Description
protected Map<Local,Constant>	FlowSensitiveConstantPropagator.ConstantState.createMap()
protected FlowSet<Local>	InitAnalysis.entryInitialFlow()
List<Local>	CombinedDUAnalysis.getLiveLocalsAfter(Unit u)
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.getLiveLocalsBefore(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)
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	Description
protected int[]	SimpleLocalDefs.assignNumbers(Local[] locals)
Constant	FlowSensitiveConstantPropagator.ConstantState.getConstant(Local l)
List<Unit>	CombinedDUAnalysis.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.FlowAssignment.getDefsOf(Local l)
List<Unit>	SimpleLocalDefs.getDefsOf(Local l)
List<Unit>	SimpleLocalDefs.StaticSingleAssignment.getDefsOf(Local l)
List<Unit>	SmartLocalDefs.getDefsOf(Local l)
List<Unit>	CombinedDUAnalysis.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.FlowAssignment.getDefsOfAt(Local l, Unit s)
List<Unit>	SimpleLocalDefs.getDefsOfAt(Local l, Unit s)
List<Unit>	SimpleLocalDefs.StaticSingleAssignment.getDefsOfAt(Local l, Unit s)
List<Unit>	SmartLocalDefs.getDefsOfAt(Local l, Unit s)
protected int	SimpleLocalDefs.getLocalNumber(Local l)
protected LocalDefs	SimpleLocalDefs.init(DirectedGraph<Unit> graph, Local[] locals, SimpleLocalDefs.FlowAnalysisMode mode)
protected void	SimpleLocalDefs.restoreNumbers(Local[] locals, int[] oldNumbers)
void	FlowSensitiveConstantPropagator.ConstantState.setConstant(Local l, Constant value)
void	FlowSensitiveConstantPropagator.ConstantState.setNonConstant(Local l)

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

Modifier and Type	Method	Description
static <G> void	FastColorer.assignColorsToLocals(Body unitBody, Map<Local,G> localToGroup, Map<Local,Integer> localToColor, Map<G,Integer> groupToColorCount)	Provides an economical coloring for the locals of unitBody.
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.merge(FlowSet<Local> in1, FlowSet<Local> in2, FlowSet<Local> out)
static <G> void	FastColorer.unsplitAssignColorsToLocals(Body unitBody, Map<Local,G> localToGroup, Map<Local,Integer> localToColor, Map<G,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	Description
FlowAssignment(DirectedGraph<Unit> graph, Local[] locals, List<Unit>[] unitList, int units, boolean omitSSA)
LocalUnitPair(Local local, Unit unit)	Constructs a LocalUnitPair from a Unit object and a Local object.
StaticSingleAssignment(Local[] locals, List<Unit>[] unitList)