SVF::VFGEdge Class Reference

#include <VFGEdge.h>

Inheritance diagram for SVF::VFGEdge:

Public Types
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< 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
	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
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 VFGEdge &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 VFGEdge.h.

Member Typedef Documentation

SVFGEdgeK

typedef VFGEdgeK SVF::VFGEdge::SVFGEdgeK

Definition at line 62 of file VFGEdge.h.

SVFGEdgeSetTy

typedef VFGEdgeSetTy SVF::VFGEdge::SVFGEdgeSetTy

Definition at line 118 of file VFGEdge.h.

VFGEdgeSetTy

typedef GenericNode<VFGNode,VFGEdge>::GEdgeSetTy SVF::VFGEdge::VFGEdgeSetTy

Definition at line 117 of file VFGEdge.h.

Member Enumeration Documentation

VFGEdgeK

enum SVF::VFGEdge::VFGEdgeK

seven types of ICFG edge four types of direct value-flow edges three types of indirect value-flow edges

Enumerator
IntraDirectVF
IntraIndirectVF
CallDirVF
RetDirVF
CallIndVF
RetIndVF
TheadMHPIndirectVF

Definition at line 51 of file VFGEdge.h.

    {
        IntraDirectVF,
        IntraIndirectVF,
        CallDirVF,
        RetDirVF,
        CallIndVF,
        RetIndVF,
        TheadMHPIndirectVF
    };

Constructor & Destructor Documentation

VFGEdge()

SVF::VFGEdge::VFGEdge ( VFGNode *  s, VFGNode *  d, GEdgeFlag  k  )

inline

Constructor.

Definition at line 66 of file VFGEdge.h.

                                                 : GenericVFGEdgeTy(s,d,k)
    {
    }

~VFGEdge()

SVF::VFGEdge::~VFGEdge ( )

inline

Destructor.

Definition at line 70 of file VFGEdge.h.

    {
    }

Member Function Documentation

isCallDirectVFGEdge()

bool SVF::VFGEdge::isCallDirectVFGEdge ( ) const

inline

Definition at line 92 of file VFGEdge.h.

    {
        return getEdgeKind() == CallDirVF;
    }

isCallIndirectVFGEdge()

bool SVF::VFGEdge::isCallIndirectVFGEdge ( ) const

inline

Definition at line 100 of file VFGEdge.h.

    {
        return getEdgeKind() == CallIndVF;
    }

isCallVFGEdge()

bool SVF::VFGEdge::isCallVFGEdge ( ) const

inline

Definition at line 84 of file VFGEdge.h.

    {
        return getEdgeKind() == CallDirVF || getEdgeKind() == CallIndVF;
    }

isDirectVFGEdge()

bool SVF::VFGEdge::isDirectVFGEdge ( ) const

inline

Get methods of the components.

Definition at line 76 of file VFGEdge.h.

    {
        return getEdgeKind() == IntraDirectVF || getEdgeKind() == CallDirVF || getEdgeKind() == RetDirVF;
    }

isIndirectVFGEdge()

bool SVF::VFGEdge::isIndirectVFGEdge ( ) const

inline

Definition at line 80 of file VFGEdge.h.

    {
        return getEdgeKind() == IntraIndirectVF || getEdgeKind() == CallIndVF || getEdgeKind() == RetIndVF || getEdgeKind() == TheadMHPIndirectVF;
    }

isIntraVFGEdge()

bool SVF::VFGEdge::isIntraVFGEdge ( ) const

inline

Definition at line 108 of file VFGEdge.h.

    {
        return getEdgeKind() == IntraDirectVF || getEdgeKind() == IntraIndirectVF;
    }

isRetDirectVFGEdge()

bool SVF::VFGEdge::isRetDirectVFGEdge ( ) const

inline

Definition at line 96 of file VFGEdge.h.

    {
        return getEdgeKind() == RetDirVF;
    }

isRetIndirectVFGEdge()

bool SVF::VFGEdge::isRetIndirectVFGEdge ( ) const

inline

Definition at line 104 of file VFGEdge.h.

    {
        return getEdgeKind() == RetIndVF;
    }

isRetVFGEdge()

bool SVF::VFGEdge::isRetVFGEdge ( ) const

inline

Definition at line 88 of file VFGEdge.h.

    {
        return getEdgeKind() == RetDirVF || getEdgeKind() == RetIndVF;
    }

isThreadMHPIndirectVFGEdge()

bool SVF::VFGEdge::isThreadMHPIndirectVFGEdge ( ) const

inline

Definition at line 112 of file VFGEdge.h.

    {
        return getEdgeKind() == TheadMHPIndirectVF;
    }

makeEdgeFlagWithInvokeID()

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

inlinestatic

Compute the unique edgeFlag value from edge kind and CallSiteID.

Definition at line 120 of file VFGEdge.h.

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

toString()

const std::string VFGEdge::toString ( ) const

virtual

Reimplemented in SVF::IndirectSVFGEdge, SVF::IntraIndSVFGEdge, SVF::CallIndSVFGEdge, SVF::RetIndSVFGEdge, SVF::ThreadMHPIndSVFGEdge, SVF::DirectSVFGEdge, SVF::IntraDirSVFGEdge, SVF::CallDirSVFGEdge, and SVF::RetDirSVFGEdge.

Definition at line 379 of file VFG.cpp.

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

Friends And Related Symbol Documentation

operator<<

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

friend

Overloading operator << for dumping ICFG node ID.

Definition at line 127 of file VFGEdge.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/VFGEdge.h
• /home/runner/work/SVF/SVF/svf/lib/Graphs/VFG.cpp