Uses of Interface
soot.jimple.Stmt

Packages that use Stmt

Package	Description
soot.dava.internal.asg
soot.dava.internal.javaRep
soot.dava.toolkits.base.AST
soot.dava.toolkits.base.AST.analysis
soot.dava.toolkits.base.AST.structuredAnalysis
soot.dava.toolkits.base.AST.transformations
soot.dava.toolkits.base.AST.traversals
soot.dexpler
soot.dexpler.instructions
soot.grimp.internal	Internal, messy, implementation-specific classes for the Grimp intermediate representation.
soot.javaToJimple
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.geom.utils
soot.jimple.spark.pag
soot.jimple.toolkits.annotation.arraycheck	Classes that carry out an analysis to determine whether or not array bounds checks are necessary.
soot.jimple.toolkits.annotation.logic
soot.jimple.toolkits.annotation.purity
soot.jimple.toolkits.base	A toolkit to optimize the Jimple IR.
soot.jimple.toolkits.callgraph
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.thread
soot.jimple.toolkits.thread.mhp
soot.jimple.toolkits.thread.synchronization
soot.jimple.toolkits.typing	Implements a typing algorithm for Jimple.
soot.jimple.toolkits.typing.fast
soot.shimple.toolkits.graph
soot.shimple.toolkits.scalar	Some analyses based on Shimple.
soot.toDex
soot.toDex.instructions
soot.toolkits.graph	Toolkit to produce and manipulate various types of control flow graphs.

Uses of Stmt in soot.dava.internal.asg

Methods in soot.dava.internal.asg that return Stmt

Modifier and Type	Method and Description
Stmt	AugmentedStmt.get_Stmt()
Stmt	AugmentedStmt.get_Stmt()

Methods in soot.dava.internal.asg with parameters of type Stmt

Modifier and Type	Method and Description
void	AugmentedStmtGraph.add_StmtBinding(Stmt s, AugmentedStmt as)
void	AugmentedStmtGraph.add_StmtBinding(Stmt s, AugmentedStmt as)
AugmentedStmt	AugmentedStmtGraph.get_AugStmt(Stmt s)
AugmentedStmt	AugmentedStmtGraph.get_AugStmt(Stmt s)
java.util.List<AugmentedStmt>	AugmentedStmtGraph.getPredsOf(Stmt s)
java.util.List<AugmentedStmt>	AugmentedStmtGraph.getPredsOf(Stmt s)
java.util.List<AugmentedStmt>	AugmentedStmtGraph.getSuccsOf(Stmt s)
java.util.List<AugmentedStmt>	AugmentedStmtGraph.getSuccsOf(Stmt s)
void	AugmentedStmt.set_Stmt(Stmt s)
void	AugmentedStmt.set_Stmt(Stmt s)

Constructors in soot.dava.internal.asg with parameters of type Stmt

Constructor and Description
AugmentedStmt(Stmt s)
AugmentedStmt(Stmt s)

Uses of Stmt in soot.dava.internal.javaRep

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

Modifier and Type	Class and Description
class	DAbruptStmt
class	DAssignStmt
class	DDecrementStmt
class	DIdentityStmt
class	DIncrementStmt
class	DShortcutAssignStmt
class	DVariableDeclarationStmt

Uses of Stmt in soot.dava.toolkits.base.AST

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

Modifier and Type	Method and Description
void	ASTAnalysis.analyseStmt(Stmt s)
void	ASTAnalysis.analyseStmt(Stmt s)
void	ASTWalker.walk_stmt(ASTAnalysis a, Stmt s)
void	ASTWalker.walk_stmt(ASTAnalysis a, Stmt s)

Uses of Stmt in soot.dava.toolkits.base.AST.analysis

Methods in soot.dava.toolkits.base.AST.analysis with parameters of type Stmt

Modifier and Type	Method and Description
void	Analysis.caseStmt(Stmt s)
void	AnalysisAdapter.caseStmt(Stmt s)
void	DepthFirstAdapter.caseStmt(Stmt s)
void	DepthFirstAdapter.caseStmt(Stmt s)
void	AnalysisAdapter.caseStmt(Stmt s)
void	Analysis.caseStmt(Stmt s)
void	DepthFirstAdapter.inStmt(Stmt s)
void	DepthFirstAdapter.inStmt(Stmt s)
void	DepthFirstAdapter.outStmt(Stmt s)
void	DepthFirstAdapter.outStmt(Stmt s)

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

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

Modifier and Type	Method and Description
DavaFlowSet	StructuredAnalysis.processAbruptStatements(Stmt s, DavaFlowSet input) Whenever a statement has to be processed the first step is to invoke this method.
DavaFlowSet	UnreachableCodeFinder.processAbruptStatements(Stmt s, DavaFlowSet input)
DavaFlowSet	StructuredAnalysis.processAbruptStatements(Stmt s, DavaFlowSet input) Whenever a statement has to be processed the first step is to invoke this method.
DavaFlowSet	UnreachableCodeFinder.processAbruptStatements(Stmt s, DavaFlowSet input)
DavaFlowSet	CP.processStatement(Stmt s, DavaFlowSet input)
DavaFlowSet	MustMayInitialize.processStatement(Stmt s, DavaFlowSet inSet)
DavaFlowSet	ReachingCopies.processStatement(Stmt s, DavaFlowSet input)
DavaFlowSet	ReachingDefs.processStatement(Stmt s, DavaFlowSet inSet)
abstract DavaFlowSet	StructuredAnalysis.processStatement(Stmt s, DavaFlowSet input) Specific stmts within AST Constructs are processed through this method.
DavaFlowSet	UnreachableCodeFinder.processStatement(Stmt s, DavaFlowSet input)
abstract DavaFlowSet	StructuredAnalysis.processStatement(Stmt s, DavaFlowSet input) Specific stmts within AST Constructs are processed through this method.
DavaFlowSet	MustMayInitialize.processStatement(Stmt s, DavaFlowSet inSet)
DavaFlowSet	UnreachableCodeFinder.processStatement(Stmt s, DavaFlowSet input)
DavaFlowSet	ReachingDefs.processStatement(Stmt s, DavaFlowSet inSet)
DavaFlowSet	CP.processStatement(Stmt s, DavaFlowSet input)
DavaFlowSet	ReachingCopies.processStatement(Stmt s, DavaFlowSet input)

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

