SVF::SlicedSVFIRView Class Reference

#include <SlicedGraphs.h>

Public Member Functions
	SlicedSVFIRView (SVFIR *svfIr, CallGraph *cg, ICFG *icfg, const OrderedSet< const ICFGNode * > &keepNodes, bool buildBridged=true)
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	getInEdgesOfCallGraphNode (const CallGraphNode *node, std::vector< const CallGraphEdge * > &out) const
const CallGraph *	getAnalysisCallGraph () const
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 Attributes
SVFIR *	svfIr
std::unique_ptr< SlicedICFGView >	icfgView
std::unique_ptr< SlicedPAGView >	pagView
std::unique_ptr< SlicedThreadCallGraphView >	tcgView

Detailed Description

Definition at line 310 of file SlicedGraphs.h.

Constructor & Destructor Documentation

SlicedSVFIRView()

SVF::SlicedSVFIRView::SlicedSVFIRView	(	SVFIR *	svfIr,
		CallGraph *	cg,
		ICFG *	icfg,
		const OrderedSet< const ICFGNode * > &	keepNodes,
		bool	buildBridged = true
	)

Definition at line 728 of file SlicedGraphs.cpp.

    : svfIr(svfIr)
{
    // Derive keptFunctions from keepNodes
    OrderedSet<const FunObjVar*> keptFunctions;
    for (const ICFGNode* node : keepNodes)
    {
        if (node != nullptr && node->getFun() != nullptr)
        {
            keptFunctions.insert(node->getFun());
        }
    }
 
    // The MTA pipeline always slices over a ThreadCallGraph.
    ThreadCallGraph* tcg = SVFUtil::dyn_cast<ThreadCallGraph>(cg);
    assert(tcg != nullptr && "SlicedSVFIRView expects a ThreadCallGraph");
    tcgView = std::make_unique<SlicedThreadCallGraphView>(tcg, keptFunctions, keepNodes);
 
    // Create ICFG view (based on keepNodes and keptFunctions)
    icfgView = std::make_unique<SlicedICFGView>(icfg, cg, keepNodes, keptFunctions, buildBridged);
 
    // Create PAG view (extract statements from keepNodes)
    OrderedSet<const SVFStmt*> keptStmts;
    for (const ICFGNode* node : keepNodes)
    {
        const ICFGNode::SVFStmtList& stmts = node->getSVFStmts();
        keptStmts.insert(stmts.begin(), stmts.end());
    }
    pagView = std::make_unique<SlicedPAGView>(svfIr, keptStmts);
}

Member Function Documentation

dumpAll()

void SVF::SlicedSVFIRView::dumpAll

(

const std::string &

prefix

)

const

Dump all views to files.

Definition at line 763 of file SlicedGraphs.cpp.

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

dumpStats()

void SVF::SlicedSVFIRView::dumpStats

(

const std::string &

prefix = ""

)

const

Output statistics.

Definition at line 770 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";
    }
}

getAnalysisCallGraph()

const CallGraph * SVF::SlicedSVFIRView::getAnalysisCallGraph

(

)

const

The CallGraph the sliced analyses scan: the sliced ThreadCallGraph's original CallGraph, or the full PAG CallGraph if no TCG view was built.

Definition at line 842 of file SlicedGraphs.cpp.

{
    if (getThreadCallGraph() != nullptr)
        return getThreadCallGraph()->getOriginalCallGraph();
    return PAG::getPAG()->getCallGraph();
}

getICFG() [1/2]

SlicedICFGView * SVF::SlicedSVFIRView::getICFG ( )

inline

Definition at line 324 of file SlicedGraphs.h.

    {
        return icfgView.get();
    }

getICFG() [2/2]

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

inline

Get SlicedICFGView.

Definition at line 320 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 356 of file SlicedGraphs.h.

    {
        return tcgView->getIndirectSitesWithEmptyTargets();
    }

getInEdgesOfCallGraphNode()

void SVF::SlicedSVFIRView::getInEdgesOfCallGraphNode	(	const CallGraphNode *	node,
		std::vector< const CallGraphEdge * > &	out
	)		const

In-edges of a call-graph node under the sliced ThreadCallGraph view (the full node in-edges if no TCG view was built).

Definition at line 831 of file SlicedGraphs.cpp.

{
    out.clear();
    if (getThreadCallGraph() != nullptr)
        getThreadCallGraph()->getInEdgesOf(node, out);
    else
        for (CallGraphEdge* edge : node->getInEdges())
            out.push_back(edge);
}

getKeptFunctions()

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

inline

Get all kept functions.

Definition at line 350 of file SlicedGraphs.h.

    {
        return tcgView->getKeptFunctions();
    }

getKeptStatements()

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

inline

Get all kept statements.

Definition at line 362 of file SlicedGraphs.h.

    {
        return pagView->getKeptStmts();
    }

getPAG() [1/2]

SlicedPAGView * SVF::SlicedSVFIRView::getPAG ( )

inline

Definition at line 334 of file SlicedGraphs.h.

    {
        return pagView.get();
    }

getPAG() [2/2]

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

inline

Get SlicedPAGView.

Definition at line 330 of file SlicedGraphs.h.

    {
        return pagView.get();
    }

getSVFIR()

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

inline

Get original SVFIR.

Definition at line 380 of file SlicedGraphs.h.

    {
        return svfIr;
    }

getThreadCallGraph() [1/2]

SlicedThreadCallGraphView * SVF::SlicedSVFIRView::getThreadCallGraph ( )

inline

Definition at line 344 of file SlicedGraphs.h.

    {
        return tcgView.get();
    }

getThreadCallGraph() [2/2]

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

inline

Get SlicedThreadCallGraphView.

Definition at line 340 of file SlicedGraphs.h.

    {
        return tcgView.get();
    }

Member Data Documentation

icfgView

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

private

Definition at line 390 of file SlicedGraphs.h.

pagView

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

private

Definition at line 391 of file SlicedGraphs.h.

svfIr

SVFIR* SVF::SlicedSVFIRView::svfIr

private

Definition at line 389 of file SlicedGraphs.h.

tcgView

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

private

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