Uses of Class
soot.jimple.spark.pag.Node

Packages that use Node

Package	Description
soot.jimple.spark
soot.jimple.spark.builder
soot.jimple.spark.geom.dataMgr
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
soot.jimple.spark.internal
soot.jimple.spark.pag
soot.jimple.spark.sets
soot.jimple.spark.solver

Uses of Node in soot.jimple.spark

Methods in soot.jimple.spark with parameters of type Node

Modifier and Type	Method	Description
protected void	SparkTransformer.addTag(Host h, Node n, Map<Node,Tag> nodeToTag, Tag unknown)

Method parameters in soot.jimple.spark with type arguments of type Node

Modifier and Type	Method	Description
protected void	SparkTransformer.addTag(Host h, Node n, Map<Node,Tag> nodeToTag, Tag unknown)

Uses of Node in soot.jimple.spark.builder

Methods in soot.jimple.spark.builder that return Node

Modifier and Type	Method	Description
Node	GlobalNodeFactory.caseArgv()
Node	MethodNodeFactory.caseArray(VarNode base)
Node	GlobalNodeFactory.caseCanonicalPath()
Node	GlobalNodeFactory.caseDefaultClassLoader()
Node	GlobalNodeFactory.caseFinalizeQueue()
Node	GlobalNodeFactory.caseMainClassNameString()
Node	GlobalNodeFactory.caseMainThread()
Node	GlobalNodeFactory.caseMainThreadGroup()
Node	GlobalNodeFactory.caseNewInstance(VarNode cls)
Node	MethodNodeFactory.caseParm(int index)
Node	GlobalNodeFactory.casePrivilegedActionException()
Node	MethodNodeFactory.caseRet()
Node	MethodNodeFactory.caseThis()
Node	GlobalNodeFactory.caseThrow()
Node	MethodNodeFactory.getNode()
Node	MethodNodeFactory.getNode(Value v)

Uses of Node in soot.jimple.spark.geom.dataMgr

Fields in soot.jimple.spark.geom.dataMgr with type parameters of type Node

Modifier and Type	Field	Description
protected Map<Node,List<VarType>>	PtSensVisitor.tableView

Methods in soot.jimple.spark.geom.dataMgr with parameters of type Node

Modifier and Type	Method	Description
List<VarType>	PtSensVisitor.getCSList(Node var)	Obtain the list of context sensitive objects pointed to by var.
boolean	Obj_full_extractor.visit(Node var, long L, long R, int sm_int)
abstract boolean	PtSensVisitor.visit(Node var, long L, long R, int sm_int)	We use visitor pattern to collect contexts.

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

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

Modifier and Type	Field	Description
Node	ContextVar.var

Constructors in soot.jimple.spark.geom.dataRep with parameters of type Node

Constructor	Description
CallsiteContextVar(CgEdge c, Node v)
IntervalContextVar(long l, long r, Node v)

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

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

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

Constructors in soot.jimple.spark.geom.geomE with parameters of type Node

Constructor	Description
FullSensitiveNode(Node thisVar)

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

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

Modifier and Type	Field	Description
Node	IVarAbstraction.me

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

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

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

Modifier and Type	Method	Description
Node	IVarAbstraction.getWrappedNode()	Processing the wrapped SPARK node.

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

Modifier and Type	Method	Description
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.
boolean	GeomPointsTo.isExceptionPointer(Node v)
boolean	GeomPointsTo.isValidGeometricNode(Node sparkNode)	Given a valid SPARK node, we test if it is still valid after the geometric analysis.
IVarAbstraction	GeomPointsTo.makeInternalNode(Node v)	Transform the SPARK node @param v representation to our representation.

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

Modifier and Type	Method	Description
void	OfflineProcessor.addUserDefPts(Set<Node> initVars)	Compute the refined points-to results for specified pointers.
void	GeomPointsTo.ddSolve(Set<Node> qryNodes)	The demand-driven mode for precisely computing points-to information for given pointers.

Constructors in soot.jimple.spark.geom.geomPA with parameters of type Node

Constructor	Description
DummyNode(Node thisVarNode)

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

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

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

Constructors in soot.jimple.spark.geom.heapinsE with parameters of type Node

Constructor	Description
HeapInsNode(Node thisVar)

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

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

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

Constructors in soot.jimple.spark.geom.ptinsE with parameters of type Node

