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

Packages that use AllocNode

soot.jimple.spark.geom.geomE
soot.jimple.spark.geom.geomPA
soot.jimple.spark.geom.heapinsE
soot.jimple.spark.geom.ptinsE
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.geom.geomE

Fields in soot.jimple.spark.geom.geomE with type parameters of type AllocNode

Map<AllocNode,GeometricManager>	FullSensitiveNode.new_pts
Map<AllocNode,GeometricManager>	FullSensitiveNode.new_pts
Map<AllocNode,GeometricManager>	FullSensitiveNode.pt_objs
Map<AllocNode,GeometricManager>	FullSensitiveNode.pt_objs

Methods in soot.jimple.spark.geom.geomE that return types with arguments of type AllocNode

Set<AllocNode>	FullSensitiveNode.get_all_points_to_objects()
Set<AllocNode>	FullSensitiveNode.get_all_points_to_objects()

Methods in soot.jimple.spark.geom.geomE with parameters of type AllocNode

boolean	FullSensitiveNode.add_points_to_3(AllocNode obj, long I1, long I2, long L)
boolean	FullSensitiveNode.add_points_to_3(AllocNode obj, long I1, long I2, long L)
boolean	FullSensitiveNode.add_points_to_4(AllocNode obj, long I1, long I2, long L1, long L2)
boolean	FullSensitiveNode.add_points_to_4(AllocNode obj, long I1, long I2, long L1, long L2)
boolean	FullSensitiveNode.add_points_to_tuple(int code, AllocNode obj)
boolean	FullSensitiveNode.add_points_to_tuple(int code, AllocNode obj)
int	FullSensitiveNode.count_pts_intervals(AllocNode obj)
int	FullSensitiveNode.count_pts_intervals(AllocNode obj)
boolean	FullSensitiveNode.pointer_interval_points_to(long l, long r, AllocNode obj)
boolean	FullSensitiveNode.pointer_interval_points_to(long l, long r, AllocNode obj)
boolean	FullSensitiveNode.pointer_sensitive_points_to(long context, AllocNode obj)
boolean	FullSensitiveNode.pointer_sensitive_points_to(long context, AllocNode obj)
void	FullSensitiveNode.remove_points_to(AllocNode obj)
void	FullSensitiveNode.remove_points_to(AllocNode obj)

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

Methods in soot.jimple.spark.geom.geomPA that return types with arguments of type AllocNode

Set<AllocNode>	DummyNode.get_all_points_to_objects()
abstract Set<AllocNode>	IVarAbstraction.get_all_points_to_objects()
abstract Set<AllocNode>	IVarAbstraction.get_all_points_to_objects()
Set<AllocNode>	DummyNode.get_all_points_to_objects()

Methods in soot.jimple.spark.geom.geomPA with parameters of type AllocNode

boolean	DummyNode.add_points_to_3(AllocNode obj, long I1, long I2, long L)
abstract boolean	IVarAbstraction.add_points_to_3(AllocNode obj, long I1, long I2, long L)
abstract boolean	IVarAbstraction.add_points_to_3(AllocNode obj, long I1, long I2, long L)
boolean	DummyNode.add_points_to_3(AllocNode obj, long I1, long I2, long L)
boolean	DummyNode.add_points_to_4(AllocNode obj, long I1, long I2, long L1, long L2)
abstract boolean	IVarAbstraction.add_points_to_4(AllocNode obj, long I1, long I2, long L1, long L2)
abstract boolean	IVarAbstraction.add_points_to_4(AllocNode obj, long I1, long I2, long L1, long L2)
boolean	DummyNode.add_points_to_4(AllocNode obj, long I1, long I2, long L1, long L2)
int	DummyNode.count_pts_intervals(AllocNode obj)
abstract int	IVarAbstraction.count_pts_intervals(AllocNode obj)
abstract int	IVarAbstraction.count_pts_intervals(AllocNode obj)
int	DummyNode.count_pts_intervals(AllocNode obj)
IVarAbstraction	GeomPointsTo.findAndInsertInstanceField(AllocNode obj, SparkField field)
IVarAbstraction	GeomPointsTo.findAndInsertInstanceField(AllocNode obj, SparkField field)
boolean	DummyNode.pointer_interval_points_to(long l, long r, AllocNode obj)
abstract boolean	IVarAbstraction.pointer_interval_points_to(long l, long r, AllocNode obj)
abstract boolean	IVarAbstraction.pointer_interval_points_to(long l, long r, AllocNode obj)
boolean	DummyNode.pointer_interval_points_to(long l, long r, AllocNode obj)
boolean	DummyNode.pointer_sensitive_points_to(long context, AllocNode obj)
abstract boolean	IVarAbstraction.pointer_sensitive_points_to(long context, AllocNode obj)
abstract boolean	IVarAbstraction.pointer_sensitive_points_to(long context, AllocNode obj)
boolean	DummyNode.pointer_sensitive_points_to(long context, AllocNode obj)
PointsToSet	GeomPointsTo.reachingObjects(AllocNode an, SootField f)
PointsToSet	GeomPointsTo.reachingObjects(AllocNode an, SootField f)
void	DummyNode.remove_points_to(AllocNode obj)
abstract void	IVarAbstraction.remove_points_to(AllocNode obj)
abstract void	IVarAbstraction.remove_points_to(AllocNode obj)
void	DummyNode.remove_points_to(AllocNode obj)

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

