SVF::SlicedPAGView Class Reference

#include <SlicedGraphs.h>

Public Member Functions
	SlicedPAGView (SVFIR *pag, const OrderedSet< const SVFStmt * > &keptStmts)
const OrderedSet< const SVFStmt * > &	getKeptStmts () const
	Get all kept statements.
const Set< NodeID > &	getKeptNodeIds () const
	Node IDs (SVFVars) touched by the kept statements – the sliced PAG's nodes.
bool	isKeptStmt (const SVFStmt *s) const
SVFIR *	getSVFIR () const
	The underlying SVFIR (to resolve node ids to SVFVars).
void	dump (const std::string &filename) const
	Dump the sliced PAG to a dot file.

Private Member Functions
void	buildKeptNodeIds ()

Private Attributes
SVFIR *	pag
OrderedSet< const SVFStmt * >	keptStmts
Set< NodeID >	keptNodeIds

Detailed Description

Definition at line 131 of file SlicedGraphs.h.

Constructor & Destructor Documentation

SlicedPAGView()

SVF::SlicedPAGView::SlicedPAGView	(	SVFIR *	pag,
		const OrderedSet< const SVFStmt * > &	keptStmts
	)

Definition at line 551 of file SlicedGraphs.cpp.

    : pag(pag), keptStmts(keptStmts)
{
    buildKeptNodeIds();
}

Member Function Documentation

buildKeptNodeIds()

void SVF::SlicedPAGView::buildKeptNodeIds ( )

private

Definition at line 557 of file SlicedGraphs.cpp.

{
    for (const SVFStmt* stmt : keptStmts)
    {
        // Handle the two SVF statement abstractions directly so new concrete
        // statement subclasses cannot silently disappear from the PAG view.
        if (const AssignStmt* assignStmt = SVFUtil::dyn_cast<AssignStmt>(stmt))
        {
            keptNodeIds.insert(assignStmt->getLHSVarID());
            keptNodeIds.insert(assignStmt->getRHSVarID());
            continue;
        }
        if (const MultiOpndStmt* multi =
                    SVFUtil::dyn_cast<MultiOpndStmt>(stmt))
        {
            keptNodeIds.insert(multi->getResID());
            for (u32_t i = 0; i < multi->getOpVarNum(); ++i)
                keptNodeIds.insert(multi->getOpVarID(i));
        }
    }
}

dump()

void SVF::SlicedPAGView::dump

(

const std::string &

filename

)

const

Dump the sliced PAG to a dot file.

Definition at line 579 of file SlicedGraphs.cpp.

{
    // Nodes = SVFVars of kept statements; edges = kept SVFStmts via
    // GenericGraphTraits<const SlicedPAGView*>. MultiOpndStmts use the
    // underlying src/dst (no operand fan-out).
    GraphPrinter::WriteGraphToFile(SVFUtil::outs(), filename, this);
}

getKeptNodeIds()

const Set< NodeID > & SVF::SlicedPAGView::getKeptNodeIds ( ) const

inline

Node IDs (SVFVars) touched by the kept statements – the sliced PAG's nodes.

Definition at line 143 of file SlicedGraphs.h.

    {
        return keptNodeIds;
    }

getKeptStmts()

const OrderedSet< const SVFStmt * > & SVF::SlicedPAGView::getKeptStmts ( ) const

inline

Get all kept statements.

Definition at line 137 of file SlicedGraphs.h.

    {
        return keptStmts;
    }

getSVFIR()

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

inline

The underlying SVFIR (to resolve node ids to SVFVars).

Definition at line 156 of file SlicedGraphs.h.

    {
        return pag;
    }

isKeptStmt()

bool SVF::SlicedPAGView::isKeptStmt ( const SVFStmt *  s ) const

inline

Canonical edge membership: a kept SVFVar may have incident statements not in the slice, so traits/queries keep only statements in keptStmts.

Definition at line 150 of file SlicedGraphs.h.

    {
        return keptStmts.count(s) > 0;
    }

Member Data Documentation

keptNodeIds

Set<NodeID> SVF::SlicedPAGView::keptNodeIds

private

Definition at line 167 of file SlicedGraphs.h.

keptStmts

OrderedSet<const SVFStmt*> SVF::SlicedPAGView::keptStmts

private

Definition at line 166 of file SlicedGraphs.h.

pag

SVFIR* SVF::SlicedPAGView::pag

private

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