| ADDEDGE_ALLOPT | SVF::MTASVFGBuilder | privatestatic |
| ADDEDGE_NOALIAS | SVF::MTASVFGBuilder | privatestatic |
| ADDEDGE_NOEDGE | SVF::MTASVFGBuilder | privatestatic |
| ADDEDGE_NOLOCK | SVF::MTASVFGBuilder | privatestatic |
| ADDEDGE_NOMHP | SVF::MTASVFGBuilder | privatestatic |
| ADDEDGE_NONSPARSE | SVF::MTASVFGBuilder | privatestatic |
| ADDEDGE_NORP | SVF::MTASVFGBuilder | privatestatic |
| addTDEdges(NodeID srcId, NodeID dstId, PointsTo &pts) | SVF::MTASVFGBuilder | private |
| build(BVDataPTAImpl *pta, VFG::VFGK kind) | SVF::SVFGBuilder | protected |
| buildFullSVFG(BVDataPTAImpl *pta) | SVF::SVFGBuilder | |
| buildMSSA(BVDataPTAImpl *pta, bool ptrOnlyMSSA) | SVF::SVFGBuilder | virtual |
| buildPTROnlySVFG(BVDataPTAImpl *pta) | SVF::SVFGBuilder | |
| buildSVFG() | SVF::MTASVFGBuilder | protectedvirtual |
| CallEdgeMap typedef | SVF::MTASVFGBuilder | |
| CallSiteSet typedef | SVF::MTASVFGBuilder | |
| collectLoadStoreSVFGNodes() | SVF::MTASVFGBuilder | private |
| connectMHPEdges(PointerAnalysis *pta) | SVF::MTASVFGBuilder | private |
| edge2pts | SVF::MTASVFGBuilder | private |
| FunctionSet typedef | SVF::MTASVFGBuilder | |
| getPrevNodes(const StmtSVFGNode *n) | SVF::MTASVFGBuilder | private |
| getSuccNodes(const StmtSVFGNode *n) | SVF::MTASVFGBuilder | private |
| getSuccNodes(const StmtSVFGNode *n, NodeID o) | SVF::MTASVFGBuilder | private |
| getSVFG() const | SVF::SVFGBuilder | inline |
| handleStoreLoad(const StmtSVFGNode *n1, const StmtSVFGNode *n2, PointerAnalysis *pta) | SVF::MTASVFGBuilder | private |
| handleStoreLoadNonSparse(const StmtSVFGNode *n1, const StmtSVFGNode *n2, PointerAnalysis *pta) | SVF::MTASVFGBuilder | private |
| handleStoreLoadWithLockPrecisely(const StmtSVFGNode *n1, const StmtSVFGNode *n2, PointerAnalysis *pta) | SVF::MTASVFGBuilder | private |
| handleStoreStore(const StmtSVFGNode *n1, const StmtSVFGNode *n2, PointerAnalysis *pta) | SVF::MTASVFGBuilder | private |
| handleStoreStoreNonSparse(const StmtSVFGNode *n1, const StmtSVFGNode *n2, PointerAnalysis *pta) | SVF::MTASVFGBuilder | private |
| handleStoreStoreWithLockPrecisely(const StmtSVFGNode *n1, const StmtSVFGNode *n2, PointerAnalysis *pta) | SVF::MTASVFGBuilder | private |
| headmap | SVF::MTASVFGBuilder | private |
| InstSet typedef | SVF::MTASVFGBuilder | |
| isHeadofSpan(const StmtSVFGNode *n, LockAnalysis::LockSpan lspan) | SVF::MTASVFGBuilder | private |
| isHeadofSpan(const StmtSVFGNode *n, InstSet mergespan) | SVF::MTASVFGBuilder | private |
| isHeadofSpan(const StmtSVFGNode *n) | SVF::MTASVFGBuilder | private |
| isSpuriousVFEdgeAtIndCallSite(const SVFGEdge *edge) | SVF::SVFGBuilder | inline |
| isTailofSpan(const StmtSVFGNode *n, LockAnalysis::LockSpan lspan) | SVF::MTASVFGBuilder | private |
| isTailofSpan(const StmtSVFGNode *n, InstSet mergespan) | SVF::MTASVFGBuilder | private |
| isTailofSpan(const StmtSVFGNode *n) | SVF::MTASVFGBuilder | private |
| ldnodeSet | SVF::MTASVFGBuilder | private |
| lockana | SVF::MTASVFGBuilder | private |
| markValidVFEdge(SVFGEdgeSet &edges) | SVF::SVFGBuilder | inline |
| mergeSpan(NodeBS comlocks, InstSet &res) | SVF::MTASVFGBuilder | private |
| mhp | SVF::MTASVFGBuilder | private |
| MTASVFGBuilder(MHP *m, LockAnalysis *la) | SVF::MTASVFGBuilder | inline |
| NodeIDPair typedef | SVF::MTASVFGBuilder | |
| numOfNewSVFGEdges | SVF::MTASVFGBuilder | static |
| numOfRemovedPTS | SVF::MTASVFGBuilder | static |
| numOfRemovedSVFGEdges | SVF::MTASVFGBuilder | static |
| pairheadmap | SVF::MTASVFGBuilder | private |
| pairtailmap | SVF::MTASVFGBuilder | private |
| PairToBoolMap typedef | SVF::MTASVFGBuilder | |
| performAddingMHPEdges() | SVF::MTASVFGBuilder | private |
| performRemovingMHPEdges() | SVF::MTASVFGBuilder | private |
| prevset | SVF::MTASVFGBuilder | private |
| readPrecision() | SVF::MTASVFGBuilder | private |
| recordAddingEdge(NodeID id1, NodeID id2, PointsTo pts) | SVF::MTASVFGBuilder | private |
| recordEdge(NodeID id1, NodeID id2, PointsTo pts) | SVF::MTASVFGBuilder | private |
| recordedges | SVF::MTASVFGBuilder | private |
| recordRemovingEdge(NodeID id1, NodeID id2, PointsTo pts) | SVF::MTASVFGBuilder | private |
| releaseMemory() | SVF::SVFGBuilder | protectedvirtual |
| stnodeSet | SVF::MTASVFGBuilder | private |
| succset | SVF::MTASVFGBuilder | private |
| svfg | SVF::SVFGBuilder | protected |
| SVFGBuilder(bool _SVFGWithIndCall=false) | SVF::SVFGBuilder | inlineexplicit |
| SVFGEdgeSet typedef | SVF::SVFGBuilder | |
| SVFGNodeIDSet typedef | SVF::MTASVFGBuilder | |
| SVFGNodeSet typedef | SVF::MTASVFGBuilder | |
| SVFGNodeVec typedef | SVF::MTASVFGBuilder | |
| SVFGWithIndCall | SVF::SVFGBuilder | protected |
| tailmap | SVF::MTASVFGBuilder | private |
| vfEdgesAtIndCallSite | SVF::SVFGBuilder | protected |
| ~MTASVFGBuilder() | SVF::MTASVFGBuilder | inlinevirtual |
| ~SVFGBuilder()=default | SVF::SVFGBuilder | virtual |
