Uses of Class
qilin.core.pag.ValNode

Packages that use ValNode

Package	Description
qilin.core.pag	Points-to analysis graph (PAG) data structures, based on Soot/jimple/spark/pag with significant modifications.
qilin.core.solver

Uses of ValNode in qilin.core.pag

Subclasses of ValNode in qilin.core.pag

Modifier and Type	Class	Description
class	ContextField
class	ContextVarNode
class	FieldValNode
class	GlobalVarNode	Represents a simple variable node in the pointer assignment graph that is not associated with any particular method invocation.
class	LocalVarNode
class	VarNode	Represents a simple variable node in the pointer assignment graph.

Fields in qilin.core.pag with type parameters of type ValNode

Modifier and Type	Field	Description
protected final Map<ValNode,Set<ValNode>>	PAG.simple
protected final Map<ValNode,Set<ValNode>>	PAG.simple
protected final Map<ValNode,Set<ValNode>>	PAG.simpleInv
protected final Map<ValNode,Set<ValNode>>	PAG.simpleInv
protected ArrayNumberer<ValNode>	PAG.valNodeNumberer
protected final Map<Object,ValNode>	PAG.valToValNode

Methods in qilin.core.pag that return ValNode

Modifier and Type	Method	Description
ValNode	PAG.findValNode(Object value, SootMethod containingMethod)	Finds the ValNode for the variable value, or returns null.

Methods in qilin.core.pag that return types with arguments of type ValNode

Modifier and Type	Method	Description
Map<ValNode,Set<ValNode>>	PAG.getSimple()
Map<ValNode,Set<ValNode>>	PAG.getSimple()
Map<ValNode,Set<ValNode>>	PAG.getSimpleInv()
Map<ValNode,Set<ValNode>>	PAG.getSimpleInv()
ArrayNumberer<ValNode>	PAG.getValNodeNumberer()
Collection<ValNode>	PAG.getValNodes()
Set<ValNode>	PAG.simpleInvLookup(ValNode key)
Set<ValNode>	PAG.simpleLookup(ValNode key)

Methods in qilin.core.pag with parameters of type ValNode

Modifier and Type	Method	Description
Set<ValNode>	PAG.simpleInvLookup(ValNode key)
Set<ValNode>	PAG.simpleLookup(ValNode key)

Uses of ValNode in qilin.core.solver

Methods in qilin.core.solver with parameters of type ValNode

Modifier and Type	Method	Description
protected void	Solver.propagatePTS(ValNode pointer, AllocNode heap)
protected void	Solver.propagatePTS(ValNode pointer, PointsToSetInternal other)