Uses of Class
qilin.core.pag.AllocNode

Packages that use AllocNode

Package	Description
qilin.core
qilin.core.builder
qilin.core.context
qilin.core.pag	Points-to analysis graph (PAG) data structures, based on Soot/jimple/spark/pag with significant modifications.
qilin.core.solver
qilin.parm.heapabstraction
qilin.parm.select
qilin.pta.toolkits.bean
qilin.pta.toolkits.common
qilin.pta.toolkits.conch
qilin.pta.toolkits.dd
qilin.pta.toolkits.debloaterx
qilin.pta.toolkits.eagle
qilin.pta.toolkits.mahjong
qilin.pta.toolkits.mahjong.automata
qilin.pta.toolkits.moon
qilin.pta.toolkits.moon.graph
qilin.pta.toolkits.moon.objcollection
qilin.pta.toolkits.moon.support
qilin.pta.toolkits.moon.traversal
qilin.pta.toolkits.selectx
qilin.pta.toolkits.turner
qilin.pta.toolkits.zipper.analysis
qilin.pta.toolkits.zipper.flowgraph
qilin.pta.tools
qilin.util
qilin.util.sets	Points-to set data structures reused from Spark in Soot, with plans for more memory-efficient replacements in the future.

Uses of AllocNode in qilin.core

Fields in qilin.core declared as AllocNode

Modifier and Type	Field	Description
protected AllocNode	PTA.rootNode

Methods in qilin.core that return AllocNode

Modifier and Type	Method	Description
AllocNode	CorePTA.getRootNode()
abstract AllocNode	PTA.getRootNode()

Methods in qilin.core with parameters of type AllocNode

Modifier and Type	Method	Description
Context	CorePTA.createCalleeContext(ContextMethod caller, AllocNode receiverNode, CallSite callSite, SootMethod target)
abstract Context	PTA.createCalleeContext(ContextMethod caller, AllocNode receiverNode, CallSite callSite, SootMethod target)
ContextAllocNode	CorePTA.parameterize(AllocNode node, Context context)
PointsToSet	PTA.reachingObjectsInternal(AllocNode heap, SparkField f)

Uses of AllocNode in qilin.core.builder

Methods in qilin.core.builder with parameters of type AllocNode

Modifier and Type	Method	Description
protected void	CallGraphBuilder.dispatch(AllocNode receiverNode, VirtualCallSite site)
void	ExceptionHandler.dispatch(AllocNode throwObj, ExceptionThrowSite site)

Uses of AllocNode in qilin.core.context

Methods in qilin.core.context with parameters of type AllocNode

Modifier and Type	Method	Description
static TypeContextElement	TypeContextElement.getTypeContextElement(AllocNode a)

Uses of AllocNode in qilin.core.pag

Subclasses of AllocNode in qilin.core.pag

Modifier and Type	Class	Description
class	ClassConstantNode	Represents an allocation site node the represents a known java.lang.Class object.
class	ConstantNode
class	ContextAllocNode
class	LambdaAllocNode	An allocation site standing in for the object a LambdaMetafactory-bootstrapped invokedynamic call site produces (a lambda or method reference).
class	StringConstantNode	Represents an allocation site node the represents a constant string.

Fields in qilin.core.pag with type parameters of type AllocNode

Modifier and Type	Field	Description
protected final Map<AllocNode,Set<VarNode>>	PAG.alloc
protected final Map<VarNode,Set<AllocNode>>	PAG.allocInv
protected ArrayNumberer<AllocNode>	PAG.allocNodeNumberer
protected final Map<AllocNode,Map<Context,ContextAllocNode>>	PAG.contextAllocNodeMap
protected final Map<Object,AllocNode>	PAG.valToAllocNode

Methods in qilin.core.pag that return AllocNode

