#include <ICFGEdge.h>

Inheritance diagram for SVF::IntraCFGEdge:

Public Member Functions
	IntraCFGEdge (ICFGNode s, ICFGNode d)
	Constructor. More...

const SVFVar *	getCondition () const

s64_t	getSuccessorCondValue () const

virtual const std::string	toString () const

Public Member Functions inherited from SVF::ICFGEdge
	ICFGEdge (ICFGNode s, ICFGNode d, GEdgeFlag k)
	Constructor. More...

	~ICFGEdge ()
	Destructor. More...

bool	isCFGEdge () const
	Get methods of the components. More...

bool	isCallCFGEdge () const

bool	isRetCFGEdge () const

bool	isIntraCFGEdge () 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 bool	classof (const IntraCFGEdge *)
	Methods for support type inquiry through isa, cast, and dyn_cast: More...

static bool	classof (const ICFGEdge *edge)

static bool	classof (const GenericICFGEdgeTy *edge)

Static Public Member Functions inherited from SVF::ICFGEdge
static GEdgeFlag	makeEdgeFlagWithInvokeID (GEdgeKind k, CallSiteID cs)
	Compute the unique edgeFlag value from edge kind and CallSiteID. More...

Private Member Functions
void	setConditionVar (const SVFVar *c)

void	setBranchCondVal (s64_t bVal)

Private Attributes
const SVFVar *	conditionVar

s64_t	branchCondVal

Friends
class	SVFIRWriter

class	SVFIRReader

class	ICFG

class	SVFIRBuilder

Additional Inherited Members
Public Types inherited from SVF::ICFGEdge
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. 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...

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

Intra ICFG edge representing control-flows between basic blocks within a function

Definition at line 113 of file ICFGEdge.h.

Constructor & Destructor Documentation

◆ IntraCFGEdge()

SVF::IntraCFGEdge::IntraCFGEdge	(	ICFGNode *	s,
		ICFGNode *	d
	)

inline

Constructor.

Definition at line 122 of file ICFGEdge.h.

         : ICFGEdge(s, d, IntraCF), conditionVar(nullptr), branchCondVal(0)
     {
     }

Member Function Documentation

◆ classof() [1/3]

static bool SVF::IntraCFGEdge::classof ( const GenericICFGEdgeTy * edge )

inlinestatic

Definition at line 136 of file ICFGEdge.h.

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

◆ classof() [2/3]

static bool SVF::IntraCFGEdge::classof ( const ICFGEdge * edge )

inlinestatic

Definition at line 132 of file ICFGEdge.h.

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

◆ classof() [3/3]

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

inlinestatic

Methods for support type inquiry through isa, cast, and dyn_cast:

Definition at line 128 of file ICFGEdge.h.

     {
         return true;
     }

◆ getCondition()

const SVFVar* SVF::IntraCFGEdge::getCondition ( ) const

inline

Definition at line 142 of file ICFGEdge.h.

     {
         return conditionVar;
     }

◆ getSuccessorCondValue()

s64_t SVF::IntraCFGEdge::getSuccessorCondValue ( ) const

inline

Definition at line 147 of file ICFGEdge.h.

     {
         assert(getCondition() && "this is not a conditional branch edge");
         return branchCondVal;
     }

◆ setBranchCondVal()

void SVF::IntraCFGEdge::setBranchCondVal ( s64_t bVal )

inlineprivate

Definition at line 173 of file ICFGEdge.h.

     {
         branchCondVal = bVal;
     }

◆ setConditionVar()

void SVF::IntraCFGEdge::setConditionVar ( const SVFVar * c )

inlineprivate

Definition at line 168 of file ICFGEdge.h.

     {
         conditionVar = c;
     }

◆ toString()

const std::string IntraCFGEdge::toString ( ) const

virtual

Reimplemented from SVF::ICFGEdge.

Definition at line 165 of file ICFG.cpp.

 {
     std::string str;
     std::stringstream rawstr(str);
     if(getCondition() == nullptr)
         rawstr << "IntraCFGEdge: [ICFGNode" << getDstID() << " <-- ICFGNode" << getSrcID() << "]\t";
     else
         rawstr << "IntraCFGEdge: [ICFGNode" << getDstID() << " <-- ICFGNode" << getSrcID() << "] (branchCondition:" << getCondition()->toString() << ") (succCondValue: " << getSuccessorCondValue() << ") \t";
  
     return rawstr.str();
 }

Friends And Related Function Documentation

◆ ICFG

friend class ICFG

friend

Definition at line 117 of file ICFGEdge.h.

◆ SVFIRBuilder

friend class SVFIRBuilder

friend

Definition at line 118 of file ICFGEdge.h.

◆ SVFIRReader

friend class SVFIRReader

friend

Definition at line 116 of file ICFGEdge.h.

◆ SVFIRWriter

friend class SVFIRWriter

friend

Definition at line 115 of file ICFGEdge.h.

Member Data Documentation

◆ branchCondVal

s64_t SVF::IntraCFGEdge::branchCondVal

private

Definition at line 166 of file ICFGEdge.h.

◆ conditionVar

const SVFVar* SVF::IntraCFGEdge::conditionVar

private

conditionVar is a boolean (for if/else) or numeric condition variable (for switch). branchCondVal is the value when this condition should hold to execute this CFGEdge. E.g., Inst1: br cmp label 0, label 1, Inst2: label 0 Inst3: label 1; for edge between Inst1 and Inst 2, the first element is cmp and the second element is 0

Definition at line 165 of file ICFGEdge.h.

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

Public Member Functions

Static Public Member Functions

Private Member Functions

Private Attributes

Friends

Additional Inherited Members

Detailed Description

Constructor & Destructor Documentation

◆ IntraCFGEdge()

Member Function Documentation

◆ classof() [1/3]

◆ classof() [2/3]

◆ classof() [3/3]

◆ getCondition()

◆ getSuccessorCondValue()

◆ setBranchCondVal()

◆ setConditionVar()

◆ toString()

Friends And Related Function Documentation

◆ ICFG

◆ SVFIRBuilder

◆ SVFIRReader

◆ SVFIRWriter

Member Data Documentation

◆ branchCondVal

◆ conditionVar