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

Packages that use AllocNode

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

Modifier and Type	Field	Description
Map<AllocNode,GeometricManager>	FullSensitiveNode.new_pts
Map<AllocNode,GeometricManager>	FullSensitiveNode.pt_objs

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

Modifier and Type	Method	Description
Set<AllocNode>	FullSensitiveNode.get_all_points_to_objects()

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

Modifier and Type	Method	Description
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)
int	FullSensitiveNode.count_pts_intervals(AllocNode obj)
boolean	FullSensitiveNode.isDeadObject(AllocNode obj)
boolean	FullSensitiveNode.pointer_interval_points_to(long l, long r, 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

Modifier and Type	Method	Description
Set<AllocNode>	DummyNode.get_all_points_to_objects()
abstract Set<AllocNode>	IVarAbstraction.get_all_points_to_objects()	Obtain context insensitive points-to result (by removing contexts).

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

Modifier and Type	Method	Description
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)
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)
int	DummyNode.count_pts_intervals(AllocNode obj)
abstract int	IVarAbstraction.count_pts_intervals(AllocNode obj)
IVarAbstraction	GeomPointsTo.findAndInsertInstanceField(AllocNode obj, SparkField field)	Obtain or create an internal representation of an object field.
IVarAbstraction	GeomPointsTo.findInstanceField(AllocNode obj, SparkField field)	Obtain the internal representation of an object field.
boolean	DummyNode.isDeadObject(AllocNode obj)
abstract boolean	IVarAbstraction.isDeadObject(AllocNode obj)	Test if the particular object has been obsoleted.
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)	Test if the pointer in the context range [l, R) points to object obj.
PointsToSet	GeomPointsTo.reachingObjects(AllocNode an, SootField f)
void	DummyNode.remove_points_to(AllocNode obj)
abstract void	IVarAbstraction.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

Modifier and Type	Field	Description
Map<AllocNode,HeapInsIntervalManager>	HeapInsNode.new_pts
HashMap<AllocNode,HeapInsIntervalManager>	HeapInsNode.pt_objs

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

Modifier and Type	Method	Description
Set<AllocNode>	HeapInsNode.get_all_points_to_objects()

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

Modifier and Type	Method	Description
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)
int	HeapInsNode.count_pts_intervals(AllocNode obj)
boolean	HeapInsNode.isDeadObject(AllocNode obj)
boolean	HeapInsNode.pointer_interval_points_to(long l, long r, 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

Modifier and Type	Field	Description
Map<AllocNode,PtInsIntervalManager>	PtInsNode.new_pts	Deprecated.
Map<AllocNode,PtInsIntervalManager>	PtInsNode.pt_objs	Deprecated.

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

Modifier and Type	Method	Description
Set<AllocNode>	PtInsNode.get_all_points_to_objects()	Deprecated.

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

Modifier and Type	Method	Description
boolean	PtInsNode.add_points_to_3(AllocNode obj, long I1, long I2, long L)	Deprecated.
boolean	PtInsNode.add_points_to_4(AllocNode obj, long I1, long I2, long L1, long L2)	Deprecated.
int	PtInsNode.count_pts_intervals(AllocNode obj)	Deprecated.
boolean	PtInsNode.isDeadObject(AllocNode obj)	Deprecated.
boolean	PtInsNode.pointer_interval_points_to(long l, long r, AllocNode obj)	Deprecated.
void	PtInsNode.remove_points_to(AllocNode obj)	Deprecated.

Uses of AllocNode in soot.jimple.spark.internal

Fields in soot.jimple.spark.internal with type parameters of type AllocNode

Modifier and Type	Field	Description
protected QueueReader<AllocNode>	TypeManager.allocNodeListener

Uses of AllocNode in soot.jimple.spark.ondemand

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

Modifier and Type	Field	Description
AllocNode	AllocAndContext.alloc

Methods in soot.jimple.spark.ondemand with parameters of type AllocNode

Modifier and Type	Method	Description
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 void	DemandCSPointsTo.dumpPathForLoc(VarNode v, AllocNode badLoc, String filePrefix)
abstract void	DemandCSPointsTo.IncomingEdgeHandler.handleAlloc(AllocNode allocNode, DemandCSPointsTo.VarAndContext origVarAndContext)

Constructors in soot.jimple.spark.ondemand with parameters of type AllocNode

Constructor	Description
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

Modifier and Type	Method	Description
boolean	AllocationSiteHandler.CastCheckHandler.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.VirtualCallHandler.handleAllocationSite(AllocNode allocNode, ImmutableStack<Integer> callStack)

Uses of AllocNode in soot.jimple.spark.pag

Subclasses of AllocNode in soot.jimple.spark.pag

Modifier and Type	Class	Description
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

Modifier and Type	Field	Description
protected AllocNode	AllocDotField.base

Fields in soot.jimple.spark.pag with type parameters of type AllocNode

Modifier and Type	Field	Description
protected Map<AllocNode,Object>	PAG.alloc
protected ArrayNumberer<AllocNode>	PAG.allocNodeNumberer

Methods in soot.jimple.spark.pag that return AllocNode

Modifier and Type	Method	Description
AllocNode	AllocDotField.getBase()	Returns the base AllocNode.
AllocNode	PAG.makeAllocNode(Object newExpr, Type type, SootMethod m)
AllocNode	PAG.makeClassConstantNode(ClassConstant cc)
AllocNode	PAG.makeStringConstantNode(String s)

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

Modifier and Type	Method	Description
QueueReader<AllocNode>	PAG.allocNodeListener()
Set<AllocNode>	PAG.allocSources()
Iterator<AllocNode>	PAG.allocSourcesIterator()
ArrayNumberer<AllocNode>	PAG.getAllocNodeNumberer()

Methods in soot.jimple.spark.pag with parameters of type AllocNode

Modifier and Type	Method	Description
boolean	PAG.addAllocEdge(AllocNode from, VarNode to)
Node[]	PAG.allocLookup(AllocNode key)
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.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)

Uses of AllocNode in soot.jimple.spark.solver

Methods in soot.jimple.spark.solver with parameters of type AllocNode

Modifier and Type	Method	Description
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.

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

Fields in soot.jimple.toolkits.thread.mhp with type parameters of type AllocNode

Modifier and Type	Field	Description
protected Map<AllocNode,String>	PegGraph.allocNodeToObj
protected Map<AllocNode,PegChain>	PegGraph.allocNodeToThread

Methods in soot.jimple.toolkits.thread.mhp that return types with arguments of type AllocNode

Modifier and Type	Method	Description
protected Map<AllocNode,String>	PegGraph.getAllocNodeToObj()
Map<AllocNode,PegChain>	PegGraph.getAllocNodeToThread()
Map<Stmt,List<AllocNode>>	StartJoinAnalysis.getStartToAllocNodes()
Map<Stmt,List<AllocNode>>	StartJoinFinder.getStartToAllocNodes()

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

Modifier and Type	Method	Description
Set<AllocNode>	AllocNodesFinder.getAllocNodes()
Set<AllocNode>	AllocNodesFinder.getMultiRunAllocNodes()