SVF::ICFGEdge Class Reference

#include <ICFGEdge.h>

Inheritance diagram for SVF::ICFGEdge:

Public Types
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)

Public Member Functions
	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
virtual const std::string	toString () 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 GEdgeFlag	makeEdgeFlagWithInvokeID (GEdgeKind k, CallSiteID cs)
	Compute the unique edgeFlag value from edge kind and CallSiteID.

Friends
OutStream &	operator<< (OutStream &o, const ICFGEdge &edge)
	Overloading operator << for dumping ICFG node ID.

Additional Inherited Members
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

Definition at line 44 of file ICFGEdge.h.

Member Typedef Documentation

ICFGEdgeSetTy

typedef GenericNode<ICFGNode,ICFGEdge>::GEdgeSetTy SVF::ICFGEdge::ICFGEdgeSetTy

Definition at line 88 of file ICFGEdge.h.

SVFGEdgeK

typedef ICFGEdgeK SVF::ICFGEdge::SVFGEdgeK

Definition at line 58 of file ICFGEdge.h.

SVFGEdgeSetTy

typedef ICFGEdgeSetTy SVF::ICFGEdge::SVFGEdgeSetTy

Definition at line 89 of file ICFGEdge.h.

Member Enumeration Documentation

ICFGEdgeK

enum SVF::ICFGEdge::ICFGEdgeK

ten types of ICFG edge three types of control-flow edges seven types of value-flow edges

Enumerator
IntraCF
CallCF
RetCF

Definition at line 51 of file ICFGEdge.h.

    {
        IntraCF,
        CallCF,
        RetCF,
    };

Constructor & Destructor Documentation

ICFGEdge()

SVF::ICFGEdge::ICFGEdge ( ICFGNode *  s, ICFGNode *  d, GEdgeFlag  k  )

inline

Constructor.

Definition at line 62 of file ICFGEdge.h.

                                                    : GenericICFGEdgeTy(s, d, k)
    {
    }

~ICFGEdge()

SVF::ICFGEdge::~ICFGEdge ( )

inline

Destructor.

Definition at line 66 of file ICFGEdge.h.

{}

Member Function Documentation

isCallCFGEdge()

bool SVF::ICFGEdge::isCallCFGEdge ( ) const

inline

Definition at line 75 of file ICFGEdge.h.

    {
        return getEdgeKind() == CallCF;
    }

isCFGEdge()

bool SVF::ICFGEdge::isCFGEdge ( ) const

inline

Get methods of the components.

Definition at line 70 of file ICFGEdge.h.

    {
        return getEdgeKind() == IntraCF || getEdgeKind() == CallCF ||
               getEdgeKind() == RetCF;
    }

isIntraCFGEdge()

bool SVF::ICFGEdge::isIntraCFGEdge ( ) const

inline

Definition at line 83 of file ICFGEdge.h.

    {
        return getEdgeKind() == IntraCF;
    }

isRetCFGEdge()

bool SVF::ICFGEdge::isRetCFGEdge ( ) const

inline

Definition at line 79 of file ICFGEdge.h.

    {
        return getEdgeKind() == RetCF;
    }

makeEdgeFlagWithInvokeID()

static GEdgeFlag SVF::ICFGEdge::makeEdgeFlagWithInvokeID ( GEdgeKind  k, CallSiteID  cs  )

inlinestatic

Compute the unique edgeFlag value from edge kind and CallSiteID.

Definition at line 91 of file ICFGEdge.h.

    {
        return (cs << EdgeKindMaskBits) | k;
    }

toString()

const std::string ICFGEdge::toString ( ) const

virtual

Reimplemented in SVF::IntraCFGEdge, SVF::CallCFGEdge, and SVF::RetCFGEdge.

Definition at line 155 of file ICFG.cpp.

{
    std::string str;
    std::stringstream rawstr(str);
    rawstr << "ICFGEdge: [ICFGNode" << getDstID() << " <-- ICFGNode" << getSrcID() << "]\t";
    return rawstr.str();
}

Friends And Related Symbol Documentation

operator<<

OutStream & operator<< ( OutStream &  o, const ICFGEdge &  edge  )

friend

Overloading operator << for dumping ICFG node ID.

Definition at line 98 of file ICFGEdge.h.

    {
        o << edge.toString();
        return o;
    }

---

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