Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
 PREV   NEXT FRAMES    NO FRAMES    

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

Packages that use Node
soot.jimple.spark   
soot.jimple.spark.builder   
soot.jimple.spark.geom.geomE   
soot.jimple.spark.geom.geomPA   
soot.jimple.spark.geom.heapinsE   
soot.jimple.spark.geom.ptinsE   
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.geom.geomE
 

Methods in soot.jimple.spark.geom.geomE with parameters of type Node
 IVarAbstraction FullSensitiveNodeGenerator.generateNode(Node vNode)
           
 IVarAbstraction FullSensitiveNodeGenerator.generateNode(Node vNode)
           
 

Constructors in soot.jimple.spark.geom.geomE with parameters of type Node
FullSensitiveNode(Node thisVar)
           
FullSensitiveNode(Node thisVar)
           
 

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

Fields in soot.jimple.spark.geom.geomPA declared as Node
 Node IVarAbstraction.me
           
 Node IVarAbstraction.me
           
 Node CallsiteContextVar.var
           
 Node CallsiteContextVar.var
           
 

Fields in soot.jimple.spark.geom.geomPA with type parameters of type Node
 Map<Node,IVarAbstraction> GeomPointsTo.consG
           
 Map<Node,IVarAbstraction> GeomPointsTo.consG
           
 

Methods in soot.jimple.spark.geom.geomPA that return Node
 Node IVarAbstraction.getWrappedNode()
           
 Node IVarAbstraction.getWrappedNode()
           
 

Methods in soot.jimple.spark.geom.geomPA with parameters of type Node
static void EvalHelper.debug_context_insensitive_points_to(Node vn, GeomPointsTo ptsProvider)
           
static void EvalHelper.debug_context_insensitive_points_to(Node vn, GeomPointsTo ptsProvider)
           
static void EvalHelper.debug_spark_pointsto(Node vn, GeomPointsTo ptsProvider)
           
static void EvalHelper.debug_spark_pointsto(Node vn, GeomPointsTo ptsProvider)
           
static void EvalHelper.debug_succint_pointsto_info(Node vn, GeomPointsTo ptsProvider)
           
static void EvalHelper.debug_succint_pointsto_info(Node vn, GeomPointsTo ptsProvider)
           
abstract  IVarAbstraction IEncodingBroker.generateNode(Node v)
          Generate a node of proper kind.
abstract  IVarAbstraction IEncodingBroker.generateNode(Node v)
          Generate a node of proper kind.
 IVarAbstraction GeomPointsTo.getInternalNode(Node v)
           
 IVarAbstraction GeomPointsTo.getInternalNode(Node v)
           
 int GeomPointsTo.getMappedMethodID(Node node)
           
 int GeomPointsTo.getMappedMethodID(Node node)
           
 

Method parameters in soot.jimple.spark.geom.geomPA with type arguments of type Node
 void OfflineProcessor.runOptimizations(Set<Node> virtualBaseSet)
           
 void OfflineProcessor.runOptimizations(Set<Node> virtualBaseSet)
           
protected  void OfflineProcessor.setAllUserCodeVariablesUseful(Set<Node> virtualBaseSet)
          All the pointers that we need their points-to information are marked.
protected  void OfflineProcessor.setAllUserCodeVariablesUseful(Set<Node> virtualBaseSet)
          All the pointers that we need their points-to information are marked.
protected  void OfflineProcessor.setUsefulVariables(Set<Node> initVars)
          The user can provide a set of variables that need refined points-to result.
protected  void OfflineProcessor.setUsefulVariables(Set<Node> initVars)
          The user can provide a set of variables that need refined points-to result.
 

Constructors in soot.jimple.spark.geom.geomPA with parameters of type Node
CallsiteContextVar(CgEdge c, Node v)
           
CallsiteContextVar(CgEdge c, Node v)
           
DummyNode(Node thisVarNode)
           
DummyNode(Node thisVarNode)
           
 

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

Methods in soot.jimple.spark.geom.heapinsE with parameters of type Node
 IVarAbstraction HeapInsNodeGenerator.generateNode(Node vNode)
           
 IVarAbstraction HeapInsNodeGenerator.generateNode(Node vNode)
           
 

Constructors in soot.jimple.spark.geom.heapinsE with parameters of type Node
HeapInsNode(Node thisVar)
           
HeapInsNode(Node thisVar)
           
 

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

Methods in soot.jimple.spark.geom.ptinsE with parameters of type Node
 IVarAbstraction PtInsNodeGenerator.generateNode(Node vNode)
           
 IVarAbstraction PtInsNodeGenerator.generateNode(Node vNode)
           
 

Constructors in soot.jimple.spark.geom.ptinsE with parameters of type Node
PtInsNode(Node thisVar)
           
PtInsNode(Node thisVar)
           
 

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
 Pair<Node,Node> PAG.addInterproceduralAssignment(Node from, Node to, Edge e)
           
 Pair<Node,Node> PAG.addInterproceduralAssignment(Node from, Node to, Edge e)
           
 Pair<Node,Node> PAG.addInterproceduralAssignment(Node from, Node to, Edge e)
           
 Pair<Node,Node> PAG.addInterproceduralAssignment(Node from, Node to, Edge e)
           
 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)
           
 Pair<Node,Node> PAG.addInterproceduralAssignment(Node from, Node to, Edge e)
           
 Pair<Node,Node> PAG.addInterproceduralAssignment(Node from, Node to, Edge e)
           
 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
 Set<Edge> PAG.lookupEdgesForAssignment(Pair<Node,Node> val)
           
 Set<Edge> PAG.lookupEdgesForAssignment(Pair<Node,Node> val)
           
 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.
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.
 

Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
 PREV   NEXT FRAMES    NO FRAMES