Uses of Interface
pascal.taie.ir.stmt.Stmt

Packages that use Stmt

Package	Description
pascal.taie.analysis
pascal.taie.analysis.bugfinder.nullpointer
pascal.taie.analysis.dataflow.analysis
pascal.taie.analysis.dataflow.analysis.availexp
pascal.taie.analysis.dataflow.analysis.constprop
pascal.taie.analysis.dataflow.fact
pascal.taie.analysis.dataflow.inter
pascal.taie.analysis.deadcode
pascal.taie.analysis.defuse
pascal.taie.analysis.exception	This package provides functionality to analyze exceptions.
pascal.taie.analysis.graph.callgraph	Provides the classes necessary to build and represent a call graph.
pascal.taie.analysis.graph.cfg
pascal.taie.analysis.graph.icfg	Provides the classes necessary to represent an inter-procedural control-flow graph (ICFG).
pascal.taie.analysis.pta.core.cs	Provide functionality related to context sensitivity.
pascal.taie.analysis.pta.core.solver	Provide data structures and algorithms of context-sensitive pointer analysis solver.
pascal.taie.analysis.pta.plugin	Provide plugin interface of pointer analysis and some instances (implementations).
pascal.taie.analysis.pta.plugin.exception
pascal.taie.analysis.pta.plugin.invokedynamic
pascal.taie.analysis.pta.plugin.natives
pascal.taie.analysis.pta.plugin.reflection
pascal.taie.analysis.pta.plugin.taint
pascal.taie.analysis.pta.plugin.util
pascal.taie.ir	Provide classes related to intermediate representation of method bodies.
pascal.taie.ir.proginfo
pascal.taie.ir.stmt

Uses of Stmt in pascal.taie.analysis

Methods in pascal.taie.analysis with parameters of type Stmt

Modifier and Type	Method	Description
R	StmtResult.getResult(Stmt stmt)
boolean	StmtResult.isRelevant(Stmt stmt)

Uses of Stmt in pascal.taie.analysis.bugfinder.nullpointer

Methods in pascal.taie.analysis.bugfinder.nullpointer that return types with arguments of type Stmt

Modifier and Type	Method	Description
protected DataflowAnalysis<Stmt,pascal.taie.analysis.bugfinder.nullpointer.IsNullFact>	IsNullAnalysis.makeAnalysis(CFG<Stmt> cfg)

Method parameters in pascal.taie.analysis.bugfinder.nullpointer with type arguments of type Stmt

Modifier and Type	Method	Description
protected DataflowAnalysis<Stmt,pascal.taie.analysis.bugfinder.nullpointer.IsNullFact>	IsNullAnalysis.makeAnalysis(CFG<Stmt> cfg)

Uses of Stmt in pascal.taie.analysis.dataflow.analysis

Method parameters in pascal.taie.analysis.dataflow.analysis with type arguments of type Stmt

Modifier and Type	Method	Description
protected pascal.taie.analysis.dataflow.analysis.LiveVariable.Analysis	LiveVariable.makeAnalysis(CFG<Stmt> cfg)
protected pascal.taie.analysis.dataflow.analysis.ReachingDefinition.Analysis	ReachingDefinition.makeAnalysis(CFG<Stmt> cfg)

Uses of Stmt in pascal.taie.analysis.dataflow.analysis.availexp

Method parameters in pascal.taie.analysis.dataflow.analysis.availexp with type arguments of type Stmt

Modifier and Type	Method	Description
protected pascal.taie.analysis.dataflow.analysis.availexp.AvailableExpression.Analysis	AvailableExpression.makeAnalysis(CFG<Stmt> cfg)

Uses of Stmt in pascal.taie.analysis.dataflow.analysis.constprop

Methods in pascal.taie.analysis.dataflow.analysis.constprop with parameters of type Stmt

Modifier and Type	Method	Description
boolean	ConstantPropagation.Analysis.transferNode(Stmt stmt, CPFact in, CPFact out)

