#include <ICFGNode.h>

Inheritance diagram for SVF::CallBlockNode:

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

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
	CallBlockNode (NodeID id, const Instruction *c)

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

const RetBlockNode *	getRetBlockNode () const
	Return callsite. More...

void	setRetBlockNode (const RetBlockNode *r)
	Return callsite. More...

const SVFFunction *	getCaller () const
	Return callsite. More...

const BasicBlock *	getParent () const
	Return Basic Block. More...

bool	isIndirectCall () const
	Return true if this is an indirect call. More...

const ActualParmVFGNodeVec &	getActualParms () const
	Return the set of actual parameters. More...

void	addActualParms (const PAGNode *ap)
	Add actual 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 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 CallBlockNode *)
	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 Instruction *	cs

const RetBlockNode *	ret

ActualParmVFGNodeVec	APNodes

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

const BasicBlock *	bb

VFGNodeList	VFGNodes

PAGEdgeList	pagEdges

Detailed Description

Call ICFGNode containing a set of ActualParmVFGNodes at a callsite

Definition at line 364 of file ICFGNode.h.

Member Typedef Documentation

◆ ActualParmVFGNodeVec

typedef std::vector<const PAGNode *> SVF::CallBlockNode::ActualParmVFGNodeVec

Definition at line 368 of file ICFGNode.h.

Constructor & Destructor Documentation

◆ CallBlockNode()

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

inline

Definition at line 374 of file ICFGNode.h.

                                                    : InterBlockNode(id, FunCallBlock), cs(c), ret(nullptr)
     {
         fun = LLVMModuleSet::getLLVMModuleSet()->getSVFFunction(cs->getFunction());
         bb = cs->getParent();
     }

Member Function Documentation

◆ addActualParms()

void SVF::CallBlockNode::addActualParms ( const PAGNode * ap )

inline

Add actual parameters.

Definition at line 424 of file ICFGNode.h.

     {
         APNodes.push_back(ap);
     }

◆ classof() [1/4]

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

inlinestatic

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

Definition at line 431 of file ICFGNode.h.

     {
         return true;
     }

◆ classof() [2/4]

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

inlinestatic

Definition at line 436 of file ICFGNode.h.

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

◆ classof() [3/4]

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

inlinestatic

Definition at line 441 of file ICFGNode.h.

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

◆ classof() [4/4]

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

inlinestatic

Definition at line 446 of file ICFGNode.h.

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

◆ getActualParms()

const ActualParmVFGNodeVec& SVF::CallBlockNode::getActualParms ( ) const

inline

Return the set of actual parameters.

Definition at line 418 of file ICFGNode.h.

     {
         return APNodes;
     }

◆ getCaller()

const SVFFunction* SVF::CallBlockNode::getCaller ( ) const

inline

Return callsite.

Definition at line 400 of file ICFGNode.h.

     {
         return LLVMModuleSet::getLLVMModuleSet()->getSVFFunction(cs->getFunction());
     }

◆ getCallSite()

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

inline

Return callsite.

Definition at line 381 of file ICFGNode.h.

     {
         return cs;
     }

◆ getParent()

const BasicBlock* SVF::CallBlockNode::getParent ( ) const

inline

Return Basic Block.

Definition at line 406 of file ICFGNode.h.

     {
         return cs->getParent();
     }

◆ getRetBlockNode()

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

inline

Return callsite.

Definition at line 387 of file ICFGNode.h.

     {
         assert(ret && "RetBlockNode not set?");
         return ret;
     }

◆ isIndirectCall()

bool SVF::CallBlockNode::isIndirectCall ( ) const

inline

Return true if this is an indirect call.

Definition at line 412 of file ICFGNode.h.

     {
         return nullptr == SVFUtil::getCallee(cs);
     }

◆ setRetBlockNode()

void SVF::CallBlockNode::setRetBlockNode ( const RetBlockNode * r )

inline

Return callsite.

Definition at line 394 of file ICFGNode.h.

     {
         ret = r;
     }

◆ toString()

const std::string CallBlockNode::toString ( ) const

virtual

Reimplemented from SVF::ICFGNode.

Definition at line 114 of file ICFG.cpp.

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

Member Data Documentation

◆ APNodes

ActualParmVFGNodeVec SVF::CallBlockNode::APNodes

private

Definition at line 372 of file ICFGNode.h.

◆ cs

const Instruction* SVF::CallBlockNode::cs

private

Definition at line 370 of file ICFGNode.h.

◆ ret

const RetBlockNode* SVF::CallBlockNode::ret

private

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

◆ ActualParmVFGNodeVec

Constructor & Destructor Documentation

◆ CallBlockNode()

Member Function Documentation

◆ addActualParms()

◆ classof() [1/4]

◆ classof() [2/4]

◆ classof() [3/4]

◆ classof() [4/4]

◆ getActualParms()

◆ getCaller()

◆ getCallSite()

◆ getParent()

◆ getRetBlockNode()

◆ isIndirectCall()

◆ setRetBlockNode()

◆ toString()

Member Data Documentation

◆ APNodes

◆ cs

◆ ret