Fields in soot.jimple.spark.geom.heapinsE with type parameters of type AllocNode

Map<AllocNode,HeapInsIntervalManager>	HeapInsNode.new_pts
Map<AllocNode,HeapInsIntervalManager>	HeapInsNode.new_pts
HashMap<AllocNode,HeapInsIntervalManager>	HeapInsNode.pt_objs
HashMap<AllocNode,HeapInsIntervalManager>	HeapInsNode.pt_objs

Methods in soot.jimple.spark.geom.heapinsE that return types with arguments of type AllocNode

Set<AllocNode>	HeapInsNode.get_all_points_to_objects()
Set<AllocNode>	HeapInsNode.get_all_points_to_objects()

Methods in soot.jimple.spark.geom.heapinsE with parameters of type AllocNode

boolean	HeapInsNode.add_points_to_3(AllocNode obj, long I1, long I2, long L)
boolean	HeapInsNode.add_points_to_3(AllocNode obj, long I1, long I2, long L)
boolean	HeapInsNode.add_points_to_4(AllocNode obj, long I1, long I2, long L1, long L2)
boolean	HeapInsNode.add_points_to_4(AllocNode obj, long I1, long I2, long L1, long L2)
int	HeapInsNode.count_pts_intervals(AllocNode obj)
int	HeapInsNode.count_pts_intervals(AllocNode obj)
boolean	HeapInsNode.pointer_interval_points_to(long l, long r, AllocNode obj)
boolean	HeapInsNode.pointer_interval_points_to(long l, long r, AllocNode obj)
boolean	HeapInsNode.pointer_sensitive_points_to(long context, AllocNode obj)
boolean	HeapInsNode.pointer_sensitive_points_to(long context, AllocNode obj)
void	HeapInsNode.remove_points_to(AllocNode obj)
void	HeapInsNode.remove_points_to(AllocNode obj)

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

Fields in soot.jimple.spark.geom.ptinsE with type parameters of type AllocNode

Map<AllocNode,PtInsIntervalManager>	PtInsNode.new_pts
Map<AllocNode,PtInsIntervalManager>	PtInsNode.new_pts
Map<AllocNode,PtInsIntervalManager>	PtInsNode.pt_objs
Map<AllocNode,PtInsIntervalManager>	PtInsNode.pt_objs

Methods in soot.jimple.spark.geom.ptinsE that return types with arguments of type AllocNode

Set<AllocNode>	PtInsNode.get_all_points_to_objects()
Set<AllocNode>	PtInsNode.get_all_points_to_objects()

Methods in soot.jimple.spark.geom.ptinsE with parameters of type AllocNode

boolean	PtInsNode.add_points_to_3(AllocNode obj, long I1, long I2, long L)
boolean	PtInsNode.add_points_to_3(AllocNode obj, long I1, long I2, long L)
boolean	PtInsNode.add_points_to_4(AllocNode obj, long I1, long I2, long L1, long L2)
boolean	PtInsNode.add_points_to_4(AllocNode obj, long I1, long I2, long L1, long L2)
int	PtInsNode.count_pts_intervals(AllocNode obj)
int	PtInsNode.count_pts_intervals(AllocNode obj)
boolean	PtInsNode.pointer_interval_points_to(long l, long r, AllocNode obj)
boolean	PtInsNode.pointer_interval_points_to(long l, long r, AllocNode obj)
boolean	PtInsNode.pointer_sensitive_points_to(long context, AllocNode obj)
boolean	PtInsNode.pointer_sensitive_points_to(long context, AllocNode obj)
void	PtInsNode.remove_points_to(AllocNode obj)
void	PtInsNode.remove_points_to(AllocNode obj)

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()

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()