Method parameters in pascal.taie.analysis.dataflow.analysis.constprop with type arguments of type Stmt

Modifier and Type	Method	Description
protected ConstantPropagation.Analysis	ConstantPropagation.makeAnalysis(CFG<Stmt> cfg)
boolean	ConstantPropagation.Analysis.needTransferEdge(CFGEdge<Stmt> edge)
CPFact	ConstantPropagation.Analysis.transferEdge(CFGEdge<Stmt> edge, CPFact nodeFact)

Constructor parameters in pascal.taie.analysis.dataflow.analysis.constprop with type arguments of type Stmt

Modifier	Constructor	Description
	Analysis(CFG<Stmt> cfg, boolean edgeRefine)

Uses of Stmt in pascal.taie.analysis.dataflow.fact

Methods in pascal.taie.analysis.dataflow.fact with parameters of type Stmt

Modifier and Type	Method	Description
default Fact	NodeResult.getResult(Stmt stmt)	NodeResult is designed to be compatible with CFGs of both stmt nodes and block nodes.
default boolean	NodeResult.isRelevant(Stmt stmt)	Typically, all stmts are relevant in NodeResult.

Uses of Stmt in pascal.taie.analysis.dataflow.inter

Methods in pascal.taie.analysis.dataflow.inter with parameters of type Stmt

Modifier and Type	Method	Description
CPFact	InterConstantPropagation.newBoundaryFact(Stmt boundary)
protected boolean	InterConstantPropagation.transferCallNode(Stmt stmt, CPFact in, CPFact out)
protected boolean	InterConstantPropagation.transferNonCallNode(Stmt stmt, CPFact in, CPFact out)

Method parameters in pascal.taie.analysis.dataflow.inter with type arguments of type Stmt

Modifier and Type	Method	Description
protected CPFact	InterConstantPropagation.transferCallEdge(CallEdge<Stmt> edge, CPFact callSiteOut)
protected CPFact	InterConstantPropagation.transferCallToReturnEdge(CallToReturnEdge<Stmt> edge, CPFact out)
protected CPFact	InterConstantPropagation.transferNormalEdge(NormalEdge<Stmt> edge, CPFact out)
protected CPFact	InterConstantPropagation.transferReturnEdge(ReturnEdge<Stmt> edge, CPFact returnOut)

Uses of Stmt in pascal.taie.analysis.deadcode

Methods in pascal.taie.analysis.deadcode that return types with arguments of type Stmt

Modifier and Type	Method	Description
Set<Stmt>	DeadCodeDetection.analyze(IR ir)

Uses of Stmt in pascal.taie.analysis.defuse

Methods in pascal.taie.analysis.defuse that return types with arguments of type Stmt

Modifier and Type	Method	Description
Set<Stmt>	DefUse.getDefs(Stmt stmt, Var var)
MultiMap<Var,Stmt>	DefUse.getResult(Stmt stmt)	StmtResult for def-use analysis.
Set<Stmt>	DefUse.getUses(Stmt stmt)

Methods in pascal.taie.analysis.defuse with parameters of type Stmt

Modifier and Type	Method	Description
Set<Stmt>	DefUse.getDefs(Stmt stmt, Var var)
MultiMap<Var,Stmt>	DefUse.getResult(Stmt stmt)	StmtResult for def-use analysis.
Set<Stmt>	DefUse.getUses(Stmt stmt)
boolean	DefUse.isRelevant(Stmt stmt)

Uses of Stmt in pascal.taie.analysis.exception

Methods in pascal.taie.analysis.exception that return types with arguments of type Stmt

Modifier and Type	Method	Description
MultiMap<Stmt,ClassType>	CatchResult.getCaughtExplicitOf(Stmt stmt)
MultiMap<Stmt,ClassType>	CatchResult.getCaughtImplicitOf(Stmt stmt)
MultiMap<Stmt,ClassType>	CatchResult.getCaughtOf(Stmt stmt)
static Map<Stmt,List<ExceptionEntry>>	CatchAnalysis.getPotentialCatchers(IR ir)

