|
Static Value-Flow Analysis
|
#include <ConsGEdge.h>
Public Member Functions | |
| VariantGepCGEdge (ConstraintNode *s, ConstraintNode *d, EdgeID id) | |
| Constructor. | |
Public Member Functions inherited from SVF::ConstraintEdge | |
| ConstraintEdge (ConstraintNode *s, ConstraintNode *d, ConstraintEdgeK k, EdgeID id=0) | |
| Constructor. | |
| ~ConstraintEdge () | |
| Destructor. | |
| EdgeID | getEdgeID () const |
| Return edge ID. | |
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 bool | classof (const VariantGepCGEdge *) |
| Methods for support type inquiry through isa, cast, and dyn_cast: | |
| static bool | classof (const GepCGEdge *edge) |
| static bool | classof (const ConstraintEdge *edge) |
| static bool | classof (const GenericConsEdgeTy *edge) |
Static Public Member Functions inherited from SVF::GepCGEdge | |
| static bool | classof (const GepCGEdge *) |
| Methods for support type inquiry through isa, cast, and dyn_cast: | |
| 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. | |
Private Member Functions | |
| VariantGepCGEdge () | |
| place holder | |
| VariantGepCGEdge (const VariantGepCGEdge &) | |
| place holder | |
| void | operator= (const VariantGepCGEdge &) |
| place holder | |
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. | |
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) | |
Protected Member Functions inherited from SVF::GepCGEdge | |
| GepCGEdge (ConstraintNode *s, ConstraintNode *d, ConstraintEdgeK k, EdgeID id) | |
| Constructor. | |
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) |
Gep edge with variant offset size
Definition at line 319 of file ConsGEdge.h.
|
private |
place holder
|
private |
place holder
|
inline |
|
inlinestatic |
Definition at line 337 of file ConsGEdge.h.
|
inlinestatic |
Definition at line 341 of file ConsGEdge.h.
Definition at line 333 of file ConsGEdge.h.
|
inlinestatic |
Methods for support type inquiry through isa, cast, and dyn_cast:
Definition at line 329 of file ConsGEdge.h.
|
private |
place holder