Static Value-Flow Analysis
|
#include <CHG.h>
Public Types | |
enum | CHEDGETYPE { INHERITANCE = 0x1 , INSTANTCE = 0x2 } |
typedef GenericNode< CHNode, CHEdge >::GEdgeSetTy | CHEdgeSetTy |
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) | |
Public Member Functions | |
CHEdge (CHNode *s, CHNode *d, CHEDGETYPE et, GEdgeFlag k=0) | |
CHEDGETYPE | getEdgeType () const |
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 |
Private Attributes | |
CHEDGETYPE | edgeType |
Friends | |
class | SVFIRWriter |
class | SVFIRReader |
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. | |
static constexpr u64_t | EdgeKindMask = (~0ULL) >> (64 - EdgeKindMaskBits) |
typedef GenericNode<CHNode,CHEdge>::GEdgeSetTy SVF::CHEdge::CHEdgeSetTy |
|
inline |
|
inline |
|
friend |
|
friend |
|
private |