SVF::SVFGBuilder Class Reference

#include <SVFGBuilder.h>

Inheritance diagram for SVF::SVFGBuilder:

Public Types
typedef PointerAnalysis::CallSiteSet	CallSiteSet
typedef PointerAnalysis::CallEdgeMap	CallEdgeMap
typedef PointerAnalysis::FunctionSet	FunctionSet
typedef SVFG::SVFGEdgeSetTy	SVFGEdgeSet

Public Member Functions
	SVFGBuilder (bool _SVFGWithIndCall=false)
	Constructor.
virtual	~SVFGBuilder ()=default
	Destructor.
SVFG *	buildPTROnlySVFG (BVDataPTAImpl *pta)
SVFG *	buildFullSVFG (BVDataPTAImpl *pta)
SVFG *	getSVFG () const
	Get SVFG instance.
void	markValidVFEdge (SVFGEdgeSet &edges)
	Mark feasible VF edge by removing it from set vfEdgesAtIndCallSite.
bool	isSpuriousVFEdgeAtIndCallSite (const SVFGEdge *edge)
	Return true if this is an VF Edge pre-connected by Andersen's analysis.
virtual std::unique_ptr< MemSSA >	buildMSSA (BVDataPTAImpl *pta, bool ptrOnlyMSSA)
	Build Memory SSA.

Protected Member Functions
SVFG *	build (BVDataPTAImpl *pta, VFG::VFGK kind)
	Create a DDA SVFG. By default actualOut and FormalIN are removed, unless withAOFI is set true.
virtual void	buildSVFG ()
	Can be rewritten by subclasses.
virtual void	releaseMemory ()
	Release global SVFG.

Protected Attributes
SVFGEdgeSet	vfEdgesAtIndCallSite
	SVFG Edges connected at indirect call/ret sites.
std::unique_ptr< SVFG >	svfg
bool	SVFGWithIndCall
	SVFG with precomputed indirect call edges.

Detailed Description

SVFG Builder

Definition at line 42 of file SVFGBuilder.h.

Member Typedef Documentation

CallEdgeMap

typedef PointerAnalysis::CallEdgeMap SVF::SVFGBuilder::CallEdgeMap

Definition at line 47 of file SVFGBuilder.h.

CallSiteSet

typedef PointerAnalysis::CallSiteSet SVF::SVFGBuilder::CallSiteSet

Definition at line 46 of file SVFGBuilder.h.

FunctionSet

typedef PointerAnalysis::FunctionSet SVF::SVFGBuilder::FunctionSet

Definition at line 48 of file SVFGBuilder.h.

SVFGEdgeSet

typedef SVFG::SVFGEdgeSetTy SVF::SVFGBuilder::SVFGEdgeSet

Definition at line 49 of file SVFGBuilder.h.

Constructor & Destructor Documentation

SVFGBuilder()

SVF::SVFGBuilder::SVFGBuilder ( bool  _SVFGWithIndCall = false )

inlineexplicit

Constructor.

Definition at line 52 of file SVFGBuilder.h.

: svfg(nullptr), SVFGWithIndCall(_SVFGWithIndCall) {}

~SVFGBuilder()

virtual SVF::SVFGBuilder::~SVFGBuilder ( )

virtualdefault

Destructor.

Member Function Documentation

build()

SVFG * SVFGBuilder::build ( BVDataPTAImpl *  pta, VFG::VFGK  kind  )

protected

Create a DDA SVFG. By default actualOut and FormalIN are removed, unless withAOFI is set true.

Create DDA SVFG.

Update call graph using pre-analysis results

Definition at line 65 of file SVFGBuilder.cpp.

{
 
    auto mssa = buildMSSA(pta, (VFG::PTRONLYSVFG==kind || VFG::PTRONLYSVFG_OPT==kind));
 
    DBOUT(DGENERAL, outs() << pasMsg("Build Sparse Value-Flow Graph \n"));
    if(kind == VFG::FULLSVFG_OPT || kind == VFG::PTRONLYSVFG_OPT)
        svfg = std::make_unique<SVFGOPT>(std::move(mssa), kind);
    else
        svfg = std::unique_ptr<SVFG>(new SVFG(std::move(mssa),kind));
    buildSVFG();
 
    if(Options::SVFGWithIndirectCall() || SVFGWithIndCall)
        svfg->updateCallGraph(pta);
 
    if(svfg->getMSSA()->getPTA()->printStat())
        svfg->performStat();
 
    if(Options::DumpVFG())
        svfg->dump("svfg_final");
 
    return svfg.get();
}