Modifier and Type	Method	Description
AllocNode	AllocNode.base()
AllocNode	ContextAllocNode.base()
AllocNode	PAG.findAllocNode(Object obj)
AllocNode	PAG.getAllocNode(Object val)
AllocNode	ContextField.getBase()
AllocNode	PAG.makeAllocNode(Object newExpr, Type type, SootMethod m)
AllocNode	PAG.makeClassConstantNode(ClassConstant cc)
AllocNode	PAG.makeStringConstantNode(StringConstant sc)

Methods in qilin.core.pag that return types with arguments of type AllocNode

Modifier and Type	Method	Description
Set<AllocNode>	PAG.allocInvLookup(VarNode key)
Map<AllocNode,Set<VarNode>>	PAG.getAlloc()
ArrayNumberer<AllocNode>	PAG.getAllocNodeNumberer()
Collection<AllocNode>	PAG.getAllocNodes()
Map<AllocNode,Map<Context,ContextAllocNode>>	PAG.getContextAllocNodeMap()

Methods in qilin.core.pag with parameters of type AllocNode

Modifier and Type	Method	Description
Set<VarNode>	PAG.allocLookup(AllocNode key)
ContextAllocNode	PAG.makeContextAllocNode(AllocNode allocNode, Context context)	Finds or creates the ContextAllocNode for base alloc site and context.
ContextAllocNode	Parameterizer.parameterize(AllocNode node, Context context)

Constructors in qilin.core.pag with parameters of type AllocNode

Modifier	Constructor	Description
	ContextAllocNode(AllocNode base, Context context)

Uses of AllocNode in qilin.core.solver

Methods in qilin.core.solver with parameters of type AllocNode

Modifier and Type	Method	Description
protected void	Solver.propagatePTS(ValNode pointer, AllocNode heap)

Uses of AllocNode in qilin.parm.heapabstraction

Methods in qilin.parm.heapabstraction that return AllocNode

Modifier and Type	Method	Description
AllocNode	AllocSiteAbstractor.abstractHeap(AllocNode heap)
AllocNode	HeapAbstractor.abstractHeap(AllocNode heap)
AllocNode	HeuristicAbstractor.abstractHeap(AllocNode heap)
AllocNode	MahjongAbstractor.abstractHeap(AllocNode heap)

Methods in qilin.parm.heapabstraction with parameters of type AllocNode

Modifier and Type	Method	Description
AllocNode	AllocSiteAbstractor.abstractHeap(AllocNode heap)
AllocNode	HeapAbstractor.abstractHeap(AllocNode heap)
AllocNode	HeuristicAbstractor.abstractHeap(AllocNode heap)
AllocNode	MahjongAbstractor.abstractHeap(AllocNode heap)

Uses of AllocNode in qilin.parm.select

Methods in qilin.parm.select with parameters of type AllocNode

Modifier and Type	Method	Description
Context	BeanSelector.select(AllocNode heap, Context context)
abstract Context	ContextSelector.select(AllocNode heap, Context context)
Context	DebloatingSelector.select(AllocNode heap, Context context)
Context	FullMethodLevelSelector.select(AllocNode heap, Context context)
Context	HeuristicSelector.select(AllocNode heap, Context context)
Context	InsensitiveSelector.select(AllocNode heap, Context context)
Context	PartialMethodLevelSelector.select(AllocNode heap, Context context)
Context	PartialVariableSelector.select(AllocNode heap, Context context)
Context	PipelineSelector.select(AllocNode heap, Context context)
Context	UniformSelector.select(AllocNode heap, Context context)
Context	VariableLevelSelector.select(AllocNode heap, Context context)

Uses of AllocNode in qilin.pta.toolkits.bean

Fields in qilin.pta.toolkits.bean with type parameters of type AllocNode

Modifier and Type	Field	Description
protected Map<Pair<ContextElements,AllocNode>,Set<Pair<ContextElements,AllocNode>>>	ContextSelector.allocation
protected Map<Pair<ContextElements,AllocNode>,Set<Pair<ContextElements,AllocNode>>>	ContextSelector.allocation
protected Map<AllocNode,Set<ContextElements>>	ContextSelector.contextMap

