Uses of Class
pascal.taie.ir.exp.Var

Packages that use Var

Package	Description
pascal.taie.analysis.dataflow.analysis.constprop
pascal.taie.analysis.defuse
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.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.solver	Provide data structures and algorithms of context-sensitive pointer analysis solver.
pascal.taie.analysis.pta.plugin.util
pascal.taie.ir	Provide classes related to intermediate representation of method bodies.
pascal.taie.ir.exp
pascal.taie.ir.stmt

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

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

Modifier and Type	Method	Description
Value	CPFact.get(Var var)
boolean	CPFact.update(Var var, Value value)

Uses of Var in pascal.taie.analysis.defuse

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

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

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

Modifier and Type	Method	Description
Set<Stmt>	DefUse.getDefs(Stmt stmt, Var var)

Uses of Var in pascal.taie.analysis.graph.flowgraph

Methods in pascal.taie.analysis.graph.flowgraph that return Var

Modifier and Type	Method	Description
Var	VarNode.getVar()

Methods in pascal.taie.analysis.graph.flowgraph with parameters of type Var

Modifier and Type	Method	Description
protected VarNode	NodeManager.getOrCreateVarNode(Var var)
VarNode	NodeManager.getVarNode(Var var)

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

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

Modifier and Type	Method	Description
Collection<Var>	ReturnEdge.getReturnVars()	Each method in ICFG has only one exit, but it may have multiple return statements.

Uses of Var in pascal.taie.analysis.pta

Methods in pascal.taie.analysis.pta that return types with arguments of type Var

Modifier and Type	Method	Description
Collection<Var>	PointerAnalysisResult.getVars()
Collection<Var>	PointerAnalysisResultImpl.getVars()

Methods in pascal.taie.analysis.pta with parameters of type Var

Modifier and Type	Method	Description
Set<Obj>	PointerAnalysisResult.getPointsToSet(Var var)
Set<Obj>	PointerAnalysisResult.getPointsToSet(Var base, Var index)
Set<Obj>	PointerAnalysisResult.getPointsToSet(Var base, JField field)
Set<Obj>	PointerAnalysisResultImpl.getPointsToSet(Var var)
Set<Obj>	PointerAnalysisResultImpl.getPointsToSet(Var base, Var index)
Set<Obj>	PointerAnalysisResultImpl.getPointsToSet(Var base, JField field)
boolean	PointerAnalysisResult.mayAlias(Var v1, Var v2)
boolean	PointerAnalysisResultImpl.mayAlias(Var v1, Var v2)

Uses of Var in pascal.taie.analysis.pta.core.cs.element

Methods in pascal.taie.analysis.pta.core.cs.element that return Var

Modifier and Type	Method	Description
Var	CSVar.getVar()

Methods in pascal.taie.analysis.pta.core.cs.element that return types with arguments of type Var

Modifier and Type	Method	Description
Collection<Var>	CSManager.getVars()
Collection<Var>	MapBasedCSManager.getVars()

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

Modifier and Type	Method	Description
CSVar	CSManager.getCSVar(Context context, Var var)
CSVar	MapBasedCSManager.getCSVar(Context context, Var var)
Collection<CSVar>	CSManager.getCSVarsOf(Var var)
Collection<CSVar>	MapBasedCSManager.getCSVarsOf(Var var)

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

Methods in pascal.taie.analysis.pta.core.solver with parameters of type Var

Modifier and Type	Method	Description
void	DefaultSolver.addVarPointsTo(Context context, Var var, Context heapContext, Obj obj)
void	DefaultSolver.addVarPointsTo(Context context, Var var, CSObj csObj)
void	DefaultSolver.addVarPointsTo(Context context, Var var, PointsToSet pts)
void	Solver.addVarPointsTo(Context context, Var var, Context heapContext, Obj obj)
void	Solver.addVarPointsTo(Context context, Var var, CSObj csObj)
default void	Solver.addVarPointsTo(Context context, Var var, Obj obj)	Convenient API to add var points-to relation for object with empty heap context.
void	Solver.addVarPointsTo(Context context, Var var, PointsToSet pts)

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

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

