SVF::SlicedSVFIRView Class Reference

#include <SlicedGraphs.h>

Public Member Functions
	SlicedSVFIRView (SVFIR *svfir, ThreadCallGraph &callGraph, ICFG *icfg, const OrderedSet< const ICFGNode * > &keepNodes)
const SlicedICFGView *	getICFG () const
	Get SlicedICFGView.
SlicedICFGView *	getICFG ()
const SlicedPAGView *	getPAG () const
	Get SlicedPAGView.
SlicedPAGView *	getPAG ()
const SlicedThreadCallGraphView *	getThreadCallGraph () const
	Get SlicedThreadCallGraphView.
SlicedThreadCallGraphView *	getThreadCallGraph ()
const Set< const FunObjVar * > &	getKeptFunctions () const
	Get all kept functions.
const Set< const CallICFGNode * > &	getIndirectSitesWithEmptyTargets () const
	Get indirect call sites that lost all targets after filtering.
const OrderedSet< const SVFStmt * > &	getKeptStatements () const
	Get all kept statements.
void	dumpAll (const std::string &prefix) const
	Dump all views to files.
SVFIR *	getSVFIR () const
	Get original SVFIR.
void	dumpStats (const std::string &prefix="") const
	Output statistics.

Private Member Functions
void	ensurePAGView () const

Private Attributes
SVFIR *	svfir
std::unique_ptr< SlicedICFGView >	icfgView
std::unique_ptr< SlicedPAGView >	pagView
std::unique_ptr< SlicedThreadCallGraphView >	tcgView

Detailed Description

Definition at line 300 of file SlicedGraphs.h.

Constructor & Destructor Documentation

SlicedSVFIRView()

SVF::SlicedSVFIRView::SlicedSVFIRView	(	SVFIR *	svfir,
		ThreadCallGraph &	callGraph,
		ICFG *	icfg,
		const OrderedSet< const ICFGNode * > &	keepNodes )

Definition at line 808 of file SlicedGraphs.cpp.

    : svfir(svfir)
{
    // A retained function is represented by explicit synthetic entry/exit
    // nodes. Graph-generic MHP and lock propagation can therefore never seed or
    // rendezvous at a node outside the view.
    OrderedSet<const ICFGNode*> extendedKeepNodes = keepNodes;
 
    // Derive keptFunctions from keepNodes.
    OrderedSet<const FunObjVar*> keptFunctions;
    for (const ICFGNode* node : keepNodes)
    {
        if (node != nullptr && node->getFun() != nullptr)
        {
            keptFunctions.insert(node->getFun());
        }
    }
    for (const FunObjVar* fun : keptFunctions)
    {
        extendedKeepNodes.insert(icfg->getFunEntryICFGNode(fun));
        extendedKeepNodes.insert(icfg->getFunExitICFGNode(fun));
    }
 
    tcgView = std::make_unique<SlicedThreadCallGraphView>(
                  &callGraph, keptFunctions, extendedKeepNodes);
 
    // Create ICFG view (based on keepNodes and keptFunctions)
    icfgView = std::make_unique<SlicedICFGView>(
                   icfg, extendedKeepNodes);
}

Member Function Documentation

dumpAll()

void SVF::SlicedSVFIRView::dumpAll

(

const std::string &

prefix

)

const

Dump all views to files.

Definition at line 858 of file SlicedGraphs.cpp.

{
    icfgView->dump(prefix + "_icfg");
    tcgView->dump(prefix + "_threadcallgraph");
    getPAG()->dump(prefix + "_pag");
}

dumpStats()

void SVF::SlicedSVFIRView::dumpStats

(

const std::string &

prefix = ""

)

const

Output statistics.

Definition at line 865 of file SlicedGraphs.cpp.

{
    std::string label = prefix.empty() ? "[SlicedSVFIRView]" : "[" + prefix + "]";
    SVFUtil::outs() << label << " Statistics:\n";
    SVFUtil::outs() << "  ICFG nodes: " << icfgView->getKeptNodes().size() << "\n";
    SVFUtil::outs() << "  Functions: " << getKeptFunctions().size() << "\n";
    SVFUtil::outs() << "  PAG statements: " << getKeptStatements().size() << "\n";
    if (!getIndirectSitesWithEmptyTargets().empty())
    {
        SVFUtil::outs() << "  Indirect callsites that lost all targets: "
                        << getIndirectSitesWithEmptyTargets().size() << "\n";
    }
}

