Static Value-Flow Analysis
|
#include <BasicBlockG.h>
Static Public Member Functions | |
static bool | classof (const SVFValue *node) |
static bool | classof (const SVFBasicBlock *node) |
![]() | |
static bool | classof (const GenericNode< NodeTy, EdgeTy > *) |
static bool | classof (const SVFValue *) |
Public Attributes | |
std::vector< const SVFBasicBlock * > | succBBs |
std::vector< const SVFBasicBlock * > | predBBs |
Protected Member Functions | |
void | addICFGNode (const ICFGNode *icfgNode) |
Function where this BasicBlock is. | |
Private Attributes | |
std::vector< const ICFGNode * > | allICFGNodes |
all ICFGNodes in this BasicBlock | |
const FunObjVar * | fun |
Friends | |
class | LLVMModuleSet |
class | SVFIRWriter |
class | SVFIRReader |
class | SVFIRBuilder |
class | FunObjVar |
class | ICFGBuilder |
class | ICFG |
OutStream & | operator<< (OutStream &o, const SVFBasicBlock &node) |
Additional Inherited Members | |
![]() | |
static bool | isICFGNodeKinds (GNodeK n) |
Helper functions to check node kinds. | |
static bool | isInterICFGNodeKind (GNodeK n) |
static bool | isSVFVarKind (GNodeK n) |
static bool | isValVarKinds (GNodeK n) |
static bool | isConstantDataValVar (GNodeK n) |
static bool | isObjVarKinds (GNodeK n) |
static bool | isBaseObjVarKinds (GNodeK n) |
static bool | isConstantDataObjVarKinds (GNodeK n) |
static bool | isVFGNodeKinds (GNodeK n) |
static bool | isArgumentVFGNodeKinds (GNodeK n) |
static bool | isStmtVFGNodeKinds (GNodeK n) |
static bool | isPHIVFGNodeKinds (GNodeK n) |
static bool | isMRSVFGNodeKinds (GNodeK n) |
static bool | isMSSAPHISVFGNodeKinds (GNodeK n) |
![]() | |
NodeID | id |
Node ID. | |
GNodeK | nodeKind |
Node kind. | |
const SVFType * | type |
SVF type. | |
std::string | name |
std::string | sourceLoc |
Source code information of this value. | |
Definition at line 73 of file BasicBlockG.h.
typedef std::vector<constICFGNode*>::const_iterator SVF::SVFBasicBlock::const_iterator |
Definition at line 84 of file BasicBlockG.h.
Constructor without name.
Definition at line 108 of file BasicBlockG.h.
|
delete |
|
inline |
Definition at line 113 of file BasicBlockG.h.
Function where this BasicBlock is.
attributes to be set only through Module builders e.g., LLVMModule
Definition at line 97 of file BasicBlockG.h.
|
inline |
Definition at line 175 of file BasicBlockG.h.
|
inline |
Definition at line 158 of file BasicBlockG.h.
Definition at line 209 of file BasicBlockG.h.
|
inline |
Definition at line 142 of file BasicBlockG.h.
|
inlinestatic |
Definition at line 123 of file BasicBlockG.h.
Definition at line 118 of file BasicBlockG.h.
|
inline |
Definition at line 147 of file BasicBlockG.h.
Definition at line 203 of file BasicBlockG.h.
|
inline |
Definition at line 263 of file BasicBlockG.h.
|
inline |
Definition at line 275 of file BasicBlockG.h.
|
inline |
|
inline |
Definition at line 197 of file BasicBlockG.h.
Definition at line 137 of file BasicBlockG.h.
|
inline |
Definition at line 234 of file BasicBlockG.h.
Definition at line 191 of file BasicBlockG.h.
|
inline |
Definition at line 225 of file BasicBlockG.h.
|
inline |
Definition at line 215 of file BasicBlockG.h.
Definition at line 153 of file BasicBlockG.h.
const std::string SVFBasicBlock::toString | ( | ) | const |
Definition at line 13 of file BasicBlockG.cpp.
Definition at line 79 of file BasicBlockG.h.
Definition at line 81 of file BasicBlockG.h.
|
friend |
Definition at line 80 of file BasicBlockG.h.
|
friend |
Definition at line 75 of file BasicBlockG.h.
|
friend |
Definition at line 129 of file BasicBlockG.h.
|
friend |
Definition at line 78 of file BasicBlockG.h.
Definition at line 77 of file BasicBlockG.h.
Definition at line 76 of file BasicBlockG.h.
all ICFGNodes in this BasicBlock
Definition at line 89 of file BasicBlockG.h.
Definition at line 90 of file BasicBlockG.h.
std::vector<const SVFBasicBlock*> SVF::SVFBasicBlock::predBBs |
Definition at line 86 of file BasicBlockG.h.
std::vector<const SVFBasicBlock*> SVF::SVFBasicBlock::succBBs |
Definition at line 85 of file BasicBlockG.h.