SVF::GenericGraphTraits< SVF::ICFG * > Struct Reference

#include <ICFG.h>

Inheritance diagram for SVF::GenericGraphTraits< SVF::ICFG * >:

Public Types
typedef SVF::ICFGNode *	NodeRef
Public Types inherited from SVF::GenericGraphTraits< SVF::GenericGraph< SVF::ICFGNode, SVF::ICFGEdge > * >
using	NodeRef

Static Public Member Functions
static const SVF::ICFGNode *	getFunEntry (SVF::ICFG *, const SVF::FunObjVar *fun)
	Entry node of fun under this graph (whole ICFG: the entry block's front).
static const SVF::ICFGNode *	getFunExit (SVF::ICFG *graph, const SVF::FunObjVar *fun)
	Exit node of fun under the whole ICFG.
static void	getFunICFGNodes (SVF::ICFG *, const SVF::FunObjVar *fun, std::vector< const SVF::ICFGNode * > &out)
	Nodes of fun contained in this graph (whole ICFG: all of them).
static void	getSuccNodes (SVF::ICFG *, const SVF::ICFGNode *n, std::vector< const SVF::ICFGNode * > &out)
	Successors / predecessors of n under this graph.
static void	getPredNodes (SVF::ICFG *, const SVF::ICFGNode *n, std::vector< const SVF::ICFGNode * > &out)
static bool	containsNode (SVF::ICFG *, const SVF::ICFGNode *)
	Whether n belongs to this graph (whole ICFG contains every node).

Detailed Description

Definition at line 299 of file ICFG.h.

Member Typedef Documentation

NodeRef

typedef SVF::ICFGNode* SVF::GenericGraphTraits< SVF::ICFG * >::NodeRef

Definition at line 301 of file ICFG.h.

Member Function Documentation

containsNode()

bool SVF::GenericGraphTraits< SVF::ICFG * >::containsNode ( SVF::ICFG * , const SVF::ICFGNode *  )

inlinestatic

Whether n belongs to this graph (whole ICFG contains every node).

Definition at line 343 of file ICFG.h.

    {
        return true;
    }

getFunEntry()

const SVF::ICFGNode * SVF::GenericGraphTraits< SVF::ICFG * >::getFunEntry ( SVF::ICFG * , const SVF::FunObjVar * fun )

inlinestatic

Entry node of fun under this graph (whole ICFG: the entry block's front).

Definition at line 308 of file ICFG.h.

    {
        return fun->getEntryBlock()->front();
    }

getFunExit()

const SVF::ICFGNode * SVF::GenericGraphTraits< SVF::ICFG * >::getFunExit ( SVF::ICFG * graph, const SVF::FunObjVar * fun )

inlinestatic

Exit node of fun under the whole ICFG.

Definition at line 313 of file ICFG.h.

    {
        return graph->getFunExitICFGNode(fun);
    }

getFunICFGNodes()

void SVF::GenericGraphTraits< SVF::ICFG * >::getFunICFGNodes ( SVF::ICFG * , const SVF::FunObjVar * fun, std::vector< const SVF::ICFGNode * > & out )

inlinestatic

Nodes of fun contained in this graph (whole ICFG: all of them).

Definition at line 319 of file ICFG.h.

    {
        out.clear();
        for (auto it : *fun)
            for (const SVF::ICFGNode* n : it.second->getICFGNodeList())
                out.push_back(n);
    }

getPredNodes()

void SVF::GenericGraphTraits< SVF::ICFG * >::getPredNodes ( SVF::ICFG * , const SVF::ICFGNode * n, std::vector< const SVF::ICFGNode * > & out )

inlinestatic

Definition at line 335 of file ICFG.h.

    {
        out.clear();
        for (const SVF::ICFGEdge* e : n->getInEdges())
            out.push_back(e->getSrcNode());
    }

getSuccNodes()

void SVF::GenericGraphTraits< SVF::ICFG * >::getSuccNodes ( SVF::ICFG * , const SVF::ICFGNode * n, std::vector< const SVF::ICFGNode * > & out )

inlinestatic

Successors / predecessors of n under this graph.

Definition at line 328 of file ICFG.h.

    {
        out.clear();
        for (const SVF::ICFGEdge* e : n->getOutEdges())
            out.push_back(e->getDstNode());
    }

---

The documentation for this struct was generated from the following file:

• /home/runner/work/SVF/SVF/svf/include/Graphs/ICFG.h