Methods in qilin.pta.toolkits.bean that return types with arguments of type AllocNode

Modifier and Type	Method	Description
Set<Pair<ContextElements,AllocNode>>	ContextSelector.allocatedBy(ContextElements ctx, AllocNode heap)

Methods in qilin.pta.toolkits.bean with parameters of type AllocNode

Modifier and Type	Method	Description
protected void	ContextSelector.addAllocation(ContextElements ctx, AllocNode heap, ContextElements newContext, AllocNode succ)
Set<Pair<ContextElements,AllocNode>>	ContextSelector.allocatedBy(ContextElements ctx, AllocNode heap)
Set<ContextElements>	ContextSelector.contextsOf(AllocNode heap)

Uses of AllocNode in qilin.pta.toolkits.common

Fields in qilin.pta.toolkits.common with type parameters of type AllocNode

Modifier and Type	Field	Description
protected final Set<AllocNode>	OAG.nodes
protected final Map<AllocNode,Set<AllocNode>>	OAG.predecessors
protected final Map<AllocNode,Set<AllocNode>>	OAG.predecessors
protected Collection<AllocNode>	OAG.rootNodes
protected final Map<AllocNode,Set<AllocNode>>	OAG.successors
protected final Map<AllocNode,Set<AllocNode>>	OAG.successors
protected Collection<AllocNode>	OAG.tailNodes

Methods in qilin.pta.toolkits.common that return types with arguments of type AllocNode

Modifier and Type	Method	Description
Collection<AllocNode>	OAG.allNodes()
Set<AllocNode>	FieldPointstoGraph.getAllObjs()
Set<AllocNode>	OAG.getPredsOf(AllocNode n)
Set<AllocNode>	OAG.getSuccsOf(AllocNode n)
Set<AllocNode>	FieldPointstoGraph.pointedBy(AllocNode obj, SparkField field)
Set<AllocNode>	FieldPointstoGraph.pointsTo(AllocNode baseObj, SparkField field)
Collection<AllocNode>	OAG.predsOf(AllocNode p)
Collection<AllocNode>	OAG.rootNodes()
Collection<AllocNode>	OAG.succsOf(AllocNode p)
Collection<AllocNode>	OAG.tailNodes()

Methods in qilin.pta.toolkits.common with parameters of type AllocNode

Modifier and Type	Method	Description
protected void	DebloatedOAG.addEdge(AllocNode src, AllocNode tgt)
protected void	OAG.addEdge(AllocNode src, AllocNode tgt)	Add a directed object allocation edge to the OAG.
int	OAG.getInDegreeOf(AllocNode n)
Set<AllocNode>	OAG.getPredsOf(AllocNode n)
Set<AllocNode>	OAG.getSuccsOf(AllocNode n)
boolean	FieldPointstoGraph.hasFieldPointer(AllocNode obj, SparkField field)
Set<SparkField>	FieldPointstoGraph.inFieldsOf(AllocNode obj)
Set<SparkField>	FieldPointstoGraph.outFieldsOf(AllocNode baseObj)
Set<AllocNode>	FieldPointstoGraph.pointedBy(AllocNode obj, SparkField field)
Set<AllocNode>	FieldPointstoGraph.pointsTo(AllocNode baseObj, SparkField field)
Collection<AllocNode>	OAG.predsOf(AllocNode p)
boolean	OAG.reaches(AllocNode source, AllocNode dest)
Collection<AllocNode>	OAG.succsOf(AllocNode p)

Constructor parameters in qilin.pta.toolkits.common with type arguments of type AllocNode

Modifier	Constructor	Description
	DebloatedOAG(PTA prePta, Set<AllocNode> ctxDepHeaps)

Uses of AllocNode in qilin.pta.toolkits.conch

Fields in qilin.pta.toolkits.conch with type parameters of type AllocNode

