Static Value-Flow Analysis
SVF::SVFGBuilder Member List

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

build(BVDataPTAImpl *pta, VFG::VFGK kind)SVF::SVFGBuilderprotected
buildFullSVFG(BVDataPTAImpl *pta)SVF::SVFGBuilder
buildMSSA(BVDataPTAImpl *pta, bool ptrOnlyMSSA)SVF::SVFGBuildervirtual
buildPTROnlySVFG(BVDataPTAImpl *pta)SVF::SVFGBuilder
buildSVFG()SVF::SVFGBuilderprotectedvirtual
CallEdgeMap typedefSVF::SVFGBuilder
CallSiteSet typedefSVF::SVFGBuilder
FunctionSet typedefSVF::SVFGBuilder
getSVFG() constSVF::SVFGBuilderinline
isSpuriousVFEdgeAtIndCallSite(const SVFGEdge *edge)SVF::SVFGBuilderinline
markValidVFEdge(SVFGEdgeSet &edges)SVF::SVFGBuilderinline
releaseMemory()SVF::SVFGBuilderprotectedvirtual
svfgSVF::SVFGBuilderprotected
SVFGBuilder(bool _SVFGWithIndCall=false)SVF::SVFGBuilderinlineexplicit
SVFGEdgeSet typedefSVF::SVFGBuilder
SVFGWithIndCallSVF::SVFGBuilderprotected
vfEdgesAtIndCallSiteSVF::SVFGBuilderprotected
~SVFGBuilder()=defaultSVF::SVFGBuildervirtual
Generated by doxygen 1.9.1