SVF::PTACallGraphEdge Class Reference

#include <PTACallGraph.h>

Inheritance diagram for SVF::PTACallGraphEdge:

Public Types
enum	CEDGEK { CallRetEdge , TDForkEdge , TDJoinEdge , HareParForEdge }
typedef Set< const CallICFGNode * >	CallInstSet
typedef GenericNode< PTACallGraphNode, PTACallGraphEdge >::GEdgeSetTy	CallGraphEdgeSet
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
	PTACallGraphEdge (PTACallGraphNode *s, PTACallGraphNode *d, CEDGEK kind, CallSiteID cs)
	Constructor.
virtual	~PTACallGraphEdge ()
	Destructor.
CallSiteID	getCallSiteID () const
	Get direct and indirect calls.
bool	isDirectCallEdge () const
bool	isIndirectCallEdge () const
CallInstSet &	getDirectCalls ()
CallInstSet &	getIndirectCalls ()
const CallInstSet &	getDirectCalls () const
const CallInstSet &	getIndirectCalls () const
void	addDirectCallSite (const CallICFGNode *call)
	Add direct and indirect callsite.
void	addInDirectCallSite (const CallICFGNode *call)
CallInstSet::const_iterator	directCallsBegin () const
	Iterators for direct and indirect callsites.
CallInstSet::const_iterator	directCallsEnd () const
CallInstSet::const_iterator	indirectCallsBegin () const
CallInstSet::const_iterator	indirectCallsEnd () 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.
static bool	classof (const PTACallGraphEdge *)
	ClassOf.
static bool	classof (const GenericPTACallGraphEdgeTy *edge)

Private Attributes
CallInstSet	directCalls
CallInstSet	indirectCalls
CallSiteID	csId

