SVF::SlicedThreadCallGraphView Class Reference

#include <SlicedGraphs.h>

Public Member Functions
	SlicedThreadCallGraphView (ThreadCallGraph *tcg, const OrderedSet< const FunObjVar * > &keptFunctions, const OrderedSet< const ICFGNode * > &extendedKeptNodes=OrderedSet< const ICFGNode * >())
void	getOutEdgesOf (const CallGraphNode *node, std::vector< const CallGraphEdge * > &out) const
	Get out edges of a node (only returns kept edges and target nodes)
void	getInEdgesOf (const CallGraphNode *node, std::vector< const CallGraphEdge * > &out) const
	Get in edges of a node (only returns kept edges and source nodes)
bool	isKeptNode (const CallGraphNode *node) const
	Check if a node is in the sliced view.
const OrderedSet< const CallGraphNode * > &	getKeptNodes () const
	Get all kept nodes.
const Set< const FunObjVar * > &	getKeptFunctions () const
const CallGraph::CallGraphEdgeSet &	getKeptEdges () const
	Get all kept edges.
bool	isKeptEdge (const CallGraphEdge *e) const
const Set< const CallICFGNode * > &	getIndirectSitesWithEmptyTargets () const
	Indirect call sites that lost all targets after filtering.
void	dump (const std::string &filename) const
	Dump sliced ThreadCallGraph to dot file.
ThreadCallGraph *	getOriginalThreadCallGraph () const
	Get original ThreadCallGraph.
CallGraph *	getOriginalCallGraph () const
	Get original CallGraph (ThreadCallGraph inherits from CallGraph)

Private Member Functions
void	buildKeptNodes ()
void	buildCallGraphSets ()

Private Attributes
ThreadCallGraph *	tcg
OrderedSet< const CallGraphNode * >	keptNodes
CallGraph::CallGraphEdgeSet	keptEdges
Set< const FunObjVar * >	keptFunctionsSet
Set< const CallICFGNode * >	indirectSitesWithEmptyTargets
OrderedSet< const ICFGNode * >	extendedKeptNodes

Detailed Description

Definition at line 185 of file SlicedGraphs.h.

Constructor & Destructor Documentation

SlicedThreadCallGraphView()

SVF::SlicedThreadCallGraphView::SlicedThreadCallGraphView	(	ThreadCallGraph *	tcg,
		const OrderedSet< const FunObjVar * > &	keptFunctions,
		const OrderedSet< const ICFGNode * > &	extendedKeptNodes = OrderedSet<const ICFGNode*>()
	)

Definition at line 597 of file SlicedGraphs.cpp.

    : tcg(tcg)
{
    for (const FunObjVar* fun : keptFunctions)
    {
        keptFunctionsSet.insert(fun);
    }
    this->extendedKeptNodes = extendedKeptNodes;
    buildKeptNodes();
    // extendedKeptNodes already includes all necessary nodes from performSpatialSlicing;
    // buildCallGraphSets builds the kept edges (filtering pruned call sites when it is non-empty).
    buildCallGraphSets();
}

Member Function Documentation

buildCallGraphSets()

void SVF::SlicedThreadCallGraphView::buildCallGraphSets ( )

private

Definition at line 657 of file SlicedGraphs.cpp.

{
    // rebuild kept edges, accounting for whether the call site is kept
    keptEdges.clear();
    indirectSitesWithEmptyTargets.clear();
 
    // CallGraph edge: src/dst both in kept functions and the call site still in the kept ICFG node set
    for (const CallGraphNode* srcNode : keptNodes)
    {
        for (const CallGraphEdge* edge : srcNode->getOutEdges())
        {
            const CallGraphNode* dstNode = edge ? edge->getDstNode() : nullptr;
            if (!dstNode || !keptNodes.count(dstNode))
            {
                continue;
            }
 
            const CallGraphEdge::CallInstSet &directCalls = edge->getDirectCalls();
            const CallGraphEdge::CallInstSet &indirectCalls = edge->getIndirectCalls();
            const CallICFGNode* callSite = nullptr;
            if (!directCalls.empty())
            {
                callSite = *directCalls.begin();
            }
            else if (!indirectCalls.empty())
            {
                callSite = *indirectCalls.begin();
            }
 
            if (!extendedKeptNodes.empty() && callSite && !extendedKeptNodes.count(callSite))
            {
                // call site was pruned, skip this edge
                continue;
            }
 
            // indirect call: record if all targets were filtered out
            if (callSite && edge->getEdgeKind() == CallGraphEdge::CallRetEdge &&
                    tcg->hasIndCSCallees(callSite))
            {
                const CallGraph::FunctionSet& targets = tcg->getIndCSCallees(callSite);
                bool hasKeptTarget = false;
                for (const FunObjVar* tgt : targets)
                {
                    if (keptFunctionsSet.count(tgt))
                    {
                        hasKeptTarget = true;
                        break;
                    }
                }
                if (!hasKeptTarget)
                {
                    indirectSitesWithEmptyTargets.insert(callSite);
                }
            }
 
            keptEdges.insert(const_cast<CallGraphEdge*>(edge));
        }
    }
}

buildKeptNodes()

void SVF::SlicedThreadCallGraphView::buildKeptNodes ( )

