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 140 of file SlicedGraphs.h.

Constructor & Destructor Documentation

SlicedPAGView()

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

Definition at line 505 of file SlicedGraphs.cpp.

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

Member Function Documentation

buildKeptNodeIds()

void SVF::SlicedPAGView::buildKeptNodeIds ( )

private

Definition at line 511 of file SlicedGraphs.cpp.

{
    for (const SVFStmt* stmt : keptStmts)
    {
        // extract the node IDs involved in the statement
        const AssignStmt* assignStmt = SVFUtil::dyn_cast<AssignStmt>(stmt);
        if (assignStmt)
        {
            keptNodeIds.insert(assignStmt->getLHSVarID());
            keptNodeIds.insert(assignStmt->getRHSVarID());
            continue;
        }
 
        const LoadStmt* loadStmt = SVFUtil::dyn_cast<LoadStmt>(stmt);
        if (loadStmt)
        {
            keptNodeIds.insert(loadStmt->getLHSVarID());
            keptNodeIds.insert(loadStmt->getRHSVarID());
            continue;
        }
 
        const StoreStmt* storeStmt = SVFUtil::dyn_cast<StoreStmt>(stmt);
        if (storeStmt)
        {
            keptNodeIds.insert(storeStmt->getLHSVarID());
            keptNodeIds.insert(storeStmt->getRHSVarID());
            continue;
        }
 
        const CopyStmt* copyStmt = SVFUtil::dyn_cast<CopyStmt>(stmt);
        if (copyStmt)
        {
            keptNodeIds.insert(copyStmt->getLHSVarID());
            keptNodeIds.insert(copyStmt->getRHSVarID());
            continue;
        }
 
        const GepStmt* gepStmt = SVFUtil::dyn_cast<GepStmt>(stmt);
        if (gepStmt)
        {
            keptNodeIds.insert(gepStmt->getLHSVarID());
            keptNodeIds.insert(gepStmt->getRHSVarID());
            continue;
        }
 
        const AddrStmt* addrStmt = SVFUtil::dyn_cast<AddrStmt>(stmt);
        if (addrStmt)
        {
            keptNodeIds.insert(addrStmt->getLHSVarID());
            keptNodeIds.insert(addrStmt->getRHSVarID());
            continue;
        }
 
        const CallPE* callPE = SVFUtil::dyn_cast<CallPE>(stmt);
        if (callPE)
        {
            // CallPE is a MultiOpndStmt (result + per-call-site operands)
            // rather than a single-LHS/RHS AssignStmt.
            keptNodeIds.insert(callPE->getResID());
            for (u32_t i = 0; i < callPE->getOpVarNum(); ++i)
                keptNodeIds.insert(callPE->getOpVarID(i));
            continue;
        }
 
        const RetPE* retPE = SVFUtil::dyn_cast<RetPE>(stmt);
        if (retPE)
        {
            keptNodeIds.insert(retPE->getLHSVarID());
            keptNodeIds.insert(retPE->getRHSVarID());
            continue;
        }
    }
}

dump()

void SVF::SlicedPAGView::dump

(

const std::string &

filename

)

const

Dump the sliced PAG to a dot file.

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

    {
        return keptNodeIds;
    }

getKeptStmts()

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

inline

Get all kept statements.

Definition at line 146 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 165 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 159 of file SlicedGraphs.h.

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

Member Data Documentation

keptNodeIds

Set<NodeID> SVF::SlicedPAGView::keptNodeIds

private

Definition at line 176 of file SlicedGraphs.h.

keptStmts

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

private

Definition at line 175 of file SlicedGraphs.h.

pag

SVFIR* SVF::SlicedPAGView::pag

private

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