This is the complete list of members for SVF::SaberSVFGBuilder, including all inherited members.
| accessGlobal(BVDataPTAImpl *pta, const SVFVar *svfVar) | SVF::SaberSVFGBuilder | protected |
| addActualParmVFGNode(const ValVar *svfVar, const CallICFGNode *cs) | SVF::SaberSVFGBuilder | inline |
| AddExtActualParmSVFGNodes(CallGraph *callgraph) | SVF::SaberSVFGBuilder | protectedvirtual |
| 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::SaberSVFGBuilder | protectedvirtual |
| CallEdgeMap typedef | SVF::SVFGBuilder | |
| CallSiteSet typedef | SVF::SVFGBuilder | |
| collectGlobals(BVDataPTAImpl *pta) | SVF::SaberSVFGBuilder | protected |
| CollectPtsChain(BVDataPTAImpl *pta, NodeID id, NodeToPTSSMap &cachedPtsMap) | SVF::SaberSVFGBuilder | protected |
| createMRGenerator(BVDataPTAImpl *pta, bool ptrOnlyMSSA) | SVF::SVFGBuilder | protectedvirtual |
| FunctionSet typedef | SVF::SVFGBuilder | |
| getSVFG() const | SVF::SVFGBuilder | inline |
| globs | SVF::SaberSVFGBuilder | protected |
| globSVFGNodes | SVF::SaberSVFGBuilder | protected |
| isGlobalSVFGNode(const SVFGNode *node) const | SVF::SaberSVFGBuilder | inline |
| isSpuriousVFEdgeAtIndCallSite(const SVFGEdge *edge) | SVF::SVFGBuilder | inline |
| isStrongUpdate(const SVFGNode *node, NodeID &singleton, BVDataPTAImpl *pta) | SVF::SaberSVFGBuilder | protected |
| markValidVFEdge(SVFGEdgeSet &edges) | SVF::SVFGBuilder | inline |
| NodeToPTSSMap typedef | SVF::SaberSVFGBuilder | |
| releaseMemory() | SVF::SVFGBuilder | protectedvirtual |
| rmDerefDirSVFGEdges(BVDataPTAImpl *pta) | SVF::SaberSVFGBuilder | protected |
| rmIncomingEdgeForSUStore(BVDataPTAImpl *pta) | SVF::SaberSVFGBuilder | protectedvirtual |
| saberCondAllocator | SVF::SaberSVFGBuilder | protected |
| SaberSVFGBuilder() | SVF::SaberSVFGBuilder | inline |
| setSaberCondAllocator(SaberCondAllocator *allocator) | SVF::SaberSVFGBuilder | inline |
| svfg | SVF::SVFGBuilder | protected |
| SVFGBuilder(bool _SVFGWithIndCall=Options::SVFGWithIndirectCall(), bool _SVFGWithPostOpts=Options::OPTSVFG()) | SVF::SVFGBuilder | inlineexplicit |
| SVFGEdgeSet typedef | SVF::SVFGBuilder | |
| SVFGNodeSet typedef | SVF::SaberSVFGBuilder | |
| SVFGWithIndCall | SVF::SVFGBuilder | protected |
| SVFGWithPostOpts | SVF::SVFGBuilder | protected |
| vfEdgesAtIndCallSite | SVF::SVFGBuilder | protected |
| WorkList typedef | SVF::SaberSVFGBuilder | |
| ~SaberSVFGBuilder() | SVF::SaberSVFGBuilder | inlinevirtual |
| ~SVFGBuilder()=default | SVF::SVFGBuilder | virtual |
