| _ander | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | protected |
| _callGraph | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | protected |
| _callGraphSCC | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | protected |
| _client | SVF::ContextDDA | private |
| _pag | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | protected |
| _svfg | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | protected |
| _svfgSCC | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | protected |
| addDDAPts(CxtPtSet &pts, const CxtVar &var) | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | inlinevirtual |
| addDpmToLoc(const CxtLocDPItem &dpm) | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | inlineprivate |
| addLoadCVar(const CxtLocDPItem &dpm, const CxtVar &loadVar) | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | inlineprotected |
| addLoadDpm(const CxtLocDPItem &dpm, const CxtLocDPItem &loadDpm) | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | inlineprotected |
| addLoadDpmAndCVar(const CxtLocDPItem &dpm, const CxtLocDPItem &loadDpm, const CxtVar &loadVar) | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | inlineprotected |
| addOutOfBudgetDpm(const CxtLocDPItem &dpm) | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | inlineprotected |
| addPts(CVar id, CVar ptd) | SVF::CondPTAImpl< ContextCond > | inlineprotectedvirtual |
| addSUStat(const CxtLocDPItem &dpm, const SVFGNode *node) | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | inlineprotected |
| alias(const SVFVar *V1, const SVFVar *V2) | SVF::CondPTAImpl< ContextCond > | inlinevirtual |
| alias(NodeID node1, NodeID node2) | SVF::CondPTAImpl< ContextCond > | inlinevirtual |
| alias(const CVar &var1, const CVar &var2) | SVF::CondPTAImpl< ContextCond > | inlinevirtual |
| alias(const CPtSet &pts1, const CPtSet &pts2) | SVF::CondPTAImpl< ContextCond > | inlinevirtual |
| alias_validation | SVF::PointerAnalysis | protected |
| aliasTestFailMayAlias | SVF::PointerAnalysis | static |
| aliasTestFailMayAliasMangled | SVF::PointerAnalysis | static |
| aliasTestFailNoAlias | SVF::PointerAnalysis | static |
| aliasTestFailNoAliasMangled | SVF::PointerAnalysis | static |
| aliasTestMayAlias | SVF::PointerAnalysis | static |
| aliasTestMayAliasMangled | SVF::PointerAnalysis | static |
| aliasTestMustAlias | SVF::PointerAnalysis | static |
| aliasTestMustAliasMangled | SVF::PointerAnalysis | static |
| aliasTestNoAlias | SVF::PointerAnalysis | static |
| aliasTestNoAliasMangled | SVF::PointerAnalysis | static |
| aliasTestPartialAlias | SVF::PointerAnalysis | static |
| aliasTestPartialAliasMangled | SVF::PointerAnalysis | static |
| analyze() override | SVF::ContextDDA | inlinevirtual |
| Andersen_BASE enum value | SVF::PointerAnalysis | |
| Andersen_WPA enum value | SVF::PointerAnalysis | |
| AndersenSCD_WPA enum value | SVF::PointerAnalysis | |
| AndersenSFR_WPA enum value | SVF::PointerAnalysis | |
| AndersenWaveDiff_WPA enum value | SVF::PointerAnalysis | |
| backtraceAlongDirectVF(CxtPtSet &pts, const CxtLocDPItem &oldDpm) | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | inlineprotected |
| backtraceAlongIndirectVF(CxtPtSet &pts, const CxtLocDPItem &oldDpm) | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | inlineprotected |
| backtraceToStoreSrc(CxtPtSet &pts, const CxtLocDPItem &oldDpm) | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | inlineprotected |
| backwardPropDpm(CxtPtSet &pts, NodeID ptr, const CxtLocDPItem &oldDpm, const SVFGEdge *edge) | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | inlineprotectedvirtual |
| backwardVisited | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | protected |
| BaseImpl enum value | SVF::PointerAnalysis | |
| buildSVFG(SVFIR *pag) | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | inlineprotectedvirtual |
| BVDataImpl enum value | SVF::PointerAnalysis | |
| CallEdgeMap typedef | SVF::PointerAnalysis | |
| callgraph | SVF::PointerAnalysis | protected |
| callGraphSCC | SVF::PointerAnalysis | protected |
| CondPTAImpl< ContextCond >::CallGraphSCC typedef | SVF::PointerAnalysis | |
| DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem >::CallGraphSCC typedef | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | |
| callGraphSCCDetection() | SVF::PointerAnalysis | inline |
| CallInstSet typedef | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | |
| CondPTAImpl< ContextCond >::CallSiteSet typedef | SVF::PointerAnalysis | |
| DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem >::CallSiteSet typedef | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | |
| CallSiteToFunPtrMap typedef | SVF::PointerAnalysis | |
| candidateQueries | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | protected |
| CFLFICI_WPA enum value | SVF::PointerAnalysis | |
| CFLFSCI_WPA enum value | SVF::PointerAnalysis | |
| CFLFSCS_WPA enum value | SVF::PointerAnalysis | |
| chgraph | SVF::PointerAnalysis | protected |
| classof(const PointerAnalysis *pta) | SVF::CondPTAImpl< ContextCond > | inlinestatic |
| clearbkVisited(const CxtLocDPItem &dpm) | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | inlineprotected |
| clearPts() | SVF::CondPTAImpl< ContextCond > | inlinevirtual |
| computeDDAPts(NodeID id) override | SVF::ContextDDA | virtual |
| computeDDAPts(const CxtVar &cxtVar) | SVF::ContextDDA | virtual |
| CondImpl enum value | SVF::PointerAnalysis | |
| CondPTAImpl(SVFIR *pag, PointerAnalysis::PTATY type) | SVF::CondPTAImpl< ContextCond > | inline |
| connectVCallToVFns(const CallICFGNode *cs, const VFunSet &vfns, CallEdgeMap &newEdges) | SVF::PointerAnalysis | |
| ConstSVFGEdgeSet typedef | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | |
| containBlackHoleNode(const CPtSet &cpts) | SVF::CondPTAImpl< ContextCond > | inline |
| SVF::PointerAnalysis::containBlackHoleNode(const PointsTo &pts) | SVF::PointerAnalysis | inline |
| containConstantNode(const CPtSet &cpts) | SVF::CondPTAImpl< ContextCond > | inline |
| SVF::PointerAnalysis::containConstantNode(const PointsTo &pts) | SVF::PointerAnalysis | inline |
| contains(const CPtSet &cpts1, const CPtSet &cpts2) | SVF::CondPTAImpl< ContextCond > | inlineprotected |
| ContextDDA(SVFIR *_pag, DDAClient *client) | SVF::ContextDDA | |
| CPtSet typedef | SVF::CondPTAImpl< ContextCond > | |
| CSCallString_WPA enum value | SVF::PointerAnalysis | |
| CSSummary_WPA enum value | SVF::PointerAnalysis | |
| CVar typedef | SVF::CondPTAImpl< ContextCond > | |
| Cxt_DDA enum value | SVF::PointerAnalysis | |
| ddaStat | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | protected |
| DDAVFSolver() | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | inline |
| Default_PTA enum value | SVF::PointerAnalysis | |
| destroy() | SVF::CondPTAImpl< ContextCond > | inline |
| disablePrintStat() | SVF::PointerAnalysis | inline |
| DPImToCPtSetMap typedef | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | |
| dpmToADCPtSetMap | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | protected |
| DPMToCVarMap typedef | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | |
| DPMToDPMMap typedef | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | |
| dpmToloadDpmMap | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | protected |
| dpmToTLCPtSetMap | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | protected |
| DPTItemSet typedef | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | |
| dumpAllPts() | SVF::PointerAnalysis | inlinevirtual |
| dumpAllTypes() | SVF::PointerAnalysis | |
| dumpContexts(const ContextCond &cxts) | SVF::ContextDDA | inlinevirtual |
| dumpCPts() | SVF::CondPTAImpl< ContextCond > | inlinevirtual |
| dumpCPtSet(const CxtPtSet &cpts) const | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | inline |
| dumpPts(NodeID ptr, const PointsTo &pts) | SVF::PointerAnalysis | virtual |
| dumpStat() | SVF::PointerAnalysis | |
| dumpTopLevelPtsTo() | SVF::CondPTAImpl< ContextCond > | inlinevirtual |
| edgeInCallGraphSCC(const SVFGEdge *edge) | SVF::ContextDDA | inline |
| edgeInSVFGSCC(const SVFGEdge *edge) | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | inlineprotected |
| expandFIObjs(const CPtSet &cpts, CPtSet &expandedCpts) | SVF::CondPTAImpl< ContextCond > | inline |
| FieldS_DDA enum value | SVF::PointerAnalysis | |
| finalize() override | SVF::ContextDDA | inlinevirtual |
| findPT(const CxtLocDPItem &dpm) | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | inlinevirtual |
| flowDDA | SVF::ContextDDA | private |
| FlowS_DDA enum value | SVF::PointerAnalysis | |
| FSCS_WPA enum value | SVF::PointerAnalysis | |
| FSDATAFLOW_WPA enum value | SVF::PointerAnalysis | |
| FSSPARSE_WPA enum value | SVF::PointerAnalysis | |
| FunctionSet typedef | SVF::PointerAnalysis | |
| getAllFieldsObjVars(NodeID id) | SVF::PointerAnalysis | inlinevirtual |
| getAllValidPtrs() | SVF::PointerAnalysis | inline |
| getAnalysisTy() const | SVF::PointerAnalysis | inline |
| getAndersenAnalysis() const | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | inlineprotected |
| getBaseObjVar(NodeID id) | SVF::PointerAnalysis | inline |
| getBVPointsTo(const CPtSet &cpts) const | SVF::CondPTAImpl< ContextCond > | inlinevirtual |
| getCachedADPointsTo(const CxtLocDPItem &dpm) | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | inlineprotectedvirtual |
| getCachedPointsTo(const CxtLocDPItem &dpm) | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | inlineprotectedvirtual |
| getCachedTLPointsTo(const CxtLocDPItem &dpm) | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | inlineprotectedvirtual |
| getCallGraph() const | SVF::PointerAnalysis | inline |
| getCallGraphSCC() const | SVF::PointerAnalysis | inline |
| getCallGraphSCCRepNode(NodeID id) const | SVF::PointerAnalysis | inline |
| getCandidateQueries() | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | inline |
| getCHGraph() const | SVF::PointerAnalysis | inline |
| getCondPointsTo(NodeID ptr) | SVF::CondPTAImpl< ContextCond > | inlinevirtual |
| getConservativeCPts(const CxtLocDPItem &dpm) override | SVF::ContextDDA | inlinevirtual |
| getCSIDAtCall(CxtLocDPItem &dpm, const SVFGEdge *edge) | SVF::ContextDDA | |
| getCSIDAtRet(CxtLocDPItem &dpm, const SVFGEdge *edge) | SVF::ContextDDA | |
| getDefSVFGNode(const PAGNode *pagNode) const | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | inlineprotected |
| getDPIm(const CxtVar &var, const SVFGNode *loc) const | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | inlinevirtual |
| getDPImWithOldCond(const CxtLocDPItem &oldDpm, const CxtVar &var, const SVFGNode *loc) | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | inlineprotectedvirtual |
| getDpmSetAtLoc(const SVFGNode *loc) | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | inlineprivate |
| getFIObjVar(NodeID id) | SVF::PointerAnalysis | inline |
| getFunPtr(const CallICFGNode *cs) const | SVF::PointerAnalysis | inlineprotected |
| getGepObjVar(NodeID id, const APOffset &ap) | SVF::PointerAnalysis | inline |
| getICFG() const | SVF::PointerAnalysis | inline |
| getImplTy() const | SVF::PointerAnalysis | inline |
| getIndCallMap() | SVF::PointerAnalysis | inline |
| getIndCSCallees(const CallICFGNode *cs) const | SVF::PointerAnalysis | inline |
| getIndirectCallsites() const | SVF::PointerAnalysis | inlineprotected |
| getInsensitiveEdgeSet() | SVF::ContextDDA | inline |
| getLoadCVar(const CxtLocDPItem &dpm) const | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | inlineprotected |
| getLoadDpm(const CxtLocDPItem &dpm) const | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | inlineprotected |
| getLocToDPMVecMap() const | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | inlineprivate |
| getMutPTDataTy() const | SVF::CondPTAImpl< ContextCond > | inline |
| getNumOfResolvedIndCallEdge() const | SVF::PointerAnalysis | inline |
| getPAG() const | SVF::PointerAnalysis | inline |
| getPTDataTy() const | SVF::CondPTAImpl< ContextCond > | inline |
| getPtrNodeID(const CxtVar &var) const override | SVF::ContextDDA | inlinevirtual |
| getPts(CVar id) | SVF::CondPTAImpl< ContextCond > | inlinevirtual |
| getPts(NodeID ptr) | SVF::CondPTAImpl< ContextCond > | inlinevirtual |
| getPtsMap() const | SVF::CondPTAImpl< ContextCond > | inline |
| getRevPts(CVar nodeId) | SVF::CondPTAImpl< ContextCond > | inlinevirtual |
| getRevPts(NodeID obj) | SVF::CondPTAImpl< ContextCond > | inlinevirtual |
| getStat() const | SVF::PointerAnalysis | inline |
| getSVFG() const | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | inline |
| getSVFGSCC() const | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | inline |
| getSVFGSCCRepNode(NodeID id) | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | inlineprotected |
| getVFnsFromCHA(const CallICFGNode *cs, VFunSet &vfns) | SVF::PointerAnalysis | |
| getVFnsFromPts(const CallICFGNode *cs, const PointsTo &target, VFunSet &vfns) | SVF::PointerAnalysis | |
| handleAddr(CxtPtSet &pts, const CxtLocDPItem &dpm, const AddrSVFGNode *addr) override | SVF::ContextDDA | inlinevirtual |
| handleBKCondition(CxtLocDPItem &dpm, const SVFGEdge *edge) override | SVF::ContextDDA | virtual |
| handleOutOfBudgetDpm(const CxtLocDPItem &dpm) | SVF::ContextDDA | |
| handleSingleStatement(const CxtLocDPItem &dpm, CxtPtSet &pts) | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | inlineprotectedvirtual |
| hasIndCSCallees(const CallICFGNode *cs) const | SVF::PointerAnalysis | inline |
| hasPtsMap(void) const | SVF::CondPTAImpl< ContextCond > | inline |
| icfg | SVF::PointerAnalysis | protected |
| initialize() override | SVF::ContextDDA | virtual |
| inSameCallGraphSCC(const FunObjVar *fun1, const FunObjVar *fun2) | SVF::PointerAnalysis | inline |
| insensitveEdges | SVF::ContextDDA | private |
| isArrayCondMemObj(const CxtVar &var) const | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | inlineprotected |
| isArrayMemObj(NodeID id) const | SVF::PointerAnalysis | inline |
| isbkVisited(const CxtLocDPItem &dpm) | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | inlineprotected |
| isBlkObjOrConstantObj(NodeID ptd) const | SVF::PointerAnalysis | inlinevirtual |
| isCondCompatible(const ContextCond &cxt1, const ContextCond &cxt2, bool singleton) const override | SVF::ContextDDA | inlinevirtual |
| isEdgeInRecursion(CallSiteID csId) | SVF::ContextDDA | inlinevirtual |
| isFieldInsenCondMemObj(const CxtVar &var) const | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | inlineprotected |
| isFieldInsensitive(NodeID id) const | SVF::PointerAnalysis | inline |
| isFIObjNode(NodeID id) const | SVF::PointerAnalysis | inline |
| isHeapCondMemObj(const CxtVar &var, const StoreSVFGNode *store) override | SVF::ContextDDA | virtual |
| isHeapMemObj(NodeID id) const | SVF::PointerAnalysis | inline |
| isInRecursion(const FunObjVar *fun) const | SVF::PointerAnalysis | inline |
| isInsensitiveCallRet(const SVFGEdge *edge) | SVF::ContextDDA | inline |
| isLocalCVarInRecursion(const CxtVar &var) const | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | inlineprotectedvirtual |
| isLocalVarInRecursiveFun(NodeID id) const | SVF::PointerAnalysis | |
| isMustAlias(const CxtLocDPItem &, const CxtLocDPItem &) | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | inlineprotectedvirtual |
| isOutOfBudgetDpm(const CxtLocDPItem &dpm) const | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | inlineprotected |
| isOutOfBudgetQuery() const | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | inlineprotected |
| isSameVar(const CVar &var1, const CVar &var2) const | SVF::CondPTAImpl< ContextCond > | inlineprotected |
| isStrongUpdate(const CxtPtSet &dstCPSet, const StoreSVFGNode *store) | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | inlineprotectedvirtual |
| isSVFGNodeInCycle(const SVFGNode *node) | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | inlineprotected |
| isTopLevelPtrStmt(const SVFGNode *stmt) | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | inlineprotected |
| loadToPTCVarMap | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | protected |
| locToDpmSetMap | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | protected |
| LocToDPMVecMap typedef | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | |
| markbkVisited(const CxtLocDPItem &dpm) | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | inlineprotected |
| mustAlias(const CVar &var1, const CVar &var2) | SVF::CondPTAImpl< ContextCond > | inlineprotected |
| MutPTDataTy typedef | SVF::CondPTAImpl< ContextCond > | |
| normalized | SVF::CondPTAImpl< ContextCond > | protected |
| normalizePointsTo() | SVF::CondPTAImpl< ContextCond > | inlineprotectedvirtual |
| objToNSRevPtsMap | SVF::CondPTAImpl< ContextCond > | protected |
| OnTheFlyIterBudgetForStat | SVF::PointerAnalysis | protected |
| OOBResetVisited() | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | inlineprotected |
| outOfBudgetDpms | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | protected |
| outOfBudgetQuery | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | protected |
| overlap(const CPtSet &cpts1, const CPtSet &cpts2) const | SVF::CondPTAImpl< ContextCond > | inline |
| pag | SVF::PointerAnalysis | protectedstatic |
| PathS_DDA enum value | SVF::PointerAnalysis | |
| PointerAnalysis(SVFIR *pag, PTATY ty=Default_PTA, bool alias_check=true) | SVF::PointerAnalysis | |
| popRecursiveCallSites(CxtLocDPItem &dpm) | SVF::ContextDDA | inlinevirtual |
| print_stat | SVF::PointerAnalysis | protected |
| printIndCSTargets(const CallICFGNode *cs, const FunctionSet &targets) | SVF::PointerAnalysis | |
| printIndCSTargets() | SVF::PointerAnalysis | |
| printStat() | SVF::PointerAnalysis | inline |
| processGepPts(const GepSVFGNode *gep, const CxtPtSet &srcPts) override | SVF::ContextDDA | virtual |
| propagateViaObj(const CxtVar &storeObj, const CxtVar &loadObj) override | SVF::ContextDDA | inlinevirtual |
| PTAImplTy enum name | SVF::PointerAnalysis | |
| ptaImplTy | SVF::PointerAnalysis | protected |
| PTAName() const override | SVF::ContextDDA | inlinevirtual |
| PTATY enum name | SVF::PointerAnalysis | |
| ptaTy | SVF::PointerAnalysis | protected |
| ptD | SVF::CondPTAImpl< ContextCond > | protected |
| PTDataTy typedef | SVF::CondPTAImpl< ContextCond > | |
| PtrToBVPtsMap typedef | SVF::CondPTAImpl< ContextCond > | |
| ptrToBVPtsMap | SVF::CondPTAImpl< ContextCond > | protected |
| PtrToCPtsMap typedef | SVF::CondPTAImpl< ContextCond > | |
| ptrToCPtsMap | SVF::CondPTAImpl< ContextCond > | protected |
| PtrToNSMap typedef | SVF::CondPTAImpl< ContextCond > | |
| reCompute(const CxtLocDPItem &dpm) | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | inlineprotected |
| reComputeForEdges(const CxtLocDPItem &dpm, const SVFGEdgeSet &edgeSet, bool indirectCall=false) | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | inlineprotected |
| removeDpmFromLoc(const CxtLocDPItem &dpm) | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | inlineprivate |
| resetObjFieldSensitive() | SVF::PointerAnalysis | protected |
| resetQuery() | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | inlineprotectedvirtual |
| resolveCPPIndCalls(const CallICFGNode *cs, const PointsTo &target, CallEdgeMap &newEdges) | SVF::PointerAnalysis | virtual |
| resolveFunPtr(const CxtLocDPItem &dpm) | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | inlineprotected |
| resolveIndCalls(const CallICFGNode *cs, const PointsTo &target, CallEdgeMap &newEdges) | SVF::PointerAnalysis | virtual |
| rmSUStat(const CxtLocDPItem &dpm, const SVFGNode *node) | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | inlineprotected |
| setCallGraph(CallGraph *cg) | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | inlineprotected |
| setCallGraphSCC(CallGraphSCC *scc) | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | inlineprotected |
| setDDAStat(DDAStat *s) | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | inlineprotected |
| setObjFieldInsensitive(NodeID id) | SVF::PointerAnalysis | inline |
| startNewPTCompFromLoadSrc(CxtPtSet &pts, const CxtLocDPItem &oldDpm) | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | inlineprotected |
| startNewPTCompFromStoreDst(CxtPtSet &pts, const CxtLocDPItem &oldDpm) | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | inlineprotected |
| stat | SVF::PointerAnalysis | protected |
| Steensgaard_WPA enum value | SVF::PointerAnalysis | |
| storeToDPMs | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | protected |
| StoreToPMSetMap typedef | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | |
| svfgBuilder | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | protected |
| SVFGEdgeSet typedef | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | |
| SVFGSCC typedef | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | |
| SVFGSCCDetection() | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | inlineprotected |
| testIndCallReachability(CxtLocDPItem &dpm, const FunObjVar *callee, const CallICFGNode *cs) | SVF::ContextDDA | |
| testOutOfBudget(const CxtLocDPItem &dpm) | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | inlineprotected |
| TypeCPP_WPA enum value | SVF::PointerAnalysis | |
| unionDDAPts(CxtPtSet &pts, const CxtPtSet &targetPts) | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | inlinevirtual |
| unionDDAPts(CxtLocDPItem dpm, const CxtPtSet &targetPts) | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | inlinevirtual |
| unionPts(CVar id, const CPtSet &target) | SVF::CondPTAImpl< ContextCond > | inlineprotectedvirtual |
| unionPts(CVar id, CVar ptd) | SVF::CondPTAImpl< ContextCond > | inlineprotectedvirtual |
| updateCachedPointsTo(const CxtLocDPItem &dpm, const CxtPtSet &pts) | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | inlineprotectedvirtual |
| updateCallGraphAndSVFG(const CxtLocDPItem &dpm, const CallICFGNode *cs, SVFGEdgeSet &svfgEdges) override | SVF::ContextDDA | inlinevirtual |
| validateExpectedFailureTests(std::string fun) | SVF::PointerAnalysis | protectedvirtual |
| validateSuccessTests(std::string fun) | SVF::PointerAnalysis | protectedvirtual |
| validateTests() | SVF::PointerAnalysis | protectedvirtual |
| VFS_WPA enum value | SVF::PointerAnalysis | |
| VFunSet typedef | SVF::PointerAnalysis | |
| VTableSet typedef | SVF::PointerAnalysis | |
| ~CondPTAImpl() | SVF::CondPTAImpl< ContextCond > | inlinevirtual |
| ~ContextDDA() | SVF::ContextDDA | virtual |
| ~DDAVFSolver() | SVF::DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem > | inlinevirtual |
| ~PointerAnalysis() | SVF::PointerAnalysis | virtual |
