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

Packages that use AllocNode
soot.jimple.spark.ondemand   
soot.jimple.spark.ondemand.pautil   
soot.jimple.spark.pag   
soot.jimple.spark.solver   
soot.jimple.toolkits.thread.mhp   
soot.jimple.toolkits.thread.mhp.findobject   
 

Uses of AllocNode in soot.jimple.spark.ondemand
 

Fields in soot.jimple.spark.ondemand declared as AllocNode
 AllocNode AllocAndContext.alloc
           
 AllocNode AllocAndContext.alloc
           
 

Methods in soot.jimple.spark.ondemand with parameters of type AllocNode
 void DotPointerGraph.addNew(AllocNode from, VarNode to)
           
 void DotPointerGraph.addNew(AllocNode from, VarNode to)
           
protected  Set<VarNode> DemandCSPointsTo.computeFlowsTo(AllocNode alloc, HeuristicType heuristic)
          compute a flows-to set for an allocation site.
protected  Set<VarNode> DemandCSPointsTo.computeFlowsTo(AllocNode alloc, HeuristicType heuristic)
          compute a flows-to set for an allocation site.
protected  void DemandCSPointsTo.dumpPathForLoc(VarNode v, AllocNode badLoc, String filePrefix)
           
protected  void DemandCSPointsTo.dumpPathForLoc(VarNode v, AllocNode badLoc, String filePrefix)
           
abstract  void DemandCSPointsTo.IncomingEdgeHandler.handleAlloc(AllocNode allocNode, DemandCSPointsTo.VarAndContext origVarAndContext)
           
abstract  void DemandCSPointsTo.IncomingEdgeHandler.handleAlloc(AllocNode allocNode, DemandCSPointsTo.VarAndContext origVarAndContext)
           
 

Constructors in soot.jimple.spark.ondemand with parameters of type AllocNode
AllocAndContext(AllocNode alloc, ImmutableStack<Integer> context)
           
AllocAndContext(AllocNode alloc, ImmutableStack<Integer> context)
           
 

Uses of AllocNode in soot.jimple.spark.ondemand.pautil
 

Methods in soot.jimple.spark.ondemand.pautil with parameters of type AllocNode
 boolean AllocationSiteHandler.handleAllocationSite(AllocNode allocNode, ImmutableStack<Integer> callStack)
          handle a particular allocation site
 boolean AllocationSiteHandler.PointsToSetHandler.handleAllocationSite(AllocNode allocNode, ImmutableStack<Integer> callStack)
           
 boolean AllocationSiteHandler.CastCheckHandler.handleAllocationSite(AllocNode allocNode, ImmutableStack<Integer> callStack)
           
 boolean AllocationSiteHandler.VirtualCallHandler.handleAllocationSite(AllocNode allocNode, ImmutableStack<Integer> callStack)
           
 boolean AllocationSiteHandler.handleAllocationSite(AllocNode allocNode, ImmutableStack<Integer> callStack)
          handle a particular allocation site
 boolean AllocationSiteHandler.PointsToSetHandler.handleAllocationSite(AllocNode allocNode, ImmutableStack<Integer> callStack)
           
 boolean AllocationSiteHandler.CastCheckHandler.handleAllocationSite(AllocNode allocNode, ImmutableStack<Integer> callStack)
           
 boolean AllocationSiteHandler.VirtualCallHandler.handleAllocationSite(AllocNode allocNode, ImmutableStack<Integer> callStack)
           
 

Uses of AllocNode in soot.jimple.spark.pag
 

Subclasses of AllocNode in soot.jimple.spark.pag
 class ClassConstantNode
          Represents an allocation site node the represents a known java.lang.Class object.
 class StringConstantNode
          Represents an allocation site node the represents a constant string.
 

Fields in soot.jimple.spark.pag declared as AllocNode
protected  AllocNode AllocDotField.base
           
protected  AllocNode AllocDotField.base
           
 

Methods in soot.jimple.spark.pag that return AllocNode
 AllocNode AllocDotField.getBase()
          Returns the base AllocNode.
 AllocNode AllocDotField.getBase()
          Returns the base AllocNode.
 AllocNode PAG.makeAllocNode(Object newExpr, Type type, SootMethod m)
           
 AllocNode PAG.makeAllocNode(Object newExpr, Type type, SootMethod m)
           
 AllocNode PAG.makeClassConstantNode(ClassConstant cc)
           
 AllocNode PAG.makeClassConstantNode(ClassConstant cc)
           
 AllocNode PAG.makeStringConstantNode(String s)
           
 AllocNode PAG.makeStringConstantNode(String s)
           
 