Methods in pascal.taie.analysis.exception with parameters of type Stmt

Modifier and Type	Method	Description
MultiMap<Stmt,ClassType>	CatchResult.getCaughtExplicitOf(Stmt stmt)
MultiMap<Stmt,ClassType>	CatchResult.getCaughtImplicitOf(Stmt stmt)
MultiMap<Stmt,ClassType>	CatchResult.getCaughtOf(Stmt stmt)
Set<ClassType>	CatchResult.getUncaughtExplicitOf(Stmt stmt)
Set<ClassType>	CatchResult.getUncaughtImplicitOf(Stmt stmt)
Set<ClassType>	CatchResult.getUncaughtOf(Stmt stmt)
Set<ClassType>	ThrowResult.mayThrowImplicitly(Stmt stmt)

Uses of Stmt in pascal.taie.analysis.graph.callgraph

Methods in pascal.taie.analysis.graph.callgraph with parameters of type Stmt

Modifier and Type	Method	Description
Set<JMethod>	DefaultCallGraph.getResult(Stmt stmt)
boolean	DefaultCallGraph.isRelevant(Stmt stmt)

Uses of Stmt in pascal.taie.analysis.graph.cfg

Methods in pascal.taie.analysis.graph.cfg that return types with arguments of type Stmt

Modifier and Type	Method	Description
CFG<Stmt>	CFGBuilder.analyze(IR ir)

Uses of Stmt in pascal.taie.analysis.graph.icfg

Methods in pascal.taie.analysis.graph.icfg that return types with arguments of type Stmt

Modifier and Type	Method	Description
ICFG<JMethod,Stmt>	ICFGBuilder.analyze()

Uses of Stmt in pascal.taie.analysis.pta.core.cs

Methods in pascal.taie.analysis.pta.core.cs with parameters of type Stmt

Modifier and Type	Method	Description
Set<CSMethod>	CSCallGraph.getResult(Stmt stmt)
boolean	CSCallGraph.isRelevant(Stmt stmt)

Uses of Stmt in pascal.taie.analysis.pta.core.solver

Method parameters in pascal.taie.analysis.pta.core.solver with type arguments of type Stmt

Modifier and Type	Method	Description
void	DefaultSolver.addStmts(CSMethod csMethod, Collection<Stmt> stmts)
void	Solver.addStmts(CSMethod csMethod, Collection<Stmt> stmts)	Adds stmts to the analyzed program.

Uses of Stmt in pascal.taie.analysis.pta.plugin

Methods in pascal.taie.analysis.pta.plugin with parameters of type Stmt

Modifier and Type	Method	Description
void	ClassInitializer.onNewStmt(Stmt stmt, JMethod container)
void	CompositePlugin.onNewStmt(Stmt stmt, JMethod container)
void	NullHandler.onNewStmt(Stmt stmt, JMethod container)
void	NumberLiteralHandler.onNewStmt(Stmt stmt, JMethod container)
default void	Plugin.onNewStmt(Stmt stmt, JMethod container)	Invoked when a new reachable stmt is discovered.

Uses of Stmt in pascal.taie.analysis.pta.plugin.exception

Methods in pascal.taie.analysis.pta.plugin.exception with parameters of type Stmt

Modifier and Type	Method	Description
Set<Obj>	MethodThrowResult.mayThrowExplicitly(Stmt stmt)
void	ExceptionAnalysis.onNewStmt(Stmt stmt, JMethod container)	Establishes the map from all exception references to related throw statements.

Uses of Stmt in pascal.taie.analysis.pta.plugin.invokedynamic

Methods in pascal.taie.analysis.pta.plugin.invokedynamic with parameters of type Stmt