Modifier and Type	Field	Description
protected final Map<AllocNode,Set<SootMethod>>	AbstractConch.invokedMethods	Maps each allocation node to the set of methods invoked on it.
protected final Map<AllocNode,Set<SparkField>>	AbstractConch.o2fs	Maps each allocation node to the set of fields accessed on it.
protected final Map<AllocNode,Map<SparkField,Set<VarNode>>>	AbstractConch.o2nonThisFLoads	Maps each allocation node to non-this field loads: field → load_base nodes.
protected final Map<AllocNode,Map<SparkField,Set<Pair<VarNode,VarNode>>>>	AbstractConch.o2nonThisFStores	Maps each allocation node to non-this field stores: field → (store_base, source).
protected final Map<SootMethod,Map<Stmt,AllocNode>>	AbstractPAG.symbolicHeaps

Methods in qilin.pta.toolkits.conch that return AllocNode

Modifier and Type	Method	Description
protected AllocNode	AbstractPAG.getSymbolicHeapOf(SootMethod method, Stmt invokeStmt)

Methods in qilin.pta.toolkits.conch that return types with arguments of type AllocNode

Modifier and Type	Method	Description
Set<AllocNode>	Conch.ctxDependentHeaps2()
Set<AllocNode>	Conch.ctxIndenpendentHeaps()
Set<AllocNode>	CSDG.noOutDegreeNodes()

Methods in qilin.pta.toolkits.conch with parameters of type AllocNode

Modifier and Type	Method	Description
protected void	AbstractPAG.addNewEdge(AllocNode from, LocalVarNode to)
protected void	DepOnParamAnalysis.addNewEdge(AllocNode from, LocalVarNode to)
protected void	LeakAnalysis.addNewEdge(AllocNode from, LocalVarNode to)
protected boolean	AbstractConch.emptyFieldPts(AllocNode heap, SparkField field)	Returns true if the points-to set for the given field on the given heap node is empty.
protected boolean	AbstractConch.hasLoadOn(AllocNode heap, SparkField field)	Returns true if the given field of the given heap node has at least one load operation.
protected boolean	AbstractConch.hasStoreOn(AllocNode heap, SparkField field)	Returns true if the given field of the given heap node has at least one store operation.
boolean	LeakAnalysis.isLeakObject(AllocNode heap)
void	CSDG.removeNode(AllocNode to)

Uses of AllocNode in qilin.pta.toolkits.dd

Methods in qilin.pta.toolkits.dd with parameters of type AllocNode

Modifier and Type	Method	Description
Context	DataDrivenSelector.select(AllocNode heap, Context context)

Uses of AllocNode in qilin.pta.toolkits.debloaterx

Fields in qilin.pta.toolkits.debloaterx with type parameters of type AllocNode

Modifier and Type	Field	Description
protected final Set<AllocNode>	DebloaterX.containerFactory
protected final Set<AllocNode>	DebloaterX.containerWrapper
protected final Set<AllocNode>	CollectionHeuristic.ctxDepHeaps
protected final Set<AllocNode>	DebloaterX.ctxDepHeaps
protected final Set<AllocNode>	DebloaterX.innerContainer
protected final Map<SootMethod,Set<AllocNode>>	XUtility.m2receiverObjects
protected final Map<AllocNode,Set<SparkField>>	XUtility.o2Fields
protected final Map<AllocNode,HeapContainerQuery>	XUtility.o2HCQ
protected final Map<AllocNode,Set<SootMethod>>	XUtility.o2InvokedMethods
protected final Map<AllocNode,Map<SparkField,Set<VarNode>>>	XUtility.o2nonThisFLoads
protected final Map<AllocNode,Map<SparkField,Set<VarNode>>>	XUtility.o2nonThisFStores

Methods in qilin.pta.toolkits.debloaterx that return types with arguments of type AllocNode

Modifier and Type	Method	Description
Set<AllocNode>	CollectionHeuristic.getContextDepHeaps()
Set<AllocNode>	DebloaterX.getContextDepHeaps()
Set<AllocNode>	XUtility.getReceiverObjects(SootMethod method)

Methods in qilin.pta.toolkits.debloaterx with parameters of type AllocNode

