|
Static Value-Flow Analysis
|
#include <BasicBlockG.h>
Static Public Member Functions | |
| static bool | classof (const SVFValue *node) |
| static bool | classof (const SVFBasicBlock *node) |
Static Public Member Functions inherited from SVF::GenericNode< NodeTy, EdgeTy > | |
| 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 | SVFIRBuilder |
| class | FunObjVar |
| class | ICFGBuilder |
| class | ICFG |
| OutStream & | operator<< (OutStream &o, const SVFBasicBlock &node) |
Additional Inherited Members | |
Static Protected Member Functions inherited from SVF::SVFValue | |
| 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) |
Protected Attributes inherited from SVF::SVFValue | |
| 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 70 of file BasicBlockG.h.
| typedef std::vector<constICFGNode*>::const_iterator SVF::SVFBasicBlock::const_iterator |
Definition at line 79 of file BasicBlockG.h.
Constructor without name.
Definition at line 103 of file BasicBlockG.h.
|
delete |
|
inline |
Definition at line 108 of file BasicBlockG.h.
Function where this BasicBlock is.
attributes to be set only through Module builders e.g., LLVMModule
Definition at line 92 of file BasicBlockG.h.
|
inline |
Definition at line 170 of file BasicBlockG.h.
|
inline |
Definition at line 153 of file BasicBlockG.h.
Definition at line 204 of file BasicBlockG.h.
|
inline |
Definition at line 137 of file BasicBlockG.h.
|
inlinestatic |
Definition at line 118 of file BasicBlockG.h.
Definition at line 113 of file BasicBlockG.h.
|
inline |
Definition at line 142 of file BasicBlockG.h.
Definition at line 198 of file BasicBlockG.h.
|
inline |
Definition at line 258 of file BasicBlockG.h.
|
inline |
Definition at line 270 of file BasicBlockG.h.
|
inline |
|
inline |
Definition at line 192 of file BasicBlockG.h.
Definition at line 132 of file BasicBlockG.h.
|
inline |
Definition at line 229 of file BasicBlockG.h.
Definition at line 186 of file BasicBlockG.h.
|
inline |
Definition at line 220 of file BasicBlockG.h.
|
inline |
Definition at line 210 of file BasicBlockG.h.
Definition at line 148 of file BasicBlockG.h.
| const std::string SVFBasicBlock::toString | ( | ) | const |
Definition at line 13 of file BasicBlockG.cpp.
Definition at line 74 of file BasicBlockG.h.
Definition at line 76 of file BasicBlockG.h.
|
friend |
Definition at line 75 of file BasicBlockG.h.
|
friend |
Definition at line 72 of file BasicBlockG.h.
|
friend |
Definition at line 124 of file BasicBlockG.h.
|
friend |
Definition at line 73 of file BasicBlockG.h.
all ICFGNodes in this BasicBlock
Definition at line 84 of file BasicBlockG.h.
Definition at line 85 of file BasicBlockG.h.
| std::vector<const SVFBasicBlock*> SVF::SVFBasicBlock::predBBs |
Definition at line 81 of file BasicBlockG.h.
| std::vector<const SVFBasicBlock*> SVF::SVFBasicBlock::succBBs |
Definition at line 80 of file BasicBlockG.h.