Methods in soot.jimple.spark.pag with parameters of type AllocNode
 boolean PAG.addAllocEdge(AllocNode from, VarNode to)
           
 boolean PAG.addAllocEdge(AllocNode from, VarNode to)
           
 Node[] PAG.allocLookup(AllocNode key)
           
 Node[] PAG.allocLookup(AllocNode key)
           
 boolean PAG.doAddAllocEdge(AllocNode from, VarNode to)
           
 boolean PAG.doAddAllocEdge(AllocNode from, VarNode to)
           
 AllocDotField PAG.findAllocDotField(AllocNode an, SparkField field)
          Finds the AllocDotField for base AllocNode an and field field, or returns null.
 AllocDotField PAG.findAllocDotField(AllocNode an, SparkField field)
          Finds the AllocDotField for base AllocNode an and field field, or returns null.
 AllocDotField PAG.makeAllocDotField(AllocNode an, SparkField field)
          Finds or creates the AllocDotField for base variable baseValue and field field, of type t.
 AllocDotField PAG.makeAllocDotField(AllocNode an, SparkField field)
          Finds or creates the AllocDotField for base variable baseValue and field field, of type t.
static String PagToDotDumper.makeLabel(AllocNode n)
           
static String PagToDotDumper.makeLabel(AllocNode n)
           
 

Uses of AllocNode in soot.jimple.spark.solver
 

Methods in soot.jimple.spark.solver with parameters of type AllocNode
protected  void Checker.handleAllocNode(AllocNode src)
           
protected  void MergeChecker.handleAllocNode(AllocNode src)
           
protected  boolean PropAlias.handleAllocNode(AllocNode src)
          Propagates new points-to information of node src to all its successors.
protected  boolean PropIter.handleAllocNode(AllocNode src)
          Propagates new points-to information of node src to all its successors.
protected  boolean PropMerge.handleAllocNode(AllocNode src)
          Propagates new points-to information of node src to all its successors.
protected  boolean PropWorklist.handleAllocNode(AllocNode src)
          Propagates new points-to information of node src to all its successors.
protected  boolean PropWorklist.handleAllocNode(AllocNode src)
          Propagates new points-to information of node src to all its successors.
protected  boolean PropMerge.handleAllocNode(AllocNode src)
          Propagates new points-to information of node src to all its successors.
protected  boolean PropIter.handleAllocNode(AllocNode src)
          Propagates new points-to information of node src to all its successors.
protected  boolean PropAlias.handleAllocNode(AllocNode src)
          Propagates new points-to information of node src to all its successors.
protected  void MergeChecker.handleAllocNode(AllocNode src)
           
protected  void Checker.handleAllocNode(AllocNode src)
           
 

Uses of AllocNode in soot.jimple.toolkits.thread.mhp
 

Fields in soot.jimple.toolkits.thread.mhp with type parameters of type AllocNode
protected  Map<AllocNode,String> PegGraph.allocNodeToObj
           
protected  Map<AllocNode,String> PegGraph.allocNodeToObj
           
protected  Map<AllocNode,PegChain> PegGraph.allocNodeToThread
           
protected  Map<AllocNode,PegChain> PegGraph.allocNodeToThread
           
 

Methods in soot.jimple.toolkits.thread.mhp that return types with arguments of type AllocNode
protected  Map<AllocNode,String> PegGraph.getAllocNodeToObj()
           
protected  Map<AllocNode,String> PegGraph.getAllocNodeToObj()
           
 Map<AllocNode,PegChain> PegGraph.getAllocNodeToThread()
           
 Map<AllocNode,PegChain> PegGraph.getAllocNodeToThread()
           
 Map<Stmt,List<AllocNode>> StartJoinAnalysis.getStartToAllocNodes()
           
 Map<Stmt,List<AllocNode>> StartJoinFinder.getStartToAllocNodes()
           
 Map<Stmt,List<AllocNode>> StartJoinFinder.getStartToAllocNodes()
           
 Map<Stmt,List<AllocNode>> StartJoinAnalysis.getStartToAllocNodes()
           
 

Method parameters in soot.jimple.toolkits.thread.mhp with type arguments of type AllocNode
protected static PegGraph MhpTransformer.buildPeg(CallGraph callGraph, Hierarchy hierarchy, PAG pag, Set<Object> methodsNeedingInlining, Set<AllocNode> allocNodes, List inlineSites, Map synchObj, Set<AllocNode> multiRunAllocNodes, Map allocNodeToObj, Body body, SootMethod sm)
           
