#include <CFLSVFGBuilder.h>

Inheritance diagram for SVF::CFLSVFGBuilder:

Public Types
typedef Set< const SVFGNode * >	SVFGNodeSet

typedef Map< NodeID, PointsTo >	NodeToPTSSMap

typedef FIFOWorkList< NodeID >	WorkList

Public Types inherited from SVF::SaberSVFGBuilder
typedef Set< const SVFGNode * >	SVFGNodeSet

typedef Map< NodeID, PointsTo >	NodeToPTSSMap

typedef FIFOWorkList< NodeID >	WorkList

Public Types inherited from SVF::SVFGBuilder
typedef PointerAnalysis::CallSiteSet	CallSiteSet

typedef PointerAnalysis::CallEdgeMap	CallEdgeMap

typedef PointerAnalysis::FunctionSet	FunctionSet

typedef SVFG::SVFGEdgeSetTy	SVFGEdgeSet

Public Member Functions
	CFLSVFGBuilder ()=default
	Constructor.

virtual	~CFLSVFGBuilder ()=default
	Destructor.

Public Member Functions inherited from SVF::SaberSVFGBuilder
	SaberSVFGBuilder ()
	Constructor.

virtual	~SaberSVFGBuilder ()
	Destructor.

bool	isGlobalSVFGNode (const SVFGNode *node) const

void	addActualParmVFGNode (const PAGNode pagNode, const CallICFGNode cs)
	Add ActualParmVFGNode.

void	setSaberCondAllocator (SaberCondAllocator *allocator)

Public Member Functions inherited from SVF::SVFGBuilder
	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
virtual void	buildSVFG ()
	Re-write create SVFG method.

virtual void	rmIncomingEdgeForSUStore (BVDataPTAImpl *pta)

Protected Member Functions inherited from SVF::SaberSVFGBuilder
bool	isStrongUpdate (const SVFGNode node, NodeID &singleton, BVDataPTAImpl pta)
	Return TRUE if this is a strong update STORE statement.

void	rmDerefDirSVFGEdges (BVDataPTAImpl *pta)

virtual void	AddExtActualParmSVFGNodes (PTACallGraph *callgraph)
	Add actual parameter SVFGNode for 1st argument of a deallocation like external function.

void	collectGlobals (BVDataPTAImpl *pta)

bool	accessGlobal (BVDataPTAImpl pta, const PAGNode pagNode)
	Whether points-to of a PAGNode points-to global variable.

PointsTo &	CollectPtsChain (BVDataPTAImpl *pta, NodeID id, NodeToPTSSMap &cachedPtsMap)
	Collect objects along points-to chains.

Protected Member Functions inherited from SVF::SVFGBuilder
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	releaseMemory ()
	Release global SVFG.

Additional Inherited Members
Protected Attributes inherited from SVF::SaberSVFGBuilder
PointsTo	globs

SVFGNodeSet	globSVFGNodes
	Store all global SVFG nodes.

SaberCondAllocator *	saberCondAllocator

Protected Attributes inherited from SVF::SVFGBuilder
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

Definition at line 35 of file CFLSVFGBuilder.h.

Member Typedef Documentation

◆ NodeToPTSSMap

typedef Map<NodeID, PointsTo> SVF::CFLSVFGBuilder::NodeToPTSSMap

Definition at line 39 of file CFLSVFGBuilder.h.

◆ SVFGNodeSet

typedef Set<const SVFGNode*> SVF::CFLSVFGBuilder::SVFGNodeSet

Definition at line 38 of file CFLSVFGBuilder.h.

◆ WorkList

typedef FIFOWorkList<NodeID> SVF::CFLSVFGBuilder::WorkList

Definition at line 40 of file CFLSVFGBuilder.h.

Constructor & Destructor Documentation

◆ CFLSVFGBuilder()

SVF::CFLSVFGBuilder::CFLSVFGBuilder ( )

default

Constructor.

◆ ~CFLSVFGBuilder()

virtual SVF::CFLSVFGBuilder::~CFLSVFGBuilder ( )

virtualdefault

Destructor.

Member Function Documentation

◆ buildSVFG()

void CFLSVFGBuilder::buildSVFG ( )

protectedvirtual

Re-write create SVFG method.

Reimplemented from SVF::SaberSVFGBuilder.

Definition at line 35 of file CFLSVFGBuilder.cpp.

{
 
    MemSSA* mssa = svfg->getMSSA();
    svfg->buildSVFG();
    BVDataPTAImpl* pta = mssa->getPTA();
    DBOUT(DGENERAL, outs() << pasMsg("\tCollect Global Variables\n"));
 
    collectGlobals(pta);
 
    DBOUT(DGENERAL, outs() << pasMsg("\tRemove Dereference Direct SVFG Edge\n"));
 
    rmDerefDirSVFGEdges(pta);
 
    rmIncomingEdgeForSUStore(pta);
 
    DBOUT(DGENERAL, outs() << pasMsg("\tAdd Sink SVFG Nodes\n"));
 
    AddExtActualParmSVFGNodes(pta->getCallGraph());
 
    if(pta->printStat())
        svfg->performStat();
}

◆ rmIncomingEdgeForSUStore()

void CFLSVFGBuilder::rmIncomingEdgeForSUStore ( BVDataPTAImpl * pta )

protectedvirtual

Remove Incoming Edge for strong-update (SU) store instruction Because the SU node does not receive indirect value

e.g., L1: *p = O; (singleton) L2: *p = _; (SU here) We should remove the indirect value flow L1 -> L2 Because the points-to set of O from L1 does not pass to that after L2

Reimplemented from SVF::SaberSVFGBuilder.

Definition at line 70 of file CFLSVFGBuilder.cpp.

{
 
    for(SVFG::iterator it = svfg->begin(), eit = svfg->end(); it!=eit; ++it)
    {
        const SVFGNode* node = it->second;
 
        if(const StoreSVFGNode* stmtNode = SVFUtil::dyn_cast<StoreSVFGNode>(node))
        {
            if(SVFUtil::isa<StoreStmt>(stmtNode->getPAGEdge()))
            {
                NodeID singleton;
                if(isStrongUpdate(node, singleton, pta))
                {
                    Set<SVFGEdge*> toRemove;
                    for (SVFGNode::const_iterator it2 = node->InEdgeBegin(), eit2 = node->InEdgeEnd(); it2 != eit2; ++it2)
                    {
                        if ((*it2)->isIndirectVFGEdge())
                        {
                            toRemove.insert(*it2);
                        }
                    }
                    for (SVFGEdge* edge: toRemove)
                    {
                        svfg->removeSVFGEdge(edge);
                    }
                }
            }
        }
    }
}

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

/home/runner/work/SVF/SVF/svf/include/CFL/CFLSVFGBuilder.h
/home/runner/work/SVF/SVF/svf/lib/CFL/CFLSVFGBuilder.cpp

Public Types

Public Member Functions

Protected Member Functions

Additional Inherited Members