Modifier and Type	Method	Description
protected void	XPAG.addNewEdge(AllocNode from, LocalVarNode to)
Set<SparkField>	XUtility.getFields(AllocNode heap)
HeapContainerQuery	XUtility.getHCQ(AllocNode heap)
Set<SootMethod>	XUtility.getInvokedMethods(AllocNode heap)
boolean	XUtility.hasNonThisLoadFromField(AllocNode heap, SparkField field)
boolean	XUtility.hasNonThisStoreOnField(AllocNode heap, SparkField field)
boolean	ContainerFinder.isAContainer(AllocNode heap)
boolean	IntraFlowAnalysis.isContentFromParam(AllocNode heap)
boolean	IntraFlowAnalysis.isDirectlyReturnedHeap(AllocNode heap)
Set<SparkField>	IntraFlowAnalysis.retrieveStoreFields(AllocNode heap)

Constructors in qilin.pta.toolkits.debloaterx with parameters of type AllocNode

Modifier	Constructor	Description
	HeapContainerQuery(XUtility utility, AllocNode heap)

Uses of AllocNode in qilin.pta.toolkits.eagle

Methods in qilin.pta.toolkits.eagle with parameters of type AllocNode

Modifier and Type	Method	Description
void	Eagle.addHloadEdge(AllocNode baseObj, Object to)
void	Eagle.addHstoreEdge(Object from, AllocNode baseObj)
void	Eagle.addNewEdge(AllocNode from, LocalVarNode to)
protected void	Eagle.addParamEdges(AllocNode o, LocalVarNode thisRef, LocalVarNode[] parms, LocalVarNode mret, LocalVarNode mThrow)

Uses of AllocNode in qilin.pta.toolkits.mahjong

Methods in qilin.pta.toolkits.mahjong that return types with arguments of type AllocNode

Modifier and Type	Method	Description
Map<AllocNode,AllocNode>	HeapAbstraction.computeMergedObjectMap()
Map<AllocNode,AllocNode>	HeapAbstraction.computeMergedObjectMap()

Method parameters in qilin.pta.toolkits.mahjong with type arguments of type AllocNode

Modifier and Type	Method	Description
static void	Mahjong.outputStatistics(FieldPointstoGraph fpg, Map<AllocNode,AllocNode> mom)
static void	Mahjong.outputStatistics(FieldPointstoGraph fpg, Map<AllocNode,AllocNode> mom)

Uses of AllocNode in qilin.pta.toolkits.mahjong.automata

Methods in qilin.pta.toolkits.mahjong.automata that return AllocNode

Modifier and Type	Method	Description
AllocNode	NFA.getDeadState()
AllocNode	NFA.getStartState()

Methods in qilin.pta.toolkits.mahjong.automata that return types with arguments of type AllocNode

Modifier and Type	Method	Description
Set<AllocNode>	DFAState.getObjects()
Set<AllocNode>	NFA.getStates()	This method on-the-fly computes set of states.
Set<AllocNode>	NFA.nextStates(AllocNode obj, SparkField f)

Methods in qilin.pta.toolkits.mahjong.automata with parameters of type AllocNode

Modifier and Type	Method	Description
DFA	DFAFactory.getDFA(AllocNode obj)
boolean	NFA.isDeadState(AllocNode obj)
Set<AllocNode>	NFA.nextStates(AllocNode obj, SparkField f)
Set<SparkField>	NFA.outEdgesOf(AllocNode obj)
Type	NFA.outputOf(AllocNode obj)

Constructors in qilin.pta.toolkits.mahjong.automata with parameters of type AllocNode

Modifier	Constructor	Description
	NFA(AllocNode q0, FieldPointstoGraph fpg)

Constructor parameters in qilin.pta.toolkits.mahjong.automata with type arguments of type AllocNode

Modifier	Constructor	Description
	DFAState(Set<AllocNode> objs, Set<Type> output)

Uses of AllocNode in qilin.pta.toolkits.moon

Methods in qilin.pta.toolkits.moon that return types with arguments of type AllocNode

