Uses of Package
pascal.taie.ir.stmt

Packages that use pascal.taie.ir.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.flowgraph
pascal.taie.analysis.graph.icfg	Provides the classes necessary to represent an inter-procedural control-flow graph (ICFG).
pascal.taie.analysis.pta
pascal.taie.analysis.pta.core.cs	Provide functionality related to context sensitivity.
pascal.taie.analysis.pta.core.cs.element	Provides the classes to represent and manage context-sensitive elements used in pointer analysis, including context-sensitive pointers, objects, call sites, and methods.
pascal.taie.analysis.pta.core.heap	Provide model for heap objects.
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.util
pascal.taie.analysis.sideeffect	This package implements modification side effect analysis (MOD) which computes the objects that may be modified by each method and statement.
pascal.taie.ir	Provide classes related to intermediate representation of method bodies.
pascal.taie.ir.exp
pascal.taie.ir.proginfo
pascal.taie.ir.stmt

Classes in pascal.taie.ir.stmt used by pascal.taie.analysis

Class	Description
Stmt	Representation of statements in Tai-e IR.

Classes in pascal.taie.ir.stmt used by pascal.taie.analysis.bugfinder.nullpointer

Class	Description
Stmt	Representation of statements in Tai-e IR.

Classes in pascal.taie.ir.stmt used by pascal.taie.analysis.dataflow.analysis

Class	Description
Stmt	Representation of statements in Tai-e IR.

Classes in pascal.taie.ir.stmt used by pascal.taie.analysis.dataflow.analysis.availexp

Class	Description
Stmt	Representation of statements in Tai-e IR.

Classes in pascal.taie.ir.stmt used by pascal.taie.analysis.dataflow.analysis.constprop

Class	Description
Stmt	Representation of statements in Tai-e IR.

Classes in pascal.taie.ir.stmt used by pascal.taie.analysis.dataflow.fact

Class	Description
Stmt	Representation of statements in Tai-e IR.

Classes in pascal.taie.ir.stmt used by pascal.taie.analysis.dataflow.inter

Class	Description
Stmt	Representation of statements in Tai-e IR.

Classes in pascal.taie.ir.stmt used by pascal.taie.analysis.deadcode

Class	Description
Stmt	Representation of statements in Tai-e IR.

Classes in pascal.taie.ir.stmt used by pascal.taie.analysis.defuse

Class	Description
Stmt	Representation of statements in Tai-e IR.

Classes in pascal.taie.ir.stmt used by pascal.taie.analysis.exception

Class	Description
Invoke	Representation of invocation statement, e.g., r = o.m(...) or o.m(...).
Stmt	Representation of statements in Tai-e IR.
Throw	Representation of throw exception statement, e.g., throw e.

Classes in pascal.taie.ir.stmt used by pascal.taie.analysis.graph.callgraph

Class	Description
Invoke	Representation of invocation statement, e.g., r = o.m(...) or o.m(...).
Stmt	Representation of statements in Tai-e IR.

Classes in pascal.taie.ir.stmt used by pascal.taie.analysis.graph.cfg

Class	Description
Stmt	Representation of statements in Tai-e IR.

Classes in pascal.taie.ir.stmt used by pascal.taie.analysis.graph.flowgraph

Class	Description
Invoke	Representation of invocation statement, e.g., r = o.m(...) or o.m(...).

Classes in pascal.taie.ir.stmt used by pascal.taie.analysis.graph.icfg

Class	Description
Stmt	Representation of statements in Tai-e IR.

Classes in pascal.taie.ir.stmt used by pascal.taie.analysis.pta

Class	Description
Invoke	Representation of invocation statement, e.g., r = o.m(...) or o.m(...).

Classes in pascal.taie.ir.stmt used by pascal.taie.analysis.pta.core.cs

Class	Description
Stmt	Representation of statements in Tai-e IR.

Classes in pascal.taie.ir.stmt used by pascal.taie.analysis.pta.core.cs.element

Class	Description
Invoke	Representation of invocation statement, e.g., r = o.m(...) or o.m(...).

Classes in pascal.taie.ir.stmt used by pascal.taie.analysis.pta.core.heap

Class	Description
New	Representation of following kinds of new statements: new instance: o = new T new array: o = new T[..] new multi-array: o = new T[..][..]

Classes in pascal.taie.ir.stmt used by pascal.taie.analysis.pta.core.solver

Class	Description
Stmt	Representation of statements in Tai-e IR.

Classes in pascal.taie.ir.stmt used by pascal.taie.analysis.pta.plugin

Class	Description
Invoke	Representation of invocation statement, e.g., r = o.m(...) or o.m(...).
Stmt	Representation of statements in Tai-e IR.

Classes in pascal.taie.ir.stmt used by pascal.taie.analysis.pta.plugin.exception

Class	Description
Stmt	Representation of statements in Tai-e IR.

Classes in pascal.taie.ir.stmt used by pascal.taie.analysis.pta.plugin.invokedynamic

Class	Description
Invoke	Representation of invocation statement, e.g., r = o.m(...) or o.m(...).
Stmt	Representation of statements in Tai-e IR.

Classes in pascal.taie.ir.stmt used by pascal.taie.analysis.pta.plugin.natives

Class	Description
Invoke	Representation of invocation statement, e.g., r = o.m(...) or o.m(...).
Stmt	Representation of statements in Tai-e IR.

Classes in pascal.taie.ir.stmt used by pascal.taie.analysis.pta.plugin.reflection

Class	Description
Invoke	Representation of invocation statement, e.g., r = o.m(...) or o.m(...).
Stmt	Representation of statements in Tai-e IR.

Classes in pascal.taie.ir.stmt used by pascal.taie.analysis.pta.plugin.util

Class	Description
Invoke	Representation of invocation statement, e.g., r = o.m(...) or o.m(...).
Stmt	Representation of statements in Tai-e IR.

Classes in pascal.taie.ir.stmt used by pascal.taie.analysis.sideeffect

Class	Description
Stmt	Representation of statements in Tai-e IR.

Classes in pascal.taie.ir.stmt used by pascal.taie.ir

Class	Description
Invoke	Representation of invocation statement, e.g., r = o.m(...) or o.m(...).
Return	Representation of return statement, e.g., return; or return x.
Stmt	Representation of statements in Tai-e IR.

Classes in pascal.taie.ir.stmt used by pascal.taie.ir.exp

Class	Description
Invoke	Representation of invocation statement, e.g., r = o.m(...) or o.m(...).
LoadArray	Representation of load array statement, e.g., x = a[..].
LoadField	Representation of following load field statements: load instance field: x = o.f load static field: x = T.f
StoreArray	Representation of store array statement, e.g., a[..] = x.
StoreField	Representation of following store field statements: store instance field: o.f = x store static field: T.f = x

Classes in pascal.taie.ir.stmt used by pascal.taie.ir.proginfo

Class	Description
Catch	Representation of catch exception, e.g., catch (e).
Stmt	Representation of statements in Tai-e IR.

Classes in pascal.taie.ir.stmt used by pascal.taie.ir.stmt

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