Static Value-Flow Analysis
Loading...
Searching...
No Matches
BasicBlockG.cpp
Go to the documentation of this file.
2#include "Graphs/ICFGNode.h"
3#include "Util/Options.h"
4
5using namespace SVF;
6const std::string BasicBlockEdge::toString() const
7{
8 std::string str;
9 std::stringstream rawstr(str);
10 rawstr << "BasicBlockEdge: " << getSrcNode()->toString() << " -> " << getDstNode()->getName();
11 return rawstr.str();
12}
13
14const std::string SVFBasicBlock::toString() const
15{
16 std::string str;
17 std::stringstream rawstr(str);
18 rawstr << "----------"<< "SVFBasicBlock: " << getName() <<"----------\n";
19 for (const ICFGNode* icfgNode : allICFGNodes)
20 {
21 rawstr << icfgNode->toString();
22 }
23 rawstr << "\n----------------------------------------\n";
24 return rawstr.str();
25}
26
virtual const std::string toString() const
SVFBasicBlock * addBasicBlock(const std::string &bbname)
NodeType * getSrcNode() const
NodeType * getDstNode() const
void addGNode(NodeID id, NodeType *node)
Add a Node.
const std::string toString() const
std::vector< const ICFGNode * > allICFGNodes
all ICFGNodes in this BasicBlock
Definition BasicBlockG.h:85
NodeID getId() const
Get ID.
Definition SVFValue.h:160
virtual const std::string & getName() const
Definition SVFValue.h:186
for isBitcode
Definition BasicTypes.h:68
llvm::IRBuilder IRBuilder
Definition BasicTypes.h:74