Modifier and Type	Method	Description
Set<AllocNode>	Moon.analyze()

Uses of AllocNode in qilin.pta.toolkits.moon.graph

Methods in qilin.pta.toolkits.moon.graph that return types with arguments of type AllocNode

Modifier and Type	Method	Description
Set<AllocNode>	FieldPointsToGraph.getFieldPointsFrom(AllocNode obj)
Set<AllocNode>	FieldPointsToGraph.getFieldPointsTo(AllocNode baseObj)
Set<AllocNode>	FieldPointsToGraph.getFieldPointsTo(AllocNode baseObj, SparkField field)

Methods in qilin.pta.toolkits.moon.graph with parameters of type AllocNode

Modifier and Type	Method	Description
void	FieldPointsToGraph.addFieldPointsToGraph(AllocNode baseObj, SparkField field, AllocNode obj)
Set<SparkField>	FieldPointsToGraph.getAllFieldsOf(AllocNode baseObj)
Set<AllocNode>	FieldPointsToGraph.getFieldPointsFrom(AllocNode obj)
Set<AllocNode>	FieldPointsToGraph.getFieldPointsTo(AllocNode baseObj)
Set<AllocNode>	FieldPointsToGraph.getFieldPointsTo(AllocNode baseObj, SparkField field)
boolean	FieldPointsToGraph.hasFieldPointsTo(AllocNode baseObj, AllocNode obj)

Uses of AllocNode in qilin.pta.toolkits.moon.objcollection

Methods in qilin.pta.toolkits.moon.objcollection that return types with arguments of type AllocNode

Modifier and Type	Method	Description
Set<AllocNode>	ObjCollector.analyze(List<com.google.common.collect.SetMultimap<AllocNode,TraversalResult>> traversalResults)

Methods in qilin.pta.toolkits.moon.objcollection with parameters of type AllocNode

Modifier and Type	Method	Description
boolean	PartialChecker.addMetParamObj(AllocNode obj)
boolean	PartialChecker.check(AllocNode obj)

Method parameters in qilin.pta.toolkits.moon.objcollection with type arguments of type AllocNode

Modifier and Type	Method	Description
Set<AllocNode>	ObjCollector.analyze(List<com.google.common.collect.SetMultimap<AllocNode,TraversalResult>> traversalResults)

Uses of AllocNode in qilin.pta.toolkits.moon.support

Fields in qilin.pta.toolkits.moon.support with type parameters of type AllocNode

Modifier and Type	Field	Description
protected final com.google.common.collect.SetMultimap<AllocNode,SparkField>	ContainerCollector.containerToFields
protected final com.google.common.collect.SetMultimap<SparkField,AllocNode>	FieldRecorder.fieldToBaseObjs
protected final com.google.common.collect.SetMultimap<AllocNode,LocalVarNode>	FieldFlowRecorder.objToArgOfInvokeMethods
protected final com.google.common.collect.SetMultimap<AllocNode,SparkField>	FieldRecorder.objToFields
protected final ConcurrentTwoKeyMultiMap<AllocNode,SparkField,VarNode>	FieldFlowRecorder.objToNonThisFieldLoad
protected final ConcurrentTwoKeyMultiMap<AllocNode,SparkField,VarNode>	FieldFlowRecorder.objToNonThisFieldStore

Methods in qilin.pta.toolkits.moon.support that return types with arguments of type AllocNode

Modifier and Type	Method	Description
Set<AllocNode>	MoonDataConstructor.MoonDataStructure.containers()	Returns the value of the containers record component.
com.google.common.collect.SetMultimap<SootMethod,AllocNode>	MoonDataConstructor.MoonDataStructure.mthToRecvObj()	Returns the value of the mthToRecvObj record component.
com.google.common.collect.SetMultimap<AllocNode,SootMethod>	MoonDataConstructor.MoonDataStructure.objToIvkMtds()	Returns the value of the objToIvkMtds record component.
Set<AllocNode>	PtrSetCache.ptsOf(PagNode node)

