|
Static Value-Flow Analysis
|
#include <SVFLoop.h>
Public Member Functions | |
| SVFLoop (const ICFGNodeSet &_nodes, u32_t _bound) | |
| virtual | ~SVFLoop ()=default |
| ICFGNodeSet::iterator | ICFGNodesBegin () |
| ICFGNodeSet::iterator | ICFGNodesEnd () |
| bool | isInLoop (const ICFGNode *icfgNode) const |
| bool | isEntryICFGEdge (const ICFGEdge *edge) const |
| bool | isBackICFGEdge (const ICFGEdge *edge) const |
| bool | isInICFGEdge (const ICFGEdge *edge) const |
| bool | isOutICFGEdge (const ICFGEdge *edge) const |
| void | addEntryICFGEdge (const ICFGEdge *edge) |
| ICFGEdgeSet::iterator | entryICFGEdgesBegin () |
| ICFGEdgeSet::iterator | entryICFGEdgesEnd () |
| void | addOutICFGEdge (const ICFGEdge *edge) |
| ICFGEdgeSet::iterator | outICFGEdgesBegin () |
| ICFGEdgeSet::iterator | outICFGEdgesEnd () |
| void | addBackICFGEdge (const ICFGEdge *edge) |
| ICFGEdgeSet::iterator | backICFGEdgesBegin () |
| ICFGEdgeSet::iterator | backICFGEdgesEnd () |
| void | addInICFGEdge (const ICFGEdge *edge) |
| ICFGEdgeSet::iterator | inEdgesBegin () |
| ICFGEdgeSet::iterator | inEdgesEnd () |
| void | setLoopBound (u32_t _bound) |
| u32_t | getLoopBound () const |
Private Types | |
| typedef Set< const ICFGEdge * > | ICFGEdgeSet |
| typedef Set< const ICFGNode * > | ICFGNodeSet |
Private Attributes | |
| ICFGEdgeSet | entryICFGEdges |
| ICFGEdgeSet | backICFGEdges |
| ICFGEdgeSet | inICFGEdges |
| ICFGEdgeSet | outICFGEdges |
| ICFGNodeSet | icfgNodes |
| u32_t | loopBound |
|
private |
|
private |
|
inline |
|
virtualdefault |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
private |
|
private |
|
private |
|
private |
|
private |