Methods in soot.dava.toolkits.base.AST.transformations that return Stmt

Modifier and Type	Method and Description
Stmt	IfElseSplitter.getLastStmt(java.util.List<java.lang.Object> body)
Stmt	IfElseSplitter.getLastStmt(java.util.List<java.lang.Object> body)

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

Modifier and Type	Method and Description
boolean	ShortcutArrayInit.isInSequenceAssignment(Stmt s, Value leftOp, int index)
boolean	ShortcutArrayInit.isInSequenceAssignment(Stmt s, Value leftOp, int index)
boolean	ShortcutArrayInit.isInSequenceAssignmentPatternTwo(Stmt one, Stmt two, Value leftOp, int index)
boolean	ShortcutArrayInit.isInSequenceAssignmentPatternTwo(Stmt one, Stmt two, Value leftOp, int index)
boolean	LocalVariableCleaner.removeStmt(Stmt stmt)
boolean	LocalVariableCleaner.removeStmt(Stmt stmt)

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

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

Modifier and Type	Method and Description
void	ASTUsesAndDefs.checkStatementUses(Stmt s, java.lang.Object useNodeOrStatement)
void	AllVariableUses.checkStatementUses(Stmt s, java.lang.Object useNodeOrStatement)
void	ASTUsesAndDefs.checkStatementUses(Stmt s, java.lang.Object useNodeOrStatement)
void	AllVariableUses.checkStatementUses(Stmt s, java.lang.Object useNodeOrStatement)
void	ASTParentNodeFinder.inStmt(Stmt s)
void	ClosestAbruptTargetFinder.inStmt(Stmt s)
void	ClosestAbruptTargetFinder.inStmt(Stmt s)
void	ASTParentNodeFinder.inStmt(Stmt s)
boolean	CopyPropagation.isCopyStmt(Stmt s)
boolean	CopyPropagation.isCopyStmt(Stmt s)
void	CopyPropagation.removeStmt(Stmt stmt)
void	CopyPropagation.removeStmt(Stmt stmt)

Uses of Stmt in soot.dexpler

Methods in soot.dexpler with parameters of type Stmt

Modifier and Type	Method and Description
protected Type	DexTransformer.findArrayType(LocalDefs localDefs, LocalUses localUses, Stmt arrayStmt, int depth, java.util.Set<Unit> alreadyVisitedDefs)
protected Type	DexTransformer.findArrayType(LocalDefs localDefs, LocalUses localUses, Stmt arrayStmt, int depth, java.util.Set<Unit> alreadyVisitedDefs)

Uses of Stmt in soot.dexpler.instructions

Methods in soot.dexpler.instructions that return Stmt

Modifier and Type	Method and Description
protected Stmt	PackedSwitchInstruction.switchStatement(DexBody body, Instruction targetData, Local key)
protected Stmt	SparseSwitchInstruction.switchStatement(DexBody body, Instruction targetData, Local key)
protected abstract Stmt	SwitchInstruction.switchStatement(DexBody body, Instruction targetData, Local key) Return a switch statement based on given target data on the given key.
protected Stmt	SparseSwitchInstruction.switchStatement(DexBody body, Instruction targetData, Local key)
protected Stmt	PackedSwitchInstruction.switchStatement(DexBody body, Instruction targetData, Local key)
protected abstract Stmt	SwitchInstruction.switchStatement(DexBody body, Instruction targetData, Local key) Return a switch statement based on given target data on the given key.

Uses of Stmt in soot.grimp.internal

Classes in soot.grimp.internal that implement Stmt

Modifier and Type	Class and Description
class	GAssignStmt
class	GEnterMonitorStmt
class	GExitMonitorStmt
class	GIdentityStmt
class	GIfStmt
class	GInvokeStmt
class	GLookupSwitchStmt
class	GReturnStmt
class	GTableSwitchStmt
class	GThrowStmt

Uses of Stmt in soot.javaToJimple

Fields in soot.javaToJimple with type parameters of type Stmt

Modifier and Type	Field and Description
protected java.util.List<java.util.List<Stmt>>	JimpleBodyBuilder.afterReturn
protected java.util.List<java.util.List<Stmt>>	JimpleBodyBuilder.afterReturn
protected java.util.List<java.util.List<Stmt>>	JimpleBodyBuilder.beforeReturn
protected java.util.List<java.util.List<Stmt>>	JimpleBodyBuilder.beforeReturn
protected java.util.Stack<Stmt>	JimpleBodyBuilder.condControlNoop
protected java.util.Stack<Stmt>	JimpleBodyBuilder.condControlNoop
protected java.util.Stack<Stmt>	JimpleBodyBuilder.endControlNoop
protected java.util.Stack<Stmt>	JimpleBodyBuilder.endControlNoop
protected java.util.Stack<Stmt>	JimpleBodyBuilder.falseNoop
protected java.util.Stack<Stmt>	JimpleBodyBuilder.falseNoop
protected java.util.HashMap<java.lang.String,Stmt>	JimpleBodyBuilder.labelBreakMap
protected java.util.HashMap<java.lang.String,Stmt>	JimpleBodyBuilder.labelBreakMap
protected java.util.HashMap<java.lang.String,Stmt>	JimpleBodyBuilder.labelContinueMap
protected java.util.HashMap<java.lang.String,Stmt>	JimpleBodyBuilder.labelContinueMap
protected java.util.HashMap<polyglot.ast.Stmt,Stmt>	JimpleBodyBuilder.labelMap
protected java.util.HashMap<polyglot.ast.Stmt,Stmt>	JimpleBodyBuilder.labelMap
protected java.util.Stack<Stmt>	JimpleBodyBuilder.trueNoop
protected java.util.Stack<Stmt>	JimpleBodyBuilder.trueNoop