private

Definition at line 613 of file SlicedGraphs.cpp.

{
    for (CallGraph::iterator it = tcg->begin(), eit = tcg->end(); it != eit; ++it)
    {
        const CallGraphNode* node = it->second;
        if (node && node->getFunction() && keptFunctionsSet.count(node->getFunction()))
        {
            keptNodes.insert(node);
        }
    }
}

dump()

void SVF::SlicedThreadCallGraphView::dump

(

const std::string &

filename

)

const

Dump sliced ThreadCallGraph to dot file.

Definition at line 717 of file SlicedGraphs.cpp.

{
    // Kept nodes + canonical kept edges via GenericGraphTraits; join edges are
    // not in the normal adjacency, so they are not drawn here.
    GraphPrinter::WriteGraphToFile(SVFUtil::outs(), filename, this);
}

getIndirectSitesWithEmptyTargets()

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

inline

Indirect call sites that lost all targets after filtering.

Definition at line 226 of file SlicedGraphs.h.

    {
        return indirectSitesWithEmptyTargets;
    }

getInEdgesOf()

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

Get in edges of a node (only returns kept edges and source nodes)

Definition at line 639 of file SlicedGraphs.cpp.

{
    out.clear();
    if (!isKeptNode(node))
    {
        return;
    }
    using GT = GenericGraphTraits<Inverse<const SlicedThreadCallGraphView*>>;
    const SlicedCallGraphNodeRef n{this, node};
    for (auto it = GT::child_edge_begin(n), e = GT::child_edge_end(n); it != e; ++it)
        out.push_back((*it).underlying);
}

getKeptEdges()

const CallGraph::CallGraphEdgeSet & SVF::SlicedThreadCallGraphView::getKeptEdges ( ) const

inline

Get all kept edges.

Definition at line 213 of file SlicedGraphs.h.

    {
        return keptEdges;
    }

getKeptFunctions()

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

inline

Definition at line 207 of file SlicedGraphs.h.

    {
        return keptFunctionsSet;
    }

getKeptNodes()

const OrderedSet< const CallGraphNode * > & SVF::SlicedThreadCallGraphView::getKeptNodes ( ) const

inline

Get all kept nodes.

Definition at line 202 of file SlicedGraphs.h.

    {
        return keptNodes;
    }

getOriginalCallGraph()

CallGraph * SVF::SlicedThreadCallGraphView::getOriginalCallGraph ( ) const

inline

Get original CallGraph (ThreadCallGraph inherits from CallGraph)

Definition at line 241 of file SlicedGraphs.h.

    {
        return tcg;
    }

getOriginalThreadCallGraph()

ThreadCallGraph * SVF::SlicedThreadCallGraphView::getOriginalThreadCallGraph ( ) const

inline

Get original ThreadCallGraph.

Definition at line 235 of file SlicedGraphs.h.

    {
        return tcg;
    }

getOutEdgesOf()

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

Get out edges of a node (only returns kept edges and target nodes)

Definition at line 625 of file SlicedGraphs.cpp.

{
    out.clear();
    if (!isKeptNode(node))
    {
        return;
    }
 
    using GT = GenericGraphTraits<const SlicedThreadCallGraphView*>;
    const SlicedCallGraphNodeRef n{this, node};
    for (auto it = GT::child_edge_begin(n), e = GT::child_edge_end(n); it != e; ++it)
        out.push_back((*it).underlying);
}

isKeptEdge()

bool SVF::SlicedThreadCallGraphView::isKeptEdge ( const CallGraphEdge *  e ) const

inline

Canonical edge membership: keptEdges excludes edges whose call site was pruned, so endpoint checks alone are not enough (queries/traits use this).

Definition at line 220 of file SlicedGraphs.h.

    {
        return keptEdges.find(const_cast<CallGraphEdge*>(e)) != keptEdges.end();
    }

isKeptNode()

bool SVF::SlicedThreadCallGraphView::isKeptNode

(

const CallGraphNode *

node

)

const

Check if a node is in the sliced view.

Definition at line 652 of file SlicedGraphs.cpp.

{
    return keptNodes.count(node) > 0;
}

Member Data Documentation

extendedKeptNodes

OrderedSet<const ICFGNode*> SVF::SlicedThreadCallGraphView::extendedKeptNodes

private

Definition at line 252 of file SlicedGraphs.h.

indirectSitesWithEmptyTargets

Set<const CallICFGNode*> SVF::SlicedThreadCallGraphView::indirectSitesWithEmptyTargets

private

Definition at line 251 of file SlicedGraphs.h.

keptEdges

CallGraph::CallGraphEdgeSet SVF::SlicedThreadCallGraphView::keptEdges

private

Definition at line 249 of file SlicedGraphs.h.

keptFunctionsSet

Set<const FunObjVar*> SVF::SlicedThreadCallGraphView::keptFunctionsSet

private

Definition at line 250 of file SlicedGraphs.h.

keptNodes

OrderedSet<const CallGraphNode*> SVF::SlicedThreadCallGraphView::keptNodes

private

Definition at line 248 of file SlicedGraphs.h.

tcg

ThreadCallGraph* SVF::SlicedThreadCallGraphView::tcg

private

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