Constructor	Description
PtInsNode(Node thisVar)	Deprecated.

Uses of Node in soot.jimple.spark.internal

Constructors in soot.jimple.spark.internal with parameters of type Node

Constructor	Description
SparkLibraryHelper(PAG pag, Node node, SootMethod method)	The constructor for this TypeSwitch.

Uses of Node in soot.jimple.spark.pag

Subclasses of Node in soot.jimple.spark.pag

Modifier and Type	Class	Description
class	AllocDotField	Represents an alloc-site-dot-field node (Yellow) in the pointer assignment graph.
class	AllocNode	Represents an allocation site node (Blue) in the pointer assignment graph.
class	ClassConstantNode	Represents an allocation site node the represents a known java.lang.Class object.
class	ContextVarNode	Represents a simple variable node with context.
class	FieldRefNode	Represents a field reference node (Red) in the pointer assignment graph.
class	GlobalVarNode	Represents a simple variable node (Green) in the pointer assignment graph that is not associated with any particular method invocation.
class	LocalVarNode	Represents a simple variable node (Green) in the pointer assignment graph that is specific to a particular method invocation.
class	NewInstanceNode	Node that represents a call to newInstance()
class	StringConstantNode	Represents an allocation site node the represents a constant string.
class	ValNode	Represents a simple of field ref node (Green or Red) in the pointer assignment graph.
class	VarNode	Represents a simple variable node (Green) in the pointer assignment graph.

Fields in soot.jimple.spark.pag declared as Node

Modifier and Type	Field	Description
protected static Node[]	PAG.EMPTY_NODE_ARRAY
protected Node	Node.replacement

Fields in soot.jimple.spark.pag with type parameters of type Node

Modifier and Type	Field	Description
protected MultiMap<Pair<Node,Node>,Edge>	PAG.assign2edges
protected MultiMap<Pair<Node,Node>,Edge>	PAG.assign2edges
HashMultiMap<InvokeExpr,Pair<Node,Node>>	PAG.callAssigns
HashMultiMap<InvokeExpr,Pair<Node,Node>>	PAG.callAssigns
protected ChunkedQueue<Node>	PAG.edgeQueue
Map<InvokeExpr,Node>	PAG.virtualCallsToReceivers

Methods in soot.jimple.spark.pag with type parameters of type Node

Modifier and Type	Method	Description
protected <K extends Node> boolean	PAG.addToMap(Map<K,Object> m, K key, Node value)
protected <K extends Node> Node[]	PAG.lookup(Map<K,Object> m, K key)

Methods in soot.jimple.spark.pag that return Node

Modifier and Type	Method	Description
Node[]	PAG.allocInvLookup(VarNode key)
Node[]	PAG.allocLookup(AllocNode key)
Node[]	PAG.assignInstanceLookup(NewInstanceNode key)
Node	FieldRefNode.getReplacement()
Node	Node.getReplacement()	If this node has been merged with another, returns the new node to be used as the representative of this node; returns this if the node has not been merged.
Node[]	PAG.loadInvLookup(VarNode key)
Node[]	PAG.loadLookup(FieldRefNode key)
protected <K extends Node> Node[]	PAG.lookup(Map<K,Object> m, K key)
Node[]	PAG.newInstanceLookup(VarNode key)
Node	MethodPAG.parameterize(Node n, Context varNodeParameter)
Node[]	PAG.simpleInvLookup(VarNode key)
Node[]	PAG.simpleLookup(VarNode key)
Node[]	PAG.storeInvLookup(FieldRefNode key)
Node[]	PAG.storeLookup(VarNode key)

Methods in soot.jimple.spark.pag that return types with arguments of type Node

Modifier and Type	Method	Description
Pair<Node,Node>	PAG.addInterproceduralAssignment(Node from, Node to, Edge e)
Pair<Node,Node>	PAG.addInterproceduralAssignment(Node from, Node to, Edge e)
QueueReader<Node>	PAG.edgeReader()
Map<Node,Tag>	PAG.getNodeTags()

Methods in soot.jimple.spark.pag with parameters of type Node