Uses of Stmt in soot.jimple

Subinterfaces of Stmt in soot.jimple

Modifier and Type	Interface and Description
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	SwitchStmt
interface	TableSwitchStmt
interface	ThrowStmt

Classes in soot.jimple that implement Stmt

Modifier and Type	Class and Description
class	PlaceholderStmt

Methods in soot.jimple that return Stmt

Modifier and Type	Method and Description
Stmt	JimpleBody.getFirstNonIdentityStmt() Returns the first non-identity stmt in this body.
Stmt	JimpleBody.getFirstNonIdentityStmt() Returns the first non-identity stmt in this body.
Stmt	IfStmt.getTarget()
Stmt	IfStmt.getTarget()

Methods in soot.jimple with parameters of type Stmt

Modifier and Type	Method and Description
protected void	PointerStmtSwitch.caseUninterestingStmt(Stmt s) Any other statement
protected void	PointerStmtSwitch.caseUninterestingStmt(Stmt s) Any other statement
java.util.List	EqualLocals.getCopiesAt(Stmt s)
java.util.List	EqualLocals.getCopiesAt(Stmt s)
boolean	EqualLocals.isLocalEqualToAt(Local l1, Local l2, Stmt s)
boolean	EqualLocals.isLocalEqualToAt(Local l1, Local l2, Stmt s)

Constructors in soot.jimple with parameters of type Stmt

Constructor and Description
LocalStmtPair(Local local, Stmt stmt)
LocalStmtPair(Local local, Stmt stmt)

Uses of Stmt in soot.jimple.internal

Classes in soot.jimple.internal that implement Stmt

Modifier and Type	Class and Description
class	AbstractDefinitionStmt
class	AbstractOpStmt
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

Methods in soot.jimple.internal that return Stmt

Modifier and Type	Method and Description
Stmt	JIfStmt.getTarget()
Stmt	JIfStmt.getTarget()

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

Constructor and Description
StmtBox(Stmt s)
StmtBox(Stmt s)

Uses of Stmt in soot.jimple.spark.builder

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

Modifier and Type	Method and Description
void	MethodNodeFactory.handleStmt(Stmt s) Adds the edges required for this statement to the graph.
void	MethodNodeFactory.handleStmt(Stmt s) Adds the edges required for this statement to the graph.

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

Fields in soot.jimple.spark.geom.geomPA with type parameters of type Stmt

Modifier and Type	Field and Description
java.util.Set<Stmt>	GeomPointsTo.multiCallsites
java.util.Set<Stmt>	GeomPointsTo.multiCallsites
java.util.Set<Stmt>	GeomPointsTo.thread_run_callsites
java.util.Set<Stmt>	GeomPointsTo.thread_run_callsites

Uses of Stmt in soot.jimple.spark.geom.utils

Methods in soot.jimple.spark.geom.utils with parameters of type Stmt

Modifier and Type	Method and Description
static int	SootInfo.countCallEdgesForCallsite(Stmt callsite, boolean stopForMutiple)
static int	SootInfo.countCallEdgesForCallsite(Stmt callsite, boolean stopForMutiple)

Uses of Stmt in soot.jimple.spark.pag

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

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

Uses of Stmt in soot.jimple.toolkits.annotation.arraycheck

Methods in soot.jimple.toolkits.annotation.arraycheck with parameters of type Stmt

Modifier and Type	Method and Description
protected int	ArrayBoundsChecker.interpretGraph(soot.jimple.toolkits.annotation.arraycheck.WeightedDirectedSparseGraph vgraph, ArrayRef aref, Stmt stmt, soot.jimple.toolkits.annotation.arraycheck.IntContainer zero)
protected int	ArrayBoundsChecker.interpretGraph(soot.jimple.toolkits.annotation.arraycheck.WeightedDirectedSparseGraph vgraph, ArrayRef aref, Stmt stmt, soot.jimple.toolkits.annotation.arraycheck.IntContainer zero)

Uses of Stmt in soot.jimple.toolkits.annotation.logic

Fields in soot.jimple.toolkits.annotation.logic declared as Stmt

Modifier and Type	Field and Description
protected Stmt	Loop.backJump
protected Stmt	Loop.backJump
protected Stmt	Loop.header
protected Stmt	Loop.header

Fields in soot.jimple.toolkits.annotation.logic with type parameters of type Stmt

Modifier and Type	Field and Description
protected java.util.Collection<Stmt>	Loop.loopExists
protected java.util.Collection<Stmt>	Loop.loopExists
protected java.util.List<Stmt>	Loop.loopStatements
protected java.util.List<Stmt>	Loop.loopStatements

Methods in soot.jimple.toolkits.annotation.logic that return Stmt

Modifier and Type	Method and Description
Stmt	Loop.getBackJumpStmt() Returns the statement that jumps back to the head, thereby constituing the loop.
Stmt	Loop.getBackJumpStmt() Returns the statement that jumps back to the head, thereby constituing the loop.
Stmt	Loop.getHead()
Stmt	Loop.getHead()

Methods in soot.jimple.toolkits.annotation.logic that return types with arguments of type Stmt

Modifier and Type	Method and Description
java.util.Collection<Stmt>	Loop.getLoopExits() Returns all loop exists.
java.util.Collection<Stmt>	Loop.getLoopExits() Returns all loop exists.
java.util.List<Stmt>	Loop.getLoopStatements()
java.util.List<Stmt>	Loop.getLoopStatements()
java.util.Collection<Stmt>	Loop.targetsOfLoopExit(Stmt loopExit) Computes all targets of the given loop exit, i.e.
java.util.Collection<Stmt>	Loop.targetsOfLoopExit(Stmt loopExit) Computes all targets of the given loop exit, i.e.

Methods in soot.jimple.toolkits.annotation.logic with parameters of type Stmt

Modifier and Type	Method and Description
java.util.Collection<Stmt>	Loop.targetsOfLoopExit(Stmt loopExit) Computes all targets of the given loop exit, i.e.
java.util.Collection<Stmt>	Loop.targetsOfLoopExit(Stmt loopExit) Computes all targets of the given loop exit, i.e.

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

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