Methods in qilin.pta.toolkits.moon.support with parameters of type AllocNode

Modifier and Type	Method	Description
boolean	FieldRecorder.hasLoad(LocalVarNode var, AllocNode obj)
boolean	FieldRecorder.hasStore(LocalVarNode var, AllocNode obj)
boolean	FieldFlowRecorder.isConnceredField(AllocNode heap, SparkField field)
void	FieldRecorder.recordObjToField(AllocNode obj, SparkField field)

Method parameters in qilin.pta.toolkits.moon.support with type arguments of type AllocNode

Modifier and Type	Method	Description
void	KeyTypeCollector.run(Collection<AllocNode> allObjs)

Constructor parameters in qilin.pta.toolkits.moon.support with type arguments of type AllocNode

Modifier	Constructor	Description
	FieldFlowRecorder(PTA pta, FieldRecorder fieldRecorder, VFG vfgForHeap, com.google.common.collect.SetMultimap<AllocNode,SootMethod> objToInvokeMethods)
	MoonDataStructure(OAG oag, VFG vfgForField, VFG vfgForObj, FieldRecorder fieldRecorder, FieldFlowRecorder fieldFlowRecorder, com.google.common.collect.SetMultimap<SootMethod,AllocNode> mthToRecvObj, KeyTypeCollector keyTypeCollector, com.google.common.collect.SetMultimap<AllocNode,SootMethod> objToIvkMtds, Set<LocalVarNode> allocVars, Set<AllocNode> containers, PtrSetCache ptrSetCache, FieldPointsToGraph fieldPointsToGraph, PAG pag)	Creates an instance of a MoonDataStructure record class.

Uses of AllocNode in qilin.pta.toolkits.moon.traversal

Methods in qilin.pta.toolkits.moon.traversal that return types with arguments of type AllocNode

Modifier and Type	Method	Description
Set<AllocNode>	TraversalResult.getAllNewlyAllocObjs()
Set<AllocNode>	TraversalResult.getMatchedContextObjsOfParam(int index)
Set<AllocNode>	TraversalResult.getMatchedContextObjsOfThis(int index)
Set<AllocNode>	TraversalResult.getNewlyAllocObjs(int index)
com.google.common.collect.SetMultimap<AllocNode,LocalVarNode>	TraversalInitializer.initializeObjToVarMap()
List<com.google.common.collect.SetMultimap<AllocNode,TraversalResult>>	VFGTraversal.traverse(com.google.common.collect.SetMultimap<AllocNode,LocalVarNode> objToBaseVar)

Methods in qilin.pta.toolkits.moon.traversal with parameters of type AllocNode

Modifier and Type	Method	Description
void	TraversalResult.addNewlyAllocObj(AllocNode newlyAllocObj, int index)
TraversalResult	StoredVarTraverser.findSourceOfVarStoredIn(AllocNode obj, LocalVarNode varStored, int maxAllocLayerToTrace, SparkField storedField)
boolean	TraversalInitializer.hasMultiContext(AllocNode obj)
boolean	TraversalResult.hasSpecificContextObj(AllocNode ctxObj)
boolean	TraversalResult.hasSpecificNewlyAllocObj(AllocNode newlyAllocObj)

Method parameters in qilin.pta.toolkits.moon.traversal with type arguments of type AllocNode

Modifier and Type	Method	Description
void	TraversalResult.addMatchedContextObjsByThisAsParam(Set<AllocNode> matchedContextObjsOfThis, int index)
void	TraversalResult.addMatchedContextObjsOfParam(Set<AllocNode> matchedContextObjsOfParam, int index)
boolean	TraversalResult.hasAnyOfNewlyAllocObjs(Set<AllocNode> newlyAllocObjs)
List<com.google.common.collect.SetMultimap<AllocNode,TraversalResult>>	VFGTraversal.traverse(com.google.common.collect.SetMultimap<AllocNode,LocalVarNode> objToBaseVar)

