fix SVFBasicBlock::toString

SVF-tools · Feb 17, 2025 · c361c25 · c361c25
1 parent 97aeba0
commit c361c25
Show file tree

Hide file tree

Showing 2 changed files with 15 additions and 3 deletions.
diff --git a/svf/include/Graphs/BasicBlockG.h b/svf/include/Graphs/BasicBlockG.h
@@ -285,9 +285,7 @@ class SVFBasicBlock : public GenericBasicBlockNodeTy
         return pos;
     }
 
-    const std::string toString() const {
-        return getName();
-    }
+    const std::string toString() const;
 
 };
 

diff --git a/svf/lib/Graphs/BasicBlockG.cpp b/svf/lib/Graphs/BasicBlockG.cpp
@@ -1,4 +1,5 @@
 #include "Graphs/BasicBlockG.h"
+#include "Graphs/ICFGNode.h"
 
 using namespace SVF;
 const std::string BasicBlockEdge::toString() const
@@ -8,3 +9,16 @@ const std::string BasicBlockEdge::toString() const
     rawstr << "BasicBlockEdge: " << getSrcNode()->toString() << " -> " << getDstNode()->getName();
     return rawstr.str();
 }
+
+const std::string SVFBasicBlock::toString() const
+{
+    std::string str;
+    std::stringstream rawstr(str);
+    rawstr << "----------"<< "SVFBasicBlock: " << getName() <<"----------\n";
+    for (const ICFGNode* icfgNode : allICFGNodes)
+    {
+        rawstr << icfgNode->toString();
+    }
+    rawstr << "\n----------------------------------------\n";
+    return rawstr.str();
+}