Friends
OutStream &	operator<< (OutStream &o, const PTACallGraphEdge &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 52 of file PTACallGraph.h.

Member Typedef Documentation

CallGraphEdgeSet

typedef GenericNode<PTACallGraphNode,PTACallGraphEdge>::GEdgeSetTy SVF::PTACallGraphEdge::CallGraphEdgeSet

Definition at line 167 of file PTACallGraph.h.

CallInstSet

typedef Set<const CallICFGNode*> SVF::PTACallGraphEdge::CallInstSet

Definition at line 56 of file PTACallGraph.h.

Member Enumeration Documentation

CEDGEK

enum SVF::PTACallGraphEdge::CEDGEK

Enumerator
CallRetEdge
TDForkEdge
TDJoinEdge
HareParForEdge

Definition at line 57 of file PTACallGraph.h.

    {
        CallRetEdge,TDForkEdge,TDJoinEdge,HareParForEdge
    };

Constructor & Destructor Documentation

PTACallGraphEdge()

SVF::PTACallGraphEdge::PTACallGraphEdge ( PTACallGraphNode *  s, PTACallGraphNode *  d, CEDGEK  kind, CallSiteID  cs  )

inline

Constructor.

Definition at line 69 of file PTACallGraph.h.

                                                                                           :
        GenericPTACallGraphEdgeTy(s, d, makeEdgeFlagWithInvokeID(kind, cs)), csId(cs)
    {
    }

~PTACallGraphEdge()

virtual SVF::PTACallGraphEdge::~PTACallGraphEdge ( )

inlinevirtual

Destructor.

Definition at line 74 of file PTACallGraph.h.

    {
    }

Member Function Documentation

addDirectCallSite()

void PTACallGraphEdge::addDirectCallSite

(

const CallICFGNode *

call

)

Add direct and indirect callsite.

Definition at line 47 of file PTACallGraph.cpp.

{
    assert(call->getCalledFunction() && "not a direct callsite??");
    directCalls.insert(call);
}

addInDirectCallSite()

void PTACallGraphEdge::addInDirectCallSite

(

const CallICFGNode *

call

)

Definition at line 53 of file PTACallGraph.cpp.

{
    assert((nullptr == call->getCalledFunction() || !SVFUtil::isa<FunValVar>(SVFUtil::getForkedFun(call))) &&
           "not an indirect callsite??");
    indirectCalls.insert(call);
}

classof() [1/2]

static bool SVF::PTACallGraphEdge::classof ( const GenericPTACallGraphEdgeTy *  edge )

inlinestatic

Definition at line 148 of file PTACallGraph.h.

    {
        return edge->getEdgeKind() == PTACallGraphEdge::CallRetEdge ||
               edge->getEdgeKind() == PTACallGraphEdge::TDForkEdge ||
               edge->getEdgeKind() == PTACallGraphEdge::TDJoinEdge;
    }

classof() [2/2]

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

inlinestatic

ClassOf.

Definition at line 144 of file PTACallGraph.h.

    {
        return true;
    }

directCallsBegin()

CallInstSet::const_iterator SVF::PTACallGraphEdge::directCallsBegin ( ) const

inline

Iterators for direct and indirect callsites.

Definition at line 123 of file PTACallGraph.h.

    {
        return directCalls.begin();
    }

directCallsEnd()

CallInstSet::const_iterator SVF::PTACallGraphEdge::directCallsEnd ( ) const

inline

Definition at line 127 of file PTACallGraph.h.

    {
        return directCalls.end();
    }

getCallSiteID()

CallSiteID SVF::PTACallGraphEdge::getCallSiteID ( ) const

inline

Get direct and indirect calls.

Definition at line 84 of file PTACallGraph.h.

    {
        return csId;
    }

getDirectCalls() [1/2]

CallInstSet & SVF::PTACallGraphEdge::getDirectCalls ( )

inline

Definition at line 96 of file PTACallGraph.h.

    {
        return directCalls;
    }

getDirectCalls() [2/2]

const CallInstSet & SVF::PTACallGraphEdge::getDirectCalls ( ) const

inline

Definition at line 104 of file PTACallGraph.h.

    {
        return directCalls;
    }

getIndirectCalls() [1/2]

CallInstSet & SVF::PTACallGraphEdge::getIndirectCalls ( )

inline

Definition at line 100 of file PTACallGraph.h.

    {
        return indirectCalls;
    }

getIndirectCalls() [2/2]

const CallInstSet & SVF::PTACallGraphEdge::getIndirectCalls ( ) const

inline

Definition at line 108 of file PTACallGraph.h.

    {
        return indirectCalls;
    }

indirectCallsBegin()

CallInstSet::const_iterator SVF::PTACallGraphEdge::indirectCallsBegin ( ) const

inline

Definition at line 132 of file PTACallGraph.h.

    {
        return indirectCalls.begin();
    }

indirectCallsEnd()

CallInstSet::const_iterator SVF::PTACallGraphEdge::indirectCallsEnd ( ) const

inline

Definition at line 136 of file PTACallGraph.h.

    {
        return indirectCalls.end();
    }

isDirectCallEdge()

bool SVF::PTACallGraphEdge::isDirectCallEdge ( ) const

inline

Definition at line 88 of file PTACallGraph.h.

    {
        return !directCalls.empty() && indirectCalls.empty();
    }

isIndirectCallEdge()

bool SVF::PTACallGraphEdge::isIndirectCallEdge ( ) const

inline

Definition at line 92 of file PTACallGraph.h.

    {
        return directCalls.empty() && !indirectCalls.empty();
    }

makeEdgeFlagWithInvokeID()

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

inlinestatic

Compute the unique edgeFlag value from edge kind and CallSiteID.

Definition at line 78 of file PTACallGraph.h.

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

toString()

const std::string PTACallGraphEdge::toString ( ) const

virtual

Reimplemented in SVF::ThreadForkEdge, and SVF::ThreadJoinEdge.

Definition at line 61 of file PTACallGraph.cpp.

{
    std::string str;
    std::stringstream  rawstr(str);
    rawstr << "CallSite ID: " << getCallSiteID();
    if(isDirectCallEdge())
        rawstr << "direct call";
    else
        rawstr << "indirect call";
    rawstr << "[" << getDstID() << "<--" << getSrcID() << "]\t";
    return rawstr.str();
}

Friends And Related Symbol Documentation

operator<<

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

friend

Overloading operator << for dumping ICFG node ID.

Definition at line 158 of file PTACallGraph.h.

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

Member Data Documentation

csId

CallSiteID SVF::PTACallGraphEdge::csId

private

Definition at line 66 of file PTACallGraph.h.

directCalls

CallInstSet SVF::PTACallGraphEdge::directCalls

private

Definition at line 64 of file PTACallGraph.h.

indirectCalls

CallInstSet SVF::PTACallGraphEdge::indirectCalls

private

Definition at line 65 of file PTACallGraph.h.

---

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

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