SVF::CFLSVFGBuilder Member List

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

accessGlobal(BVDataPTAImpl *pta, const PAGNode *pagNode)	SVF::SaberSVFGBuilder	protected
addActualParmVFGNode(const PAGNode *pagNode, const CallICFGNode *cs)	SVF::SaberSVFGBuilder	inline
AddExtActualParmSVFGNodes(PTACallGraph *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::CFLSVFGBuilder	protectedvirtual
CallEdgeMap typedef	SVF::SVFGBuilder
CallSiteSet typedef	SVF::SVFGBuilder
CFLSVFGBuilder()=default	SVF::CFLSVFGBuilder
collectGlobals(BVDataPTAImpl *pta)	SVF::SaberSVFGBuilder	protected
CollectPtsChain(BVDataPTAImpl *pta, NodeID id, NodeToPTSSMap &cachedPtsMap)	SVF::SaberSVFGBuilder	protected
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::CFLSVFGBuilder
releaseMemory()	SVF::SVFGBuilder	protectedvirtual
rmDerefDirSVFGEdges(BVDataPTAImpl *pta)	SVF::SaberSVFGBuilder	protected
rmIncomingEdgeForSUStore(BVDataPTAImpl *pta)	SVF::CFLSVFGBuilder	protectedvirtual
saberCondAllocator	SVF::SaberSVFGBuilder	protected
SaberSVFGBuilder()	SVF::SaberSVFGBuilder	inline
setSaberCondAllocator(SaberCondAllocator *allocator)	SVF::SaberSVFGBuilder	inline
svfg	SVF::SVFGBuilder	protected
SVFGBuilder(bool _SVFGWithIndCall=false)	SVF::SVFGBuilder	inlineexplicit
SVFGEdgeSet typedef	SVF::SVFGBuilder
SVFGNodeSet typedef	SVF::CFLSVFGBuilder
SVFGWithIndCall	SVF::SVFGBuilder	protected
vfEdgesAtIndCallSite	SVF::SVFGBuilder	protected
WorkList typedef	SVF::CFLSVFGBuilder
~CFLSVFGBuilder()=default	SVF::CFLSVFGBuilder	virtual
~SaberSVFGBuilder()	SVF::SaberSVFGBuilder	inlinevirtual
~SVFGBuilder()=default	SVF::SVFGBuilder	virtual