| addJoinRetEdge(const FormalOUTSVFGNode *formalOut, const ActualOUTSVFGNode *actualOut, CallSiteID csId) | SVF::MTASVFGBuilder | private |
| addTDEdge(NodeID srcId, NodeID dstId, const 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() override | SVF::MTASVFGBuilder | protectedvirtual |
| CallEdgeMap typedef | SVF::SVFGBuilder | |
| CallSiteSet typedef | SVF::SVFGBuilder | |
| collectLoadStoreSVFGNodes() | SVF::MTASVFGBuilder | private |
| configureForMainSolve(const SlicedICFGView *slice) | SVF::MTASVFGBuilder | inline |
| connectMHPEdges(PointerAnalysis *pta) | SVF::MTASVFGBuilder | private |
| connectThreadJoinEdges() | SVF::MTASVFGBuilder | private |
| createMRGenerator(BVDataPTAImpl *pta, bool ptrOnlyMSSA) override | SVF::MTASVFGBuilder | protectedvirtual |
| FunctionSet typedef | SVF::SVFGBuilder | |
| getPrevNodes(const StmtSVFGNode *n) | SVF::MTASVFGBuilder | private |
| getSuccNodes(const StmtSVFGNode *n) | SVF::MTASVFGBuilder | private |
| getSVFG() const | SVF::SVFGBuilder | inline |
| getThreadVFQueryMap() const | SVF::MTASVFGBuilder | inline |
| handleStoreLoad(const StmtSVFGNode *n1, const StmtSVFGNode *n2, PointerAnalysis *pta) | SVF::MTASVFGBuilder | private |
| handleStoreStore(const StmtSVFGNode *n1, const StmtSVFGNode *n2, PointerAnalysis *pta) | SVF::MTASVFGBuilder | private |
| headmap | SVF::MTASVFGBuilder | private |
| icfgSlice | SVF::MTASVFGBuilder | private |
| isHeadOfSpan(const StmtSVFGNode *n) | SVF::MTASVFGBuilder | private |
| isSpuriousVFEdgeAtIndCallSite(const SVFGEdge *edge) | SVF::SVFGBuilder | inline |
| isTailOfSpan(const StmtSVFGNode *n) | SVF::MTASVFGBuilder | private |
| ldnodeSet | SVF::MTASVFGBuilder | private |
| lockana | SVF::MTASVFGBuilder | private |
| markValidVFEdge(SVFGEdgeSet &edges) | SVF::SVFGBuilder | inline |
| mhp | SVF::MTASVFGBuilder | private |
| MTASVFGBuilder(MHP *m, LockAnalysis *la) | SVF::MTASVFGBuilder | inline |
| numOfNewSVFGEdges | SVF::MTASVFGBuilder | static |
| prevset | SVF::MTASVFGBuilder | private |
| recordThreadVF | SVF::MTASVFGBuilder | private |
| recordThreadVFSource(const StmtSVFGNode *s, const StmtSVFGNode *sp, bool commonLock) | SVF::MTASVFGBuilder | private |
| releaseMemory() | SVF::SVFGBuilder | protectedvirtual |
| stnodeSet | SVF::MTASVFGBuilder | private |
| succset | SVF::MTASVFGBuilder | private |
| svfg | SVF::SVFGBuilder | protected |
| SVFGBuilder(bool _SVFGWithIndCall=Options::SVFGWithIndirectCall(), bool _SVFGWithPostOpts=Options::OPTSVFG()) | SVF::SVFGBuilder | inlineexplicit |
| SVFGEdgeSet typedef | SVF::SVFGBuilder | |
| SVFGNodeIDSet typedef | SVF::MTASVFGBuilder | |
| SVFGNodeSet typedef | SVF::MTASVFGBuilder | |
| SVFGWithIndCall | SVF::SVFGBuilder | protected |
| SVFGWithPostOpts | SVF::SVFGBuilder | protected |
| tailmap | SVF::MTASVFGBuilder | private |
| ThreadVFEdge typedef | SVF::MTASVFGBuilder | |
| threadVFQueryMap | SVF::MTASVFGBuilder | private |
| vfEdgesAtIndCallSite | SVF::SVFGBuilder | protected |
| ~MTASVFGBuilder() override=default | SVF::MTASVFGBuilder | |
| ~SVFGBuilder()=default | SVF::SVFGBuilder | virtual |