Modifier and Type	Field	Description
protected final MultiMap<Var,Invoke>	AbstractModel.relevantVars	Deprecated.
protected final MultiMap<Var,Invoke>	AnalysisModelPlugin.relevantVars

Methods in pascal.taie.analysis.pta.plugin.util that return Var

Modifier and Type	Method	Description
static Var	InvokeUtils.getVar(Invoke callSite, int index)	Retrieves variable from a call site and index.

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

Modifier and Type	Method	Description
boolean	AbstractModel.isRelevantVar(Var var)	Deprecated.
boolean	Model.isRelevantVar(Var var)	Deprecated.

Uses of Var in pascal.taie.ir

Methods in pascal.taie.ir that return Var

Modifier and Type	Method	Description
Var	DefaultIR.getParam(int i)
Var	IR.getParam(int i)
Var	IRBuildHelper.getParam(int i)
Var	IRBuildHelper.getReturnVar()
Var	DefaultIR.getThis()
Var	IR.getThis()
Var	IRBuildHelper.getThisVar()
Var	DefaultIR.getVar(int i)
Var	IR.getVar(int i)
Var	IRBuildHelper.newTempVar(Type type)

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

Modifier and Type	Method	Description
List<Var>	DefaultIR.getParams()
List<Var>	IR.getParams()
List<Var>	DefaultIR.getReturnVars()
List<Var>	IR.getReturnVars()
Indexer<Var>	DefaultIR.getVarIndexer()
Indexer<Var>	IR.getVarIndexer()
List<Var>	DefaultIR.getVars()
List<Var>	IR.getVars()

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

Modifier and Type	Method	Description
boolean	DefaultIR.isParam(Var var)
boolean	IR.isParam(Var var)
boolean	DefaultIR.isThisOrParam(Var var)
boolean	IR.isThisOrParam(Var var)

Constructors in pascal.taie.ir with parameters of type Var

Modifier	Constructor	Description
	DefaultIR(JMethod method, Var thisVar, List<Var> params, Set<Var> returnVars, List<Var> vars, List<Stmt> stmts, List<ExceptionEntry> exceptionEntries)

Constructor parameters in pascal.taie.ir with type arguments of type Var

Modifier	Constructor	Description
	DefaultIR(JMethod method, Var thisVar, List<Var> params, Set<Var> returnVars, List<Var> vars, List<Stmt> stmts, List<ExceptionEntry> exceptionEntries)
	DefaultIR(JMethod method, Var thisVar, List<Var> params, Set<Var> returnVars, List<Var> vars, List<Stmt> stmts, List<ExceptionEntry> exceptionEntries)

Uses of Var in pascal.taie.ir.exp

Fields in pascal.taie.ir.exp declared as Var

Modifier and Type	Field	Description
protected final Var	InvokeInstanceExp.base
protected final Var	AbstractBinaryExp.operand1
protected final Var	AbstractBinaryExp.operand1
protected final Var	AbstractBinaryExp.operand1
protected final Var	AbstractBinaryExp.operand1
protected final Var	AbstractBinaryExp.operand1
protected final Var	AbstractBinaryExp.operand2
protected final Var	AbstractBinaryExp.operand2
protected final Var	AbstractBinaryExp.operand2
protected final Var	AbstractBinaryExp.operand2
protected final Var	AbstractBinaryExp.operand2

Fields in pascal.taie.ir.exp with type parameters of type Var

Modifier and Type	Field	Description
protected final List<Var>	InvokeExp.args	The arguments of the invocation.

Methods in pascal.taie.ir.exp that return Var

Modifier and Type	Method	Description
Var	InvokeExp.getArg(int i)
Var	ArrayAccess.getBase()
Var	ArrayLengthExp.getBase()
Var	InstanceFieldAccess.getBase()
Var	InvokeInstanceExp.getBase()
Var	ArrayAccess.getIndex()
Var	NewArray.getLength()
Var	NewMultiArray.getLength(int i)
Var	ArrayLengthExp.getOperand()
Var	NegExp.getOperand()
Var	UnaryExp.getOperand()
Var	BinaryExp.getOperand1()
Var	BinaryExp.getOperand2()
Var	CastExp.getValue()
Var	InstanceOfExp.getValue()
Var	NegExp.getValue()

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

