Uses of Class
qilin.core.pag.AllocNode
Packages that use AllocNode
Package
Description
Generally useful utility classes for Soot.
-
Uses of AllocNode in qilin.core
Fields in qilin.core declared as AllocNodeMethods in qilin.core that return AllocNodeMethods in qilin.core with parameters of type AllocNodeModifier and TypeMethodDescriptionCorePTA.createCalleeCtx(ContextMethod caller, AllocNode receiverNode, CallSite callSite, SootMethod target) abstract ContextPTA.createCalleeCtx(ContextMethod caller, AllocNode receiverNode, CallSite callSite, SootMethod target) protected ContextAllocNodeCorePTA.parameterize(AllocNode node, Context context) PTA.reachingObjectsInternal(AllocNode heap, SparkField f) -
Uses of AllocNode in qilin.core.builder
Methods in qilin.core.builder with parameters of type AllocNodeModifier and TypeMethodDescriptionprotected voidCallGraphBuilder.dispatch(AllocNode receiverNode, VirtualCallSite site) voidExceptionHandler.dispatch(AllocNode throwObj, ExceptionThrowSite site) -
Uses of AllocNode in qilin.core.context
Methods in qilin.core.context with parameters of type AllocNodeModifier and TypeMethodDescriptionstatic TypeContextElementTypeContextElement.getTypeContextElement(AllocNode a) -
Uses of AllocNode in qilin.core.pag
Subclasses of AllocNode in qilin.core.pagModifier and TypeClassDescriptionclassRepresents an allocation site node the represents a known java.lang.Class object.classclassclassRepresents an allocation site node the represents a constant string.Fields in qilin.core.pag with type parameters of type AllocNodeModifier and TypeFieldDescriptionPAG.allocPAG.allocInvprotected ArrayNumberer<AllocNode>protected final Map<AllocNode,Map<Context, ContextAllocNode>> PAG.valToAllocNodeMethods in qilin.core.pag that return AllocNodeModifier 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) Methods in qilin.core.pag that return types with arguments of type AllocNodeModifier and TypeMethodDescriptionPAG.allocInvLookup(VarNode key) PAG.getAlloc()PAG.getAllocNodeNumberer()PAG.getAllocNodes()PAG.getContextAllocNodeMap()Methods in qilin.core.pag with parameters of type AllocNodeModifier and TypeMethodDescriptionPAG.allocLookup(AllocNode key) 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 -
Uses of AllocNode in qilin.core.sets
Methods in qilin.core.sets that return types with arguments of type AllocNodeModifier and TypeMethodDescriptionPointsToSet.iterator()UnmodifiablePointsToSet.iterator()PointsToSet.toCollection()UnmodifiablePointsToSet.toCollection()Methods in qilin.core.sets with parameters of type AllocNode -
Uses of AllocNode in qilin.core.solver
Methods in qilin.core.solver with parameters of type AllocNodeModifier and TypeMethodDescriptionprotected voidSolver.propagatePTS(ValNode pointer, AllocNode heap) -
Uses of AllocNode in qilin.parm.heapabst
Methods in qilin.parm.heapabst that return AllocNodeModifier and TypeMethodDescriptionAllocSiteAbstractor.abstractHeap(AllocNode heap) HeapAbstractor.abstractHeap(AllocNode heap) HeuristicAbstractor.abstractHeap(AllocNode heap) MahjongAbstractor.abstractHeap(AllocNode heap) Methods in qilin.parm.heapabst with parameters of type AllocNodeModifier and TypeMethodDescriptionAllocSiteAbstractor.abstractHeap(AllocNode heap) HeapAbstractor.abstractHeap(AllocNode heap) HeuristicAbstractor.abstractHeap(AllocNode heap) MahjongAbstractor.abstractHeap(AllocNode heap) -
Uses of AllocNode in qilin.parm.select
Methods in qilin.parm.select with parameters of type AllocNode -
Uses of AllocNode in qilin.pta.toolkits.bean
Fields in qilin.pta.toolkits.bean with type parameters of type AllocNodeModifier and TypeFieldDescriptionprotected Map<Pair<ContextElements,AllocNode>, Set<Pair<ContextElements, AllocNode>>> ContextSelector.allocationprotected Map<Pair<ContextElements,AllocNode>, Set<Pair<ContextElements, AllocNode>>> ContextSelector.allocationprotected Map<AllocNode,Set<ContextElements>> ContextSelector.contextMapMethods in qilin.pta.toolkits.bean that return types with arguments of type AllocNodeModifier and TypeMethodDescriptionContextSelector.allocatedBy(ContextElements ctx, AllocNode heap) Methods in qilin.pta.toolkits.bean with parameters of type AllocNodeModifier and TypeMethodDescriptionprotected voidContextSelector.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
Fields in qilin.pta.toolkits.common with type parameters of type AllocNodeModifier and TypeFieldDescriptionOAG.nodesOAG.predecessorsOAG.predecessorsprotected Collection<AllocNode>OAG.rootNodesOAG.successorsOAG.successorsprotected Collection<AllocNode>OAG.tailNodesMethods in qilin.pta.toolkits.common that return types with arguments of type AllocNodeModifier 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()Methods in qilin.pta.toolkits.common with parameters of type AllocNodeModifier and TypeMethodDescriptionprotected voidprotected voidAdd a directed object allocation edge to the OAG.intOAG.getInDegreeOf(AllocNode n) OAG.getPredsOf(AllocNode n) OAG.getSuccsOf(AllocNode n) booleanFieldPointstoGraph.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) booleanConstructor parameters in qilin.pta.toolkits.common with type arguments of type AllocNode -
Uses of AllocNode in qilin.pta.toolkits.conch
Fields in qilin.pta.toolkits.conch with type parameters of type AllocNodeModifier and TypeFieldDescriptionprotected final Map<AllocNode,Set<SootMethod>> AbstractConch.invokedMethodsprotected final Map<AllocNode,Set<SparkField>> AbstractConch.o2fsAbstractConch.o2nonThisFLoadsAbstractConch.o2nonThisFStoresprotected final Map<SootMethod,Map<Stmt, AllocNode>> AbstractPAG.symbolicHeapsMethods in qilin.pta.toolkits.conch that return AllocNodeModifier and TypeMethodDescriptionprotected AllocNodeAbstractPAG.getSymbolicHeapOf(SootMethod method, Stmt invokeStmt) Methods in qilin.pta.toolkits.conch that return types with arguments of type AllocNodeModifier and TypeMethodDescriptionConch.ctxDependentHeaps2()Conch.ctxIndenpendentHeaps()CSDG.noOutDegreeNodes()Methods in qilin.pta.toolkits.conch with parameters of type AllocNodeModifier and TypeMethodDescriptionprotected voidAbstractPAG.addNewEdge(AllocNode from, LocalVarNode to) protected voidDepOnParamAnalysis.addNewEdge(AllocNode from, LocalVarNode to) protected voidLeakAnalysis.addNewEdge(AllocNode from, LocalVarNode to) protected booleanAbstractConch.emptyFieldPts(AllocNode heap, SparkField field) protected booleanAbstractConch.hasLoadOn(AllocNode heap, SparkField field) protected booleanAbstractConch.hasStoreOn(AllocNode heap, SparkField field) booleanLeakAnalysis.isLeakObject(AllocNode heap) voidCSDG.removeNode(AllocNode to) -
Uses of AllocNode in qilin.pta.toolkits.dd
Methods in qilin.pta.toolkits.dd with parameters of type AllocNode -
Uses of AllocNode in qilin.pta.toolkits.debloaterx
Fields in qilin.pta.toolkits.debloaterx with type parameters of type AllocNodeModifier and TypeFieldDescriptionDebloaterX.containerFactoryDebloaterX.containerWrapperCollectionHeuristic.ctxDepHeapsDebloaterX.ctxDepHeapsDebloaterX.innerContainerprotected final Map<SootMethod,Set<AllocNode>> XUtility.m2receiverObjectsprotected final Map<AllocNode,Set<SparkField>> XUtility.o2Fieldsprotected final Map<AllocNode,HeapContainerQuery> XUtility.o2HCQprotected final Map<AllocNode,Set<SootMethod>> XUtility.o2InvokedMethodsXUtility.o2nonThisFLoadsXUtility.o2nonThisFStoresMethods in qilin.pta.toolkits.debloaterx that return types with arguments of type AllocNodeModifier and TypeMethodDescriptionCollectionHeuristic.getCtxDepHeaps()DebloaterX.getCtxDepHeaps()XUtility.getReceiverObjects(SootMethod method) Methods in qilin.pta.toolkits.debloaterx with parameters of type AllocNodeModifier and TypeMethodDescriptionprotected voidXPAG.addNewEdge(AllocNode from, LocalVarNode to) XUtility.getInvokedMethods(AllocNode heap) booleanXUtility.hasNonThisLoadFromField(AllocNode heap, SparkField field) booleanXUtility.hasNonThisStoreOnField(AllocNode heap, SparkField field) booleanContainerFinder.isAContainer(AllocNode heap) booleanIntraFlowAnalysis.isContentFromParam(AllocNode heap) booleanIntraFlowAnalysis.isDirectlyReturnedHeap(AllocNode heap) IntraFlowAnalysis.retrieveStoreFields(AllocNode heap) Constructors in qilin.pta.toolkits.debloaterx with parameters of type AllocNode -
Uses of AllocNode in qilin.pta.toolkits.eagle
Methods in qilin.pta.toolkits.eagle with parameters of type AllocNodeModifier and TypeMethodDescriptionvoidEagle.addHloadEdge(AllocNode baseObj, Object to) voidEagle.addHstoreEdge(Object from, AllocNode baseObj) voidEagle.addNewEdge(AllocNode from, LocalVarNode to) protected voidEagle.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 AllocNodeModifier and TypeMethodDescriptionHeapAbstraction.computeMergedObjectMap()HeapAbstraction.computeMergedObjectMap()Method parameters in qilin.pta.toolkits.mahjong with type arguments of type AllocNodeModifier and TypeMethodDescriptionstatic voidMahjong.outputStatistics(FieldPointstoGraph fpg, Map<AllocNode, AllocNode> mom) static voidMahjong.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 AllocNodeMethods in qilin.pta.toolkits.mahjong.automata that return types with arguments of type AllocNodeModifier and TypeMethodDescriptionDFAState.getObjects()NFA.getStates()This method on-the-fly computes set of states.NFA.nextStates(AllocNode obj, SparkField f) Methods in qilin.pta.toolkits.mahjong.automata with parameters of type AllocNodeModifier and TypeMethodDescriptionbooleanNFA.isDeadState(AllocNode obj) NFA.nextStates(AllocNode obj, SparkField f) NFA.outEdgesOf(AllocNode obj) Constructors in qilin.pta.toolkits.mahjong.automata with parameters of type AllocNodeConstructor parameters in qilin.pta.toolkits.mahjong.automata with type arguments of type AllocNode -
Uses of AllocNode in qilin.pta.toolkits.selectx
Fields in qilin.pta.toolkits.selectx with type parameters of type AllocNodeMethods in qilin.pta.toolkits.selectx with parameters of type AllocNodeModifier and TypeMethodDescriptionvoidSelectx.addNewEdge(AllocNode from, LocalVarNode to) static OConstructors in qilin.pta.toolkits.selectx with parameters of type AllocNode -
Uses of AllocNode in qilin.pta.toolkits.turner
Fields in qilin.pta.toolkits.turner declared as AllocNodeFields in qilin.pta.toolkits.turner with type parameters of type AllocNodeModifier and TypeFieldDescriptionOCG.nodesprotected final Map<LocalVarNode,Set<AllocNode>> OCG.ptsMethods in qilin.pta.toolkits.turner with parameters of type AllocNodeModifier and TypeMethodDescriptionprotected voidAbstractMVFG.addCSLikelyEdge(AllocNode heap) protected voidAbstractMVFG.addNewEdge(AllocNode from, LocalVarNode to) booleanbooleanOCG.isCSLikely(AllocNode allocNode) booleanConstructors in qilin.pta.toolkits.turner with parameters of type AllocNode -
Uses of AllocNode in qilin.pta.toolkits.zipper.analysis
Methods in qilin.pta.toolkits.zipper.analysis that return types with arguments of type AllocNodeMethods in qilin.pta.toolkits.zipper.analysis with parameters of type AllocNodeModifier and TypeMethodDescriptionPotentialContextElement.methodsInvokedOn(AllocNode obj) PotentialContextElement.PCEMethodsOf(AllocNode obj) -
Uses of AllocNode in qilin.pta.tools
Methods in qilin.pta.tools that return AllocNodeMethods in qilin.pta.tools with parameters of type AllocNodeModifier and TypeMethodDescriptionDebloatedPTA.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 AllocNodeModifier and TypeMethodDescriptionstatic Map<LocalVarNode,Set<AllocNode>> PTAUtils.calcStaticThisPTS(PTA pta) Methods in qilin.util with parameters of type AllocNodeModifier and TypeMethodDescriptionstatic booleanPTAUtils.isEmptyArray(AllocNode heap) static booleanPTAUtils.isOfPrimitiveBaseType(AllocNode heap) static ContextPTAUtils.plusplusOp(AllocNode heap)