Uses of Interface
soot.Context

Packages that use Context

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.internal.AST
soot.dava.internal.javaRep
soot.grimp.internal	Internal, messy, implementation-specific classes for the Grimp intermediate representation.
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.geom.geomPA
soot.jimple.spark.ondemand
soot.jimple.spark.pag
soot.jimple.toolkits.callgraph
soot.jimple.toolkits.pointer

Uses of Context in soot

Subinterfaces of Context in soot

interface	IdentityUnit A unit that assigns to a variable from one of {parameters, this, caughtexception}.
interface	Unit A code fragment (eg Stmt or Inst), used within Body classes.

Classes in soot that implement Context

class

AbstractUnit Provides default implementations for the methods in Unit.

Methods in soot that return Context

Context	MethodContext.context()
Context	MethodOrMethodContext.context()
Context	SootMethod.context()
Context	SootMethod.context()
Context	MethodOrMethodContext.context()
Context	MethodContext.context()

Methods in soot with parameters of type Context

boolean	EscapeAnalysis.mayEscapeMethod(Context c, AnyNewExpr n) Returns true if objects allocated at n in context c may continue to be live after the method in which they are allocated returns.
boolean	EscapeAnalysis.mayEscapeMethod(Context c, AnyNewExpr n) Returns true if objects allocated at n in context c may continue to be live after the method in which they are allocated returns.
boolean	EscapeAnalysis.mayEscapeThread(Context c, AnyNewExpr n) Returns true if objects allocated at n in context c may be accessed in a thread other than the thread in which they were allocated.
boolean	EscapeAnalysis.mayEscapeThread(Context c, AnyNewExpr n) Returns true if objects allocated at n in context c may be accessed in a thread other than the thread in which they were allocated.
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) 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(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.
static MethodOrMethodContext	MethodContext.v(SootMethod method, Context context)
static MethodOrMethodContext	MethodContext.v(SootMethod method, Context context)

Uses of Context in soot.baf

Subinterfaces of Context in soot.baf

interface	AddInst
interface	AndInst
interface	ArrayLengthInst
interface	ArrayReadInst
interface	ArrayWriteInst
interface	CmpgInst
interface	CmpInst
interface	CmplInst
interface	DivInst
interface	Dup1_x1Inst
interface	Dup1_x2Inst
interface	Dup1Inst
interface	Dup2_x1Inst
interface	Dup2_x2Inst
interface	Dup2Inst
interface	DupInst
interface	DynamicInvokeInst
interface	EnterMonitorInst
interface	ExitMonitorInst
interface	FieldArgInst
interface	FieldGetInst
interface	FieldPutInst
interface	GotoInst
interface	IdentityInst
interface	IfCmpEqInst
interface	IfCmpGeInst
interface	IfCmpGtInst
interface	IfCmpLeInst
interface	IfCmpLtInst
interface	IfCmpNeInst
interface	IfEqInst
interface	IfGeInst
interface	IfGtInst
interface	IfLeInst
interface	IfLtInst
interface	IfNeInst
interface	IfNonNullInst
interface	IfNullInst
interface	IncInst
interface	Inst
interface	InstanceCastInst
interface	InstanceOfInst
interface	InterfaceInvokeInst
interface	JSRInst
interface	LoadInst
interface	LookupSwitchInst
interface	MethodArgInst
interface	MulInst
interface	NegInst
interface	NewArrayInst
interface	NewInst
interface	NewMultiArrayInst
interface	NoArgInst
interface	NopInst
interface	OpTypeArgInst
interface	OrInst
interface	PopInst
interface	PrimitiveCastInst
interface	PushInst
interface	RemInst
interface	RetInst
interface	ReturnInst
interface	ReturnVoidInst
interface	ShlInst
interface	ShrInst
interface	SpecialInvokeInst
interface	StaticGetInst
interface	StaticInvokeInst
interface	StaticPutInst
interface	StoreInst
interface	SubInst
interface	SwapInst
interface	TableSwitchInst
interface	TargetArgInst
interface	ThrowInst
interface	UshrInst
interface	VirtualInvokeInst
interface	XorInst

Classes in soot.baf that implement Context

class

PlaceholderInst

Uses of Context in soot.baf.internal

Classes in soot.baf.internal that implement Context

class	AbstractBranchInst
class	AbstractInst
class	AbstractOpTypeBranchInst
class	AbstractOpTypeInst
class	AbstractRefTypeInst
class	BAddInst
class	BAndInst
class	BArrayLengthInst
class	BArrayReadInst
class	BArrayWriteInst
class	BCmpgInst
class	BCmpInst
class	BCmplInst
class	BDivInst
class	BDup1_x1Inst
class	BDup1_x2Inst
class	BDup1Inst
class	BDup2_x1Inst
class	BDup2_x2Inst
class	BDup2Inst
class	BDupInst
class	BDynamicInvokeInst
class	BEnterMonitorInst
class	BExitMonitorInst
class	BFieldGetInst
class	BFieldPutInst
class	BGotoInst
class	BIdentityInst
class	BIfCmpEqInst
class	BIfCmpGeInst
class	BIfCmpGtInst
class	BIfCmpLeInst
class	BIfCmpLtInst
class	BIfCmpNeInst
class	BIfEqInst
class	BIfGeInst
class	BIfGtInst
class	BIfLeInst
class	BIfLtInst
class	BIfNeInst
class	BIfNonNullInst
class	BIfNullInst
class	BIncInst
class	BInstanceCastInst
class	BInstanceOfInst
class	BInterfaceInvokeInst
class	BJSRInst
class	BLoadInst
class	BLookupSwitchInst
class	BMulInst
class	BNegInst
class	BNewArrayInst
class	BNewInst
class	BNewMultiArrayInst
class	BNopInst
class	BOrInst
class	BPopInst
class	BPrimitiveCastInst
class	BPushInst
class	BRemInst
class	BReturnInst
class	BReturnVoidInst
class	BShlInst
class	BShrInst
class	BSpecialInvokeInst
class	BStaticGetInst
class	BStaticInvokeInst
class	BStaticPutInst
class	BStoreInst
class	BSubInst
class	BSwapInst
class	BTableSwitchInst
class	BThrowInst
class	BUshrInst
class	BVirtualInvokeInst
class	BXorInst

Uses of Context in soot.dava.internal.AST

Classes in soot.dava.internal.AST that implement Context

class	ASTControlFlowNode
class	ASTDoWhileNode
class	ASTForLoopNode
class	ASTIfElseNode
class	ASTIfNode
class	ASTLabeledBlockNode
class	ASTLabeledNode
class	ASTMethodNode
class	ASTNode
class	ASTStatementSequenceNode
class	ASTSwitchNode
class	ASTSynchronizedBlockNode
class	ASTTryNode
class	ASTUnconditionalLoopNode
class	ASTWhileNode

Uses of Context in soot.dava.internal.javaRep

Classes in soot.dava.internal.javaRep that implement Context

class	DAbruptStmt
class	DAssignStmt
class	DDecrementStmt
class	DIdentityStmt
class	DIncrementStmt
class	DShortcutAssignStmt
class	DVariableDeclarationStmt

Uses of Context in soot.grimp.internal

Classes in soot.grimp.internal that implement Context

class	GAssignStmt
class	GEnterMonitorStmt
class	GExitMonitorStmt
class	GIdentityStmt
class	GIfStmt
class	GInvokeStmt
class	GLookupSwitchStmt
class	GReturnStmt
class	GTableSwitchStmt
class	GThrowStmt

Uses of Context in soot.jimple

Subinterfaces of Context in soot.jimple

interface	AssignStmt
interface	BreakpointStmt
interface	DefinitionStmt
interface	EnterMonitorStmt
interface	ExitMonitorStmt
interface	GotoStmt
interface	IdentityStmt
interface	IfStmt
interface	InvokeStmt
interface	LookupSwitchStmt
interface	MonitorStmt
interface	NopStmt
interface	RetStmt
interface	ReturnStmt
interface	ReturnVoidStmt
interface	Stmt
interface	TableSwitchStmt
interface	ThrowStmt

Classes in soot.jimple that implement Context

class

PlaceholderStmt

Uses of Context in soot.jimple.internal

Classes in soot.jimple.internal that implement Context

class	AbstractDefinitionStmt
class	AbstractStmt
class	JAssignStmt
class	JBreakpointStmt
class	JEnterMonitorStmt
class	JExitMonitorStmt
class	JGotoStmt
class	JIdentityStmt
class	JIfStmt
class	JInvokeStmt
class	JLookupSwitchStmt
class	JNopStmt
class	JRetStmt
class	JReturnStmt
class	JReturnVoidStmt
class	JTableSwitchStmt
class	JThrowStmt

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

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

PointsToSet	GeomPointsTo.reachingObjects(Context c, Local l)
PointsToSet	GeomPointsTo.reachingObjects(Context c, Local l)
PointsToSet	GeomPointsTo.reachingObjects(Context c, Local l, SootField f)
PointsToSet	GeomPointsTo.reachingObjects(Context c, Local l, SootField f)

Uses of Context in soot.jimple.spark.ondemand

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

PointsToSet	DemandCSPointsTo.reachingObjects(Context c, Local l) Currently not implemented.
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(Context c, Local l, SootField f) Currently not implemented.

Uses of Context in soot.jimple.spark.pag

Classes in soot.jimple.spark.pag that implement Context

class	AllocNode Represents an allocation site node (Blue) in the pointer assignment graph.
class	ClassConstantNode Represents an allocation site node the represents a known java.lang.Class object.
class	StringConstantNode Represents an allocation site node the represents a constant string.

Methods in soot.jimple.spark.pag that return Context

Context	ContextVarNode.context()
Context	VarNode.context()
Context	VarNode.context()
Context	ContextVarNode.context()

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

void	PAG.addCallTarget(MethodPAG srcmpag, MethodPAG tgtmpag, Stmt s, Context srcContext, Context tgtContext, Edge e) Adds method target as a possible target of the invoke expression in s.
void	PAG.addCallTarget(MethodPAG srcmpag, MethodPAG tgtmpag, Stmt s, Context srcContext, Context tgtContext, Edge e) Adds method target as a possible target of the invoke expression in s.
void	MethodPAG.addToPAG(Context varNodeParameter) Adds this method to the main PAG, with all VarNodes parameterized by varNodeParameter.
void	MethodPAG.addToPAG(Context varNodeParameter) Adds this method to the main PAG, with all VarNodes parameterized by varNodeParameter.
ContextVarNode	PAG.findContextVarNode(Object baseValue, Context context) Finds the ContextVarNode for base variable value and context context, or returns null.
ContextVarNode	PAG.findContextVarNode(Object baseValue, Context context) Finds the ContextVarNode for base variable value and context context, or returns null.
ContextVarNode	PAG.makeContextVarNode(LocalVarNode base, Context context) Finds or creates the ContextVarNode for base variable base and context context, of type type.
ContextVarNode	PAG.makeContextVarNode(LocalVarNode base, Context context) Finds or creates the ContextVarNode for base variable base and context context, of type type.
ContextVarNode	PAG.makeContextVarNode(Object baseValue, Type baseType, Context context, SootMethod method) Finds or creates the ContextVarNode for base variable baseValue and context context, of type type.
ContextVarNode	PAG.makeContextVarNode(Object baseValue, Type baseType, Context context, SootMethod method) Finds or creates the ContextVarNode for base variable baseValue and context context, of type type.
protected FieldRefNode	MethodPAG.parameterize(FieldRefNode frn, Context varNodeParameter)
protected FieldRefNode	MethodPAG.parameterize(FieldRefNode frn, Context varNodeParameter)
protected VarNode	MethodPAG.parameterize(LocalVarNode vn, Context varNodeParameter)
protected VarNode	MethodPAG.parameterize(LocalVarNode vn, Context varNodeParameter)
Node	MethodPAG.parameterize(Node n, Context varNodeParameter)
Node	MethodPAG.parameterize(Node n, Context varNodeParameter)
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) 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(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.

Uses of Context in soot.jimple.toolkits.callgraph

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

Context	ContextSensitiveEdge.srcCtxt() The context at the source of the call.
Context	Edge.srcCtxt()
Context	Edge.srcCtxt()
Context	ContextSensitiveEdge.srcCtxt() The context at the source of the call.
Context	ContextSensitiveEdge.tgtCtxt() The context at the target of the call.
Context	Edge.tgtCtxt()
Context	Edge.tgtCtxt()
Context	ContextSensitiveEdge.tgtCtxt() The context at the target of the call.

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

void	OnFlyCallGraphBuilder.addStringConstant(Local l, Context srcContext, String constant)
void	OnFlyCallGraphBuilder.addStringConstant(Local l, Context srcContext, String constant)
void	OnFlyCallGraphBuilder.addType(Local receiver, Context srcContext, Type type, Context typeContext)
void	OnFlyCallGraphBuilder.addType(Local receiver, Context srcContext, Type type, Context typeContext)
void	ContextInsensitiveContextManager.addVirtualEdge(MethodOrMethodContext src, Unit srcUnit, SootMethod target, Kind kind, Context typeContext)
void	ContextManager.addVirtualEdge(MethodOrMethodContext src, Unit srcUnit, SootMethod target, Kind kind, Context typeContext)
void	ObjSensContextManager.addVirtualEdge(MethodOrMethodContext src, Unit srcUnit, SootMethod target, Kind kind, Context typeContext)
void	OneCFAContextManager.addVirtualEdge(MethodOrMethodContext src, Unit srcUnit, SootMethod target, Kind kind, Context typeContext)
void	OneCFAContextManager.addVirtualEdge(MethodOrMethodContext src, Unit srcUnit, SootMethod target, Kind kind, Context typeContext)
void	ObjSensContextManager.addVirtualEdge(MethodOrMethodContext src, Unit srcUnit, SootMethod target, Kind kind, Context typeContext)
void	ContextManager.addVirtualEdge(MethodOrMethodContext src, Unit srcUnit, SootMethod target, Kind kind, Context typeContext)
void	ContextInsensitiveContextManager.addVirtualEdge(MethodOrMethodContext src, Unit srcUnit, SootMethod target, Kind kind, Context typeContext)
Iterator	ContextSensitiveCallGraph.edgesInto(Context tgtCtxt, SootMethod tgt) Returns all ContextSensitiveEdge's into method tgt in context tgtCtxt.
Iterator	ContextSensitiveCallGraph.edgesInto(Context tgtCtxt, SootMethod tgt) Returns all ContextSensitiveEdge's into method tgt in context tgtCtxt.
Iterator	ContextSensitiveCallGraph.edgesOutOf(Context srcCtxt, SootMethod src) Returns all ContextSensitiveEdge's out of method src in context srcCtxt.
Iterator	ContextSensitiveCallGraph.edgesOutOf(Context srcCtxt, SootMethod src) Returns all ContextSensitiveEdge's out of method src in context srcCtxt.
Iterator	ContextSensitiveCallGraph.edgesOutOf(Context srcCtxt, SootMethod src, Unit srcUnit) Returns all ContextSensitiveEdge's out of unit srcUnit in method src in context srcCtxt.
Iterator	ContextSensitiveCallGraph.edgesOutOf(Context srcCtxt, SootMethod src, Unit srcUnit) Returns all ContextSensitiveEdge's out of unit srcUnit in method src in context srcCtxt.

Uses of Context in soot.jimple.toolkits.pointer

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

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) 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(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.