#include <ICFGNode.h>

Inheritance diagram for SVF::GlobalBlockNode:

Public Member Functions
	GlobalBlockNode (NodeID id)

virtual const std::string	toString () const

Public Member Functions inherited from SVF::ICFGNode
	ICFGNode (NodeID i, ICFGNodeK k)
	Constructor. More...

virtual const SVFFunction *	getFun () const
	Return the function of this ICFGNode. More...

virtual const BasicBlock *	getBB () const
	Return the function of this ICFGNode. More...

void	dump () const

void	addVFGNode (const VFGNode *vfgNode)

const VFGNodeList &	getVFGNodes () const

void	addPAGEdge (const PAGEdge *edge)

const PAGEdgeList &	getPAGEdges () const

Public Member Functions inherited from SVF::GenericNode< NodeTy, EdgeTy >
	GenericNode (NodeID i, GNodeK k)
	Constructor. More...

virtual	~GenericNode ()
	Destructor. More...

NodeID	getId () const
	Get ID. More...

GNodeK	getNodeKind () const
	Get node kind. More...

const GEdgeSetTy &	getOutEdges () const

const GEdgeSetTy &	getInEdges () const

bool	hasIncomingEdge () const
	Has incoming/outgoing edge set. More...

bool	hasOutgoingEdge () const

iterator	OutEdgeBegin ()
	iterators More...

iterator	OutEdgeEnd ()

iterator	InEdgeBegin ()

iterator	InEdgeEnd ()

const_iterator	OutEdgeBegin () const

const_iterator	OutEdgeEnd () const

const_iterator	InEdgeBegin () const

const_iterator	InEdgeEnd () const

virtual iterator	directOutEdgeBegin ()
	Iterators used for SCC detection, overwrite it in child class if necessory. More...

virtual iterator	directOutEdgeEnd ()

virtual iterator	directInEdgeBegin ()

virtual iterator	directInEdgeEnd ()

virtual const_iterator	directOutEdgeBegin () const

virtual const_iterator	directOutEdgeEnd () const

virtual const_iterator	directInEdgeBegin () const

virtual const_iterator	directInEdgeEnd () const

bool	addIncomingEdge (EdgeType *inEdge)
	Add incoming and outgoing edges. More...

bool	addOutgoingEdge (EdgeType *outEdge)

Size_t	removeIncomingEdge (EdgeType *edge)

Size_t	removeOutgoingEdge (EdgeType *edge)

EdgeType *	hasIncomingEdge (EdgeType *edge) const
	Find incoming and outgoing edges. More...

EdgeType *	hasOutgoingEdge (EdgeType *edge) const

Static Public Member Functions

static bool	classof (const GlobalBlockNode *)
	Methods for support type inquiry through isa, cast, and dyn_cast: More...

static bool	classof (const ICFGNode *node)

static bool	classof (const GenericICFGNodeTy *node)

Additional Inherited Members
Public Types inherited from SVF::ICFGNode
enum	ICFGNodeK { IntraBlock, FunEntryBlock, FunExitBlock, FunCallBlock, FunRetBlock, GlobalBlock }

typedef ICFGEdge::ICFGEdgeSetTy::iterator	iterator

typedef ICFGEdge::ICFGEdgeSetTy::const_iterator	const_iterator

typedef Set< const CallPE * >	CallPESet

typedef Set< const RetPE * >	RetPESet

typedef std::list< const VFGNode * >	VFGNodeList

typedef std::list< const PAGEdge * >	PAGEdgeList

Public Types inherited from SVF::GenericNode< NodeTy, EdgeTy >
typedef NodeTy	NodeType

typedef EdgeTy	EdgeType

typedef s32_t	GNodeK
	Edge kind. More...

typedef OrderedSet< EdgeType *, typename EdgeType::equalGEdge >	GEdgeSetTy

typedef GEdgeSetTy::iterator	iterator

typedef GEdgeSetTy::const_iterator	const_iterator

Protected Attributes inherited from SVF::ICFGNode
const SVFFunction *	fun

const BasicBlock *	bb

VFGNodeList	VFGNodes

PAGEdgeList	pagEdges

Detailed Description

Unique ICFG node stands for all global initializations

Definition at line 142 of file ICFGNode.h.

Constructor & Destructor Documentation

◆ GlobalBlockNode()

SVF::GlobalBlockNode::GlobalBlockNode ( NodeID id )

inline

Definition at line 146 of file ICFGNode.h.

                                : ICFGNode(id, GlobalBlock)
     {
         bb = nullptr;
     }

Member Function Documentation

◆ classof() [1/3]

static bool SVF::GlobalBlockNode::classof ( const GlobalBlockNode * )

inlinestatic

Methods for support type inquiry through isa, cast, and dyn_cast:

Definition at line 153 of file ICFGNode.h.

     {
         return true;
     }

◆ classof() [2/3]

static bool SVF::GlobalBlockNode::classof ( const ICFGNode * node )

inlinestatic

Definition at line 158 of file ICFGNode.h.

     {
         return node->getNodeKind() == GlobalBlock;
     }

◆ classof() [3/3]

static bool SVF::GlobalBlockNode::classof ( const GenericICFGNodeTy * node )

inlinestatic

Definition at line 163 of file ICFGNode.h.

     {
         return node->getNodeKind() == GlobalBlock;
     }

◆ toString()

const std::string GlobalBlockNode::toString ( ) const

virtual

Reimplemented from SVF::ICFGNode.

Definition at line 72 of file ICFG.cpp.

                                                 {
     std::string str;
     raw_string_ostream rawstr(str);
     rawstr << "GlobalBlockNode ID: " << getId();
     return rawstr.str();
 }

The documentation for this class was generated from the following files:

/home/runner/work/SVF-1/SVF-1/include/Graphs/ICFGNode.h
/home/runner/work/SVF-1/SVF-1/lib/Graphs/ICFG.cpp

Public Member Functions

Static Public Member Functions

Additional Inherited Members

Detailed Description

Constructor & Destructor Documentation

◆ GlobalBlockNode()

Member Function Documentation

◆ classof() [1/3]

◆ classof() [2/3]

◆ classof() [3/3]

◆ toString()