SVF::RetCFGEdge Class Reference

#include <ICFGEdge.h>

Inheritance diagram for SVF::RetCFGEdge:

Public Member Functions
	RetCFGEdge (ICFGNode *s, ICFGNode *d)
	Constructor.
void	addRetPE (const RetPE *ret)
	Add call parameter edge to this CallCFGEdge.
const RetPE *	getRetPE () const
	Add get parameter edge to this CallCFGEdge.
const CallICFGNode *	getCallSite () const
	Return call ICFGNode at the callsite.
virtual const std::string	toString () const
Public Member Functions inherited from SVF::ICFGEdge
	ICFGEdge (ICFGNode *s, ICFGNode *d, GEdgeFlag k)
	Constructor.
	~ICFGEdge ()
	Destructor.
bool	isCFGEdge () const
	Get methods of the components.
bool	isCallCFGEdge () const
bool	isRetCFGEdge () const
bool	isIntraCFGEdge () const
Public Member Functions inherited from SVF::GenericEdge< NodeTy >
	GenericEdge (NodeTy *s, NodeTy *d, GEdgeFlag k)
	Constructor.
virtual	~GenericEdge ()
	Destructor.
NodeID	getSrcID () const
	get methods of the components
NodeID	getDstID () const
GEdgeKind	getEdgeKind () const
GEdgeKind	getEdgeKindWithoutMask () const
NodeType *	getSrcNode () const
NodeType *	getDstNode () const
virtual bool	operator== (const GenericEdge< NodeType > *rhs) const

Static Public Member Functions
static bool	classof (const RetCFGEdge *)
	Methods for support type inquiry through isa, cast, and dyn_cast:
static bool	classof (const ICFGEdge *edge)
static bool	classof (const GenericICFGEdgeTy *edge)
Static Public Member Functions inherited from SVF::ICFGEdge
static GEdgeFlag	makeEdgeFlagWithInvokeID (GEdgeKind k, CallSiteID cs)
	Compute the unique edgeFlag value from edge kind and CallSiteID.

Private Attributes
const RetPE *	retPE

Friends
class	SVFIRWriter
class	SVFIRReader

Additional Inherited Members
Public Types inherited from SVF::ICFGEdge
enum	ICFGEdgeK { IntraCF , CallCF , RetCF }
typedef ICFGEdgeK	SVFGEdgeK
typedef GenericNode< ICFGNode, ICFGEdge >::GEdgeSetTy	ICFGEdgeSetTy
typedef ICFGEdgeSetTy	SVFGEdgeSetTy
Public Types inherited from SVF::GenericEdge< NodeTy >
typedef NodeTy	NodeType
	Node type.
typedef u64_t	GEdgeFlag
typedef s64_t	GEdgeKind
typedef struct SVF::GenericEdge::equalGEdge	equalGEdge
	Add the hash function for std::set (we also can overload operator< to implement this)
Static Protected Attributes inherited from SVF::GenericEdge< NodeTy >
static constexpr unsigned char	EdgeKindMaskBits = 8
	We use the lower 8 bits to denote edge kind.
static constexpr u64_t	EdgeKindMask = (~0ULL) >> (64 - EdgeKindMaskBits)

Detailed Description

Return ICFG edge representing parameter/return passing from a callee to a caller

Definition at line 233 of file ICFGEdge.h.

Constructor & Destructor Documentation

RetCFGEdge()

SVF::RetCFGEdge::RetCFGEdge ( ICFGNode *  s, ICFGNode *  d  )

inline

Constructor.

Definition at line 243 of file ICFGEdge.h.

        : ICFGEdge(s, d, RetCF), retPE(nullptr)
    {
    }

Member Function Documentation

addRetPE()

void SVF::RetCFGEdge::addRetPE ( const RetPE *  ret )

inline

Add call parameter edge to this CallCFGEdge.

Definition at line 248 of file ICFGEdge.h.

    {
        assert(!retPE && "we can only have one retPE for each RetCFGEdge");
        retPE = ret;
    }

classof() [1/3]

static bool SVF::RetCFGEdge::classof ( const GenericICFGEdgeTy *  edge )

inlinestatic

Definition at line 271 of file ICFGEdge.h.

    {
        return edge->getEdgeKind() == RetCF;
    }

classof() [2/3]

static bool SVF::RetCFGEdge::classof ( const ICFGEdge *  edge )

inlinestatic

Definition at line 267 of file ICFGEdge.h.

    {
        return edge->getEdgeKind() == RetCF;
    }

classof() [3/3]

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

inlinestatic

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

Definition at line 263 of file ICFGEdge.h.

    {
        return true;
    }

getCallSite()

const CallICFGNode * RetCFGEdge::getCallSite

(

)

const

Return call ICFGNode at the callsite.

Definition at line 196 of file ICFG.cpp.

{
    assert(SVFUtil::isa<RetICFGNode>(getDstNode()) && "not a RetICFGNode?");
    return SVFUtil::cast<RetICFGNode>(getDstNode())->getCallICFGNode();
}

getRetPE()

const RetPE * SVF::RetCFGEdge::getRetPE ( ) const

inline

Add get parameter edge to this CallCFGEdge.

Definition at line 254 of file ICFGEdge.h.

    {
        return retPE;
    }

toString()

const std::string RetCFGEdge::toString ( ) const

virtual

Reimplemented from SVF::ICFGEdge.

Definition at line 186 of file ICFG.cpp.

{
    std::string str;
    std::stringstream rawstr(str);
    rawstr << "RetCFGEdge " << " [ICFGNode";
    rawstr << getDstID() << " <-- ICFGNode" << getSrcID() << "]\t CallSite: " << getDstNode()->toString() << "\t";
    return rawstr.str();
}

Friends And Related Symbol Documentation

SVFIRReader

friend class SVFIRReader

friend

Definition at line 236 of file ICFGEdge.h.

SVFIRWriter

friend class SVFIRWriter

friend

Definition at line 235 of file ICFGEdge.h.

Member Data Documentation

retPE

const RetPE* SVF::RetCFGEdge::retPE

private

Definition at line 239 of file ICFGEdge.h.

---

The documentation for this class was generated from the following files:

• /home/runner/work/SVF/SVF/svf/include/Graphs/ICFGEdge.h
• /home/runner/work/SVF/SVF/svf/lib/Graphs/ICFG.cpp