Modifier and Type	Method	Description
boolean	PAG.addEdge(Node from, Node to)	Adds an edge to the graph, returning false if it was already there.
void	MethodPAG.addInEdge(Node src, Node dst)
void	MethodPAG.addInternalEdge(Node src, Node dst)
Pair<Node,Node>	PAG.addInterproceduralAssignment(Node from, Node to, Edge e)
void	MethodPAG.addOutEdge(Node src, Node dst)
protected <K extends Node> boolean	PAG.addToMap(Map<K,Object> m, K key, Node value)
protected void	PAGDumper.dumpNode(Node n, PrintWriter out)
static String	PagToDotDumper.makeDotNodeLabel(Node n, Predicate<Node> p)	Generate a node declaration for a dot file.
static String	PagToDotDumper.makeNodeName(Node n)
void	Node.mergeWith(Node other)	Merge with the node other.
Node	MethodPAG.parameterize(Node n, Context varNodeParameter)

Method parameters in soot.jimple.spark.pag with type arguments of type Node

Modifier and Type	Method	Description
Set<Edge>	PAG.lookupEdgesForAssignment(Pair<Node,Node> val)
Set<Edge>	PAG.lookupEdgesForAssignment(Pair<Node,Node> val)
static String	PagToDotDumper.makeDotNodeLabel(Node n, Predicate<Node> p)	Generate a node declaration for a dot file.

Uses of Node in soot.jimple.spark.sets

Fields in soot.jimple.spark.sets declared as Node

Modifier and Type	Field	Description
Node	SharedListSet.Pair.first
protected Node[]	HybridPointsToSet.nodes

Methods in soot.jimple.spark.sets with parameters of type Node

Modifier and Type	Method	Description
boolean	BitPointsToSet.add(Node n)	Adds n to this set, returns true if n was not already in this set.
boolean	DoublePointsToSet.add(Node n)	Adds n to this set, returns true if n was not already in this set.
boolean	EmptyPointsToSet.add(Node n)	Adds n to this set, returns true if n was not already in this set.
boolean	HashPointsToSet.add(Node n)	Adds n to this set, returns true if n was not already in this set.
boolean	HybridPointsToSet.add(Node n)	Adds n to this set, returns true if n was not already in this set.
boolean	PointsToBitVector.add(Node n)	Adds n to this
abstract boolean	PointsToSetInternal.add(Node n)	Adds n to this set, returns true if n was not already in this set.
boolean	SharedHybridSet.add(Node n)
boolean	SharedListSet.add(Node n)
boolean	SortedArraySet.add(Node n)	Adds n to this set, returns true if n was not already in this set.
boolean	BitPointsToSet.contains(Node n)	Returns true iff the set contains n.
boolean	DoublePointsToSet.contains(Node n)	Returns true iff the set contains n.
boolean	EmptyPointsToSet.contains(Node n)	Returns true iff the set contains n.
boolean	HashPointsToSet.contains(Node n)	Returns true iff the set contains n.
boolean	HybridPointsToSet.contains(Node n)	Returns true iff the set contains n.
boolean	PointsToBitVector.contains(Node n)
abstract boolean	PointsToSetInternal.contains(Node n)	Returns true iff the set contains n.
boolean	SharedHybridSet.contains(Node n)	When the overflow list overflows, the maximum number of elements that may remain in the overflow list (the rest are moved into the base bit vector)
boolean	SharedListSet.contains(Node n)
boolean	SortedArraySet.contains(Node n)	Returns true iff the set contains n.
protected boolean	HybridPointsToSet.fastAdd(Node n)
abstract void	P2SetVisitor.visit(Node n)

Constructors in soot.jimple.spark.sets with parameters of type Node

Constructor	Description
ListNode(Node elem, SharedListSet.ListNode next)
Pair(Node first, SharedListSet.ListNode second)

Uses of Node in soot.jimple.spark.solver

Fields in soot.jimple.spark.solver with type parameters of type Node

Modifier and Type	Field	Description
protected Set<Node>	PropMerge.varNodeWorkList

Methods in soot.jimple.spark.solver with parameters of type Node

Modifier and Type	Method	Description
protected void	Checker.checkAll(Node container, PointsToSetInternal nodes, Node upstream)
protected void	MergeChecker.checkAll(Node container, PointsToSetInternal nodes, Node upstream)
protected void	Checker.checkNode(Node container, Node n, Node upstream)
protected void	MergeChecker.checkNode(Node container, Node n, Node upstream)
void	OnFlyCallGraph.mergedWith(Node n1, Node n2)	Node uses this to notify PAG that n2 has been merged into n1.