#include <ICFGNode.h>

Inheritance diagram for SVF::RetBlockNode:

Public Member Functions
	RetBlockNode (NodeID id, const Instruction c, CallBlockNode cb)

const Instruction *	getCallSite () const
	Return callsite. More...

const CallBlockNode *	getCallBlockNode () const

const PAGNode *	getActualRet () const
	Return actual return parameter. More...

void	addActualRet (const PAGNode *ar)
	Add actual return parameter. More...

virtual const std::string	toString () const

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

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

static bool	classof (const InterBlockNode *node)

static bool	classof (const ICFGNode *node)

static bool	classof (const GenericICFGNodeTy *node)

Static Public Member Functions inherited from SVF::InterBlockNode
static bool	classof (const InterBlockNode *)
	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 *	cs

const PAGNode *	actualRet

const CallBlockNode *	callBlockNode

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

Return ICFGNode containing (at most one) ActualRetVFGNode at a callsite

Definition at line 459 of file ICFGNode.h.

Constructor & Destructor Documentation

◆ RetBlockNode()

SVF::RetBlockNode::RetBlockNode	(	NodeID	id,
		const Instruction *	c,
		CallBlockNode *	cb
	)

inline

Definition at line 467 of file ICFGNode.h.

                                                                      :
         InterBlockNode(id, FunRetBlock), cs(c), actualRet(nullptr), callBlockNode(cb)
     {
         fun = LLVMModuleSet::getLLVMModuleSet()->getSVFFunction(cs->getFunction());
         bb = cs->getParent();
     }

Member Function Documentation

◆ addActualRet()

void SVF::RetBlockNode::addActualRet ( const PAGNode * ar )

inline

Add actual return parameter.

Definition at line 491 of file ICFGNode.h.

     {
         actualRet = ar;
     }

◆ classof() [1/4]

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

inlinestatic

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

Definition at line 498 of file ICFGNode.h.

     {
         return true;
     }

◆ classof() [2/4]

static bool SVF::RetBlockNode::classof ( const InterBlockNode * node )

inlinestatic

Definition at line 503 of file ICFGNode.h.

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

◆ classof() [3/4]

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

inlinestatic

Definition at line 508 of file ICFGNode.h.

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

◆ classof() [4/4]

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

inlinestatic

Definition at line 513 of file ICFGNode.h.

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

◆ getActualRet()

const PAGNode* SVF::RetBlockNode::getActualRet ( ) const

inline

Return actual return parameter.

Definition at line 485 of file ICFGNode.h.

     {
         return actualRet;
     }

◆ getCallBlockNode()

const CallBlockNode* SVF::RetBlockNode::getCallBlockNode ( ) const

inline

Definition at line 480 of file ICFGNode.h.

     {
         return callBlockNode;
     }

◆ getCallSite()

const Instruction* SVF::RetBlockNode::getCallSite ( ) const

inline

Return callsite.

Definition at line 475 of file ICFGNode.h.

     {
         return cs;
     }

◆ toString()

const std::string RetBlockNode::toString ( ) const

virtual

Reimplemented from SVF::ICFGNode.

Definition at line 122 of file ICFG.cpp.

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

Member Data Documentation

◆ actualRet

const PAGNode* SVF::RetBlockNode::actualRet

private

Definition at line 464 of file ICFGNode.h.

◆ callBlockNode

const CallBlockNode* SVF::RetBlockNode::callBlockNode

private

Definition at line 465 of file ICFGNode.h.

◆ cs

const Instruction* SVF::RetBlockNode::cs

private

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

◆ RetBlockNode()

Member Function Documentation

◆ addActualRet()

◆ classof() [1/4]

◆ classof() [2/4]

◆ classof() [3/4]

◆ classof() [4/4]

◆ getActualRet()

◆ getCallBlockNode()

◆ getCallSite()

◆ toString()

Member Data Documentation

◆ actualRet

◆ callBlockNode

◆ cs