Uses of Class
qilin.core.pag.ValNode

Packages that use ValNode

Package	Description
qilin.core.pag
qilin.core.solver

Uses of ValNode in qilin.core.pag

Subclasses of ValNode in qilin.core.pag

Modifier and Type	Class and 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 and Description
protected Map<ValNode,Set<ValNode>>	PAG.simple
protected Map<ValNode,Set<ValNode>>	PAG.simple
protected Map<ValNode,Set<ValNode>>	PAG.simpleInv
protected Map<ValNode,Set<ValNode>>	PAG.simpleInv
protected ArrayNumberer<ValNode>	PAG.valNodeNumberer
protected Map<Object,ValNode>	PAG.valToValNode

Methods in qilin.core.pag that return ValNode

Modifier and Type	Method and 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 and 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 and 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 and Description
protected void	Solver.propagatePTS(ValNode pointer, AllocNode heap)
protected void	Solver.propagatePTS(ValNode pointer, PointsToSetInternal other)