buildFullSVFG()

SVFG * SVFGBuilder::buildFullSVFG

(

BVDataPTAImpl *

pta

)

Definition at line 50 of file SVFGBuilder.cpp.

{
    return build(pta, VFG::FULLSVFG);
}

buildMSSA()

std::unique_ptr< MemSSA > SVFGBuilder::buildMSSA ( BVDataPTAImpl *  pta, bool  ptrOnlyMSSA  )

virtual

Build Memory SSA.

Definition at line 98 of file SVFGBuilder.cpp.

{
 
    DBOUT(DGENERAL, outs() << pasMsg("Build Memory SSA \n"));
 
    auto mssa = std::make_unique<MemSSA>(pta, ptrOnlyMSSA);
 
    CallGraph* svfirCallGraph = PAG::getPAG()->getCallGraph();
    for (const auto& item: *svfirCallGraph)
    {
 
        const FunObjVar *fun = item.second->getFunction();
        if (isExtCall(fun))
            continue;
 
        mssa->buildMemSSA(*fun);
    }
 
    mssa->performStat();
    if (Options::DumpMSSA())
    {
        mssa->dumpMSSA();
    }
 
    return mssa;
}

buildPTROnlySVFG()

SVFG * SVFGBuilder::buildPTROnlySVFG

(

BVDataPTAImpl *

pta

)

Definition at line 42 of file SVFGBuilder.cpp.

{
    if(Options::OPTSVFG())
        return build(pta, VFG::PTRONLYSVFG_OPT);
    else
        return build(pta, VFG::PTRONLYSVFG);
}

buildSVFG()

void SVFGBuilder::buildSVFG ( )

protectedvirtual

Can be rewritten by subclasses.

Create SVFG

Reimplemented in SVF::CFLSVFGBuilder, and SVF::SaberSVFGBuilder.

Definition at line 59 of file SVFGBuilder.cpp.

{
    svfg->buildSVFG();
}

getSVFG()

SVFG * SVF::SVFGBuilder::getSVFG ( ) const

inline

Get SVFG instance.

Definition at line 61 of file SVFGBuilder.h.

    {
        return svfg.get();
    }

isSpuriousVFEdgeAtIndCallSite()

bool SVF::SVFGBuilder::isSpuriousVFEdgeAtIndCallSite ( const SVFGEdge *  edge )

inline

Return true if this is an VF Edge pre-connected by Andersen's analysis.

Definition at line 73 of file SVFGBuilder.h.

    {
        return vfEdgesAtIndCallSite.find(const_cast<SVFGEdge*>(edge))!=vfEdgesAtIndCallSite.end();
    }

markValidVFEdge()

void SVF::SVFGBuilder::markValidVFEdge ( SVFGEdgeSet &  edges )

inline

Mark feasible VF edge by removing it from set vfEdgesAtIndCallSite.

Definition at line 67 of file SVFGBuilder.h.

    {
        for(SVFGEdgeSet::iterator it = edges.begin(), eit = edges.end(); it!=eit; ++it)
            vfEdgesAtIndCallSite.erase(*it);
    }

releaseMemory()

void SVFGBuilder::releaseMemory ( )

protectedvirtual

Release global SVFG.

Release memory

Definition at line 93 of file SVFGBuilder.cpp.

{
    svfg->clearMSSA();
}

Member Data Documentation

svfg

std::unique_ptr<SVFG> SVF::SVFGBuilder::svfg

protected

Definition at line 91 of file SVFGBuilder.h.

SVFGWithIndCall

bool SVF::SVFGBuilder::SVFGWithIndCall

protected

SVFG with precomputed indirect call edges.

Definition at line 93 of file SVFGBuilder.h.

vfEdgesAtIndCallSite

SVFGEdgeSet SVF::SVFGBuilder::vfEdgesAtIndCallSite

protected

SVFG Edges connected at indirect call/ret sites.

Definition at line 90 of file SVFGBuilder.h.

---

The documentation for this class was generated from the following files:

• /home/runner/work/SVF/SVF/svf/include/MSSA/SVFGBuilder.h
• /home/runner/work/SVF/SVF/svf/lib/MSSA/SVFGBuilder.cpp