#include <SVFLoop.h>
Definition at line 38 of file SVFLoop.h.
◆ ICFGEdgeSet
◆ ICFGNodeSet
◆ SVFLoop()
◆ ~SVFLoop()
virtual SVF::SVFLoop::~SVFLoop |
( |
| ) |
|
|
virtualdefault |
◆ addBackICFGEdge()
void SVF::SVFLoop::addBackICFGEdge |
( |
const ICFGEdge * |
edge | ) |
|
|
inline |
Definition at line 124 of file SVFLoop.h.
ICFGEdgeSet backICFGEdges
◆ addEntryICFGEdge()
void SVF::SVFLoop::addEntryICFGEdge |
( |
const ICFGEdge * |
edge | ) |
|
|
inline |
Definition at line 94 of file SVFLoop.h.
ICFGEdgeSet entryICFGEdges
◆ addInICFGEdge()
void SVF::SVFLoop::addInICFGEdge |
( |
const ICFGEdge * |
edge | ) |
|
|
inline |
◆ addOutICFGEdge()
void SVF::SVFLoop::addOutICFGEdge |
( |
const ICFGEdge * |
edge | ) |
|
|
inline |
◆ backICFGEdgesBegin()
ICFGEdgeSet::iterator SVF::SVFLoop::backICFGEdgesBegin |
( |
| ) |
|
|
inline |
◆ backICFGEdgesEnd()
ICFGEdgeSet::iterator SVF::SVFLoop::backICFGEdgesEnd |
( |
| ) |
|
|
inline |
◆ entryICFGEdgesBegin()
ICFGEdgeSet::iterator SVF::SVFLoop::entryICFGEdgesBegin |
( |
| ) |
|
|
inline |
◆ entryICFGEdgesEnd()
ICFGEdgeSet::iterator SVF::SVFLoop::entryICFGEdgesEnd |
( |
| ) |
|
|
inline |
◆ getLoopBound()
u32_t SVF::SVFLoop::getLoopBound |
( |
| ) |
const |
|
inline |
◆ ICFGNodesBegin()
ICFGNodeSet::iterator SVF::SVFLoop::ICFGNodesBegin |
( |
| ) |
|
|
inline |
◆ ICFGNodesEnd()
ICFGNodeSet::iterator SVF::SVFLoop::ICFGNodesEnd |
( |
| ) |
|
|
inline |
◆ inEdgesBegin()
ICFGEdgeSet::iterator SVF::SVFLoop::inEdgesBegin |
( |
| ) |
|
|
inline |
◆ inEdgesEnd()
ICFGEdgeSet::iterator SVF::SVFLoop::inEdgesEnd |
( |
| ) |
|
|
inline |
◆ isBackICFGEdge()
bool SVF::SVFLoop::isBackICFGEdge |
( |
const ICFGEdge * |
edge | ) |
const |
|
inline |
◆ isEntryICFGEdge()
bool SVF::SVFLoop::isEntryICFGEdge |
( |
const ICFGEdge * |
edge | ) |
const |
|
inline |
◆ isInICFGEdge()
bool SVF::SVFLoop::isInICFGEdge |
( |
const ICFGEdge * |
edge | ) |
const |
|
inline |
◆ isInLoop()
bool SVF::SVFLoop::isInLoop |
( |
const ICFGNode * |
icfgNode | ) |
const |
|
inline |
◆ isOutICFGEdge()
bool SVF::SVFLoop::isOutICFGEdge |
( |
const ICFGEdge * |
edge | ) |
const |
|
inline |
◆ outICFGEdgesBegin()
ICFGEdgeSet::iterator SVF::SVFLoop::outICFGEdgesBegin |
( |
| ) |
|
|
inline |
◆ outICFGEdgesEnd()
ICFGEdgeSet::iterator SVF::SVFLoop::outICFGEdgesEnd |
( |
| ) |
|
|
inline |
◆ setLoopBound()
void SVF::SVFLoop::setLoopBound |
( |
u32_t |
_bound | ) |
|
|
inline |
◆ SVFIRReader
◆ SVFIRWriter
◆ backICFGEdges
◆ entryICFGEdges
◆ icfgNodes
◆ inICFGEdges
◆ loopBound
u32_t SVF::SVFLoop::loopBound |
|
private |
◆ outICFGEdges
The documentation for this class was generated from the following file:
- /home/runner/work/SVF/SVF/svf/include/MemoryModel/SVFLoop.h