SVF::FunExitBlockNode Class Reference

#include <ICFGNode.h>

Inheritance diagram for SVF::FunExitBlockNode:

Public Member Functions
	FunExitBlockNode (NodeID id, const SVFFunction *f)
const SVFFunction *	getFun () const
	Return function. More...
const PAGNode *	getFormalRet () const
	Return actual return parameter. More...
void	addFormalRet (const PAGNode *fr)
	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 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 FunEntryBlockNode *)
	Methods for support type inquiry through isa, cast, and dyn_cast: More...
static bool	classof (const ICFGNode *node)
static bool	classof (const InterBlockNode *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 SVFFunction *	fun
const PAGNode *	formalRet

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

Function exit ICFGNode containing (at most one) FormalRetVFGNodes of a function

Definition at line 308 of file ICFGNode.h.

Constructor & Destructor Documentation

FunExitBlockNode()

FunExitBlockNode::FunExitBlockNode	(	NodeID	id,
		const SVFFunction *	f
	)

Definition at line 50 of file ICFG.cpp.

                                                                  : InterBlockNode(id, FunExitBlock), fun(f), formalRet(nullptr)
{
    fun = f;
    // if function is implemented
    if (f->getLLVMFun()->begin() != f->getLLVMFun()->end()) {
        bb = SVFUtil::getFunExitBB(f->getLLVMFun());
    }

}

Member Function Documentation

addFormalRet()

void SVF::FunExitBlockNode::addFormalRet ( const PAGNode *  fr )

inline

Add actual return parameter.

Definition at line 330 of file ICFGNode.h.

    {
        formalRet = fr;
    }

classof() [1/4]

static bool SVF::FunExitBlockNode::classof ( const FunEntryBlockNode *  )

inlinestatic

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

Definition at line 337 of file ICFGNode.h.

    {
        return true;
    }

classof() [2/4]

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

inlinestatic

Definition at line 342 of file ICFGNode.h.

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

classof() [3/4]

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

inlinestatic

Definition at line 347 of file ICFGNode.h.

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

classof() [4/4]

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

inlinestatic

Definition at line 352 of file ICFGNode.h.

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

getFormalRet()

const PAGNode* SVF::FunExitBlockNode::getFormalRet ( ) const

inline

Return actual return parameter.

Definition at line 324 of file ICFGNode.h.

    {
        return formalRet;
    }

getFun()

const SVFFunction* SVF::FunExitBlockNode::getFun ( ) const

inlinevirtual

Return function.

Reimplemented from SVF::ICFGNode.

Definition at line 318 of file ICFGNode.h.

    {
        return fun;
    }

toString()

const std::string FunExitBlockNode::toString ( ) const

virtual

Reimplemented from SVF::ICFGNode.

Definition at line 101 of file ICFG.cpp.

                                                 {
    std::string str;
    raw_string_ostream rawstr(str);
    rawstr << "FunExitBlockNode ID: " << getId();
    if (isExtCall(getFun()))
        rawstr << " Exit(" << ")\n";
    else
        rawstr << " Exit(" << getSourceLoc(getFunExitBB(getFun()->getLLVMFun())->getFirstNonPHI()) << ")\n";
    rawstr << " {fun: " << getFun()->getName() << "}";
    return rawstr.str();
}

Member Data Documentation

formalRet

const PAGNode* SVF::FunExitBlockNode::formalRet

private

Definition at line 313 of file ICFGNode.h.

fun

const SVFFunction* SVF::FunExitBlockNode::fun

private

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