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

Packages that use VarNode
soot.jimple.spark.builder   
soot.jimple.spark.pag   
soot.jimple.spark.solver   
 

Uses of VarNode in soot.jimple.spark.builder
 

Methods in soot.jimple.spark.builder with parameters of type VarNode
 Node GlobalNodeFactory.caseNewInstance(VarNode cls)
           
 Node MethodNodeFactory.caseArray(VarNode base)
           
 

Uses of VarNode in soot.jimple.spark.pag
 

Subclasses of VarNode in soot.jimple.spark.pag
 class ContextVarNode
          Represents a simple variable node with context.
 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.
 

Fields in soot.jimple.spark.pag declared as VarNode
protected  VarNode FieldRefNode.base
           
 

Methods in soot.jimple.spark.pag that return VarNode
 VarNode FieldRefNode.getBase()
          Returns the base of this field reference.
protected  VarNode MethodPAG.parameterize(LocalVarNode vn, Context varNodeParameter)
           
 

Methods in soot.jimple.spark.pag with parameters of type VarNode
 boolean PAG.doAddSimpleEdge(VarNode from, VarNode to)
           
 boolean PAG.doAddStoreEdge(VarNode from, FieldRefNode to)
           
 boolean PAG.doAddLoadEdge(FieldRefNode from, VarNode to)
           
 boolean PAG.doAddAllocEdge(AllocNode from, VarNode to)
           
 Node[] PAG.simpleLookup(VarNode key)
           
 Node[] PAG.simpleInvLookup(VarNode key)
           
 Node[] PAG.loadInvLookup(VarNode key)
           
 Node[] PAG.storeLookup(VarNode key)
           
 Node[] PAG.allocInvLookup(VarNode key)
           
 FieldRefNode PAG.makeFieldRefNode(VarNode base, SparkField field)
          Finds or creates the FieldRefNode for base variable base and field field, of type type.
 boolean PAG.addSimpleEdge(VarNode from, VarNode to)
           
 boolean PAG.addStoreEdge(VarNode from, FieldRefNode to)
           
 boolean PAG.addLoadEdge(FieldRefNode from, VarNode to)
           
 boolean PAG.addAllocEdge(AllocNode from, VarNode to)
           
 void PAG.addDereference(VarNode base)
          Adds the base of a dereference to the list of dereferenced variables.
protected  void PAG2HTML.dumpVarNode(VarNode v, JarOutputStream jarOut)
           
protected  String PAG2HTML.varNodeReps(VarNode v)
           
protected  String PAG2HTML.varNode(String dirPrefix, VarNode vv)
           
 

Uses of VarNode in soot.jimple.spark.solver
 

Methods in soot.jimple.spark.solver with parameters of type VarNode
protected  void Checker.handleSimples(VarNode src)
           
protected  void Checker.handleStores(VarNode src)
           
protected  void MergeChecker.handleSimples(VarNode src)
           
protected  void MergeChecker.handleStores(VarNode src)
           
 void OnFlyCallGraph.updatedNode(VarNode vn)
           
protected  boolean PropAlias.handleVarNode(VarNode src)
          Propagates new points-to information of node src to all its successors.
protected  boolean PropIter.handleSimples(VarNode src)
           
protected  boolean PropIter.handleStores(VarNode src)
           
protected  boolean PropMerge.handleVarNode(VarNode src)
          Propagates new points-to information of node src to all its successors.
protected  boolean PropWorklist.handleVarNode(VarNode src)
          Propagates new points-to information of node src to all its successors.
protected  void SCCCollapser.dfsVisit(VarNode v, VarNode rootOfSCC)
           
protected  void TopoSorter.dfsVisit(VarNode n)