#include <ICFGNode.h>

Inheritance diagram for SVF::IntraBlockNode:

Public Member Functions
	IntraBlockNode (NodeID id, const Instruction *i)

const Instruction *	getInst () const

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 IntraBlockNode *)
	Methods for support type inquiry through isa, cast, and dyn_cast: More...

static bool	classof (const ICFGNode *node)

static bool	classof (const GenericICFGNodeTy *node)

Private Attributes
const Instruction *	inst

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

ICFG node stands for a program statement

Definition at line 175 of file ICFGNode.h.

Constructor & Destructor Documentation

◆ IntraBlockNode()

SVF::IntraBlockNode::IntraBlockNode	(	NodeID	id,
		const Instruction *	i
	)

inline

Definition at line 181 of file ICFGNode.h.

                                                     : ICFGNode(id, IntraBlock), inst(i)
     {
         fun = LLVMModuleSet::getLLVMModuleSet()->getSVFFunction(inst->getFunction());
         bb = inst->getParent();
     }

Member Function Documentation

◆ classof() [1/3]

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

inlinestatic

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

Definition at line 194 of file ICFGNode.h.

     {
         return true;
     }

◆ classof() [2/3]

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

inlinestatic

Definition at line 199 of file ICFGNode.h.

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

◆ classof() [3/3]

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

inlinestatic

Definition at line 204 of file ICFGNode.h.

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

◆ getInst()

const Instruction* SVF::IntraBlockNode::getInst ( ) const

inline

Definition at line 187 of file ICFGNode.h.

     {
         return inst;
     }

◆ toString()

const std::string IntraBlockNode::toString ( ) const

virtual

Reimplemented from SVF::ICFGNode.

Definition at line 80 of file ICFG.cpp.

                                                {
     std::string str;
     raw_string_ostream rawstr(str);
     rawstr << "IntraBlockNode ID: " << getId();
     rawstr << value2String(getInst()) << " {fun: " << getFun()->getName() << "}";
     return rawstr.str();
 }

Member Data Documentation

◆ inst

const Instruction* SVF::IntraBlockNode::inst

private

Definition at line 178 of file ICFGNode.h.

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

Private Attributes

Additional Inherited Members

Detailed Description

Constructor & Destructor Documentation

◆ IntraBlockNode()

Member Function Documentation

◆ classof() [1/3]

◆ classof() [2/3]

◆ classof() [3/3]

◆ getInst()

◆ toString()

Member Data Documentation

◆ inst