|
Static Value-Flow Analysis
|
#include <CFLGraph.h>
Public Types | |
| typedef GenericNode< CFLNode, CFLEdge >::GEdgeSetTy | CFLEdgeSetTy |
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 | |
| CFLEdge (CFLNode *s, CFLNode *d, GEdgeFlag k=0) | |
| ~CFLEdge () override=default | |
| GEdgeKind | getEdgeKind () const |
| GEdgeKind | getEdgeKindWithMask () const |
| GEdgeKind | getEdgeAttri () 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 |
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) |
Definition at line 46 of file CFLGraph.h.
| typedef GenericNode<CFLNode,CFLEdge>::GEdgeSetTy SVF::CFLEdge::CFLEdgeSetTy |
Definition at line 49 of file CFLGraph.h.
Definition at line 51 of file CFLGraph.h.
|
overridedefault |
|
inline |
Definition at line 67 of file CFLGraph.h.
|
inline |
Definition at line 57 of file CFLGraph.h.
|
inline |
Definition at line 62 of file CFLGraph.h.