|
Static Value-Flow Analysis
|
#include <BasicBlockG.h>
Public Member Functions | |
| BasicBlockGraph () | |
| Constructor. | |
| SVFBasicBlock * | addBasicBlock (const std::string &bbname) |
| void | addBasicBlock (SVFBasicBlock *bb) |
Public Member Functions inherited from SVF::GenericGraph< NodeTy, EdgeTy > | |
| GenericGraph () | |
| Constructor. | |
| virtual | ~GenericGraph () |
| Destructor. | |
| void | destroy () |
| Release memory. | |
| iterator | begin () |
| Iterators. | |
| iterator | end () |
| const_iterator | begin () const |
| const_iterator | end () const |
| void | addGNode (NodeID id, NodeType *node) |
| Add a Node. | |
| NodeType * | getGNode (NodeID id) const |
| Get a node. | |
| bool | hasGNode (NodeID id) const |
| Has a node. | |
| void | removeGNode (NodeType *node) |
| Delete a node. | |
| u32_t | getTotalNodeNum () const |
| Get total number of node/edge. | |
| u32_t | getTotalEdgeNum () const |
| void | incNodeNum () |
| Increase number of node/edge. | |
| void | incEdgeNum () |
Public Attributes | |
| NodeID | id {0} |
Public Attributes inherited from SVF::GenericGraph< NodeTy, EdgeTy > | |
| u32_t | edgeNum |
| total num of node | |
| u32_t | nodeNum |
| total num of edge | |
Additional Inherited Members | |
Public Types inherited from SVF::GenericGraph< NodeTy, EdgeTy > | |
| typedef NodeTy | NodeType |
| typedef EdgeTy | EdgeType |
| typedef OrderedMap< NodeID, NodeType * > | IDToNodeMapTy |
| NodeID to GenericNode map. | |
| typedef IDToNodeMapTy::iterator | iterator |
| Node Iterators. | |
| typedef IDToNodeMapTy::const_iterator | const_iterator |
Protected Attributes inherited from SVF::GenericGraph< NodeTy, EdgeTy > | |
| IDToNodeMapTy | IDToNodeMap |
| node map | |
Definition at line 302 of file BasicBlockG.h.
|
inline |
Constructor.
Definition at line 307 of file BasicBlockG.h.
|
inline |
Definition at line 313 of file BasicBlockG.h.
| void BasicBlockGraph::addBasicBlock | ( | SVFBasicBlock * | bb | ) |
Definition at line 27 of file BasicBlockG.cpp.
| NodeID SVF::BasicBlockGraph::id {0} |
Definition at line 305 of file BasicBlockG.h.