#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. More...

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) More...

Public Member Functions
	PTACallGraphEdge (PTACallGraphNode s, PTACallGraphNode d, CEDGEK kind, CallSiteID cs)
	Constructor. More...

virtual	~PTACallGraphEdge ()
	Destructor. More...

CallSiteID	getCallSiteID () const
	Get direct and indirect calls. More...

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. More...

void	addInDirectCallSite (const CallICFGNode *call)

CallInstSet::const_iterator	directCallsBegin () const
	Iterators for direct and indirect callsites. More...

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. More...

virtual	~GenericEdge ()
	Destructor. More...

NodeID	getSrcID () const
	get methods of the components More...

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. More...

static bool	classof (const PTACallGraphEdge *)
	ClassOf. More...

static bool	classof (const GenericCallGraphEdgeTy *edge)

Private Attributes
CallInstSet	directCalls

CallInstSet	indirectCalls

CallSiteID	csId

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

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. More...

static constexpr u64_t	EdgeKindMask = (~0ULL) >> (64 - EdgeKindMaskBits)

Detailed Description

Definition at line 51 of file PTACallGraph.h.

Member Typedef Documentation

◆ CallGraphEdgeSet

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

Definition at line 166 of file PTACallGraph.h.

◆ CallInstSet

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

Definition at line 55 of file PTACallGraph.h.

Member Enumeration Documentation

◆ CEDGEK

enum SVF::PTACallGraphEdge::CEDGEK

Enumerator
CallRetEdge
TDForkEdge
TDJoinEdge
HareParForEdge

Definition at line 56 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 68 of file PTACallGraph.h.

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

◆ ~PTACallGraphEdge()

virtual SVF::PTACallGraphEdge::~PTACallGraphEdge ( )

inlinevirtual

Destructor.

Definition at line 73 of file PTACallGraph.h.

74 {

75 }

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() || nullptr == SVFUtil::dyn_cast<SVFFunction> (SVFUtil::getForkedFun(call)->getValue())) && "not an indirect callsite??");
     indirectCalls.insert(call);
 }

◆ classof() [1/2]

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

inlinestatic

Definition at line 147 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 143 of file PTACallGraph.h.

     {
         return true;
     }

◆ directCallsBegin()

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

inline

Iterators for direct and indirect callsites.

Definition at line 122 of file PTACallGraph.h.

     {
         return directCalls.begin();
     }

◆ directCallsEnd()

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

inline

Definition at line 126 of file PTACallGraph.h.

     {
         return directCalls.end();
     }

◆ getCallSiteID()

CallSiteID SVF::PTACallGraphEdge::getCallSiteID ( ) const

inline

Get direct and indirect calls.

Definition at line 83 of file PTACallGraph.h.

     {
         return csId;
     }

◆ getDirectCalls() [1/2]

CallInstSet& SVF::PTACallGraphEdge::getDirectCalls ( )

inline

Definition at line 95 of file PTACallGraph.h.

     {
         return directCalls;
     }

◆ getDirectCalls() [2/2]

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

inline

Definition at line 103 of file PTACallGraph.h.

     {
         return directCalls;
     }

◆ getIndirectCalls() [1/2]

CallInstSet& SVF::PTACallGraphEdge::getIndirectCalls ( )

inline

Definition at line 99 of file PTACallGraph.h.

     {
         return indirectCalls;
     }

◆ getIndirectCalls() [2/2]

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

inline

Definition at line 107 of file PTACallGraph.h.

     {
         return indirectCalls;
     }

◆ indirectCallsBegin()

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

inline

Definition at line 131 of file PTACallGraph.h.

     {
         return indirectCalls.begin();
     }

◆ indirectCallsEnd()

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

inline

Definition at line 135 of file PTACallGraph.h.

     {
         return indirectCalls.end();
     }

◆ isDirectCallEdge()

bool SVF::PTACallGraphEdge::isDirectCallEdge ( ) const

inline

Definition at line 87 of file PTACallGraph.h.

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

◆ isIndirectCallEdge()

bool SVF::PTACallGraphEdge::isIndirectCallEdge ( ) const

inline

Definition at line 91 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 77 of file PTACallGraph.h.

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

◆ toString()

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

virtual

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

Definition at line 60 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 Function Documentation

◆ operator<<

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

friend

Overloading operator << for dumping ICFG node ID.

Definition at line 157 of file PTACallGraph.h.

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

Member Data Documentation

◆ csId

CallSiteID SVF::PTACallGraphEdge::csId

private

Definition at line 65 of file PTACallGraph.h.

◆ directCalls

CallInstSet SVF::PTACallGraphEdge::directCalls

private

Definition at line 63 of file PTACallGraph.h.

◆ indirectCalls

CallInstSet SVF::PTACallGraphEdge::indirectCalls

private

Definition at line 64 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

Public Types

Public Member Functions

Static Public Member Functions

Private Attributes

Friends

Additional Inherited Members

Detailed Description

Member Typedef Documentation

◆ CallGraphEdgeSet

◆ CallInstSet

Member Enumeration Documentation

◆ CEDGEK

Constructor & Destructor Documentation

◆ PTACallGraphEdge()

◆ ~PTACallGraphEdge()

Member Function Documentation

◆ addDirectCallSite()

◆ addInDirectCallSite()

◆ classof() [1/2]

◆ classof() [2/2]

◆ directCallsBegin()

◆ directCallsEnd()

◆ getCallSiteID()

◆ getDirectCalls() [1/2]

◆ getDirectCalls() [2/2]

◆ getIndirectCalls() [1/2]

◆ getIndirectCalls() [2/2]

◆ indirectCallsBegin()

◆ indirectCallsEnd()

◆ isDirectCallEdge()

◆ isIndirectCallEdge()

◆ makeEdgeFlagWithInvokeID()

◆ toString()

Friends And Related Function Documentation

◆ operator<<

Member Data Documentation

◆ csId

◆ directCalls

◆ indirectCalls