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 |
cptsToRepCPtsMap | SVF::MRGenerator | 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 |
funToModsMap | SVF::MRGenerator | private |
funToMRsMap | SVF::MRGenerator | private |
FunToMRsMap typedef | SVF::MRGenerator | |
FunToNodeBSMap typedef | SVF::MRGenerator | |
FunToPointsToMap typedef | SVF::MRGenerator | |
funToPointsToMap | SVF::MRGenerator | private |
FunToPointsTosMap typedef | SVF::MRGenerator | |
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 |
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 *) | SVF::MRGenerator | inlineprotectedvirtual |
getMRsForLoad(MRSet &aliasMRs, const NodeBS &cpts, const SVFFunction *) | SVF::MRGenerator | inlineprotectedvirtual |
getPAGEdgesFromInst(const ICFGNode *node) | SVF::MRGenerator | |
getPointsToList(const SVFFunction *fun) | SVF::MRGenerator | inlineprotected |
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 | |
isAliasedMR(const NodeBS &cpts, const MemRegion *mr) | SVF::MRGenerator | inlineprotectedvirtual |
isNonLocalObject(NodeID id, const SVFFunction *curFun) const | SVF::MRGenerator | private |
loadsToMRsMap | SVF::MRGenerator | private |
LoadsToMRsMap typedef | SVF::MRGenerator | |
LoadsToPointsToMap typedef | SVF::MRGenerator | |
loadsToPointsToMap | SVF::MRGenerator | private |
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 | SVF::MRGenerator | private |
PAGEdgeToFunMap typedef | SVF::MRGenerator | |
partitionMRs() | SVF::MRGenerator | protectedvirtual |
PointsToList typedef | SVF::MRGenerator | |
pta | SVF::MRGenerator | private |
ptrOnlyMSSA | SVF::MRGenerator | private |
PtsToRepPtsSetMap typedef | SVF::MRGenerator | |
SCC typedef | SVF::MRGenerator | |
sortPointsTo(const NodeBS &cpts) | SVF::MRGenerator | protectedvirtual |
StoresToMRsMap typedef | SVF::MRGenerator | |
storesToMRsMap | SVF::MRGenerator | private |
StoresToPointsToMap typedef | SVF::MRGenerator | |
storesToPointsToMap | SVF::MRGenerator | private |
SVFStmtList typedef | SVF::MRGenerator | |
updateAliasMRs() | SVF::MRGenerator | protectedvirtual |
WorkList typedef | SVF::MRGenerator | |
~MRGenerator() | SVF::MRGenerator | inlinevirtual |