Static Value-Flow Analysis
|
#include <ConsGEdge.h>
Static Public Member Functions | |
static bool | classof (const GepCGEdge *) |
Methods for support type inquiry through isa, cast, and dyn_cast: More... | |
static bool | classof (const ConstraintEdge *edge) |
static bool | classof (const GenericConsEdgeTy *edge) |
Static Public Member Functions inherited from SVF::ConstraintEdge | |
static bool | classof (const GenericConsEdgeTy *edge) |
ClassOf. More... | |
Protected Member Functions | |
GepCGEdge (ConstraintNode *s, ConstraintNode *d, ConstraintEdgeK k, EdgeID id) | |
Constructor. More... | |
Private Member Functions | |
GepCGEdge () | |
place holder More... | |
GepCGEdge (const GepCGEdge &) | |
place holder More... | |
void | operator= (const GepCGEdge &) |
place holder More... | |
Additional Inherited Members | |
Public Types inherited from SVF::ConstraintEdge | |
enum | ConstraintEdgeK { Addr , Copy , Store , Load , NormalGep , VariantGep } |
typedef GenericNode< ConstraintNode, ConstraintEdge >::GEdgeSetTy | ConstraintEdgeSetTy |
Constraint edge type. More... | |
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 inherited from SVF::ConstraintEdge | |
ConstraintEdge (ConstraintNode *s, ConstraintNode *d, ConstraintEdgeK k, EdgeID id=0) | |
Constructor. More... | |
~ConstraintEdge () | |
Destructor. More... | |
EdgeID | getEdgeID () const |
Return edge ID. More... | |
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 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) |
Gep edge
Definition at line 225 of file ConsGEdge.h.
|
private |
place holder
|
private |
place holder
|
inlineprotected |
Constructor.
Definition at line 235 of file ConsGEdge.h.
|
inlinestatic |
Definition at line 248 of file ConsGEdge.h.
|
inlinestatic |
Definition at line 253 of file ConsGEdge.h.
|
inlinestatic |
Methods for support type inquiry through isa, cast, and dyn_cast:
Definition at line 244 of file ConsGEdge.h.
|
private |
place holder