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

Packages that use Node
soot.jimple.spark   
soot.jimple.spark.builder   
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
protected  void SparkTransformer.addTag(Host h, Node n, Map nodeToTag, Tag unknown)
           
 

Uses of Node in soot.jimple.spark.builder
 

Methods in soot.jimple.spark.builder that return Node
 Node GlobalNodeFactory.caseDefaultClassLoader()
           
 Node GlobalNodeFactory.caseMainClassNameString()
           
 Node GlobalNodeFactory.caseMainThreadGroup()
           
 Node GlobalNodeFactory.caseMainThread()
           
 Node GlobalNodeFactory.caseArgv()
           
 Node GlobalNodeFactory.caseNewInstance(VarNode cls)
           
 Node GlobalNodeFactory.caseThrow()
           
 Node MethodNodeFactory.getNode(Value v)
           
 Node MethodNodeFactory.getNode()
           
 Node MethodNodeFactory.caseThis()
           
 Node MethodNodeFactory.caseParm(int index)
           
 Node MethodNodeFactory.caseRet()
           
 Node MethodNodeFactory.caseArray(VarNode base)
           
 

Uses of Node in soot.jimple.spark.pag
 

Subclasses of Node in soot.jimple.spark.pag
 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 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
protected  Node Node.replacement
           
protected static Node[] PAG.EMPTY_NODE_ARRAY
           
 

Methods in soot.jimple.spark.pag that return Node
 Node FieldRefNode.getReplacement()
           
 Node MethodPAG.parameterize(Node n, Context varNodeParameter)
           
 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.
protected  Node[] PAG.lookup(Map m, Object key)
           
 Node[] PAG.simpleLookup(VarNode key)
           
 Node[] PAG.simpleInvLookup(VarNode key)
           
 Node[] PAG.loadLookup(FieldRefNode key)
           
 Node[] PAG.loadInvLookup(VarNode key)
           
 Node[] PAG.storeLookup(VarNode key)
           
 Node[] PAG.storeInvLookup(FieldRefNode key)
           
 Node[] PAG.allocLookup(AllocNode key)
           
 Node[] PAG.allocInvLookup(VarNode key)
           
 

Methods in soot.jimple.spark.pag with parameters of type Node
 void MethodPAG.addInternalEdge(Node src, Node dst)
           
 void MethodPAG.addInEdge(Node src, Node dst)
           
 void MethodPAG.addOutEdge(Node src, Node dst)
           
 Node MethodPAG.parameterize(Node n, Context varNodeParameter)
           
 void Node.mergeWith(Node other)
          Merge with the node other.
 boolean PAG.addEdge(Node from, Node to)
          Adds an edge to the graph, returning false if it was already there.
protected  boolean PAG.addToMap(Map m, Node key, Node value)
           
protected  void PAGDumper.dumpNode(Node n, PrintWriter out)
           
 

Uses of Node in soot.jimple.spark.sets
 

Methods in soot.jimple.spark.sets with parameters of type Node
 boolean BitPointsToSet.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.add(Node n)
          Adds n to this set, returns true if n was not already in this set.
 boolean DoublePointsToSet.contains(Node n)
          Returns true iff the set contains n.
 boolean EmptyPointsToSet.add(Node n)
          Adds n to this set, returns true if n was not already in this set.
 boolean EmptyPointsToSet.contains(Node n)
          Returns true iff the set contains n.
 boolean HashPointsToSet.add(Node n)
          Adds n to this set, returns true if n was not already in this set.
 boolean HashPointsToSet.contains(Node n)
          Returns true iff the set contains n.
 boolean HybridPointsToSet.add(Node n)
          Adds n to this set, returns true if n was not already in this set.
 boolean HybridPointsToSet.contains(Node n)
          Returns true iff the set contains n.
protected  boolean HybridPointsToSet.fastAdd(Node n)
           
abstract  void P2SetVisitor.visit(Node n)
           
abstract  boolean PointsToSetInternal.add(Node n)
          Adds n to this set, returns true if n was not already in this set.
abstract  boolean PointsToSetInternal.contains(Node n)
          Returns true iff the set contains n.
 boolean SharedPointsToSet.add(Node n)
          Adds n to this set, returns true if n was not already in this set.
 boolean SharedPointsToSet.contains(Node n)
          Returns true iff the set contains n.
protected  boolean SharedPointsToSet.fastAdd(Node n)
           
 boolean SortedArraySet.add(Node n)
          Adds n to this set, returns true if n was not already in this set.
 boolean SortedArraySet.contains(Node n)
          Returns true iff the set contains n.
 

Uses of Node in soot.jimple.spark.solver
 

Methods in soot.jimple.spark.solver with parameters of type Node
protected  void Checker.checkAll(Node container, PointsToSetInternal nodes, Node upstream)
           
protected  void Checker.checkNode(Node container, Node n, Node upstream)
           
protected  void MergeChecker.checkAll(Node container, PointsToSetInternal nodes, 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.