Uses of Interface
soot.jimple.Stmt

Packages that use Stmt

Package	Description
soot	Base Soot classes, shared by different intermediate representations.
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.dotnet.instructions
soot.grimp.internal	Internal, messy, implementation-specific classes for the Grimp intermediate representation.
soot.JastAddJ
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

Constructors in soot with parameters of type Stmt

Constructor	Description
MethodSubSignature(Stmt callSite)	Creates a new instance of the MethodSubSignature class based on a call site.

Uses of Stmt in soot.dava.internal.asg

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

Modifier and Type	Method	Description
Stmt	AugmentedStmt.get_Stmt()

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

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

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

Constructor	Description
AugmentedStmt(Stmt s)

Uses of Stmt in soot.dava.internal.javaRep

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

Modifier and Type	Class	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	Description
void	ASTAnalysis.analyseStmt(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	Description
void	Analysis.caseStmt(Stmt s)
void	AnalysisAdapter.caseStmt(Stmt s)
void	DepthFirstAdapter.caseStmt(Stmt s)
void	DepthFirstAdapter.inStmt(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 that return types with arguments of type Stmt

Modifier and Type	Method	Description
DavaFlowSet<Stmt>	ReachingDefs.cloneFlowSet(DavaFlowSet<Stmt> flowSet)
DavaFlowSet<Stmt>	ReachingDefs.emptyFlowSet()
DavaFlowSet<Stmt>	ReachingDefs.newInitialFlow()
DavaFlowSet<Stmt>	ReachingDefs.processStatement(Stmt s, DavaFlowSet<Stmt> inSet)
DavaFlowSet<Stmt>	ReachingDefs.processSwitchKey(Value key, DavaFlowSet<Stmt> inSet)
DavaFlowSet<Stmt>	ReachingDefs.processSynchronizedLocal(Local local, DavaFlowSet<Stmt> inSet)
DavaFlowSet<Stmt>	ReachingDefs.processUnaryBinaryCondition(ASTUnaryBinaryCondition cond, DavaFlowSet<Stmt> inSet)

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

Modifier and Type	Method	Description
DavaFlowSet<E>	StructuredAnalysis.processAbruptStatements(Stmt s, DavaFlowSet<E> 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<Stmt>	ReachingDefs.processStatement(Stmt s, DavaFlowSet<Stmt> inSet)
abstract DavaFlowSet<E>	StructuredAnalysis.processStatement(Stmt s, DavaFlowSet<E> input)	Specific stmts within AST Constructs are processed through this method.
DavaFlowSet	UnreachableCodeFinder.processStatement(Stmt s, DavaFlowSet input)

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

Modifier and Type	Method	Description
DavaFlowSet<Stmt>	ReachingDefs.cloneFlowSet(DavaFlowSet<Stmt> flowSet)
void	ReachingDefs.gen(DavaFlowSet<Stmt> in, DefinitionStmt s)
void	ReachingDefs.kill(DavaFlowSet<Stmt> in, Local redefined)
DavaFlowSet<Stmt>	ReachingDefs.processStatement(Stmt s, DavaFlowSet<Stmt> inSet)
DavaFlowSet<Stmt>	ReachingDefs.processSwitchKey(Value key, DavaFlowSet<Stmt> inSet)
DavaFlowSet<Stmt>	ReachingDefs.processSynchronizedLocal(Local local, DavaFlowSet<Stmt> inSet)
DavaFlowSet<Stmt>	ReachingDefs.processUnaryBinaryCondition(ASTUnaryBinaryCondition cond, DavaFlowSet<Stmt> inSet)

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	Description
Stmt	IfElseSplitter.getLastStmt(List<Object> body)

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

Modifier and Type	Method	Description
boolean	ShortcutArrayInit.isInSequenceAssignment(Stmt s, Value leftOp, int index)
boolean	ShortcutArrayInit.isInSequenceAssignmentPatternTwo(Stmt one, Stmt two, Value leftOp, int index)
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	Description
void	AllVariableUses.checkStatementUses(Stmt s, Object useNodeOrStatement)
void	ASTUsesAndDefs.checkStatementUses(Stmt s, Object useNodeOrStatement)
void	ASTParentNodeFinder.inStmt(Stmt s)
void	ClosestAbruptTargetFinder.inStmt(Stmt s)
boolean	CopyPropagation.isCopyStmt(Stmt s)
void	CopyPropagation.removeStmt(Stmt stmt)

Uses of Stmt in soot.dexpler

Methods in soot.dexpler with parameters of type Stmt

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

Uses of Stmt in soot.dexpler.instructions

Methods in soot.dexpler.instructions that return Stmt

Modifier and Type	Method	Description
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 Stmt in soot.dotnet.instructions

Fields in soot.dotnet.instructions declared as Stmt

Modifier and Type	Field	Description
protected Stmt	CilBlockContainer.skipBlockContainerStmt

Methods in soot.dotnet.instructions that return Stmt

Modifier and Type	Method	Description
Stmt	CilBlockContainer.getSkipBlockContainerStmt()	Get the stmt with which this container is skipped (goto)

Uses of Stmt in soot.grimp.internal

Classes in soot.grimp.internal that implement Stmt

Modifier and Type	Class	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.JastAddJ

Fields in soot.JastAddJ declared as Stmt

Modifier and Type	Field	Description
protected Stmt	DoStmt.begin_label_value
protected Stmt	ForStmt.begin_label_value
protected Stmt	DoStmt.cond_label_value
protected Stmt	EnhancedForStmt.cond_label_value
protected Stmt	ForStmt.cond_label_value
protected Stmt	WhileStmt.cond_label_value
protected Stmt	ConditionalExpr.else_branch_label_value
protected Stmt	IfStmt.else_branch_label_value
protected Stmt	DoStmt.end_label_value
protected Stmt	EnhancedForStmt.end_label_value
protected Stmt	ForStmt.end_label_value
protected Stmt	LabeledStmt.end_label_value
protected Stmt	SwitchStmt.end_label_value
protected Stmt	WhileStmt.end_label_value
protected Stmt	Expr.false_label_value
protected Stmt	SynchronizedStmt.label_begin_value
protected Stmt	TryStmt.label_begin_value
protected Stmt	TryStmt.label_block_end_value
protected Stmt	TryStmt.label_catch_end_value
protected Stmt	SynchronizedStmt.label_end_value
protected Stmt	TryStmt.label_end_value
protected Stmt	SynchronizedStmt.label_exception_handler_value
protected Stmt	TryStmt.label_exception_handler_value
protected Stmt	SynchronizedStmt.label_finally_block_value
protected Stmt	TryStmt.label_finally_block_value
protected Stmt	SynchronizedStmt.label_finally_value
protected Stmt	TryStmt.label_finally_value
protected Stmt	BasicCatch.label_value
protected Stmt	Case.label_value
protected Stmt	LabeledStmt.label_value
protected Stmt	AndLogicalExpr.next_test_label_value
protected Stmt	OrLogicalExpr.next_test_label_value
protected Stmt	WhileStmt.stmt_label_value
protected Stmt	ConditionalExpr.then_branch_label_value
protected Stmt	IfStmt.then_branch_label_value
protected Stmt	Expr.true_label_value
protected Stmt	EnhancedForStmt.update_label_value
protected Stmt	ForStmt.update_label_value

Methods in soot.JastAddJ that return Stmt

Modifier and Type	Method	Description
Stmt	DoStmt.begin_label()
Stmt	ForStmt.begin_label()
Stmt	DoStmt.break_label()
Stmt	EnhancedForStmt.break_label()
Stmt	ForStmt.break_label()
Stmt	LabeledStmt.break_label()
Stmt	Stmt.break_label()
Stmt	SwitchStmt.break_label()
Stmt	TryStmt.break_label()
Stmt	WhileStmt.break_label()
Stmt	DoStmt.cond_label()
Stmt	EnhancedForStmt.cond_label()
Stmt	ForStmt.cond_label()
Stmt	WhileStmt.cond_label()
Stmt	Expr.condition_false_label()
Stmt	Expr.condition_true_label()
Stmt	DoStmt.continue_label()
Stmt	EnhancedForStmt.continue_label()
Stmt	ForStmt.continue_label()
Stmt	LabeledStmt.continue_label()
Stmt	Stmt.continue_label()
Stmt	TryStmt.continue_label()
Stmt	WhileStmt.continue_label()
Stmt	AndLogicalExpr.Define_soot_jimple_Stmt_condition_false_label(ASTNode caller, ASTNode child)
Stmt	ASTNode.Define_soot_jimple_Stmt_condition_false_label(ASTNode caller, ASTNode child)
Stmt	ConditionalExpr.Define_soot_jimple_Stmt_condition_false_label(ASTNode caller, ASTNode child)
Stmt	DoStmt.Define_soot_jimple_Stmt_condition_false_label(ASTNode caller, ASTNode child)
Stmt	ForStmt.Define_soot_jimple_Stmt_condition_false_label(ASTNode caller, ASTNode child)
Stmt	IfStmt.Define_soot_jimple_Stmt_condition_false_label(ASTNode caller, ASTNode child)
Stmt	LogNotExpr.Define_soot_jimple_Stmt_condition_false_label(ASTNode caller, ASTNode child)
Stmt	OrLogicalExpr.Define_soot_jimple_Stmt_condition_false_label(ASTNode caller, ASTNode child)
Stmt	Program.Define_soot_jimple_Stmt_condition_false_label(ASTNode caller, ASTNode child)
Stmt	RelationalExpr.Define_soot_jimple_Stmt_condition_false_label(ASTNode caller, ASTNode child)
Stmt	WhileStmt.Define_soot_jimple_Stmt_condition_false_label(ASTNode caller, ASTNode child)
Stmt	AndLogicalExpr.Define_soot_jimple_Stmt_condition_true_label(ASTNode caller, ASTNode child)
Stmt	ASTNode.Define_soot_jimple_Stmt_condition_true_label(ASTNode caller, ASTNode child)
Stmt	ConditionalExpr.Define_soot_jimple_Stmt_condition_true_label(ASTNode caller, ASTNode child)
Stmt	DoStmt.Define_soot_jimple_Stmt_condition_true_label(ASTNode caller, ASTNode child)
Stmt	ForStmt.Define_soot_jimple_Stmt_condition_true_label(ASTNode caller, ASTNode child)
Stmt	IfStmt.Define_soot_jimple_Stmt_condition_true_label(ASTNode caller, ASTNode child)
Stmt	LogNotExpr.Define_soot_jimple_Stmt_condition_true_label(ASTNode caller, ASTNode child)
Stmt	OrLogicalExpr.Define_soot_jimple_Stmt_condition_true_label(ASTNode caller, ASTNode child)
Stmt	Program.Define_soot_jimple_Stmt_condition_true_label(ASTNode caller, ASTNode child)
Stmt	RelationalExpr.Define_soot_jimple_Stmt_condition_true_label(ASTNode caller, ASTNode child)
Stmt	WhileStmt.Define_soot_jimple_Stmt_condition_true_label(ASTNode caller, ASTNode child)
Stmt	ConditionalExpr.else_branch_label()
Stmt	IfStmt.else_branch_label()
Stmt	DoStmt.end_label()
Stmt	EnhancedForStmt.end_label()
Stmt	ForStmt.end_label()
Stmt	LabeledStmt.end_label()
Stmt	SwitchStmt.end_label()
Stmt	WhileStmt.end_label()
Stmt	Expr.false_label()
Stmt	BasicCatch.label()
Stmt	Case.label()
Stmt	LabeledStmt.label()
Stmt	SynchronizedStmt.label_begin()
Stmt	TryStmt.label_begin()
Stmt	TryStmt.label_block_end()
Stmt	TryStmt.label_catch_end()
Stmt	SynchronizedStmt.label_end()
Stmt	TryStmt.label_end()
Stmt	SynchronizedStmt.label_exception_handler()
Stmt	TryStmt.label_exception_handler()
Stmt	SynchronizedStmt.label_finally()
Stmt	TryStmt.label_finally()
Stmt	FinallyHost.label_finally_block()
Stmt	SynchronizedStmt.label_finally_block()
Stmt	TryStmt.label_finally_block()
protected Stmt	ASTNode.newLabel()
Stmt	Body.newLabel()
Stmt	AndLogicalExpr.next_test_label()
Stmt	OrLogicalExpr.next_test_label()
Stmt	Body.previousStmt()
Stmt	WhileStmt.stmt_label()
Stmt	ConditionalExpr.then_branch_label()
Stmt	IfStmt.then_branch_label()
Stmt	Expr.true_label()
Stmt	EnhancedForStmt.update_label()
Stmt	ForStmt.update_label()

Methods in soot.JastAddJ with parameters of type Stmt

Modifier and Type	Method	Description
Body	Body.add(Stmt stmt)
protected void	TryStmt.addFallThroughLabelTag(Body b, Stmt handler, Stmt fallThrough)
Body	Body.addLabel(Stmt label)
Body	Body.addTrap(TypeDecl type, Stmt firstStmt, Stmt lastStmt, Stmt handler)

Uses of Stmt in soot.javaToJimple

Fields in soot.javaToJimple with type parameters of type Stmt

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

Uses of Stmt in soot.jimple

Subinterfaces of Stmt in soot.jimple

Modifier and Type	Interface	Description
interface	AssignStmt
interface	BranchableStmt
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	Description
class	PlaceholderStmt

Methods in soot.jimple that return Stmt

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

Methods in soot.jimple with parameters of type Stmt

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

Constructors in soot.jimple with parameters of type Stmt

Constructor	Description
LocalStmtPair(Local local, Stmt stmt)

Uses of Stmt in soot.jimple.internal

Classes in soot.jimple.internal that implement Stmt

Modifier and Type	Class	Description
class	AbstractDefinitionStmt
class	AbstractOpStmt
class	AbstractStmt
class	AbstractSwitchStmt
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	Description
Stmt	JIfStmt.getTarget()

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

Constructor	Description
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	Description
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	Description
Set<Stmt>	GeomPointsTo.multiCallsites
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	Description
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	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, boolean propagateReturn)	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	Description
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	Description
protected Stmt	Loop.backJump
protected Stmt	Loop.header

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

Modifier and Type	Field	Description
protected Collection<Stmt>	Loop.loopExits
protected List<Stmt>	Loop.loopStatements

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

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

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

Modifier and Type	Method	Description
Collection<Stmt>	Loop.getLoopExits()	Returns all loop exists.
List<Stmt>	Loop.getLoopStatements()
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	Description
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	Description
void	AbstractInterproceduralAnalysis.analyseCall(S src, Stmt callStmt, S dst)	Analyse the call callStmt in the context src, and put the result into dst.
protected abstract void	AbstractInterproceduralAnalysis.applySummary(S src, Stmt callStmt, S summary, S dst)	Interprocedural analysis will call applySummary repeatedly as a consequence to AbstractInterproceduralAnalysis.analyseCall(Object, Stmt, Object), once for each possible target method of the callStmt, provided with its summary.
protected void	PurityInterproceduralAnalysis.applySummary(PurityGraphBox src, Stmt stmt, PurityGraphBox summary, PurityGraphBox dst)

Uses of Stmt in soot.jimple.toolkits.base

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

Modifier and Type	Method	Description
Stmt	ExceptionCheckerError.throwing()

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

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

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

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

Uses of Stmt in soot.jimple.toolkits.callgraph

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

Modifier and Type	Field	Description
protected Stmt	AbstractCallSite.stmt

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

Modifier and Type	Method	Description
Stmt	AbstractCallSite.getStmt()
Stmt	ContextSensitiveEdge.srcStmt()
Stmt	Edge.srcStmt()
Stmt	InvokeCallSite.stmt()	Deprecated. use AbstractCallSite.getStmt()
Stmt	VirtualCallSite.stmt()	Deprecated. use AbstractCallSite.getStmt()

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

Modifier and Type	Method	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.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)
ConstantArrayAnalysis.ArrayTypes	ConstantArrayAnalysis.getArrayTypesBefore(Stmt s, Local arrayLocal)
boolean	ConstantArrayAnalysis.isConstantBefore(Stmt s, Local arrayLocal)
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	OnFlyCallGraphBuilder.TypeBasedReflectionModel.methodInvoke(SootMethod container, Stmt invokeStmt)
void	ReflectionModel.methodInvoke(SootMethod container, Stmt invokeStmt)
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)
boolean	CallGraph.swapEdgesOutOf(Stmt out, Stmt in)	Swaps an invocation statement.

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