ensurePAGView()

void SVF::SlicedSVFIRView::ensurePAGView ( ) const

private

Definition at line 842 of file SlicedGraphs.cpp.

{
    if (pagView != nullptr)
        return;
 
    // Most analyses consume only the sliced ICFG and call graph. Materialize
    // the PAG membership only for clients that explicitly request that view.
    OrderedSet<const SVFStmt*> keptStmts;
    for (const ICFGNode* node : icfgView->getKeptNodes())
    {
        const ICFGNode::SVFStmtList& stmts = node->getSVFStmts();
        keptStmts.insert(stmts.begin(), stmts.end());
    }
    pagView = std::make_unique<SlicedPAGView>(svfir, keptStmts);
}

getICFG() [1/2]

SlicedICFGView * SVF::SlicedSVFIRView::getICFG ( )

inline

Definition at line 313 of file SlicedGraphs.h.

    {
        return icfgView.get();
    }

getICFG() [2/2]

const SlicedICFGView * SVF::SlicedSVFIRView::getICFG ( ) const

inline

Get SlicedICFGView.

Definition at line 309 of file SlicedGraphs.h.

    {
        return icfgView.get();
    }

getIndirectSitesWithEmptyTargets()

const Set< const CallICFGNode * > & SVF::SlicedSVFIRView::getIndirectSitesWithEmptyTargets ( ) const

inline

Get indirect call sites that lost all targets after filtering.

Definition at line 347 of file SlicedGraphs.h.

    {
        return tcgView->getIndirectSitesWithEmptyTargets();
    }

getKeptFunctions()

const Set< const FunObjVar * > & SVF::SlicedSVFIRView::getKeptFunctions ( ) const

inline

Get all kept functions.

Definition at line 341 of file SlicedGraphs.h.

    {
        return tcgView->getKeptFunctions();
    }

getKeptStatements()

const OrderedSet< const SVFStmt * > & SVF::SlicedSVFIRView::getKeptStatements ( ) const

inline

Get all kept statements.

Definition at line 353 of file SlicedGraphs.h.

    {
        return getPAG()->getKeptStmts();
    }

getPAG() [1/2]

SlicedPAGView * SVF::SlicedSVFIRView::getPAG ( )

inline

Definition at line 324 of file SlicedGraphs.h.

    {
        ensurePAGView();
        return pagView.get();
    }

getPAG() [2/2]

const SlicedPAGView * SVF::SlicedSVFIRView::getPAG ( ) const

inline

Get SlicedPAGView.

Definition at line 319 of file SlicedGraphs.h.

    {
        ensurePAGView();
        return pagView.get();
    }

getSVFIR()

SVFIR * SVF::SlicedSVFIRView::getSVFIR ( ) const

inline

Get original SVFIR.

Definition at line 362 of file SlicedGraphs.h.

    {
        return svfir;
    }

getThreadCallGraph() [1/2]

SlicedThreadCallGraphView * SVF::SlicedSVFIRView::getThreadCallGraph ( )

inline

Definition at line 335 of file SlicedGraphs.h.

    {
        return tcgView.get();
    }

getThreadCallGraph() [2/2]

const SlicedThreadCallGraphView * SVF::SlicedSVFIRView::getThreadCallGraph ( ) const

inline

Get SlicedThreadCallGraphView.

Definition at line 331 of file SlicedGraphs.h.

    {
        return tcgView.get();
    }

Member Data Documentation

icfgView

std::unique_ptr<SlicedICFGView> SVF::SlicedSVFIRView::icfgView

private

Definition at line 374 of file SlicedGraphs.h.

pagView

std::unique_ptr<SlicedPAGView> SVF::SlicedSVFIRView::pagView

mutableprivate

Definition at line 375 of file SlicedGraphs.h.

svfir

SVFIR* SVF::SlicedSVFIRView::svfir

private

Definition at line 373 of file SlicedGraphs.h.

tcgView

std::unique_ptr<SlicedThreadCallGraphView> SVF::SlicedSVFIRView::tcgView

private

Definition at line 376 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