| addCPtsToCallSiteMods(NodeBS &cpts, const CallICFGNode *cs) | SVF::MRGenerator | inlineprotected |
| addCPtsToCallSiteRefs(NodeBS &cpts, const CallICFGNode *cs) | SVF::MRGenerator | inlineprotected |
| addCPtsToLoad(NodeBS &cpts, const LoadStmt *ld, const SVFFunction *fun) | SVF::MRGenerator | inlineprotected |
| addCPtsToStore(NodeBS &cpts, const StoreStmt *st, const SVFFunction *fun) | SVF::MRGenerator | inlineprotected |
| addModSideEffectOfCallSite(const CallICFGNode *cs, const NodeBS &mods) | SVF::MRGenerator | protected |
| addModSideEffectOfFunction(const SVFFunction *fun, const NodeBS &mods) | SVF::MRGenerator | protected |
| addRefSideEffectOfCallSite(const CallICFGNode *cs, const NodeBS &refs) | SVF::MRGenerator | protected |
| addRefSideEffectOfFunction(const SVFFunction *fun, const NodeBS &refs) | SVF::MRGenerator | protected |
| allGlobals | SVF::MRGenerator | private |
| cachedPtsChainMap | SVF::MRGenerator | private |
| callGraph | SVF::MRGenerator | private |
| callGraphSCC | SVF::MRGenerator | private |
| callsiteToModMRsMap | SVF::MRGenerator | private |
| callsiteToModPointsToMap | SVF::MRGenerator | private |
| CallSiteToMRsMap typedef | SVF::MRGenerator | |
| CallSiteToNodeBSMap typedef | SVF::MRGenerator | |
| CallSiteToPointsToMap typedef | SVF::MRGenerator | |
| callsiteToRefMRsMap | SVF::MRGenerator | private |
| callsiteToRefPointsToMap | SVF::MRGenerator | private |
| collectCallSitePts(const CallICFGNode *cs) | SVF::MRGenerator | private |
| collectGlobals() | SVF::MRGenerator | protected |
| collectModRefForCall() | SVF::MRGenerator | protectedvirtual |
| collectModRefForLoadStore() | SVF::MRGenerator | protectedvirtual |
| CollectPtsChain(NodeID id) | SVF::MRGenerator | private |
| computeIntersections(const NodeBS &cpts, PointsToList &inters) | SVF::IntraDisjointMRG | protected |
| cptsToRepCPtsMap | SVF::MRGenerator | protected |
| createDisjointMR(const SVFFunction *func, const NodeBS &cpts) | SVF::IntraDisjointMRG | protected |
| createMR(const SVFFunction *fun, const NodeBS &cpts) | SVF::MRGenerator | protected |
| csToCallSiteArgsPtsMap | SVF::MRGenerator | private |
| csToCallSiteRetPtsMap | SVF::MRGenerator | private |
| csToModsMap | SVF::MRGenerator | private |
| csToRefsMap | SVF::MRGenerator | private |
| destroy() | SVF::MRGenerator | private |
| funcToInterMap | SVF::IntraDisjointMRG | private |
| funcToPtsMap | SVF::IntraDisjointMRG | private |
| FunToInterMap typedef | SVF::IntraDisjointMRG | |
| funToModsMap | SVF::MRGenerator | private |
| funToMRsMap | SVF::MRGenerator | private |
| FunToMRsMap typedef | SVF::MRGenerator | |
| FunToNodeBSMap typedef | SVF::MRGenerator | |
| funToPointsToMap | SVF::MRGenerator | private |
| FunToPointsToMap typedef | SVF::MRGenerator | |
| FunToPointsTosMap typedef | SVF::MRGenerator | |
| FunToPtsMap typedef | SVF::IntraDisjointMRG | |
| funToRefsMap | SVF::MRGenerator | private |
| generateMRs() | SVF::MRGenerator | virtual |
| getAliasMemRegions(MRSet &aliasMRs, const NodeBS &cpts, const SVFFunction *fun) | SVF::MRGenerator | inlineprotectedvirtual |
| getCallGraphSCCRevTopoOrder(WorkList &worklist) | SVF::MRGenerator | private |
| getCallSiteArgsPts(const CallICFGNode *cs) | SVF::MRGenerator | inlineprivate |
| getCallSiteModMRSet(const CallICFGNode *cs) | SVF::MRGenerator | inline |
| getCallSiteRefMRSet(const CallICFGNode *cs) | SVF::MRGenerator | inline |
| getCallSiteRetPts(const CallICFGNode *cs) | SVF::MRGenerator | inlineprivate |
| getEscapObjviaGlobals(NodeBS &globs, const NodeBS &pts) | SVF::MRGenerator | private |
| getFunction(const PAGEdge *pagEdge) const | SVF::MRGenerator | inline |
| getFunMRSet(const SVFFunction *fun) | SVF::MRGenerator | inline |
| getFunToPointsToList() | SVF::MRGenerator | inlineprotected |
| getIntersList(const SVFFunction *func) | SVF::IntraDisjointMRG | inlineprivate |
| getLoadMRSet(const LoadStmt *load) | SVF::MRGenerator | inline |
| getModInfoForCall(const CallICFGNode *cs) | SVF::MRGenerator | |
| getModRefInfo(const CallICFGNode *cs) | SVF::MRGenerator | |
| getModRefInfo(const CallICFGNode *cs, const SVFValue *V) | SVF::MRGenerator | |
| getModRefInfo(const CallICFGNode *cs1, const CallICFGNode *cs2) | SVF::MRGenerator | |
| getModSideEffectOfCallSite(const CallICFGNode *cs) | SVF::MRGenerator | inlineprotected |
| getModSideEffectOfFunction(const SVFFunction *fun) | SVF::MRGenerator | inlineprotected |
| getMR(const NodeBS &cpts) const | SVF::MRGenerator | |
| getMRNum() const | SVF::MRGenerator | inline |
| getMRSet() | SVF::MRGenerator | inline |
| getMRsForCallSiteRef(MRSet &aliasMRs, const NodeBS &cpts, const SVFFunction *fun) | SVF::IntraDisjointMRG | protectedvirtual |
| getMRsForLoad(MRSet &aliasMRs, const NodeBS &cpts, const SVFFunction *) | SVF::InterDisjointMRG | inlineprotectedvirtual |
| getMRsForLoadFromInterList(MRSet &mrs, const NodeBS &cpts, const PointsToList &inters) | SVF::IntraDisjointMRG | protected |
| getPAGEdgesFromInst(const ICFGNode *node) | SVF::MRGenerator | |
| getPointsToList(const SVFFunction *fun) | SVF::MRGenerator | inlineprotected |
| getPtsSubSetMap(const SVFFunction *func) | SVF::IntraDisjointMRG | inlineprivate |
| getPtsSubSetMap(const SVFFunction *func) const | SVF::IntraDisjointMRG | inlineprivate |
| getRefInfoForCall(const CallICFGNode *cs) | SVF::MRGenerator | |
| getRefSideEffectOfCallSite(const CallICFGNode *cs) | SVF::MRGenerator | inlineprotected |
| getRefSideEffectOfFunction(const SVFFunction *fun) | SVF::MRGenerator | inlineprotected |
| getRepPointsTo(const NodeBS &cpts) const | SVF::MRGenerator | inline |
| getStoreMRSet(const StoreStmt *store) | SVF::MRGenerator | inline |
| handleCallsiteModRef(NodeBS &mod, NodeBS &ref, const CallICFGNode *cs, const SVFFunction *fun) | SVF::MRGenerator | protectedvirtual |
| hasCPtsList(const SVFFunction *fun) const | SVF::MRGenerator | inlineprotected |
| hasModMRSet(const CallICFGNode *cs) | SVF::MRGenerator | inline |
| hasModSideEffectOfCallSite(const CallICFGNode *cs) | SVF::MRGenerator | inlineprotected |
| hasRefMRSet(const CallICFGNode *cs) | SVF::MRGenerator | inline |
| hasRefSideEffectOfCallSite(const CallICFGNode *cs) | SVF::MRGenerator | inlineprotected |
| hasSVFStmtList(const ICFGNode *icfgNode) | SVF::MRGenerator | |
| InterDisjointMRG(BVDataPTAImpl *p, bool ptrOnly) | SVF::InterDisjointMRG | inline |
| inters | SVF::InterDisjointMRG | private |
| IntraDisjointMRG(BVDataPTAImpl *p, bool ptrOnly) | SVF::IntraDisjointMRG | inline |
| isAliasedMR(const NodeBS &cpts, const MemRegion *mr) | SVF::MRGenerator | inlineprotectedvirtual |
| isNonLocalObject(NodeID id, const SVFFunction *curFun) const | SVF::MRGenerator | private |
| LoadsToMRsMap typedef | SVF::MRGenerator | |
| loadsToMRsMap | SVF::MRGenerator | private |
| loadsToPointsToMap | SVF::MRGenerator | private |
| LoadsToPointsToMap typedef | SVF::MRGenerator | |
| memRegSet | SVF::MRGenerator | protected |
| modRefAnalysis(PTACallGraphNode *callGraphNode, WorkList &worklist) | SVF::MRGenerator | protectedvirtual |
| MRGenerator(BVDataPTAImpl *p, bool ptrOnly) | SVF::MRGenerator | protected |
| MRSet typedef | SVF::MRGenerator | |
| NodeToPTSSMap typedef | SVF::MRGenerator | |
| PAGEdgeToFunMap typedef | SVF::MRGenerator | |
| pagEdgeToFunMap | SVF::MRGenerator | private |
| partitionMRs() | SVF::InterDisjointMRG | protectedvirtual |
| PointsToList typedef | SVF::MRGenerator | |
| pta | SVF::MRGenerator | private |
| ptrOnlyMSSA | SVF::MRGenerator | private |
| PtsToRepPtsSetMap typedef | SVF::MRGenerator | |
| PtsToSubPtsMap typedef | SVF::IntraDisjointMRG | |
| SCC typedef | SVF::MRGenerator | |
| sortPointsTo(const NodeBS &cpts) | SVF::MRGenerator | protectedvirtual |
| storesToMRsMap | SVF::MRGenerator | private |
| StoresToMRsMap typedef | SVF::MRGenerator | |
| StoresToPointsToMap typedef | SVF::MRGenerator | |
| storesToPointsToMap | SVF::MRGenerator | private |
| SVFStmtList typedef | SVF::MRGenerator | |
| updateAliasMRs() | SVF::MRGenerator | protectedvirtual |
| WorkList typedef | SVF::MRGenerator | |
| ~InterDisjointMRG() | SVF::InterDisjointMRG | inline |
| ~IntraDisjointMRG() | SVF::IntraDisjointMRG | inline |
| ~MRGenerator() | SVF::MRGenerator | inlinevirtual |
