#include <ICFGNode.h>

Inheritance diagram for SVF::FunEntryBlockNode:

Public Types
typedef std::vector< const PAGNode * >	FormalParmNodeVec

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

Public Member Functions
	FunEntryBlockNode (NodeID id, const SVFFunction *f)

const SVFFunction *	getFun () const
	Return function. More...

const FormalParmNodeVec &	getFormalParms () const
	Return the set of formal parameters. More...

void	addFormalParms (const PAGNode *fp)
	Add formal parameters. 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 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
FormalParmNodeVec	FPNodes

Additional Inherited Members
Protected Attributes inherited from SVF::ICFGNode
const SVFFunction *	fun

const BasicBlock *	bb

VFGNodeList	VFGNodes

PAGEdgeList	pagEdges

Detailed Description

Function entry ICFGNode containing a set of FormalParmVFGNodes of a function

Definition at line 251 of file ICFGNode.h.

Member Typedef Documentation

◆ FormalParmNodeVec

typedef std::vector<const PAGNode *> SVF::FunEntryBlockNode::FormalParmNodeVec

Definition at line 255 of file ICFGNode.h.

Constructor & Destructor Documentation

◆ FunEntryBlockNode()

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

Definition at line 41 of file ICFG.cpp.

                                                                     : InterBlockNode(id, FunEntryBlock)
 {
     fun = f;
     // if function is implemented
     if (f->getLLVMFun()->begin() != f->getLLVMFun()->end()) {
         bb = &(f->getLLVMFun()->getEntryBlock());
     }
 }

Member Function Documentation

◆ addFormalParms()

void SVF::FunEntryBlockNode::addFormalParms ( const PAGNode * fp )

inline

Add formal parameters.

Definition at line 274 of file ICFGNode.h.

     {
         FPNodes.push_back(fp);
     }

◆ classof() [1/4]

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

inlinestatic

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

Definition at line 281 of file ICFGNode.h.

     {
         return true;
     }

◆ classof() [2/4]

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

inlinestatic

Definition at line 286 of file ICFGNode.h.

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

◆ classof() [3/4]

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

inlinestatic

Definition at line 291 of file ICFGNode.h.

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

◆ classof() [4/4]

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

inlinestatic

Definition at line 296 of file ICFGNode.h.

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

◆ getFormalParms()

const FormalParmNodeVec& SVF::FunEntryBlockNode::getFormalParms ( ) const

inline

Return the set of formal parameters.

Definition at line 268 of file ICFGNode.h.

     {
         return FPNodes;
     }

◆ getFun()

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

inlinevirtual

Return function.

Reimplemented from SVF::ICFGNode.

Definition at line 262 of file ICFGNode.h.

     {
         return fun;
     }

◆ toString()

const std::string FunEntryBlockNode::toString ( ) const

virtual

Reimplemented from SVF::ICFGNode.

Definition at line 89 of file ICFG.cpp.

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

Member Data Documentation

◆ FPNodes

FormalParmNodeVec SVF::FunEntryBlockNode::FPNodes

private

Definition at line 257 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 Types

Public Member Functions

Static Public Member Functions

Private Attributes

Additional Inherited Members

Detailed Description

Member Typedef Documentation

◆ FormalParmNodeVec

Constructor & Destructor Documentation

◆ FunEntryBlockNode()

Member Function Documentation

◆ addFormalParms()

◆ classof() [1/4]

◆ classof() [2/4]

◆ classof() [3/4]

◆ classof() [4/4]

◆ getFormalParms()

◆ getFun()

◆ toString()

Member Data Documentation

◆ FPNodes