Static Value-Flow Analysis
|
#include <CFLGraph.h>
Public Types | |
typedef CFGrammar::Symbol | Symbol |
typedef CFGrammar::Kind | Kind |
typedef GenericNode< CFLNode, CFLEdge >::GEdgeSetTy | CFLEdgeSet |
Public Types inherited from SVF::GenericGraph< NodeTy, EdgeTy > | |
typedef NodeTy | NodeType |
typedef EdgeTy | EdgeType |
typedef OrderedMap< NodeID, NodeType * > | IDToNodeMapTy |
NodeID to GenericNode map. More... | |
typedef IDToNodeMapTy::iterator | iterator |
Node Iterators. More... | |
typedef IDToNodeMapTy::const_iterator | const_iterator |
Public Member Functions | |
CFLGraph (Kind kind) | |
~CFLGraph () override=default | |
Kind | getStartKind () const |
virtual void | addCFLNode (NodeID id, CFLNode *node) |
virtual const CFLEdge * | addCFLEdge (CFLNode *src, CFLNode *dst, CFLEdge::GEdgeFlag label) |
virtual const CFLEdge * | hasEdge (CFLNode *src, CFLNode *dst, CFLEdge::GEdgeFlag label) |
void | dump (const std::string &filename) |
void | view () |
const CFLEdgeSet & | getCFLEdges () const |
Public Member Functions inherited from SVF::GenericGraph< NodeTy, EdgeTy > | |
GenericGraph () | |
Constructor. More... | |
virtual | ~GenericGraph () |
Destructor. More... | |
void | destroy () |
Release memory. More... | |
iterator | begin () |
Iterators. More... | |
iterator | end () |
const_iterator | begin () const |
const_iterator | end () const |
void | addGNode (NodeID id, NodeType *node) |
Add a Node. More... | |
NodeType * | getGNode (NodeID id) const |
Get a node. More... | |
bool | hasGNode (NodeID id) const |
Has a node. More... | |
void | removeGNode (NodeType *node) |
Delete a node. More... | |
u32_t | getTotalNodeNum () const |
Get total number of node/edge. More... | |
u32_t | getTotalEdgeNum () const |
void | incNodeNum () |
Increase number of node/edge. More... | |
void | incEdgeNum () |
Public Attributes | |
Kind | startKind |
Public Attributes inherited from SVF::GenericGraph< NodeTy, EdgeTy > | |
u32_t | edgeNum |
total num of node More... | |
u32_t | nodeNum |
total num of edge More... | |
Private Attributes | |
CFLEdgeSet | cflEdgeSet |
Additional Inherited Members | |
Protected Attributes inherited from SVF::GenericGraph< NodeTy, EdgeTy > | |
IDToNodeMapTy | IDToNodeMap |
node map More... | |
Definition at line 173 of file CFLGraph.h.
typedef GenericNode<CFLNode,CFLEdge>::GEdgeSetTy SVF::CFLGraph::CFLEdgeSet |
Definition at line 178 of file CFLGraph.h.
typedef CFGrammar::Kind SVF::CFLGraph::Kind |
Definition at line 177 of file CFLGraph.h.
Definition at line 176 of file CFLGraph.h.
|
inline |
Definition at line 181 of file CFLGraph.h.
|
overridedefault |
|
virtual |
Definition at line 47 of file CFLGraph.cpp.
Definition at line 42 of file CFLGraph.cpp.
void CFLGraph::dump | ( | const std::string & | filename | ) |
Definition at line 73 of file CFLGraph.cpp.
|
inline |
Definition at line 199 of file CFLGraph.h.
CFLGraph::Kind CFLGraph::getStartKind | ( | ) | const |
Definition at line 37 of file CFLGraph.cpp.
|
virtual |
Definition at line 63 of file CFLGraph.cpp.
void CFLGraph::view | ( | ) |
Definition at line 78 of file CFLGraph.cpp.
|
private |
Definition at line 205 of file CFLGraph.h.
Kind SVF::CFLGraph::startKind |
Definition at line 179 of file CFLGraph.h.