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<Node,Tag> nodeToTag, Tag unknown)
           
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
protected  void SparkTransformer.addTag(Host h, Node n, Map<Node,Tag> nodeToTag, Tag unknown)
           
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
 Node GlobalNodeFactory.caseArgv()
           
 Node GlobalNodeFactory.caseArgv()
           
 Node MethodNodeFactory.caseArray(VarNode base)
           
 Node MethodNodeFactory.caseArray(VarNode base)
           
 Node GlobalNodeFactory.caseCanonicalPath()
           
 Node GlobalNodeFactory.caseCanonicalPath()
           
 Node GlobalNodeFactory.caseDefaultClassLoader()
           
 Node GlobalNodeFactory.caseDefaultClassLoader()
           
 Node GlobalNodeFactory.caseFinalizeQueue()
           
 Node GlobalNodeFactory.caseFinalizeQueue()
           
 Node GlobalNodeFactory.caseMainClassNameString()
           
 Node GlobalNodeFactory.caseMainClassNameString()
           
 Node GlobalNodeFactory.caseMainThread()
           
 Node GlobalNodeFactory.caseMainThread()
           
 Node GlobalNodeFactory.caseMainThreadGroup()
           
 Node GlobalNodeFactory.caseMainThreadGroup()
           
 Node GlobalNodeFactory.caseNewInstance(VarNode cls)
           
 Node GlobalNodeFactory.caseNewInstance(VarNode cls)
           
 Node MethodNodeFactory.caseParm(int index)
           
 Node MethodNodeFactory.caseParm(int index)
           
 Node GlobalNodeFactory.casePrivilegedActionException()
           
 Node GlobalNodeFactory.casePrivilegedActionException()
           
 Node MethodNodeFactory.caseRet()
           
 Node MethodNodeFactory.caseRet()
           
 Node MethodNodeFactory.caseThis()
           
 Node MethodNodeFactory.caseThis()
           
 Node GlobalNodeFactory.caseThrow()
           
 Node GlobalNodeFactory.caseThrow()
           
 Node MethodNodeFactory.getNode()
           
 Node MethodNodeFactory.getNode()
           
 Node MethodNodeFactory.getNode(Value v)
           
 Node MethodNodeFactory.getNode(Value v)
           
 

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 static Node[] PAG.EMPTY_NODE_ARRAY
           
protected static Node[] PAG.EMPTY_NODE_ARRAY
           
protected  Node Node.replacement
           
protected  Node Node.replacement
           
 

Fields in soot.jimple.spark.pag with type parameters of type Node
 Map<InvokeExpr,Node> PAG.virtualCallsToReceivers
           
 Map<InvokeExpr,Node> PAG.virtualCallsToReceivers
           
 

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

Methods in soot.jimple.spark.pag that return types with arguments of type Node
 Map<Node,Tag> PAG.getNodeTags()
           
 Map<Node,Tag> PAG.getNodeTags()
           
 

Methods in soot.jimple.spark.pag with parameters of type Node
 boolean PAG.addEdge(Node from, Node to)
          Adds an edge to the graph, returning false if it was already there.
 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.addInEdge(Node src, Node dst)
           
 void MethodPAG.addInternalEdge(Node src, Node dst)
           
 void MethodPAG.addInternalEdge(Node src, Node dst)
           
 void MethodPAG.addOutEdge(Node src, Node dst)
           
 void MethodPAG.addOutEdge(Node src, Node dst)
           
protected  boolean PAG.addToMap(Map<Object,Object> m, Node key, Node value)
           
protected  boolean PAG.addToMap(Map<Object,Object> m, Node key, Node value)
           
protected  void PAGDumper.dumpNode(Node n, PrintWriter out)
           
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.makeDotNodeLabel(Node n, Predicate<Node> p)
          Generate a node declaration for a dot file.
static String PagToDotDumper.makeNodeName(Node n)
           
static String PagToDotDumper.makeNodeName(Node n)
           
 void Node.mergeWith(Node other)
          Merge with the node other.
 void Node.mergeWith(Node other)
          Merge with the node other.
 Node MethodPAG.parameterize(Node n, Context varNodeParameter)
           
 Node MethodPAG.parameterize(Node n, Context varNodeParameter)
           
 

Method parameters in soot.jimple.spark.pag with type arguments of type Node
static String PagToDotDumper.makeDotNodeLabel(Node n, Predicate<Node> p)
          Generate a node declaration for a dot file.
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
 Node SharedListSet.Pair.first
           
 Node SharedListSet.Pair.first
           
 

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 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 SortedArraySet.add(Node n)
          Adds n to this set, returns true if n was not already in this set.
 boolean SharedListSet.add(Node n)
           
 boolean SharedHybridSet.add(Node n)
           
abstract  boolean PointsToSetInternal.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
 boolean HybridPointsToSet.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 EmptyPointsToSet.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 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.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.
 boolean SortedArraySet.contains(Node n)
          Returns true iff the set contains n.
 boolean SharedListSet.contains(Node 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)
abstract  boolean PointsToSetInternal.contains(Node n)
          Returns true iff the set contains n.
 boolean PointsToBitVector.contains(Node n)
           
 boolean HybridPointsToSet.contains(Node n)
          Returns true iff the set contains n.
 boolean HashPointsToSet.contains(Node n)
          Returns true iff the set contains n.
 boolean EmptyPointsToSet.contains(Node n)
          Returns true iff the set contains n.
 boolean DoublePointsToSet.contains(Node n)
          Returns true iff the set contains n.
 boolean BitPointsToSet.contains(Node n)
          Returns true iff the set contains n.
protected  boolean HybridPointsToSet.fastAdd(Node n)
           
protected  boolean HybridPointsToSet.fastAdd(Node n)
           
abstract  void P2SetVisitor.visit(Node n)
           
abstract  void P2SetVisitor.visit(Node n)
           
 

Constructors in soot.jimple.spark.sets with parameters of type Node
SharedListSet.ListNode(Node elem, SharedListSet.ListNode next)
           
SharedListSet.ListNode(Node elem, SharedListSet.ListNode next)
           
SharedListSet.Pair(Node first, SharedListSet.ListNode second)
           
SharedListSet.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
protected  Set<Node> PropMerge.varNodeWorkList
           
protected  Set<Node> PropMerge.varNodeWorkList
           
 

Methods in soot.jimple.spark.solver with parameters of type Node
protected  void Checker.checkAll(Node container, PointsToSetInternal nodes, Node upstream)
           
protected  void MergeChecker.checkAll(Node container, PointsToSetInternal nodes, Node upstream)
           
protected  void MergeChecker.checkAll(Node container, PointsToSetInternal nodes, Node upstream)
           
protected  void Checker.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)
           
protected  void MergeChecker.checkNode(Node container, Node n, Node upstream)
           
protected  void Checker.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.
 void OnFlyCallGraph.mergedWith(Node n1, Node n2)
          Node uses this to notify PAG that n2 has been merged into n1.