| addJoinRetEdge(const FormalOUTSVFGNode *formalOut, const ActualOUTSVFGNode *actualOut, CallSiteID callSiteId) | 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 | |
| clearThreadAwareOverlay() | SVF::MTASVFGBuilder | |
| collectLoadStoreSVFGNodes() | SVF::MTASVFGBuilder | private |
| connectMHPEdges(PointerAnalysis *pta) | SVF::MTASVFGBuilder | private |
| connectThreadJoinEdges() | SVF::MTASVFGBuilder | private |
| createMRGenerator(BVDataPTAImpl *pta, bool ptrOnlyMSSA) override | SVF::MTASVFGBuilder | protectedvirtual |
| FunctionSet typedef | SVF::SVFGBuilder | |
| getPredecessorNodes(const StmtSVFGNode *node) | SVF::MTASVFGBuilder | private |
| getSuccessorNodes(const StmtSVFGNode *node) | SVF::MTASVFGBuilder | private |
| getSVFG() const | SVF::SVFGBuilder | inline |
| getThreadAwareEdgeCount() const | SVF::MTASVFGBuilder | inline |
| getThreadVFQueryMap() const | SVF::MTASVFGBuilder | inline |
| handleStoreLoad(const StmtSVFGNode *store, const StmtSVFGNode *load, PointerAnalysis *pta) | SVF::MTASVFGBuilder | private |
| handleStoreStore(const StmtSVFGNode *firstStore, const StmtSVFGNode *secondStore, PointerAnalysis *pta) | SVF::MTASVFGBuilder | private |
| InterferenceEdgeMode enum name | SVF::MTASVFGBuilder | |
| isHeadOfSpan(const StmtSVFGNode *node) | SVF::MTASVFGBuilder | private |
| isInOverlayScope(const SVFGNode *node) const | SVF::MTASVFGBuilder | private |
| isSpuriousVFEdgeAtIndCallSite(const SVFGEdge *edge) | SVF::SVFGBuilder | inline |
| isTailOfSpan(const StmtSVFGNode *node) | SVF::MTASVFGBuilder | private |
| labelInterferenceEdges | SVF::MTASVFGBuilder | private |
| loadNodes | SVF::MTASVFGBuilder | private |
| lockAnalysis | SVF::MTASVFGBuilder | private |
| markValidVFEdge(SVFGEdgeSet &edges) | SVF::SVFGBuilder | inline |
| mhp | SVF::MTASVFGBuilder | private |
| MTASVFGBuilder(MHP *mhp, LockAnalysis *lockAnalysis, InterferenceEdgeMode edgeMode=InterferenceEdgeMode::Analysis) | SVF::MTASVFGBuilder | inline |
| overlayCandidates | SVF::MTASVFGBuilder | private |
| overlayScope | SVF::MTASVFGBuilder | private |
| predecessorCache | SVF::MTASVFGBuilder | private |
| recordThreadVFQueries | SVF::MTASVFGBuilder | private |
| recordThreadVFSource(const StmtSVFGNode *source, const StmtSVFGNode *destination, bool commonLock) | SVF::MTASVFGBuilder | private |
| releaseMemory() | SVF::SVFGBuilder | protectedvirtual |
| replaceThreadAwareOverlay(MHP *mhp, LockAnalysis *lockAnalysis, const ThreadVFBuildConfig &config) | SVF::MTASVFGBuilder | |
| spanHeadCache | SVF::MTASVFGBuilder | private |
| spanTailCache | SVF::MTASVFGBuilder | private |
| storeNodes | SVF::MTASVFGBuilder | private |
| successorCache | 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 |
| threadAwareEdges | SVF::MTASVFGBuilder | private |
| ThreadVFCandidateList typedef | SVF::MTASVFGBuilder | |
| ThreadVFEdge typedef | SVF::MTASVFGBuilder | |
| threadVFQueryMap | SVF::MTASVFGBuilder | private |
| ThreadVFQueryMap typedef | SVF::MTASVFGBuilder | |
| vfEdgesAtIndCallSite | SVF::SVFGBuilder | protected |
| ~MTASVFGBuilder() override=default | SVF::MTASVFGBuilder | |
| ~SVFGBuilder()=default | SVF::SVFGBuilder | virtual |