Modifier and Type	Method	Description
List<Var>	InvokeExp.getArgs()
List<Var>	NewMultiArray.getLengths()

Methods in pascal.taie.ir.exp with parameters of type Var

Modifier and Type	Method	Description
default T	ExpVisitor.visit(Var var)

Constructors in pascal.taie.ir.exp with parameters of type Var

Modifier	Constructor	Description
	ArithmeticExp(ArithmeticExp.Op op, Var value1, Var value2)
	ArrayAccess(Var base, Var index)
	ArrayLengthExp(Var base)
	BitwiseExp(BitwiseExp.Op op, Var value1, Var value2)
	CastExp(Var value, Type castType)
	ComparisonExp(ComparisonExp.Op op, Var value1, Var value2)
	ConditionExp(ConditionExp.Op op, Var value1, Var value2)
	InstanceFieldAccess(FieldRef fieldRef, Var base)
	InstanceOfExp(Var value, ReferenceType checkedType)
protected	InvokeInstanceExp(MethodRef methodRef, Var base, List<Var> args)
	InvokeInterface(MethodRef methodRef, Var base, List<Var> args)
	InvokeSpecial(MethodRef methodRef, Var base, List<Var> args)
	InvokeVirtual(MethodRef methodRef, Var base, List<Var> args)
	NegExp(Var value)
	NewArray(ArrayType type, Var length)
	ShiftExp(ShiftExp.Op op, Var value1, Var value2)

Constructor parameters in pascal.taie.ir.exp with type arguments of type Var

Modifier	Constructor	Description
protected	InvokeExp(MethodRef methodRef, List<Var> args)
protected	InvokeInstanceExp(MethodRef methodRef, Var base, List<Var> args)
	InvokeInterface(MethodRef methodRef, Var base, List<Var> args)
	InvokeSpecial(MethodRef methodRef, Var base, List<Var> args)
	InvokeStatic(MethodRef methodRef, List<Var> args)
	InvokeVirtual(MethodRef methodRef, Var base, List<Var> args)
	NewMultiArray(ArrayType type, List<Var> lengths)

Uses of Var in pascal.taie.ir.stmt

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

Modifier and Type	Field	Description
protected final Var	SwitchStmt.var	The variable holding the condition value of the switch-statement.

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

Modifier and Type	Method	Description
Var	Catch.getExceptionRef()
Var	Throw.getExceptionRef()
Var	Invoke.getLValue()
Var	Monitor.getObjectRef()
Var	Invoke.getResult()
Var	Return.getValue()
Var	SwitchStmt.getVar()

Constructors in pascal.taie.ir.stmt with parameters of type Var

Modifier	Constructor	Description
	AssignLiteral(Var lvalue, Literal rvalue)
	Binary(Var lvalue, BinaryExp rvalue)
	Cast(Var lvalue, CastExp rvalue)
	Catch(Var exceptionRef)
	Copy(Var lvalue, Var rvalue)
	InstanceOf(Var lvalue, InstanceOfExp rvalue)
	Invoke(JMethod container, InvokeExp invokeExp, Var result)
	LoadArray(Var lvalue, ArrayAccess rvalue)
	LoadField(Var lvalue, FieldAccess rvalue)
	LookupSwitch(Var var, List<Integer> caseValues)
	Monitor(Monitor.Op op, Var objectRef)
	New(JMethod method, Var lvalue, NewExp rvalue)
	Return(Var value)
	StoreArray(ArrayAccess lvalue, Var rvalue)
	StoreField(FieldAccess lvalue, Var rvalue)
	SwitchStmt(Var var)
	TableSwitch(Var var, int lowIndex, int highIndex)
	Throw(Var exceptionRef)
	Unary(Var lvalue, UnaryExp rvalue)