Modifier and Type	Method and Description
protected void	AbstractInterproceduralAnalysis.analyseCall(java.lang.Object src, Stmt callStmt, java.lang.Object dst) Analyse the call callStmt in the context src, and put the resul into dst.
protected void	AbstractInterproceduralAnalysis.analyseCall(java.lang.Object src, Stmt callStmt, java.lang.Object dst) Analyse the call callStmt in the context src, and put the resul into dst.
protected abstract void	AbstractInterproceduralAnalysis.applySummary(java.lang.Object src, Stmt callStmt, java.lang.Object summary, java.lang.Object dst) Interprocedural analysis will call applySummary repeatedly as a consequence to analyseCall.
protected void	PurityInterproceduralAnalysis.applySummary(java.lang.Object src, Stmt stmt, java.lang.Object summary, java.lang.Object dst)
protected void	PurityInterproceduralAnalysis.applySummary(java.lang.Object src, Stmt stmt, java.lang.Object summary, java.lang.Object dst)
protected abstract void	AbstractInterproceduralAnalysis.applySummary(java.lang.Object src, Stmt callStmt, java.lang.Object summary, java.lang.Object dst) Interprocedural analysis will call applySummary repeatedly as a consequence to analyseCall.

Uses of Stmt in soot.jimple.toolkits.base

Methods in soot.jimple.toolkits.base that return Stmt

Modifier and Type	Method and Description
Stmt	ExceptionCheckerError.throwing()
Stmt	ExceptionCheckerError.throwing()

Methods in soot.jimple.toolkits.base with parameters of type Stmt

Modifier and Type	Method and Description
protected void	ExceptionChecker.checkInvokeExpr(Body b, InvokeExpr ie, Stmt s)
protected void	ExceptionChecker.checkInvokeExpr(Body b, InvokeExpr ie, Stmt s)
protected boolean	ExceptionChecker.isExceptionCaught(Body b, Stmt s, RefType throwType)
protected boolean	ExceptionChecker.isExceptionCaught(Body b, Stmt s, RefType throwType)
protected boolean	ExceptionChecker.isThrowInStmtRange(Body b, Stmt begin, Stmt end, Stmt s)
protected boolean	ExceptionChecker.isThrowInStmtRange(Body b, Stmt begin, Stmt end, Stmt s)
void	ExceptionCheckerError.throwing(Stmt s)
void	ExceptionCheckerError.throwing(Stmt s)

Constructors in soot.jimple.toolkits.base with parameters of type Stmt

Constructor and Description
ExceptionCheckerError(SootMethod m, SootClass sc, Stmt s, SourceLnPosTag pos)
ExceptionCheckerError(SootMethod m, SootClass sc, Stmt s, SourceLnPosTag pos)

Uses of Stmt in soot.jimple.toolkits.callgraph

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

Modifier and Type	Method and Description
Stmt	ContextSensitiveEdge.srcStmt()
Stmt	Edge.srcStmt()
Stmt	Edge.srcStmt()
Stmt	ContextSensitiveEdge.srcStmt()
Stmt	VirtualCallSite.stmt()
Stmt	VirtualCallSite.stmt()

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

Modifier and Type	Method and Description
void	OnFlyCallGraphBuilder.DefaultReflectionModel.classForName(SootMethod source, Stmt s)
void	OnFlyCallGraphBuilder.TraceBasedReflectionModel.classForName(SootMethod container, Stmt forNameInvokeStmt) Adds an edge to all class initializers of all possible receivers of Class.forName() calls within source.
void	ReflectionModel.classForName(SootMethod source, Stmt s)
void	OnFlyCallGraphBuilder.DefaultReflectionModel.classForName(SootMethod source, Stmt s)
void	OnFlyCallGraphBuilder.TraceBasedReflectionModel.classForName(SootMethod container, Stmt forNameInvokeStmt) Adds an edge to all class initializers of all possible receivers of Class.forName() calls within source.
void	ReflectionModel.classForName(SootMethod source, Stmt s)
void	OnFlyCallGraphBuilder.DefaultReflectionModel.classNewInstance(SootMethod source, Stmt s)
void	OnFlyCallGraphBuilder.TraceBasedReflectionModel.classNewInstance(SootMethod container, Stmt newInstanceInvokeStmt) Adds an edge to the constructor of the target class from this call to Class.newInstance().
void	ReflectionModel.classNewInstance(SootMethod source, Stmt s)
void	OnFlyCallGraphBuilder.DefaultReflectionModel.classNewInstance(SootMethod source, Stmt s)
void	OnFlyCallGraphBuilder.TraceBasedReflectionModel.classNewInstance(SootMethod container, Stmt newInstanceInvokeStmt) Adds an edge to the constructor of the target class from this call to Class.newInstance().
void	ReflectionModel.classNewInstance(SootMethod source, Stmt s)
void	OnFlyCallGraphBuilder.DefaultReflectionModel.contructorNewInstance(SootMethod source, Stmt s)
void	OnFlyCallGraphBuilder.TraceBasedReflectionModel.contructorNewInstance(SootMethod container, Stmt newInstanceInvokeStmt) Adds a special edge of kind Kind.REFL_CONSTR_NEWINSTANCE to all possible target constructors of this call to Constructor.newInstance(Object...).
void	ReflectionModel.contructorNewInstance(SootMethod source, Stmt s)
void	OnFlyCallGraphBuilder.DefaultReflectionModel.contructorNewInstance(SootMethod source, Stmt s)
void	OnFlyCallGraphBuilder.TraceBasedReflectionModel.contructorNewInstance(SootMethod container, Stmt newInstanceInvokeStmt) Adds a special edge of kind Kind.REFL_CONSTR_NEWINSTANCE to all possible target constructors of this call to Constructor.newInstance(Object...).
void	ReflectionModel.contructorNewInstance(SootMethod source, Stmt s)
void	OnFlyCallGraphBuilder.DefaultReflectionModel.methodInvoke(SootMethod container, Stmt invokeStmt)
void	OnFlyCallGraphBuilder.TraceBasedReflectionModel.methodInvoke(SootMethod container, Stmt invokeStmt) Adds a special edge of kind Kind.REFL_INVOKE to all possible target methods of this call to Method.invoke(Object, Object...).
void	ReflectionModel.methodInvoke(SootMethod container, Stmt invokeStmt)
void	OnFlyCallGraphBuilder.DefaultReflectionModel.methodInvoke(SootMethod container, Stmt invokeStmt)
void	OnFlyCallGraphBuilder.TraceBasedReflectionModel.methodInvoke(SootMethod container, Stmt invokeStmt) Adds a special edge of kind Kind.REFL_INVOKE to all possible target methods of this call to Method.invoke(Object, Object...).
void	ReflectionModel.methodInvoke(SootMethod container, Stmt invokeStmt)
boolean	CallGraph.swapEdgesOutOf(Stmt out, Stmt in) Swaps an invocation statement.
boolean	CallGraph.swapEdgesOutOf(Stmt out, Stmt in) Swaps an invocation statement.

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