protected static PegGraph MhpTransformer.buildPeg(CallGraph callGraph, Hierarchy hierarchy, PAG pag, Set<Object> methodsNeedingInlining, Set<AllocNode> allocNodes, List inlineSites, Map synchObj, Set<AllocNode> multiRunAllocNodes, Map allocNodeToObj, Body body, SootMethod sm)
           
protected static PegGraph MhpTransformer.buildPeg(CallGraph callGraph, Hierarchy hierarchy, PAG pag, Set<Object> methodsNeedingInlining, Set<AllocNode> allocNodes, List inlineSites, Map synchObj, Set<AllocNode> multiRunAllocNodes, Map allocNodeToObj, Body body, SootMethod sm)
           
protected static PegGraph MhpTransformer.buildPeg(CallGraph callGraph, Hierarchy hierarchy, PAG pag, Set<Object> methodsNeedingInlining, Set<AllocNode> allocNodes, List inlineSites, Map synchObj, Set<AllocNode> multiRunAllocNodes, Map allocNodeToObj, Body body, SootMethod sm)
           
 

Constructor parameters in soot.jimple.toolkits.thread.mhp with type arguments of type AllocNode
PegGraph(CallGraph callGraph, Hierarchy hierarchy, PAG pag, Set<Object> methodsNeedingInlining, Set<AllocNode> allocNodes, List inlineSites, Map synchObj, Set<AllocNode> multiRunAllocNodes, Map allocNodeToObj, Body unitBody, SootMethod sm, boolean addExceptionEdges, boolean dontAddEdgeFromStmtBeforeAreaOfProtectionToCatchBlock)
          Constructs a graph for the units found in the provided Body instance.
PegGraph(CallGraph callGraph, Hierarchy hierarchy, PAG pag, Set<Object> methodsNeedingInlining, Set<AllocNode> allocNodes, List inlineSites, Map synchObj, Set<AllocNode> multiRunAllocNodes, Map allocNodeToObj, Body unitBody, SootMethod sm, boolean addExceptionEdges, boolean dontAddEdgeFromStmtBeforeAreaOfProtectionToCatchBlock)
          Constructs a graph for the units found in the provided Body instance.
PegGraph(CallGraph callGraph, Hierarchy hierarchy, PAG pag, Set<Object> methodsNeedingInlining, Set<AllocNode> allocNodes, List inlineSites, Map synchObj, Set<AllocNode> multiRunAllocNodes, Map allocNodeToObj, Body unitBody, SootMethod sm, boolean addExceptionEdges, boolean dontAddEdgeFromStmtBeforeAreaOfProtectionToCatchBlock)
          Constructs a graph for the units found in the provided Body instance.
PegGraph(CallGraph callGraph, Hierarchy hierarchy, PAG pag, Set<Object> methodsNeedingInlining, Set<AllocNode> allocNodes, List inlineSites, Map synchObj, Set<AllocNode> multiRunAllocNodes, Map allocNodeToObj, Body unitBody, SootMethod sm, boolean addExceptionEdges, boolean dontAddEdgeFromStmtBeforeAreaOfProtectionToCatchBlock)
          Constructs a graph for the units found in the provided Body instance.
PegGraph(CallGraph callGraph, Hierarchy hierarchy, PAG pag, Set methodsNeedingInlining, Set allocNodes, List<List> inlineSites, Map<SootMethod,String> synchObj, Set multiRunAllocNodes, Map<AllocNode,String> allocNodeToObj, Body unitBody, String threadName, SootMethod sm, boolean addExceEdge, boolean dontAddEdgeFromStmtBeforeAreaOfProtectionToCatchBlock)
          Constructs a graph for the units found in the provided Body instance.
PegGraph(CallGraph callGraph, Hierarchy hierarchy, PAG pag, Set methodsNeedingInlining, Set allocNodes, List<List> inlineSites, Map<SootMethod,String> synchObj, Set multiRunAllocNodes, Map<AllocNode,String> allocNodeToObj, Body unitBody, String threadName, SootMethod sm, boolean addExceEdge, boolean dontAddEdgeFromStmtBeforeAreaOfProtectionToCatchBlock)
          Constructs a graph for the units found in the provided Body instance.
 

Uses of AllocNode in soot.jimple.toolkits.thread.mhp.findobject
 

Methods in soot.jimple.toolkits.thread.mhp.findobject that return types with arguments of type AllocNode
 Set<AllocNode> AllocNodesFinder.getAllocNodes()
           
 Set<AllocNode> AllocNodesFinder.getAllocNodes()
           
 Set<AllocNode> AllocNodesFinder.getMultiRunAllocNodes()
           
 Set<AllocNode> AllocNodesFinder.getMultiRunAllocNodes()