Uses of Class
soot.jimple.spark.geom.geomPA.IVarAbstraction

Packages that use IVarAbstraction

Package	Description
soot.jimple.spark.geom.dataRep
soot.jimple.spark.geom.geomE
soot.jimple.spark.geom.geomPA
soot.jimple.spark.geom.heapinsE
soot.jimple.spark.geom.ptinsE

Uses of IVarAbstraction in soot.jimple.spark.geom.dataRep

Fields in soot.jimple.spark.geom.dataRep declared as IVarAbstraction

Modifier and Type	Field	Description
IVarAbstraction	PlainConstraint.otherSide	Used in complex constraint.

Fields in soot.jimple.spark.geom.dataRep with type parameters of type IVarAbstraction

Modifier and Type	Field	Description
Pair<IVarAbstraction,IVarAbstraction>	PlainConstraint.expr	The two pointers involved in this constraint
Pair<IVarAbstraction,IVarAbstraction>	PlainConstraint.expr	The two pointers involved in this constraint

Methods in soot.jimple.spark.geom.dataRep that return IVarAbstraction

Modifier and Type	Method	Description
IVarAbstraction	PlainConstraint.getLHS()
IVarAbstraction	PlainConstraint.getRHS()

Methods in soot.jimple.spark.geom.dataRep with parameters of type IVarAbstraction

Modifier and Type	Method	Description
void	PlainConstraint.setLHS(IVarAbstraction newLHS)
void	PlainConstraint.setRHS(IVarAbstraction newRHS)

Uses of IVarAbstraction in soot.jimple.spark.geom.geomE

Subclasses of IVarAbstraction in soot.jimple.spark.geom.geomE

Modifier and Type	Class	Description
class	FullSensitiveNode	This class defines an abstract pointer in the geometric points-to solver.

Methods in soot.jimple.spark.geom.geomE that return IVarAbstraction

Modifier and Type	Method	Description
IVarAbstraction	FullSensitiveNodeGenerator.generateNode(Node vNode)

Methods in soot.jimple.spark.geom.geomE with parameters of type IVarAbstraction

Modifier and Type	Method	Description
boolean	FullSensitiveNode.add_simple_constraint_3(IVarAbstraction qv, long I1, long I2, long L)
boolean	FullSensitiveNode.add_simple_constraint_4(IVarAbstraction qv, long I1, long I2, long L1, long L2)
int	FullSensitiveNode.count_flow_intervals(IVarAbstraction qv)
boolean	FullSensitiveNode.heap_sensitive_intersection(IVarAbstraction qv)

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

Subclasses of IVarAbstraction in soot.jimple.spark.geom.geomPA