Constructor and Description
Edge(MethodOrMethodContext src, Stmt srcUnit, MethodOrMethodContext tgt)
Edge(MethodOrMethodContext src, Stmt srcUnit, MethodOrMethodContext tgt)
VirtualCallSite(Stmt stmt, SootMethod container, InstanceInvokeExpr iie, NumberedString subSig, Kind kind)
VirtualCallSite(Stmt stmt, SootMethod container, InstanceInvokeExpr iie, NumberedString subSig, Kind kind)

Uses of Stmt in soot.jimple.toolkits.infoflow

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

Modifier and Type	Method and Description
protected void	SmartMethodInfoFlowAnalysis.addFlowToCdfg(Stmt stmt)
protected void	SmartMethodInfoFlowAnalysis.addFlowToCdfg(Stmt stmt)
protected HashMutableDirectedGraph<EquivalentValue>	InfoFlowAnalysis.getInvokeInfoFlowSummary(InvokeExpr ie, Stmt is, SootMethod context)
protected HashMutableDirectedGraph<EquivalentValue>	InfoFlowAnalysis.getInvokeInfoFlowSummary(InvokeExpr ie, Stmt is, SootMethod context)
protected java.util.List<Value>	SmartMethodInfoFlowAnalysis.handleInvokeExpr(InvokeExpr ie, Stmt is)
protected java.util.List<Value>	SmartMethodInfoFlowAnalysis.handleInvokeExpr(InvokeExpr ie, Stmt is)
protected java.util.List<Value>	SimpleMethodInfoFlowAnalysis.handleInvokeExpr(InvokeExpr ie, Stmt is, FlowSet<Pair<EquivalentValue,EquivalentValue>> fs)
protected java.util.List<Value>	SimpleMethodInfoFlowAnalysis.handleInvokeExpr(InvokeExpr ie, Stmt is, FlowSet<Pair<EquivalentValue,EquivalentValue>> fs)

Uses of Stmt in soot.jimple.toolkits.invoke

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

