Static Value-Flow Analysis
SVF::DistinctMRG Member List

This is the complete list of members for SVF::DistinctMRG, including all inherited members.

addCPtsToCallSiteMods(NodeBS &cpts, const CallICFGNode *cs)SVF::MRGeneratorinlineprotected
addCPtsToCallSiteRefs(NodeBS &cpts, const CallICFGNode *cs)SVF::MRGeneratorinlineprotected
addCPtsToLoad(NodeBS &cpts, const LoadStmt *ld, const SVFFunction *fun)SVF::MRGeneratorinlineprotected
addCPtsToStore(NodeBS &cpts, const StoreStmt *st, const SVFFunction *fun)SVF::MRGeneratorinlineprotected
addModSideEffectOfCallSite(const CallICFGNode *cs, const NodeBS &mods)SVF::MRGeneratorprotected
addModSideEffectOfFunction(const SVFFunction *fun, const NodeBS &mods)SVF::MRGeneratorprotected
addRefSideEffectOfCallSite(const CallICFGNode *cs, const NodeBS &refs)SVF::MRGeneratorprotected
addRefSideEffectOfFunction(const SVFFunction *fun, const NodeBS &refs)SVF::MRGeneratorprotected
allGlobalsSVF::MRGeneratorprivate
cachedPtsChainMapSVF::MRGeneratorprivate
callGraphSVF::MRGeneratorprivate
callGraphSCCSVF::MRGeneratorprivate
callsiteToModMRsMapSVF::MRGeneratorprivate
callsiteToModPointsToMapSVF::MRGeneratorprivate
CallSiteToMRsMap typedefSVF::MRGenerator
CallSiteToNodeBSMap typedefSVF::MRGenerator
CallSiteToPointsToMap typedefSVF::MRGenerator
callsiteToRefMRsMapSVF::MRGeneratorprivate
callsiteToRefPointsToMapSVF::MRGeneratorprivate
collectCallSitePts(const CallICFGNode *cs)SVF::MRGeneratorprivate
collectGlobals()SVF::MRGeneratorprotected
collectModRefForCall()SVF::MRGeneratorprotectedvirtual
collectModRefForLoadStore()SVF::MRGeneratorprotectedvirtual
CollectPtsChain(NodeID id)SVF::MRGeneratorprivate
cptsToRepCPtsMapSVF::MRGeneratorprotected
createDistinctMR(const SVFFunction *func, const NodeBS &cpts)SVF::DistinctMRGprivate
createMR(const SVFFunction *fun, const NodeBS &cpts)SVF::MRGeneratorprotected
csToCallSiteArgsPtsMapSVF::MRGeneratorprivate
csToCallSiteRetPtsMapSVF::MRGeneratorprivate
csToModsMapSVF::MRGeneratorprivate
csToRefsMapSVF::MRGeneratorprivate
destroy()SVF::MRGeneratorprivate
DistinctMRG(BVDataPTAImpl *p, bool ptrOnly)SVF::DistinctMRGinline
funToModsMapSVF::MRGeneratorprivate
FunToMRsMap typedefSVF::MRGenerator
funToMRsMapSVF::MRGeneratorprivate
FunToNodeBSMap typedefSVF::MRGenerator
FunToPointsToMap typedefSVF::MRGenerator
funToPointsToMapSVF::MRGeneratorprivate
FunToPointsTosMap typedefSVF::MRGenerator
funToRefsMapSVF::MRGeneratorprivate
generateMRs()SVF::MRGeneratorvirtual
getAliasMemRegions(MRSet &aliasMRs, const NodeBS &cpts, const SVFFunction *fun)SVF::MRGeneratorinlineprotectedvirtual
getCallGraphSCCRevTopoOrder(WorkList &worklist)SVF::MRGeneratorprivate
getCallSiteArgsPts(const CallICFGNode *cs)SVF::MRGeneratorinlineprivate
getCallSiteModMRSet(const CallICFGNode *cs)SVF::MRGeneratorinline
getCallSiteRefMRSet(const CallICFGNode *cs)SVF::MRGeneratorinline
getCallSiteRetPts(const CallICFGNode *cs)SVF::MRGeneratorinlineprivate
getEscapObjviaGlobals(NodeBS &globs, const NodeBS &pts)SVF::MRGeneratorprivate
getFunction(const PAGEdge *pagEdge) constSVF::MRGeneratorinline
getFunMRSet(const SVFFunction *fun)SVF::MRGeneratorinline
getFunToPointsToList()SVF::MRGeneratorinlineprotected
getLoadMRSet(const LoadStmt *load)SVF::MRGeneratorinline
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::MRGeneratorinlineprotected
getModSideEffectOfFunction(const SVFFunction *fun)SVF::MRGeneratorinlineprotected
getMR(const NodeBS &cpts) constSVF::MRGenerator
getMRNum() constSVF::MRGeneratorinline
getMRSet()SVF::MRGeneratorinline
getMRsForCallSiteRef(MRSet &aliasMRs, const NodeBS &cpts, const SVFFunction *fun)SVF::DistinctMRGprotectedvirtual
getMRsForLoad(MRSet &aliasMRs, const NodeBS &cpts, const SVFFunction *fun)SVF::DistinctMRGprotectedvirtual
getPAGEdgesFromInst(const ICFGNode *node)SVF::MRGenerator
getPointsToList(const SVFFunction *fun)SVF::MRGeneratorinlineprotected
getRefInfoForCall(const CallICFGNode *cs)SVF::MRGenerator
getRefSideEffectOfCallSite(const CallICFGNode *cs)SVF::MRGeneratorinlineprotected
getRefSideEffectOfFunction(const SVFFunction *fun)SVF::MRGeneratorinlineprotected
getRepPointsTo(const NodeBS &cpts) constSVF::MRGeneratorinline
getStoreMRSet(const StoreStmt *store)SVF::MRGeneratorinline
handleCallsiteModRef(NodeBS &mod, NodeBS &ref, const CallICFGNode *cs, const SVFFunction *fun)SVF::MRGeneratorprotectedvirtual
hasCPtsList(const SVFFunction *fun) constSVF::MRGeneratorinlineprotected
hasModMRSet(const CallICFGNode *cs)SVF::MRGeneratorinline
hasModSideEffectOfCallSite(const CallICFGNode *cs)SVF::MRGeneratorinlineprotected
hasRefMRSet(const CallICFGNode *cs)SVF::MRGeneratorinline
hasRefSideEffectOfCallSite(const CallICFGNode *cs)SVF::MRGeneratorinlineprotected
hasSVFStmtList(const ICFGNode *icfgNode)SVF::MRGenerator
isAliasedMR(const NodeBS &cpts, const MemRegion *mr)SVF::MRGeneratorinlineprotectedvirtual
isNonLocalObject(NodeID id, const SVFFunction *curFun) constSVF::MRGeneratorprivate
loadsToMRsMapSVF::MRGeneratorprivate
LoadsToMRsMap typedefSVF::MRGenerator
LoadsToPointsToMap typedefSVF::MRGenerator
loadsToPointsToMapSVF::MRGeneratorprivate
memRegSetSVF::MRGeneratorprotected
modRefAnalysis(PTACallGraphNode *callGraphNode, WorkList &worklist)SVF::MRGeneratorprotectedvirtual
MRGenerator(BVDataPTAImpl *p, bool ptrOnly)SVF::MRGeneratorprotected
MRSet typedefSVF::MRGenerator
NodeToPTSSMap typedefSVF::MRGenerator
PAGEdgeToFunMap typedefSVF::MRGenerator
pagEdgeToFunMapSVF::MRGeneratorprivate
partitionMRs()SVF::DistinctMRGprotectedvirtual
PointsToList typedefSVF::MRGenerator
ptaSVF::MRGeneratorprivate
ptrOnlyMSSASVF::MRGeneratorprivate
PtsToRepPtsSetMap typedefSVF::MRGenerator
SCC typedefSVF::MRGenerator
sortPointsTo(const NodeBS &cpts)SVF::MRGeneratorprotectedvirtual
StoresToMRsMap typedefSVF::MRGenerator
storesToMRsMapSVF::MRGeneratorprivate
storesToPointsToMapSVF::MRGeneratorprivate
StoresToPointsToMap typedefSVF::MRGenerator
SVFStmtList typedefSVF::MRGenerator
updateAliasMRs()SVF::MRGeneratorprotectedvirtual
WorkList typedefSVF::MRGenerator
~DistinctMRG()SVF::DistinctMRGinline
~MRGenerator()SVF::MRGeneratorinlinevirtual