Modifier and Type	Class	Description
class	DummyNode	It is used to represent the non-pointer variables (e.g.

Fields in soot.jimple.spark.geom.geomPA declared as IVarAbstraction

Modifier and Type	Field	Description
protected IVarAbstraction	IVarAbstraction.parent

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

Modifier and Type	Field	Description
ZArrayNumberer<IVarAbstraction>	GeomPointsTo.allocations
Map<Node,IVarAbstraction>	GeomPointsTo.consG
ZArrayNumberer<IVarAbstraction>	GeomPointsTo.pointers

Methods in soot.jimple.spark.geom.geomPA that return IVarAbstraction

Modifier and Type	Method	Description
IVarAbstraction	GeomPointsTo.findAndInsertInstanceField(AllocNode obj, SparkField field)	Obtain or create an internal representation of an object field.
IVarAbstraction	GeomPointsTo.findInstanceField(AllocNode obj, SparkField field)	Obtain the internal representation of an object field.
IVarAbstraction	GeomPointsTo.findInternalNode(Node v)	Find our representation for the SPARK node @param v.
abstract IVarAbstraction	IEncodingBroker.generateNode(Node v)	Generate a node of proper kind.
IVarAbstraction	IVarAbstraction.getRepresentative()
IVarAbstraction	GeomPointsTo.makeInternalNode(Node v)	Transform the SPARK node @param v representation to our representation.
IVarAbstraction	IVarAbstraction.merge(IVarAbstraction other)	Make the variable other be the parent of this variable.
IVarAbstraction	FIFO_Worklist.next()
IVarAbstraction	IWorklist.next()
IVarAbstraction	PQ_Worklist.next()

Methods in soot.jimple.spark.geom.geomPA with parameters of type IVarAbstraction

Modifier and Type	Method	Description
boolean	DummyNode.add_simple_constraint_3(IVarAbstraction qv, long I1, long I2, long L)
abstract boolean	IVarAbstraction.add_simple_constraint_3(IVarAbstraction qv, long I1, long I2, long L)
boolean	DummyNode.add_simple_constraint_4(IVarAbstraction qv, long I1, long I2, long L1, long L2)
abstract boolean	IVarAbstraction.add_simple_constraint_4(IVarAbstraction qv, long I1, long I2, long L1, long L2)
int	DummyNode.count_flow_intervals(IVarAbstraction qv)
abstract int	IVarAbstraction.count_flow_intervals(IVarAbstraction qv)
int	GeomPointsTo.getMethodIDFromPtr(IVarAbstraction pn)	Get the index of the enclosing function of the specified node.
boolean	DummyNode.heap_sensitive_intersection(IVarAbstraction qv)
abstract boolean	IVarAbstraction.heap_sensitive_intersection(IVarAbstraction qv)	Perform context sensitive alias checking with qv.
boolean	GeomQueries.isAlias(IVarAbstraction pn1, IVarAbstraction pn2)	Test if two pointers given in geomPTA form are an alias under any contexts.
boolean	IVarAbstraction.lessThan(IVarAbstraction other)	Used by ordering the nodes in priority worklist.
IVarAbstraction	IVarAbstraction.merge(IVarAbstraction other)	Make the variable other be the parent of this variable.
void	FIFO_Worklist.push(IVarAbstraction pv)
void	IWorklist.push(IVarAbstraction p)
void	PQ_Worklist.push(IVarAbstraction e)

Method parameters in soot.jimple.spark.geom.geomPA with type arguments of type IVarAbstraction

Modifier and Type	Method	Description
void	GeomPointsTo.keepOnly(Set<IVarAbstraction> usefulPointers)	Keep only the pointers the users are interested in.

Uses of IVarAbstraction in soot.jimple.spark.geom.heapinsE

Subclasses of IVarAbstraction in soot.jimple.spark.geom.heapinsE

Modifier and Type	Class	Description
class	HeapInsNode	This class defines a pointer variable for use in the HeapIns encoding based points-to solver.

Methods in soot.jimple.spark.geom.heapinsE that return IVarAbstraction

Modifier and Type	Method	Description
IVarAbstraction	HeapInsNodeGenerator.generateNode(Node vNode)

Methods in soot.jimple.spark.geom.heapinsE with parameters of type IVarAbstraction

Modifier and Type	Method	Description
boolean	HeapInsNode.add_simple_constraint_3(IVarAbstraction qv, long I1, long I2, long L)
boolean	HeapInsNode.add_simple_constraint_4(IVarAbstraction qv, long I1, long I2, long L1, long L2)
int	HeapInsNode.count_flow_intervals(IVarAbstraction qv)
boolean	HeapInsNode.heap_sensitive_intersection(IVarAbstraction qv)	Query if this pointer and qv could point to the same object under any contexts

Uses of IVarAbstraction in soot.jimple.spark.geom.ptinsE

Subclasses of IVarAbstraction in soot.jimple.spark.geom.ptinsE

Modifier and Type	Class	Description
class	PtInsNode	Deprecated.

Methods in soot.jimple.spark.geom.ptinsE that return IVarAbstraction

Modifier and Type	Method	Description
IVarAbstraction	PtInsNodeGenerator.generateNode(Node vNode)

Methods in soot.jimple.spark.geom.ptinsE with parameters of type IVarAbstraction

Modifier and Type	Method	Description
boolean	PtInsNode.add_simple_constraint_3(IVarAbstraction qv, long I1, long I2, long L)	Deprecated.
boolean	PtInsNode.add_simple_constraint_4(IVarAbstraction qv, long I1, long I2, long L1, long L2)	Deprecated.
int	PtInsNode.count_flow_intervals(IVarAbstraction qv)	Deprecated.
boolean	PtInsNode.heap_sensitive_intersection(IVarAbstraction qv)	Deprecated. Query if this pointer and qv could point to the same object under any contexts