Modifier and Type	Method	Description
void	InvokeDynamicAnalysis.onNewStmt(Stmt stmt, JMethod container)
void	Java9StringConcatHandler.onNewStmt(Stmt stmt, JMethod container)
void	LambdaAnalysis.onNewStmt(Stmt stmt, JMethod container)

Uses of Stmt in pascal.taie.analysis.pta.plugin.natives

Methods in pascal.taie.analysis.pta.plugin.natives that return types with arguments of type Stmt

Modifier and Type	Method	Description
List<Stmt>	ArrayModel.arraysCopyOf(Invoke invoke)
List<Stmt>	UnsafeModel.compareAndSwapObject(Invoke invoke)
List<Stmt>	DoPriviledgedModel.doPrivilegedPA(Invoke invoke)
List<Stmt>	DoPriviledgedModel.doPrivilegedPEA(Invoke invoke)
List<Stmt>	ArrayModel.systemArraycopy(Invoke invoke)

Uses of Stmt in pascal.taie.analysis.pta.plugin.reflection

Methods in pascal.taie.analysis.pta.plugin.reflection with parameters of type Stmt

Modifier and Type	Method	Description
protected void	SolarModel.handleNewNonInvokeStmt(Stmt stmt)
protected void	StringBasedModel.handleNewNonInvokeStmt(Stmt stmt)
void	ReflectionAnalysis.onNewStmt(Stmt stmt, JMethod container)

Uses of Stmt in pascal.taie.analysis.pta.plugin.taint

Methods in pascal.taie.analysis.pta.plugin.taint with parameters of type Stmt

Modifier and Type	Method	Description
void	TaintAnalysis.onNewStmt(Stmt stmt, JMethod container)

Uses of Stmt in pascal.taie.analysis.pta.plugin.util

Fields in pascal.taie.analysis.pta.plugin.util with type parameters of type Stmt

Modifier and Type	Field	Description
protected final Map<JMethod,Function<Invoke,Collection<Stmt>>>	AbstractIRModel.handlers
protected final Map<JMethod,Collection<Stmt>>	AbstractIRModel.method2GenStmts

Method parameters in pascal.taie.analysis.pta.plugin.util with type arguments of type Stmt

Modifier and Type	Method	Description
protected void	AbstractIRModel.registerHandler(JMethod api, Function<Invoke,Collection<Stmt>> handler)

Uses of Stmt in pascal.taie.ir

Methods in pascal.taie.ir that return Stmt

Modifier and Type	Method	Description
Stmt	DefaultIR.getObject(int i)
Stmt	DefaultIR.getStmt(int i)
Stmt	IR.getStmt(int i)

Methods in pascal.taie.ir that return types with arguments of type Stmt

Modifier and Type	Method	Description
List<Stmt>	DefaultIR.getStmts()
List<Stmt>	IR.getStmts()
default Iterator<Stmt>	IR.iterator()
default Stream<Stmt>	IR.stmts()

Methods in pascal.taie.ir with parameters of type Stmt

Modifier and Type	Method	Description
int	DefaultIR.getIndex(Stmt s)
static String	IRPrinter.position(Stmt stmt)
static String	IRPrinter.toString(Stmt stmt)

Method parameters in pascal.taie.ir with type arguments of type Stmt

Modifier and Type	Method	Description
IR	IRBuildHelper.build(List<Stmt> stmts)	Builds an IR with given Stmts.

Uses of Stmt in pascal.taie.ir.proginfo

Methods in pascal.taie.ir.proginfo that return Stmt

Modifier and Type	Method	Description
Stmt	ExceptionEntry.end()	Returns the value of the end record component.
Stmt	ExceptionEntry.start()	Returns the value of the start record component.

Constructors in pascal.taie.ir.proginfo with parameters of type Stmt

Modifier	Constructor	Description
	ExceptionEntry(Stmt start, Stmt end, Catch handler, ClassType catchType)	Creates an instance of a ExceptionEntry record class.