Modifier and Type	Method and Description
static Stmt	ThrowManager.getNullPointerExceptionThrower(JimpleBody b) Iterate through the statements in b (starting at the end), returning the last instance of the following pattern: r928 = new java.lang.NullPointerException; specialinvoke r928.""(); throw r928; Creates if necessary.
static Stmt	ThrowManager.getNullPointerExceptionThrower(JimpleBody b) Iterate through the statements in b (starting at the end), returning the last instance of the following pattern: r928 = new java.lang.NullPointerException; specialinvoke r928.""(); throw r928; Creates if necessary.

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

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.
Local	SynchronizerManager.addStmtsToFetchClassBefore(JimpleBody jb, Stmt target) Adds code to fetch the static Class object to the given JimpleBody before the target Stmt.
static void	AccessManager.createAccessorMethod(SootMethod container, Stmt stmt) Turns a field access or method call into a call to an accessor method.
static void	AccessManager.createAccessorMethod(SootMethod container, Stmt stmt) Turns a field access or method call into a call to an accessor method.
static void	AccessManager.createAccessorMethods(Body body, Stmt before, Stmt after) Resolves illegal accesses in the interval ]before,after[ by creating accessor methods.
static void	AccessManager.createAccessorMethods(Body body, Stmt before, Stmt after) Resolves illegal accesses in the interval ]before,after[ by creating accessor methods.
static boolean	InlinerSafetyManager.ensureInlinability(SootMethod target, Stmt toInline, SootMethod container, java.lang.String modifierOptions) Returns true if this method can be inlined at the given site.
static boolean	InlinerSafetyManager.ensureInlinability(SootMethod target, Stmt toInline, SootMethod container, java.lang.String modifierOptions) Returns true if this method can be inlined at the given site.
static void	SiteInliner.inlineSite(SootMethod inlinee, Stmt toInline, SootMethod container) Inlines the method inlinee into the container at the point toInline.
static void	SiteInliner.inlineSite(SootMethod inlinee, Stmt toInline, SootMethod container) Inlines the method inlinee into the container at the point toInline.
static java.util.List	SiteInliner.inlineSite(SootMethod inlinee, Stmt toInline, SootMethod container, java.util.Map options) Inlines the given site.
static java.util.List	SiteInliner.inlineSite(SootMethod inlinee, Stmt toInline, SootMethod container, java.util.Map options) Inlines the given site.
static boolean	AccessManager.isAccessLegal(SootMethod container, Stmt stmt) Returns true if the statement stmt contains an illegal access to a field or method, assuming the statement is in method container
static boolean	AccessManager.isAccessLegal(SootMethod container, Stmt stmt) Returns true if the statement stmt contains an illegal access to a field or method, assuming the statement is in method container
void	SynchronizerManager.synchronizeStmtOn(Stmt stmt, JimpleBody b, Local lock) Wraps stmt around a monitor associated with local lock.
void	SynchronizerManager.synchronizeStmtOn(Stmt stmt, JimpleBody b, Local lock) Wraps stmt around a monitor associated with local lock.

Uses of Stmt in soot.jimple.toolkits.pointer

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

Modifier and Type	Field and Description
protected Stmt	InstanceKey.stmtAfterAssignStmt
protected Stmt	InstanceKey.stmtAfterAssignStmt

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

Modifier and Type	Method and Description
Stmt	InstanceKey.getStmt()
Stmt	InstanceKey.getStmt()

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

Modifier and Type	Method and Description
protected RWSet	SideEffectAnalysis.addValue(Value v, SootMethod m, Stmt s)
protected RWSet	SideEffectAnalysis.addValue(Value v, SootMethod m, Stmt s)
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.
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 (i.e.
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 (i.e.
boolean	LocalMustNotAliasAnalysis.hasInfoOn(Local l, Stmt s) Returns true if this analysis has any information about local l at statement s (i.e.
java.lang.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 or UNKNOWN if the value of l at s is LocalMustAliasAnalysis.UNKNOWN.
java.lang.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 or UNKNOWN if the value of l at s is LocalMustAliasAnalysis.UNKNOWN.
java.lang.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 or UNKNOWN if the value of l at s is LocalMustAliasAnalysis.UNKNOWN.
java.lang.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 or UNKNOWN if the value of l at s is LocalMustAliasAnalysis.UNKNOWN.
protected java.lang.Object	FieldRWTagger.keyFor(Stmt s)
protected java.lang.Object	SideEffectTagger.keyFor(Stmt s)
protected java.lang.Object	SideEffectTagger.keyFor(Stmt s)
protected java.lang.Object	FieldRWTagger.keyFor(Stmt s)
boolean	LocalMustAliasAnalysis.mustAlias(Local l1, Stmt s1, Local l2, Stmt s2)
boolean	StrongLocalMustAliasAnalysis.mustAlias(Local l1, Stmt s1, Local l2, Stmt s2)
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)
boolean	LocalMustNotAliasAnalysis.notMayAlias(Local l1, Stmt s1, Local l2, Stmt s2)
RWSet	SideEffectAnalysis.readSet(SootMethod method, Stmt stmt)
RWSet	SideEffectAnalysis.readSet(SootMethod method, Stmt stmt)
RWSet	SideEffectAnalysis.writeSet(SootMethod method, Stmt stmt)
RWSet	SideEffectAnalysis.writeSet(SootMethod method, Stmt stmt)

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

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.
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 Stmt in soot.jimple.toolkits.scalar

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

Modifier and Type	Method and Description
java.util.Map<Stmt,java.util.List>	EqualUsesAnalysis.getFirstUseToAliasSet() Deprecated.
java.util.Map<Stmt,java.util.List>	EqualUsesAnalysis.getFirstUseToAliasSet() Deprecated.

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

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) Deprecated.
boolean	EqualUsesAnalysis.areEqualUses(Stmt firstStmt, Local firstLocal, Stmt secondStmt, Local secondLocal, java.util.List boundaryStmts) Deprecated.
boolean	EqualUsesAnalysis.areEqualUses(Stmt firstStmt, Local firstLocal, Stmt secondStmt, Local secondLocal, java.util.List boundaryStmts) Deprecated.
java.util.List	CommonPrecedingEqualValueAnalysis.getCommonAncestorValuesOf(java.util.Map unitToAliasSet, Stmt s) Returns a list of EquivalentLocals that must always be equal to l at s
java.util.List	CommonPrecedingEqualValueAnalysis.getCommonAncestorValuesOf(java.util.Map unitToAliasSet, Stmt s) Returns a list of EquivalentLocals that must always be equal to l at s
java.util.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
java.util.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 Stmt

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

Uses of Stmt in soot.jimple.toolkits.thread

Methods in soot.jimple.toolkits.thread with parameters of type Stmt

Modifier and Type	Method and Description
void	AbstractRuntimeThread.setJoinStmt(Stmt joinStmt)
void	AbstractRuntimeThread.setJoinStmt(Stmt joinStmt)
void	AbstractRuntimeThread.setStartStmt(Stmt startStmt)
void	AbstractRuntimeThread.setStartStmt(Stmt startStmt)

Uses of Stmt in soot.jimple.toolkits.thread.mhp

Methods in soot.jimple.toolkits.thread.mhp that return types with arguments of type Stmt

Modifier and Type	Method and Description
java.util.Set<Stmt>	StartJoinAnalysis.getJoinStatements()
java.util.Set<Stmt>	StartJoinFinder.getJoinStatements()
java.util.Set<Stmt>	StartJoinAnalysis.getJoinStatements()
java.util.Set<Stmt>	StartJoinFinder.getJoinStatements()
java.util.Set<Stmt>	StartJoinAnalysis.getStartStatements()
java.util.Set<Stmt>	StartJoinFinder.getStartStatements()
java.util.Set<Stmt>	StartJoinAnalysis.getStartStatements()
java.util.Set<Stmt>	StartJoinFinder.getStartStatements()
java.util.Map<Stmt,java.util.List<AllocNode>>	StartJoinAnalysis.getStartToAllocNodes()
java.util.Map<Stmt,java.util.List<AllocNode>>	StartJoinFinder.getStartToAllocNodes()
java.util.Map<Stmt,java.util.List<AllocNode>>	StartJoinAnalysis.getStartToAllocNodes()
java.util.Map<Stmt,java.util.List<AllocNode>>	StartJoinFinder.getStartToAllocNodes()
java.util.Map<Stmt,SootMethod>	StartJoinFinder.getStartToContainingMethod()
java.util.Map<Stmt,SootMethod>	StartJoinFinder.getStartToContainingMethod()
java.util.Map<Stmt,Stmt>	StartJoinAnalysis.getStartToJoin()
java.util.Map<Stmt,Stmt>	StartJoinAnalysis.getStartToJoin()
java.util.Map<Stmt,Stmt>	StartJoinFinder.getStartToJoin()
java.util.Map<Stmt,Stmt>	StartJoinFinder.getStartToJoin()
java.util.Map<Stmt,Stmt>	StartJoinAnalysis.getStartToJoin()
java.util.Map<Stmt,Stmt>	StartJoinAnalysis.getStartToJoin()
java.util.Map<Stmt,Stmt>	StartJoinFinder.getStartToJoin()
java.util.Map<Stmt,Stmt>	StartJoinFinder.getStartToJoin()
java.util.Map<Stmt,java.util.List<SootMethod>>	StartJoinAnalysis.getStartToRunMethods()
java.util.Map<Stmt,java.util.List<SootMethod>>	StartJoinFinder.getStartToRunMethods()
java.util.Map<Stmt,java.util.List<SootMethod>>	StartJoinAnalysis.getStartToRunMethods()
java.util.Map<Stmt,java.util.List<SootMethod>>	StartJoinFinder.getStartToRunMethods()

Uses of Stmt in soot.jimple.toolkits.thread.synchronization

Fields in soot.jimple.toolkits.thread.synchronization declared as Stmt

Modifier and Type	Field and Description
Stmt	SynchronizedRegion.after
Stmt	SynchronizedRegion.after
Stmt	SynchronizedRegion.beginning
Stmt	SynchronizedRegion.beginning
Stmt	SynchronizedRegion.entermonitor
Stmt	SynchronizedRegion.entermonitor
Stmt	SynchronizedRegion.last
Stmt	SynchronizedRegion.last
Stmt	SynchronizedRegion.prepStmt
Stmt	SynchronizedRegion.prepStmt

Fields in soot.jimple.toolkits.thread.synchronization with type parameters of type Stmt

Modifier and Type	Field and Description
java.util.List<Pair<Stmt,Stmt>>	SynchronizedRegion.earlyEnds
java.util.List<Pair<Stmt,Stmt>>	SynchronizedRegion.earlyEnds
java.util.List<Pair<Stmt,Stmt>>	SynchronizedRegion.earlyEnds
java.util.List<Pair<Stmt,Stmt>>	SynchronizedRegion.earlyEnds
Pair<Stmt,Stmt>	SynchronizedRegion.end
Pair<Stmt,Stmt>	SynchronizedRegion.end
Pair<Stmt,Stmt>	SynchronizedRegion.end
Pair<Stmt,Stmt>	SynchronizedRegion.end
Pair<Stmt,Stmt>	SynchronizedRegion.exceptionalEnd
Pair<Stmt,Stmt>	SynchronizedRegion.exceptionalEnd
Pair<Stmt,Stmt>	SynchronizedRegion.exceptionalEnd
Pair<Stmt,Stmt>	SynchronizedRegion.exceptionalEnd

Methods in soot.jimple.toolkits.thread.synchronization with parameters of type Stmt

Modifier and Type	Method and Description
java.lang.Integer	LockableReferenceAnalysis.addFromSubanalysis(soot.jimple.toolkits.thread.synchronization.LocksetFlowInfo outInfo, LockableReferenceAnalysis la, Stmt stmt, Value lock)
java.lang.Integer	LockableReferenceAnalysis.addFromSubanalysis(soot.jimple.toolkits.thread.synchronization.LocksetFlowInfo outInfo, LockableReferenceAnalysis la, Stmt stmt, Value lock)
protected RWSet	CriticalSectionAwareSideEffectAnalysis.addValue(Value v, SootMethod m, Stmt s)
protected RWSet	CriticalSectionAwareSideEffectAnalysis.addValue(Value v, SootMethod m, Stmt s)
RWSet	CriticalSectionAwareSideEffectAnalysis.approximatedReadSet(SootMethod method, Stmt stmt, Value specialRead, boolean allFields)
RWSet	CriticalSectionAwareSideEffectAnalysis.approximatedReadSet(SootMethod method, Stmt stmt, Value specialRead, boolean allFields)
RWSet	CriticalSectionAwareSideEffectAnalysis.approximatedWriteSet(SootMethod method, Stmt stmt, Value v, boolean allFields)
RWSet	CriticalSectionAwareSideEffectAnalysis.approximatedWriteSet(SootMethod method, Stmt stmt, Value v, boolean allFields)
RWSet	CriticalSectionAwareSideEffectAnalysis.readSet(SootMethod method, Stmt stmt, soot.jimple.toolkits.thread.synchronization.CriticalSection tn, java.util.Set uses)
RWSet	CriticalSectionAwareSideEffectAnalysis.readSet(SootMethod method, Stmt stmt, soot.jimple.toolkits.thread.synchronization.CriticalSection tn, java.util.Set uses)
InstanceFieldRef	LockAllocationBodyTransformer.reconstruct(Body b, PatchingChain<Unit> units, InstanceFieldRef lock, Stmt insertBefore, boolean redirect)
InstanceFieldRef	LockAllocationBodyTransformer.reconstruct(Body b, PatchingChain<Unit> units, InstanceFieldRef lock, Stmt insertBefore, boolean redirect)
RWSet	CriticalSectionAwareSideEffectAnalysis.valueRWSet(Value v, SootMethod m, Stmt s, soot.jimple.toolkits.thread.synchronization.CriticalSection tn)
RWSet	CriticalSectionAwareSideEffectAnalysis.valueRWSet(Value v, SootMethod m, Stmt s, soot.jimple.toolkits.thread.synchronization.CriticalSection tn)
RWSet	CriticalSectionAwareSideEffectAnalysis.writeSet(SootMethod method, Stmt stmt, soot.jimple.toolkits.thread.synchronization.CriticalSection tn, java.util.Set uses)
RWSet	CriticalSectionAwareSideEffectAnalysis.writeSet(SootMethod method, Stmt stmt, soot.jimple.toolkits.thread.synchronization.CriticalSection tn, java.util.Set uses)

Uses of Stmt in soot.jimple.toolkits.typing

Methods in soot.jimple.toolkits.typing with parameters of type Stmt

Modifier and Type	Method and Description
static Unit	Util.findFirstNonIdentityUnit(Body b, Stmt s) Returns the first statement after all the "identity statements".
static Unit	Util.findFirstNonIdentityUnit(Body b, Stmt s) Returns the first statement after all the "identity statements".
static Unit	Util.findLastIdentityUnit(Body b, Stmt s) A new "normal" statement cannot be inserted in the middle of special "identity statements" (a = @parameter or b = @this in Jimple).
static Unit	Util.findLastIdentityUnit(Body b, Stmt s) A new "normal" statement cannot be inserted in the middle of special "identity statements" (a = @parameter or b = @this in Jimple).

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

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

Modifier and Type	Method and Description
void	UseChecker.defaultCase(Stmt stmt)
void	UseChecker.defaultCase(Stmt stmt)
static Type	AugEvalFunction.eval_(Typing tg, Value expr, Stmt stmt, JimpleBody jb)
static Type	AugEvalFunction.eval_(Typing tg, Value expr, Stmt stmt, JimpleBody jb)
java.util.Collection<Type>	AugEvalFunction.eval(Typing tg, Value expr, Stmt stmt)
java.util.Collection<Type>	IEvalFunction.eval(Typing tg, Value expr, Stmt stmt)
java.util.Collection<Type>	AugEvalFunction.eval(Typing tg, Value expr, Stmt stmt)
java.util.Collection<Type>	IEvalFunction.eval(Typing tg, Value expr, Stmt stmt)
Value	IUseVisitor.visit(Value op, Type useType, Stmt stmt)
Value	IUseVisitor.visit(Value op, Type useType, Stmt stmt)

Uses of Stmt in soot.shimple.toolkits.graph

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

Modifier and Type	Method and Description
protected void	ValueGraph.handleStmt(Stmt stmt)
protected void	ValueGraph.handleStmt(Stmt stmt)

Uses of Stmt in soot.shimple.toolkits.scalar

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

Modifier and Type	Method and Description
protected void	SConstantPropagatorAndFolder.replaceStmts(java.util.Map<Stmt,GotoStmt> stmtsToReplace) Replaces conditional branches by unconditional branches as given by the mapping.
protected void	SConstantPropagatorAndFolder.replaceStmts(java.util.Map<Stmt,GotoStmt> stmtsToReplace) Replaces conditional branches by unconditional branches as given by the mapping.

Uses of Stmt in soot.toDex

Methods in soot.toDex that return Stmt

Modifier and Type	Method and Description
Stmt	StmtVisitor.getStmtForInstruction(Instruction instruction)
Stmt	StmtVisitor.getStmtForInstruction(Instruction instruction)

Methods in soot.toDex with parameters of type Stmt

Modifier and Type	Method and Description
protected void	StmtVisitor.addInsn(Insn insn, Stmt s)
protected void	StmtVisitor.addInsn(Insn insn, Stmt s)
protected void	StmtVisitor.beginNewStmt(Stmt s)
protected void	StmtVisitor.beginNewStmt(Stmt s)
void	StmtVisitor.fakeNewInsn(Stmt s, Insn insn, Instruction instruction)
void	StmtVisitor.fakeNewInsn(Stmt s, Insn insn, Instruction instruction)
Label	LabelAssigner.getLabel(Stmt stmt)
Label	LabelAssigner.getLabel(Stmt stmt)
java.lang.String	LabelAssigner.getLabelName(Stmt stmt)
java.lang.String	LabelAssigner.getLabelName(Stmt stmt)
Label	LabelAssigner.getLabelUnsafe(Stmt stmt)
Label	LabelAssigner.getLabelUnsafe(Stmt stmt)
Label	LabelAssigner.getOrCreateLabel(Stmt stmt)
Label	LabelAssigner.getOrCreateLabel(Stmt stmt)
void	ConstantVisitor.setOrigStmt(Stmt stmt)
void	ExprVisitor.setOrigStmt(Stmt stmt)
void	ExprVisitor.setOrigStmt(Stmt stmt)
void	ConstantVisitor.setOrigStmt(Stmt stmt)
void	ExprVisitor.setTargetForOffset(Stmt targetForOffset)
void	ExprVisitor.setTargetForOffset(Stmt targetForOffset)

Method parameters in soot.toDex with type arguments of type Stmt

Modifier and Type	Method and Description
java.util.List<Insn>	RegisterAssigner.finishRegs(java.util.List<Insn> insns, java.util.Map<Insn,Stmt> insnsStmtMap, java.util.Map<Insn,LocalRegisterAssignmentInformation> instructionRegisterMap, java.util.List<LocalRegisterAssignmentInformation> parameterInstructionsList)
java.util.List<Insn>	RegisterAssigner.finishRegs(java.util.List<Insn> insns, java.util.Map<Insn,Stmt> insnsStmtMap, java.util.Map<Insn,LocalRegisterAssignmentInformation> instructionRegisterMap, java.util.List<LocalRegisterAssignmentInformation> parameterInstructionsList)

Uses of Stmt in soot.toDex.instructions

Fields in soot.toDex.instructions declared as Stmt

Modifier and Type	Field and Description
protected Stmt	InsnWithOffset.target
protected Stmt	InsnWithOffset.target

Methods in soot.toDex.instructions that return Stmt

Modifier and Type	Method and Description
Stmt	InsnWithOffset.getTarget()
Stmt	InsnWithOffset.getTarget()

Methods in soot.toDex.instructions with parameters of type Stmt

Modifier and Type	Method and Description
void	InsnWithOffset.setTarget(Stmt target)
void	InsnWithOffset.setTarget(Stmt target)

Uses of Stmt in soot.toolkits.graph

Methods in soot.toolkits.graph with parameters of type Stmt

Modifier and Type	Method and Description
boolean	DominatorAnalysis.dominates(Stmt s, Stmt t) Deprecated. Returns true if s post-dominates t.
boolean	DominatorAnalysis.dominates(Stmt s, Stmt t) Deprecated. Returns true if s post-dominates t.
boolean	PostDominatorAnalysis.postDominates(Stmt s, Stmt t) Deprecated. Returns true if s post-dominates t.
boolean	PostDominatorAnalysis.postDominates(Stmt s, Stmt t) Deprecated. Returns true if s post-dominates t.