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.sets	Points-to set data structures reused from Spark in Soot, with plans for more memory-efficient replacements in the future.
qilin.core.solver
qilin.parm.heapabst
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.selectx
qilin.pta.toolkits.turner
qilin.pta.toolkits.zipper.analysis
qilin.pta.tools
qilin.util	Generally useful utility classes for Soot.

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.createCalleeCtx(ContextMethod caller, AllocNode receiverNode, CallSite callSite, SootMethod target)
abstract Context	PTA.createCalleeCtx(ContextMethod caller, AllocNode receiverNode, CallSite callSite, SootMethod target)
protected 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	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.

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

Modifier	Constructor	Description
	ContextAllocNode(AllocNode base, Context context)

Uses of AllocNode in qilin.core.sets

Methods in qilin.core.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.core.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)

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.heapabst

Methods in qilin.parm.heapabst 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.heapabst 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	CtxSelector.select(AllocNode heap, Context context)
Context	DebloatingSelector.select(AllocNode heap, Context context)
Context	FullMethodLvSelector.select(AllocNode heap, Context context)
Context	HeuristicSelector.select(AllocNode heap, Context context)
Context	InsenSelector.select(AllocNode heap, Context context)
Context	PartialMethodLvSelector.select(AllocNode heap, Context context)
Context	PartialVarSelector.select(AllocNode heap, Context context)
Context	PipelineSelector.select(AllocNode heap, Context context)
Context	UniformSelector.select(AllocNode heap, Context context)
Context	VarLvSelector.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 newCtx, 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.getCtxDepHeaps()
Set<AllocNode>	DebloaterX.getCtxDepHeaps()
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.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 that return types with arguments of type AllocNode

Modifier and Type	Method	Description
Set<AllocNode>	PotentialContextElement.allocateesOf(Type type)

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

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

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.createCalleeCtx(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>>	PTAUtils.calcStaticThisPTS(PTA pta)

Methods in qilin.util with parameters of type AllocNode

Modifier and Type	Method	Description
static boolean	PTAUtils.isEmptyArray(AllocNode heap)
static boolean	PTAUtils.isOfPrimitiveBaseType(AllocNode heap)
static Context	PTAUtils.plusplusOp(AllocNode heap)