Static Value-Flow Analysis
|
#include <ICFGEdge.h>
Static Public Member Functions | |
static bool | classof (const CallCFGEdge *) |
Methods for support type inquiry through isa, cast, and dyn_cast: | |
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. | |
Private Attributes | |
std::vector< const CallPE * > | callPEs |
Friends | |
class | SVFIRWriter |
class | SVFIRReader |
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. | |
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) | |
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) |
Call ICFG edge representing parameter passing/return from a caller to a callee
Definition at line 182 of file ICFGEdge.h.
Constructor.
Definition at line 192 of file ICFGEdge.h.
|
inlinestatic |
Methods for support type inquiry through isa, cast, and dyn_cast:
Definition at line 214 of file ICFGEdge.h.
|
inlinestatic |
Definition at line 222 of file ICFGEdge.h.
Definition at line 218 of file ICFGEdge.h.
Add get parameter edge to this CallCFGEdge.
Definition at line 208 of file ICFGEdge.h.
|
inline |
|
virtual |
Reimplemented from SVF::ICFGEdge.
Definition at line 177 of file ICFG.cpp.
|
friend |
Definition at line 185 of file ICFGEdge.h.
|
friend |
Definition at line 184 of file ICFGEdge.h.
Definition at line 188 of file ICFGEdge.h.