Static Value-Flow Analysis
Loading...
Searching...
No Matches
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
createMRGenerator(BVDataPTAImpl *pta, bool ptrOnlyMSSA)SVF::SVFGBuilderprotectedvirtual
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=Options::SVFGWithIndirectCall(), bool _SVFGWithPostOpts=Options::OPTSVFG())SVF::SVFGBuilderinlineexplicit
SVFGEdgeSet typedefSVF::SVFGBuilder
SVFGWithIndCallSVF::SVFGBuilderprotected
SVFGWithPostOptsSVF::SVFGBuilderprotected
vfEdgesAtIndCallSiteSVF::SVFGBuilderprotected
~SVFGBuilder()=defaultSVF::SVFGBuildervirtual
Generated by doxygen 1.9.8