Uses of Class
qilin.core.pag.AllocNode
Package
Description
Generally useful utility classes for Soot.
-
Uses of AllocNode in qilin.core
Modifier and TypeMethodDescriptionCorePTA.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) PTA.reachingObjectsInternal
(AllocNode heap, SparkField f) -
Uses of AllocNode in qilin.core.builder
Modifier and TypeMethodDescriptionprotected void
CallGraphBuilder.dispatch
(AllocNode receiverNode, VirtualCallSite site) void
ExceptionHandler.dispatch
(AllocNode throwObj, ExceptionThrowSite site) -
Uses of AllocNode in qilin.core.context
Modifier and TypeMethodDescriptionstatic TypeContextElement
TypeContextElement.getTypeContextElement
(AllocNode a) -
Uses of AllocNode in qilin.core.pag
Modifier and TypeClassDescriptionclass
Represents an allocation site node the represents a known java.lang.Class object.class
class
class
Represents an allocation site node the represents a constant string.Modifier and TypeFieldDescriptionPAG.alloc
PAG.allocInv
protected ArrayNumberer<AllocNode>
protected final Map<AllocNode,
Map<Context, ContextAllocNode>> PAG.valToAllocNode
Modifier and TypeMethodDescriptionAllocNode.base()
ContextAllocNode.base()
PAG.findAllocNode
(Object obj) PAG.getAllocNode
(Object val) ContextField.getBase()
PAG.makeAllocNode
(Object newExpr, Type type, SootMethod m) PAG.makeClassConstantNode
(ClassConstant cc) PAG.makeStringConstantNode
(StringConstant sc) Modifier and TypeMethodDescriptionPAG.allocInvLookup
(VarNode key) PAG.getAlloc()
PAG.getAllocNodeNumberer()
PAG.getAllocNodes()
PAG.getContextAllocNodeMap()
Modifier and TypeMethodDescriptionPAG.allocLookup
(AllocNode key) PAG.makeContextAllocNode
(AllocNode allocNode, Context context) Finds or creates the ContextAllocNode for base alloc site and context. -
Uses of AllocNode in qilin.core.sets
Modifier and TypeMethodDescriptionPointsToSet.iterator()
UnmodifiablePointsToSet.iterator()
PointsToSet.toCollection()
UnmodifiablePointsToSet.toCollection()
-
Uses of AllocNode in qilin.core.solver
Modifier and TypeMethodDescriptionprotected void
Solver.propagatePTS
(ValNode pointer, AllocNode heap) -
Uses of AllocNode in qilin.parm.heapabst
Modifier and TypeMethodDescriptionAllocSiteAbstractor.abstractHeap
(AllocNode heap) HeapAbstractor.abstractHeap
(AllocNode heap) HeuristicAbstractor.abstractHeap
(AllocNode heap) MahjongAbstractor.abstractHeap
(AllocNode heap) Modifier and TypeMethodDescriptionAllocSiteAbstractor.abstractHeap
(AllocNode heap) HeapAbstractor.abstractHeap
(AllocNode heap) HeuristicAbstractor.abstractHeap
(AllocNode heap) MahjongAbstractor.abstractHeap
(AllocNode heap) -
Uses of AllocNode in qilin.parm.select
-
Uses of AllocNode in qilin.pta.toolkits.bean
Modifier and TypeFieldDescriptionprotected 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
Modifier and TypeMethodDescriptionContextSelector.allocatedBy
(ContextElements ctx, AllocNode heap) Modifier and TypeMethodDescriptionprotected void
ContextSelector.addAllocation
(ContextElements ctx, AllocNode heap, ContextElements newCtx, AllocNode succ) ContextSelector.allocatedBy
(ContextElements ctx, AllocNode heap) ContextSelector.contextsOf
(AllocNode heap) -
Uses of AllocNode in qilin.pta.toolkits.common
Modifier and TypeFieldDescriptionOAG.nodes
OAG.predecessors
OAG.predecessors
protected Collection<AllocNode>
OAG.rootNodes
OAG.successors
OAG.successors
protected Collection<AllocNode>
OAG.tailNodes
Modifier and TypeMethodDescriptionOAG.allNodes()
FieldPointstoGraph.getAllObjs()
OAG.getPredsOf
(AllocNode n) OAG.getSuccsOf
(AllocNode n) FieldPointstoGraph.pointedBy
(AllocNode obj, SparkField field) FieldPointstoGraph.pointsTo
(AllocNode baseObj, SparkField field) OAG.rootNodes()
OAG.tailNodes()
Modifier and TypeMethodDescriptionprotected void
protected void
Add a directed object allocation edge to the OAG.int
OAG.getInDegreeOf
(AllocNode n) OAG.getPredsOf
(AllocNode n) OAG.getSuccsOf
(AllocNode n) boolean
FieldPointstoGraph.hasFieldPointer
(AllocNode obj, SparkField field) FieldPointstoGraph.inFieldsOf
(AllocNode obj) FieldPointstoGraph.outFieldsOf
(AllocNode baseObj) FieldPointstoGraph.pointedBy
(AllocNode obj, SparkField field) FieldPointstoGraph.pointsTo
(AllocNode baseObj, SparkField field) boolean
-
Uses of AllocNode in qilin.pta.toolkits.conch
Modifier and TypeFieldDescriptionprotected final Map<AllocNode,
Set<SootMethod>> AbstractConch.invokedMethods
protected final Map<AllocNode,
Set<SparkField>> AbstractConch.o2fs
AbstractConch.o2nonThisFLoads
AbstractConch.o2nonThisFStores
protected final Map<SootMethod,
Map<Stmt, AllocNode>> AbstractPAG.symbolicHeaps
Modifier and TypeMethodDescriptionprotected AllocNode
AbstractPAG.getSymbolicHeapOf
(SootMethod method, Stmt invokeStmt) Modifier and TypeMethodDescriptionConch.ctxDependentHeaps2()
Conch.ctxIndenpendentHeaps()
CSDG.noOutDegreeNodes()
Modifier and TypeMethodDescriptionprotected 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) protected boolean
AbstractConch.hasLoadOn
(AllocNode heap, SparkField field) protected boolean
AbstractConch.hasStoreOn
(AllocNode heap, SparkField field) boolean
LeakAnalysis.isLeakObject
(AllocNode heap) void
CSDG.removeNode
(AllocNode to) -
Uses of AllocNode in qilin.pta.toolkits.dd
-
Uses of AllocNode in qilin.pta.toolkits.debloaterx
Modifier and TypeFieldDescriptionDebloaterX.containerFactory
DebloaterX.containerWrapper
CollectionHeuristic.ctxDepHeaps
DebloaterX.ctxDepHeaps
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
XUtility.o2nonThisFLoads
XUtility.o2nonThisFStores
Modifier and TypeMethodDescriptionCollectionHeuristic.getCtxDepHeaps()
DebloaterX.getCtxDepHeaps()
XUtility.getReceiverObjects
(SootMethod method) Modifier and TypeMethodDescriptionprotected void
XPAG.addNewEdge
(AllocNode from, LocalVarNode to) 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) IntraFlowAnalysis.retrieveStoreFields
(AllocNode heap) -
Uses of AllocNode in qilin.pta.toolkits.eagle
Modifier and TypeMethodDescriptionvoid
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
Modifier and TypeMethodDescriptionHeapAbstraction.computeMergedObjectMap()
HeapAbstraction.computeMergedObjectMap()
Modifier and TypeMethodDescriptionstatic 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
Modifier and TypeMethodDescriptionDFAState.getObjects()
NFA.getStates()
This method on-the-fly computes set of states.NFA.nextStates
(AllocNode obj, SparkField f) Modifier and TypeMethodDescriptionboolean
NFA.isDeadState
(AllocNode obj) NFA.nextStates
(AllocNode obj, SparkField f) NFA.outEdgesOf
(AllocNode obj) -
Uses of AllocNode in qilin.pta.toolkits.selectx
Modifier and TypeMethodDescriptionvoid
Selectx.addNewEdge
(AllocNode from, LocalVarNode to) static O
-
Uses of AllocNode in qilin.pta.toolkits.turner
Modifier and TypeFieldDescriptionOCG.nodes
protected final Map<LocalVarNode,
Set<AllocNode>> OCG.pts
Modifier and TypeMethodDescriptionprotected void
AbstractMVFG.addCSLikelyEdge
(AllocNode heap) protected void
AbstractMVFG.addNewEdge
(AllocNode from, LocalVarNode to) boolean
boolean
OCG.isCSLikely
(AllocNode allocNode) boolean
-
Uses of AllocNode in qilin.pta.toolkits.zipper.analysis
Modifier and TypeMethodDescriptionPotentialContextElement.methodsInvokedOn
(AllocNode obj) PotentialContextElement.PCEMethodsOf
(AllocNode obj) -
Uses of AllocNode in qilin.pta.tools
Modifier and TypeMethodDescriptionDebloatedPTA.createCalleeCtx
(ContextMethod caller, AllocNode receiverNode, CallSite callSite, SootMethod target) -
Uses of AllocNode in qilin.util
Modifier and TypeMethodDescriptionstatic Map<LocalVarNode,
Set<AllocNode>> PTAUtils.calcStaticThisPTS
(PTA pta) Modifier and TypeMethodDescriptionstatic boolean
PTAUtils.isEmptyArray
(AllocNode heap) static boolean
PTAUtils.isOfPrimitiveBaseType
(AllocNode heap) static Context
PTAUtils.plusplusOp
(AllocNode heap)