Constructor	Description
AbstractCallSite(Stmt stmt, SootMethod container)
Edge(MethodOrMethodContext src, Stmt srcUnit, MethodOrMethodContext tgt)
InstanceinvokeSource(Stmt invokeStmt)	Convenience constructor that extracts the subsignature of the callee from a call site statement
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)
VirtualCallSite(Stmt stmt, SootMethod container, InstanceInvokeExpr iie, MethodSubSignature 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	Description
protected void	SmartMethodInfoFlowAnalysis.addFlowToCdfg(Stmt stmt)
protected HashMutableDirectedGraph<EquivalentValue>	InfoFlowAnalysis.getInvokeInfoFlowSummary(InvokeExpr ie, Stmt is, SootMethod context)
protected List<Value>	SimpleMethodInfoFlowAnalysis.handleInvokeExpr(InvokeExpr ie, Stmt is, FlowSet<Pair<EquivalentValue,EquivalentValue>> fs)
protected List<Value>	SmartMethodInfoFlowAnalysis.handleInvokeExpr(InvokeExpr ie, Stmt is)

Uses of Stmt in soot.jimple.toolkits.invoke

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

Modifier and Type	Method	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(ShimpleBody 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	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.
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 boolean	InlinerSafetyManager.ensureInlinability(SootMethod target, Stmt toInline, SootMethod container, String modifierOptions)	Returns true if this method can be inlined at the given site.
static List<Unit>	SiteInliner.inlineSite(SootMethod inlinee, Stmt toInline, SootMethod container)	Inlines the method inlinee into the container at the point toInline.
static List<Unit>	SiteInliner.inlineSite(SootMethod inlinee, Stmt toInline, SootMethod container, Map<String,String> 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
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 Stmt in soot.jimple.toolkits.pointer

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

Modifier and Type	Field	Description
protected Stmt	InstanceKey.stmtAfterAssignStmt

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

Modifier and Type	Method	Description
Stmt	InstanceKey.getStmt()

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

Modifier and Type	Method	Description
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.
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.
protected Object	FieldRWTagger.keyFor(Stmt s)
protected Object	SideEffectTagger.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	LocalMustNotAliasAnalysis.notMayAlias(Local l1, Stmt s1, Local l2, Stmt s2)
RWSet	SideEffectAnalysis.readSet(SootMethod method, Stmt stmt)
RWSet	SideEffectAnalysis.writeSet(SootMethod method, Stmt stmt)

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

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

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

Modifier and Type	Field	Description
protected Stmt	CommonPrecedingEqualValueAnalysis.s
protected Stmt	EqualLocalsAnalysis.s

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

Modifier and Type	Field	Description
protected List<Stmt>	EqualUsesAnalysis.boundaryStmts	Deprecated.
protected Map<Stmt,List<Object>>	EqualUsesAnalysis.firstUseToAliasSet	Deprecated.
protected List<Stmt>	EqualUsesAnalysis.redefStmts	Deprecated.
protected Map<Value,Stmt>	SlowAvailableExpressionsAnalysis.rhsToContainingStmt	maps an rhs to its containing stmt.
protected Map<Stmt,Local>	EqualUsesAnalysis.stmtToLocal	Deprecated.
protected Set<Stmt>	EqualUsesAnalysis.useStmts	Deprecated.

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

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

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

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>	CommonPrecedingEqualValueAnalysis.getCommonAncestorValuesOf(Map<? extends Unit,List<Object>> unitToAliasSet, Stmt s)	Returns a list of EquivalentLocals that must always be equal to l at s
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 Stmt

Modifier and Type	Method	Description
boolean	EqualUsesAnalysis.areEqualUses(Map<Stmt,Local> stmtToLocal)	Deprecated.
boolean	EqualUsesAnalysis.areEqualUses(Map<Stmt,Local> stmtToLocal, List<Stmt> boundaryStmts)	Deprecated.
boolean	EqualUsesAnalysis.areEqualUses(Map<Stmt,Local> stmtToLocal, List<Stmt> boundaryStmts)	Deprecated.
boolean	EqualUsesAnalysis.areEqualUses(Stmt firstStmt, Local firstLocal, Stmt secondStmt, Local secondLocal, List<Stmt> 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	Description
void	AbstractRuntimeThread.setJoinStmt(Stmt joinStmt)
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	Description
Set<Stmt>	StartJoinAnalysis.getJoinStatements()
Set<Stmt>	StartJoinFinder.getJoinStatements()
Set<Stmt>	StartJoinAnalysis.getStartStatements()
Set<Stmt>	StartJoinFinder.getStartStatements()
Map<Stmt,List<AllocNode>>	StartJoinAnalysis.getStartToAllocNodes()
Map<Stmt,List<AllocNode>>	StartJoinFinder.getStartToAllocNodes()
Map<Stmt,SootMethod>	StartJoinFinder.getStartToContainingMethod()
Map<Stmt,Stmt>	StartJoinAnalysis.getStartToJoin()
Map<Stmt,Stmt>	StartJoinAnalysis.getStartToJoin()
Map<Stmt,Stmt>	StartJoinFinder.getStartToJoin()
Map<Stmt,Stmt>	StartJoinFinder.getStartToJoin()
Map<Stmt,List<SootMethod>>	StartJoinAnalysis.getStartToRunMethods()
Map<Stmt,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	Description
Stmt	SynchronizedRegion.after
Stmt	SynchronizedRegion.beginning
Stmt	SynchronizedRegion.entermonitor
Stmt	SynchronizedRegion.last
Stmt	SynchronizedRegion.prepStmt

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

Modifier and Type	Field	Description
List<Pair<Stmt,Stmt>>	SynchronizedRegion.earlyEnds
List<Pair<Stmt,Stmt>>	SynchronizedRegion.earlyEnds
Pair<Stmt,Stmt>	SynchronizedRegion.end
Pair<Stmt,Stmt>	SynchronizedRegion.end
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	Description
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)
RWSet	CriticalSectionAwareSideEffectAnalysis.approximatedReadSet(SootMethod method, Stmt stmt, Value specialRead, 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, Set uses)
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.writeSet(SootMethod method, Stmt stmt, soot.jimple.toolkits.thread.synchronization.CriticalSection tn, 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	Description
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).

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	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.
Collection<Type>	AugEvalFunction.eval(Typing tg, Value expr, Stmt stmt)
Collection<Type>	IEvalFunction.eval(Typing tg, Value expr, Stmt stmt)
static Type	AugEvalFunction.eval_(Typing tg, Value expr, Stmt stmt, JimpleBody jb)
protected Type	UseChecker.merge(Stmt stmt, Type previousType, Type newType)
default Value	IUseVisitor.visit(Value op, Type useType, Stmt stmt)
Value	IUseVisitor.visit(Value op, Type useType, Stmt stmt, boolean checkOnly)
Value	TypePromotionUseVisitor.visit(Value op, Type useType, Stmt stmt, boolean checkOnly)
Value	TypeResolver.CastInsertionUseVisitor.visit(Value op, Type useType, Stmt stmt, boolean checkOnly)

Uses of Stmt in soot.shimple.toolkits.graph

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

Modifier and Type	Method	Description
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	Description
protected void	SConstantPropagatorAndFolder.replaceStmts(Map<Stmt,GotoStmt> stmtsToReplace)	Replaces conditional branches by unconditional branches as given by the mapping.

Uses of Stmt in soot.toDex

Fields in soot.toDex declared as Stmt

Modifier and Type	Field	Description
protected Stmt	ExprVisitor.origStmt
protected Stmt	ExprVisitor.targetForOffset

Methods in soot.toDex that return Stmt

Modifier and Type	Method	Description
Stmt	StmtVisitor.getStmtForInstruction(org.jf.dexlib2.iface.instruction.Instruction instruction)

Methods in soot.toDex with parameters of type Stmt

Modifier and Type	Method	Description
void	StmtVisitor.addInsn(Insn insn, Stmt s)
protected void	StmtVisitor.beginNewStmt(Stmt s)
void	StmtVisitor.fakeNewInsn(Stmt s, Insn insn, org.jf.dexlib2.iface.instruction.Instruction instruction)
org.jf.dexlib2.builder.Label	LabelAssigner.getLabel(Stmt stmt)
String	LabelAssigner.getLabelName(Stmt stmt)
org.jf.dexlib2.builder.Label	LabelAssigner.getLabelUnsafe(Stmt stmt)
org.jf.dexlib2.builder.Label	LabelAssigner.getOrCreateLabel(Stmt stmt)
void	ConstantVisitor.setOrigStmt(Stmt stmt)
void	ExprVisitor.setOrigStmt(Stmt stmt)
void	ExprVisitor.setTargetForOffset(Stmt targetForOffset)
protected void	DexPrinter.writeTagsForStatement(org.jf.dexlib2.builder.MethodImplementationBuilder builder, Stmt stmt)	Writes out the information stored in the tags associated with the given statement

Uses of Stmt in soot.toDex.instructions

Fields in soot.toDex.instructions declared as Stmt

Modifier and Type	Field	Description
protected Stmt	InsnWithOffset.target

Methods in soot.toDex.instructions that return Stmt

Modifier and Type	Method	Description
Stmt	InsnWithOffset.getTarget()

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

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