Uses of Stmt in pascal.taie.ir.stmt

Classes in pascal.taie.ir.stmt that implement Stmt

Modifier and Type	Class	Description
class	AssignLiteral	Representation of statement that assigns literals, e.g., a = 10.
class	AssignStmt<L extends LValue,R extends RValue>	Representation of assign statements.
class	Binary	Representation of assign statement for binary expression, e.g., a = b + c.
class	Cast	Representation of cast statement, e.g., a = (T) b.
class	Catch	Representation of catch exception, e.g., catch (e).
class	Copy	Representation of copy statement, e.g., a = b.
class	DefinitionStmt<L extends LValue,R extends RValue>	Representation of all definition statements, i.e., exp1 = exp2.
class	FieldStmt<L extends LValue,R extends RValue>	Load/Store field statements.
class	Goto	Representation of goto statement, e.g., goto L.
class	If	Representation of if statement, e.g., if a == b goto S;
class	InstanceOf	Representation of instanceof statement, e.g., a = (b instanceof T).
class	Invoke	Representation of invocation statement, e.g., r = o.m(...) or o.m(...).
class	JumpStmt
class	LoadArray	Representation of load array statement, e.g., x = a[..].
class	LoadField	Representation of following load field statements: load instance field: x = o.f load static field: x = T.f
class	LookupSwitch
class	Monitor	Representation of monitorenter/monitorexit instruction.
class	New	Representation of following kinds of new statements: new instance: o = new T new array: o = new T[..] new multi-array: o = new T[..][..]
class	Nop	Representation of nop statement which does nothing.
class	Return	Representation of return statement, e.g., return; or return x.
class	StoreArray	Representation of store array statement, e.g., a[..] = x.
class	StoreField	Representation of following store field statements: store instance field: o.f = x store static field: T.f = x
class	SwitchStmt	Representation of switch statement, e.g., switch (v) { case 1: ...
class	TableSwitch
class	Throw	Representation of throw exception statement, e.g., throw e.
class	Unary	Representation of following kinds of unary assign statements: negation: x = -y array length: x = arr.length

Fields in pascal.taie.ir.stmt declared as Stmt

Modifier and Type	Field	Description
protected Stmt	SwitchStmt.defaultTarget	The jump target for default case.

Fields in pascal.taie.ir.stmt with type parameters of type Stmt

Modifier and Type	Field	Description
protected List<Stmt>	SwitchStmt.targets	List of jump targets of the switch-statement, one target for each case.

Methods in pascal.taie.ir.stmt that return Stmt

Modifier and Type	Method	Description
Stmt	SwitchStmt.getDefaultTarget()
Stmt	Goto.getTarget()
Stmt	If.getTarget()
Stmt	SwitchStmt.getTarget(int i)

Methods in pascal.taie.ir.stmt that return types with arguments of type Stmt

Modifier and Type	Method	Description
List<Pair<Integer,Stmt>>	LookupSwitch.getCaseTargets()
abstract List<Pair<Integer,Stmt>>	SwitchStmt.getCaseTargets()
List<Pair<Integer,Stmt>>	TableSwitch.getCaseTargets()
List<Stmt>	Goto.getTargets()
List<Stmt>	If.getTargets()
abstract List<Stmt>	JumpStmt.getTargets()
List<Stmt>	SwitchStmt.getTargets()

Methods in pascal.taie.ir.stmt with parameters of type Stmt

Modifier and Type	Method	Description
void	SwitchStmt.setDefaultTarget(Stmt defaultTarget)
void	Goto.setTarget(Stmt target)
void	If.setTarget(Stmt target)
String	JumpStmt.toString(Stmt target)	Convert a target statement to its String representation.
default T	StmtVisitor.visitDefault(Stmt stmt)

Method parameters in pascal.taie.ir.stmt with type arguments of type Stmt

Modifier and Type	Method	Description
void	SwitchStmt.setTargets(List<Stmt> targets)