Static Value-Flow Analysis
|
#include <CFLGraph.h>
Static Public Member Functions | |
static bool | classof (const CFLNode *) |
Methods for support type inquiry through isa, cast, and dyn_cast: More... | |
static bool | classof (const GenericICFGNodeTy *node) |
static bool | classof (const SVFBaseNode *node) |
Static Public Member Functions inherited from SVF::GenericNode< CFLNode, CFLEdge > | |
static bool | classof (const GenericNode< CFLNode, CFLEdge > *) |
static bool | classof (const SVFBaseNode *) |
Private Attributes | |
CFLEdgeDataTy | inCFLEdges |
CFLEdgeDataTy | outCFLEdges |
Additional Inherited Members | |
Static Protected Member Functions inherited from SVF::SVFBaseNode | |
static bool | isICFGNodeKinds (GNodeK n) |
Helper functions to check node kinds. More... | |
static bool | isInterICFGNodeKind (GNodeK n) |
static bool | isSVFVarKind (GNodeK n) |
static bool | isValVarKinds (GNodeK n) |
static bool | isObjVarKinds (GNodeK n) |
static bool | isVFGNodeKinds (GNodeK n) |
static bool | isArgumentVFGNodeKinds (GNodeK n) |
static bool | isStmtVFGNodeKinds (GNodeK n) |
static bool | isPHIVFGNodeKinds (GNodeK n) |
static bool | isMRSVFGNodeKinds (GNodeK n) |
static bool | isMSSAPHISVFGNodeKinds (GNodeK n) |
Protected Attributes inherited from SVF::SVFBaseNode | |
NodeID | id |
Node ID. More... | |
GNodeK | nodeKind |
Node kind. More... | |
const SVFType * | type |
SVF type. More... | |
std::string | sourceLoc |
Source code information of this value. More... | |
Definition at line 76 of file CFLGraph.h.
typedef std::map<GrammarBase::Symbol, CFLEdge::CFLEdgeSetTy> SVF::CFLNode::CFLEdgeDataTy |
Different Kind(label) associated edges set.
Definition at line 87 of file CFLGraph.h.
Definition at line 79 of file CFLGraph.h.
|
overridedefault |
|
inline |
Definition at line 104 of file CFLGraph.h.
|
inline |
Definition at line 113 of file CFLGraph.h.
|
inline |
Definition at line 118 of file CFLGraph.h.
|
inline |
Definition at line 127 of file CFLGraph.h.
|
inlinestatic |
Methods for support type inquiry through isa, cast, and dyn_cast:
Definition at line 154 of file CFLGraph.h.
|
inlinestatic |
Definition at line 159 of file CFLGraph.h.
|
inlinestatic |
Definition at line 164 of file CFLGraph.h.
|
inline |
Definition at line 94 of file CFLGraph.h.
|
inline |
Definition at line 99 of file CFLGraph.h.
|
inline |
Definition at line 132 of file CFLGraph.h.
|
inline |
Definition at line 142 of file CFLGraph.h.
|
private |
Definition at line 90 of file CFLGraph.h.
|
private |
Definition at line 91 of file CFLGraph.h.