SVF::RetIndSVFGEdge Class Reference

#include <SVFGEdge.h>

Inheritance diagram for SVF::RetIndSVFGEdge:

Public Member Functions
	RetIndSVFGEdge (VFGNode *s, VFGNode *d, CallSiteID id)
CallSiteID	getCallSiteId () const
virtual const std::string	toString () const
Public Member Functions inherited from SVF::IndirectSVFGEdge
	IndirectSVFGEdge (VFGNode *s, VFGNode *d, GEdgeFlag k)
	Constructor.
bool	addPointsTo (const NodeBS &c)
	Handle memory region.
const NodeBS &	getPointsTo () const
Public Member Functions inherited from SVF::VFGEdge
	VFGEdge (VFGNode *s, VFGNode *d, GEdgeFlag k)
	Constructor.
	~VFGEdge ()
	Destructor.
bool	isDirectVFGEdge () const
	Get methods of the components.
bool	isIndirectVFGEdge () const
bool	isCallVFGEdge () const
bool	isRetVFGEdge () const
bool	isCallDirectVFGEdge () const
bool	isRetDirectVFGEdge () const
bool	isCallIndirectVFGEdge () const
bool	isRetIndirectVFGEdge () const
bool	isIntraVFGEdge () const
bool	isThreadMHPIndirectVFGEdge () const
Public Member Functions inherited from SVF::GenericEdge< VFGNode >
	GenericEdge (VFGNode *s, VFGNode *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 RetIndSVFGEdge *)
static bool	classof (const IndirectSVFGEdge *edge)
static bool	classof (const VFGEdge *edge)
static bool	classof (const GenericVFGEdgeTy *edge)
Static Public Member Functions inherited from SVF::IndirectSVFGEdge
static bool	classof (const IndirectSVFGEdge *)
	Methods for support type inquiry through isa, cast, and dyn_cast:
static bool	classof (const VFGEdge *edge)
static bool	classof (const GenericVFGEdgeTy *edge)
Static Public Member Functions inherited from SVF::VFGEdge
static GEdgeFlag	makeEdgeFlagWithInvokeID (GEdgeKind k, CallSiteID cs)
	Compute the unique edgeFlag value from edge kind and CallSiteID.

Private Attributes
CallSiteID	csId

Additional Inherited Members
Public Types inherited from SVF::IndirectSVFGEdge
typedef Set< const MRVer * >	MRVerSet
Public Types inherited from SVF::VFGEdge
enum	VFGEdgeK {   IntraDirectVF , IntraIndirectVF , CallDirVF , RetDirVF ,   CallIndVF , RetIndVF , TheadMHPIndirectVF }
typedef VFGEdgeK	SVFGEdgeK
typedef GenericNode< VFGNode, VFGEdge >::GEdgeSetTy	VFGEdgeSetTy
typedef VFGEdgeSetTy	SVFGEdgeSetTy
Public Types inherited from SVF::GenericEdge< VFGNode >
typedef VFGNode	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< VFGNode >
static constexpr unsigned char	EdgeKindMaskBits
	We use the lower 8 bits to denote edge kind.
static constexpr u64_t	EdgeKindMask

Detailed Description

SVFG return edge representing direct value-flows from a callee to its caller at a callsite

Definition at line 165 of file SVFGEdge.h.

Constructor & Destructor Documentation

RetIndSVFGEdge()

SVF::RetIndSVFGEdge::RetIndSVFGEdge ( VFGNode * s, VFGNode * d, CallSiteID id )

inline

Definition at line 171 of file SVFGEdge.h.

                                                         :
        IndirectSVFGEdge(s,d,makeEdgeFlagWithInvokeID(RetIndVF,id)),csId(id)
    {
    }

Member Function Documentation

classof() [1/4]

bool SVF::RetIndSVFGEdge::classof ( const GenericVFGEdgeTy * edge )

inlinestatic

Definition at line 192 of file SVFGEdge.h.

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

classof() [2/4]

bool SVF::RetIndSVFGEdge::classof ( const IndirectSVFGEdge * edge )

inlinestatic

Definition at line 184 of file SVFGEdge.h.

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

classof() [3/4]

bool SVF::RetIndSVFGEdge::classof ( const RetIndSVFGEdge * )

inlinestatic

Definition at line 180 of file SVFGEdge.h.

    {
        return true;
    }

classof() [4/4]

bool SVF::RetIndSVFGEdge::classof ( const VFGEdge * edge )

inlinestatic

Definition at line 188 of file SVFGEdge.h.

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

getCallSiteId()

CallSiteID SVF::RetIndSVFGEdge::getCallSiteId ( ) const

inline

Definition at line 175 of file SVFGEdge.h.

    {
        return csId;
    }

toString()

const std::string RetIndSVFGEdge::toString ( ) const

virtual

Reimplemented from SVF::IndirectSVFGEdge.

Definition at line 175 of file SVFG.cpp.

{
    std::string str;
    std::stringstream rawstr(str);
    rawstr << "RetIndSVFGEdge CallSite ID: " << getCallSiteId() << " ";
    rawstr << getDstID() << "<--" << getSrcID() << "\n";
    return rawstr.str();
}

Member Data Documentation

csId

CallSiteID SVF::RetIndSVFGEdge::csId

private

Definition at line 169 of file SVFGEdge.h.

---

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

• /home/runner/work/SVF/SVF/svf/include/Graphs/SVFGEdge.h
• /home/runner/work/SVF/SVF/svf/lib/Graphs/SVFG.cpp