Uses of AllocNode in qilin.pta.toolkits.selectx

Fields in qilin.pta.toolkits.selectx with type parameters of type AllocNode

Modifier and Type	Field	Description
static Map<AllocNode,O>	O.o2O

Methods in qilin.pta.toolkits.selectx with parameters of type AllocNode

Modifier and Type	Method	Description
void	Selectx.addNewEdge(AllocNode from, LocalVarNode to)
static O	O.v(AllocNode origin)

Constructors in qilin.pta.toolkits.selectx with parameters of type AllocNode

Modifier	Constructor	Description
	O(AllocNode origin)

Uses of AllocNode in qilin.pta.toolkits.turner

Fields in qilin.pta.toolkits.turner declared as AllocNode

Modifier and Type	Field	Description
final AllocNode	OCG.OCGNode.ir

Fields in qilin.pta.toolkits.turner with type parameters of type AllocNode

Modifier and Type	Field	Description
Map<AllocNode,OCG.OCGNode>	OCG.nodes
protected final Map<LocalVarNode,Set<AllocNode>>	OCG.pts

Methods in qilin.pta.toolkits.turner with parameters of type AllocNode

Modifier and Type	Method	Description
protected void	AbstractMVFG.addCSLikelyEdge(AllocNode heap)
protected void	AbstractMVFG.addNewEdge(AllocNode from, LocalVarNode to)
boolean	OCG.isBottom(AllocNode heap)
boolean	OCG.isCSLikely(AllocNode allocNode)
boolean	OCG.isTop(AllocNode heap)

Constructors in qilin.pta.toolkits.turner with parameters of type AllocNode

Modifier	Constructor	Description
	OCGNode(AllocNode ir)

Uses of AllocNode in qilin.pta.toolkits.zipper.analysis

Methods in qilin.pta.toolkits.zipper.analysis with parameters of type AllocNode

Modifier and Type	Method	Description
Set<SootMethod>	PotentialContextElement.methodsInvokedOn(AllocNode obj)

Uses of AllocNode in qilin.pta.toolkits.zipper.flowgraph

Methods in qilin.pta.toolkits.zipper.flowgraph that return types with arguments of type AllocNode

Modifier and Type	Method	Description
Set<AllocNode>	ZOAG.getAllocateesOf(Type type)
com.google.common.collect.SetMultimap<Type,AllocNode>	ZOAG.getType2Objs()

Uses of AllocNode in qilin.pta.tools

Methods in qilin.pta.tools that return AllocNode

Modifier and Type	Method	Description
AllocNode	DebloatedPTA.getRootNode()

Methods in qilin.pta.tools with parameters of type AllocNode

Modifier and Type	Method	Description
Context	DebloatedPTA.createCalleeContext(ContextMethod caller, AllocNode receiverNode, CallSite callSite, SootMethod target)

Uses of AllocNode in qilin.util

Methods in qilin.util that return types with arguments of type AllocNode

Modifier and Type	Method	Description
static Map<LocalVarNode,Set<AllocNode>>	StaticThisPointsTo.calcStaticThisPTS(PTA pta)

Methods in qilin.util with parameters of type AllocNode

Modifier and Type	Method	Description
static Context	PagQueries.plusplusOp(AllocNode heap)	Extends heap's context by one more element (heap itself), for object-sensitive analyses.

Uses of AllocNode in qilin.util.sets

Methods in qilin.util.sets that return types with arguments of type AllocNode

Modifier and Type	Method	Description
Iterator<AllocNode>	PointsToSet.iterator()
Iterator<AllocNode>	UnmodifiablePointsToSet.iterator()
Collection<AllocNode>	PointsToSet.toCollection()
Collection<AllocNode>	UnmodifiablePointsToSet.toCollection()

Methods in qilin.util.sets with parameters of type AllocNode

Modifier and Type	Method	Description
boolean	PointsToSet.contains(AllocNode n)	Returns true iff the set contains n.
boolean	UnmodifiablePointsToSet.contains(AllocNode n)