SVF::SlicedSVFGView Class Reference

#include <SlicedGraphs.h>

Public Member Functions
	SlicedSVFGView (const SlicedICFGView *icfgView, const SVFG *svfg=nullptr)
bool	isKeptNode (const SVFGNode *n) const
	Whether the node is retained (see the class comment for the rule).
bool	isKeptEdge (const SVFGEdge *e) const
	Whether the edge is retained: both endpoints kept (no bridges).
const SlicedICFGView *	getICFGView () const
const SVFG *	getSVFG () const
void	setSVFG (const SVFG *g)
	Bind the underlying SVFG (enables node iteration and dumping).
void	dump (const std::string &filename) const
	Dump the sliced SVFG (retained nodes/edges only) via GraphWriter.

Private Attributes
const SlicedICFGView *	icfgView
const SVFG *	svfg

Detailed Description

Definition at line 267 of file SlicedGraphs.h.

Constructor & Destructor Documentation

SlicedSVFGView()

SVF::SlicedSVFGView::SlicedSVFGView ( const SlicedICFGView *  icfgView, const SVFG *  svfg = nullptr  )

inlineexplicit

Membership needs only the sliced ICFG view; the SVFG handle (for node iteration and dumping) may be bound later, once the solver has built it.

Definition at line 272 of file SlicedGraphs.h.

        : icfgView(icfgView), svfg(svfg) {}

Member Function Documentation

dump()

void SVF::SlicedSVFGView::dump

(

const std::string &

filename

)

const

Dump the sliced SVFG (retained nodes/edges only) via GraphWriter.

Definition at line 242 of file SlicedGraphs.cpp.

{
    assert(svfg != nullptr && "SlicedSVFGView: bind the SVFG before dumping");
    GraphPrinter::WriteGraphToFile(SVFUtil::outs(), filename, this);
}

getICFGView()

const SlicedICFGView * SVF::SlicedSVFGView::getICFGView ( ) const

inline

Definition at line 284 of file SlicedGraphs.h.

    {
        return icfgView;
    }

getSVFG()

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

inline

Definition at line 288 of file SlicedGraphs.h.

    {
        return svfg;
    }

isKeptEdge()

bool SVF::SlicedSVFGView::isKeptEdge ( const SVFGEdge *  e ) const

inline

Whether the edge is retained: both endpoints kept (no bridges).

Definition at line 279 of file SlicedGraphs.h.

    {
        return isKeptNode(e->getSrcNode()) && isKeptNode(e->getDstNode());
    }

isKeptNode()

bool SVF::SlicedSVFGView::isKeptNode

(

const SVFGNode *

n

)

const

Whether the node is retained (see the class comment for the rule).

Definition at line 230 of file SlicedGraphs.cpp.

{
    if (SVFUtil::isa<StoreSVFGNode, LoadSVFGNode>(n))
    {
        const StmtSVFGNode* stmt = SVFUtil::cast<StmtSVFGNode>(n);
        const ICFGNode* icfg = stmt->getICFGNode();
        if (icfg != nullptr && !icfgView->isKeptNode(icfg))
            return false;
    }
    return true;
}

setSVFG()

void SVF::SlicedSVFGView::setSVFG ( const SVFG *  g )

inline

Bind the underlying SVFG (enables node iteration and dumping).

Definition at line 293 of file SlicedGraphs.h.

    {
        svfg = g;
    }

Member Data Documentation

icfgView

const SlicedICFGView* SVF::SlicedSVFGView::icfgView

private

Definition at line 302 of file SlicedGraphs.h.

svfg

const SVFG* SVF::SlicedSVFGView::svfg

private

Definition at line 303 of file SlicedGraphs.h.

---

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

• /home/runner/work/SVF/SVF/svf/include/Graphs/SlicedGraphs.h
• /home/runner/work/SVF/SVF/svf/lib/Graphs/SlicedGraphs.cpp