#include <SVFValue.h>
|
typedef std::vector< const ICFGNode * >::const_iterator | const_iterator |
|
enum | SVFValKind {
SVFVal
, SVFFunc
, SVFBB
, SVFInst
,
SVFCall
, SVFVCall
, SVFGlob
, SVFArg
,
SVFConst
, SVFConstData
, SVFConstInt
, SVFConstFP
,
SVFNullPtr
, SVFBlackHole
, SVFMetaAsValue
, SVFOther
} |
|
typedef s64_t | GNodeK |
|
Definition at line 518 of file SVFValue.h.
◆ const_iterator
◆ SVFBasicBlock() [1/2]
◆ SVFBasicBlock() [2/2]
SVF::SVFBasicBlock::SVFBasicBlock |
( |
| ) |
|
|
delete |
◆ ~SVFBasicBlock()
SVFBasicBlock::~SVFBasicBlock |
( |
| ) |
|
|
override |
◆ addICFGNode()
void SVF::SVFBasicBlock::addICFGNode |
( |
const ICFGNode * |
icfgNode | ) |
|
|
inlineprotected |
Function where this BasicBlock is.
attributes to be set only through Module builders e.g., LLVMModule
Definition at line 540 of file SVFValue.h.
const std::vector< const ICFGNode * > & getICFGNodeList() const
std::vector< const ICFGNode * > allICFGNodes
all ICFGNodes in this BasicBlock
const_iterator end() const
const_iterator begin() const
◆ addPredBasicBlock()
void SVF::SVFBasicBlock::addPredBasicBlock |
( |
const SVFBasicBlock * |
pred | ) |
|
|
inlineprotected |
Definition at line 552 of file SVFValue.h.
std::vector< const SVFBasicBlock * > predBBs
all predecessor BasicBlocks of this BasicBlock
◆ addSuccBasicBlock()
void SVF::SVFBasicBlock::addSuccBasicBlock |
( |
const SVFBasicBlock * |
succ | ) |
|
|
inlineprotected |
Definition at line 547 of file SVFValue.h.
std::vector< const SVFBasicBlock * > succBBs
all successor BasicBlocks of this BasicBlock
◆ back()
const ICFGNode* SVF::SVFBasicBlock::back |
( |
| ) |
const |
|
inline |
◆ begin()
◆ classof()
static bool SVF::SVFBasicBlock::classof |
( |
const SVFValue * |
node | ) |
|
|
inlinestatic |
◆ end()
◆ front()
const ICFGNode* SVF::SVFBasicBlock::front |
( |
| ) |
const |
|
inline |
◆ getBBPredecessorPos() [1/2]
Return a position index from current bb to it successor bb
Definition at line 241 of file SVFValue.cpp.
250 assert(
false &&
"Didn't find predecessor edge?");
const std::vector< const SVFBasicBlock * > & getPredecessors() const
◆ getBBPredecessorPos() [2/2]
Definition at line 253 of file SVFValue.cpp.
262 assert(
false &&
"Didn't find predecessor edge?");
◆ getBBSuccessorPos() [1/2]
Get position of a successor basic block
Definition at line 212 of file SVFValue.cpp.
221 assert(
false &&
"Didn't find successor edge?");
◆ getBBSuccessorPos() [2/2]
Definition at line 225 of file SVFValue.cpp.
234 assert(
false &&
"Didn't find successor edge?");
◆ getFunction()
const SVFFunction* SVF::SVFBasicBlock::getFunction |
( |
| ) |
const |
|
inline |
◆ getICFGNodeList()
const std::vector<const ICFGNode*>& SVF::SVFBasicBlock::getICFGNodeList |
( |
| ) |
const |
|
inline |
◆ getNumSuccessors()
u32_t SVF::SVFBasicBlock::getNumSuccessors |
( |
| ) |
const |
|
inline |
◆ getParent()
const SVFFunction* SVF::SVFBasicBlock::getParent |
( |
| ) |
const |
|
inline |
◆ getPredecessors()
const std::vector<const SVFBasicBlock*>& SVF::SVFBasicBlock::getPredecessors |
( |
| ) |
const |
|
inline |
◆ getSuccessors()
const std::vector<const SVFBasicBlock*>& SVF::SVFBasicBlock::getSuccessors |
( |
| ) |
const |
|
inline |
◆ ICFG
◆ ICFGBuilder
◆ LLVMModuleSet
◆ SVFFunction
◆ SVFIRBuilder
◆ SVFIRReader
◆ SVFIRWriter
◆ allICFGNodes
std::vector<const ICFGNode*> SVF::SVFBasicBlock::allICFGNodes |
|
private |
all ICFGNodes in this BasicBlock
Definition at line 532 of file SVFValue.h.
◆ fun
◆ predBBs
all predecessor BasicBlocks of this BasicBlock
Definition at line 534 of file SVFValue.h.
◆ succBBs
all successor BasicBlocks of this BasicBlock
Definition at line 533 of file SVFValue.h.
The documentation for this class was generated from the following files: