| _ander | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | protected |
| _callGraph | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | protected |
| _callGraphSCC | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | protected |
| _pag | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | protected |
| _svfg | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | protected |
| _svfgSCC | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | protected |
| addDDAPts(CPtSet &pts, const CVar &var) | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | inlinevirtual |
| addDpmToLoc(const DPIm &dpm) | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | inlineprivate |
| addLoadCVar(const DPIm &dpm, const CVar &loadVar) | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | inlineprotected |
| addLoadDpm(const DPIm &dpm, const DPIm &loadDpm) | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | inlineprotected |
| addLoadDpmAndCVar(const DPIm &dpm, const DPIm &loadDpm, const CVar &loadVar) | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | inlineprotected |
| addOutOfBudgetDpm(const DPIm &dpm) | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | inlineprotected |
| addSUStat(const DPIm &dpm, const SVFGNode *node) | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | inlineprotected |
| backtraceAlongDirectVF(CPtSet &pts, const DPIm &oldDpm) | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | inlineprotected |
| backtraceAlongIndirectVF(CPtSet &pts, const DPIm &oldDpm) | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | inlineprotected |
| backtraceToStoreSrc(CPtSet &pts, const DPIm &oldDpm) | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | inlineprotected |
| backwardPropDpm(CPtSet &pts, NodeID ptr, const DPIm &oldDpm, const SVFGEdge *edge) | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | inlineprotectedvirtual |
| backwardVisited | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | protected |
| buildSVFG(SVFIR *pag) | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | inlineprotectedvirtual |
| CallGraphSCC typedef | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | |
| CallInstSet typedef | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | |
| CallSiteSet typedef | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | |
| candidateQueries | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | protected |
| clearbkVisited(const DPIm &dpm) | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | inlineprotected |
| ConstSVFGEdgeSet typedef | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | |
| DDAStat | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | friend |
| ddaStat | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | protected |
| DDAVFSolver() | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | inline |
| DPImToCPtSetMap typedef | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | |
| dpmToADCPtSetMap | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | protected |
| DPMToCVarMap typedef | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | |
| DPMToDPMMap typedef | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | |
| dpmToloadDpmMap | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | protected |
| dpmToTLCPtSetMap | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | protected |
| DPTItemSet typedef | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | |
| dumpCPtSet(const CPtSet &cpts) const | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | inline |
| edgeInSVFGSCC(const SVFGEdge *edge) | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | inlineprotected |
| findPT(const DPIm &dpm) | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | inlinevirtual |
| getAndersenAnalysis() const | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | inlineprotected |
| getCachedADPointsTo(const DPIm &dpm) | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | inlineprotectedvirtual |
| getCachedPointsTo(const DPIm &dpm) | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | inlineprotectedvirtual |
| getCachedTLPointsTo(const DPIm &dpm) | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | inlineprotectedvirtual |
| getCandidateQueries() | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | inline |
| getConservativeCPts(const DPIm &dpm)=0 | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | protectedpure virtual |
| getDefSVFGNode(const PAGNode *pagNode) const | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | inlineprotected |
| getDPIm(const CVar &var, const SVFGNode *loc) const | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | inlinevirtual |
| getDPImWithOldCond(const DPIm &oldDpm, const CVar &var, const SVFGNode *loc) | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | inlineprotectedvirtual |
| getDpmSetAtLoc(const SVFGNode *loc) | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | inlineprivate |
| getLoadCVar(const DPIm &dpm) const | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | inlineprotected |
| getLoadDpm(const DPIm &dpm) const | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | inlineprotected |
| getLocToDPMVecMap() const | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | inlineprivate |
| getPtrNodeID(const CVar &var) const =0 | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | protectedpure virtual |
| getSVFG() const | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | inline |
| getSVFGSCC() const | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | inline |
| getSVFGSCCRepNode(NodeID id) | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | inlineprotected |
| handleAddr(CPtSet &pts, const DPIm &dpm, const AddrSVFGNode *addr)=0 | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | protectedpure virtual |
| handleBKCondition(DPIm &, const SVFGEdge *) | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | inlineprotectedvirtual |
| handleOutOfBudgetDpm(const DPIm &dpm) | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | inlineprotected |
| handleSingleStatement(const DPIm &dpm, CPtSet &pts) | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | inlineprotectedvirtual |
| isArrayCondMemObj(const CVar &var) const | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | inlineprotected |
| isbkVisited(const DPIm &dpm) | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | inlineprotected |
| isFieldInsenCondMemObj(const CVar &var) const | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | inlineprotected |
| isHeapCondMemObj(const CVar &var, const StoreSVFGNode *) | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | inlineprotectedvirtual |
| isLocalCVarInRecursion(const CVar &var) const | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | inlineprotectedvirtual |
| isMustAlias(const DPIm &, const DPIm &) | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | inlineprotectedvirtual |
| isOutOfBudgetDpm(const DPIm &dpm) const | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | inlineprotected |
| isOutOfBudgetQuery() const | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | inlineprotected |
| isStrongUpdate(const CPtSet &dstCPSet, const StoreSVFGNode *store) | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | inlineprotectedvirtual |
| isSVFGNodeInCycle(const SVFGNode *node) | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | inlineprotected |
| isTopLevelPtrStmt(const SVFGNode *stmt) | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | inlineprotected |
| loadToPTCVarMap | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | protected |
| locToDpmSetMap | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | protected |
| LocToDPMVecMap typedef | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | |
| markbkVisited(const DPIm &dpm) | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | inlineprotected |
| OOBResetVisited() | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | inlineprotected |
| outOfBudgetDpms | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | protected |
| outOfBudgetQuery | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | protected |
| processGepPts(const GepSVFGNode *gep, const CPtSet &srcPts)=0 | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | protectedpure virtual |
| propagateViaObj(const CVar &storeObj, const CVar &loadObj) | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | inlineprotectedvirtual |
| reCompute(const DPIm &dpm) | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | inlineprotected |
| reComputeForEdges(const DPIm &dpm, const SVFGEdgeSet &edgeSet, bool indirectCall=false) | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | inlineprotected |
| removeDpmFromLoc(const DPIm &dpm) | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | inlineprivate |
| resetQuery() | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | inlineprotectedvirtual |
| resolveFunPtr(const DPIm &dpm) | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | inlineprotected |
| rmSUStat(const DPIm &dpm, const SVFGNode *node) | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | inlineprotected |
| setCallGraph(CallGraph *cg) | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | inlineprotected |
| setCallGraphSCC(CallGraphSCC *scc) | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | inlineprotected |
| setDDAStat(DDAStat *s) | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | inlineprotected |
| startNewPTCompFromLoadSrc(CPtSet &pts, const DPIm &oldDpm) | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | inlineprotected |
| startNewPTCompFromStoreDst(CPtSet &pts, const DPIm &oldDpm) | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | inlineprotected |
| storeToDPMs | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | protected |
| StoreToPMSetMap typedef | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | |
| svfgBuilder | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | protected |
| SVFGEdgeSet typedef | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | |
| SVFGSCC typedef | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | |
| SVFGSCCDetection() | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | inlineprotected |
| testOutOfBudget(const DPIm &dpm) | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | inlineprotected |
| unionDDAPts(CPtSet &pts, const CPtSet &targetPts) | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | inlinevirtual |
| unionDDAPts(DPIm dpm, const CPtSet &targetPts) | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | inlinevirtual |
| updateCachedPointsTo(const DPIm &dpm, const CPtSet &pts) | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | inlineprotectedvirtual |
| updateCallGraphAndSVFG(const DPIm &, const CallICFGNode *, SVFGEdgeSet &) | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | inlineprotectedvirtual |
| ~DDAVFSolver() | SVF::DDAVFSolver< CVar, CPtSet, DPIm > | inlinevirtual |
