Merge pull request #1848 from mbarbar/graph-shape

yuleisui · web-flow · commit bc9eeea86994 · 2026-06-29T10:58:43.000+10:00
Correct shapes for DOT graph nodes
diff --git a/svf/include/Graphs/CDG.h b/svf/include/Graphs/CDG.h
@@ -420,35 +420,35 @@ struct DOTGraphTraits<SVF::CDG *> : public DOTGraphTraits<SVF::PAG *>
         std::stringstream rawstr(str);
         const SVF::ICFGNode *icfgNode = node->getICFGNode();
 
+        rawstr << "shape=record";
+
         if (SVF::SVFUtil::isa<SVF::IntraICFGNode>(icfgNode))
         {
-            rawstr << "color=black";
+            rawstr << ",color=black";
         }
         else if (SVF::SVFUtil::isa<SVF::FunEntryICFGNode>(icfgNode))
         {
-            rawstr << "color=yellow";
+            rawstr << ",color=yellow";
         }
         else if (SVF::SVFUtil::isa<SVF::FunExitICFGNode>(icfgNode))
         {
-            rawstr << "color=green";
+            rawstr << ",color=green";
         }
         else if (SVF::SVFUtil::isa<SVF::CallICFGNode>(icfgNode))
         {
-            rawstr << "color=red";
+            rawstr << ",color=red";
         }
         else if (SVF::SVFUtil::isa<SVF::RetICFGNode>(icfgNode))
         {
-            rawstr << "color=blue";
+            rawstr << ",color=blue";
         }
         else if (SVF::SVFUtil::isa<SVF::GlobalICFGNode>(icfgNode))
         {
-            rawstr << "color=purple";
+            rawstr << ",color=purple";
         }
         else
             assert(false && "no such kind of node!!");
 
-        rawstr << "";
-
         return rawstr.str();
     }
 
@@ -479,4 +479,4 @@ struct DOTGraphTraits<SVF::CDG *> : public DOTGraphTraits<SVF::PAG *>
 };
 
 } // End namespace SVF
-#endif //SVF_CONTROLDG_H
+#endif //SVF_CONTROLDG_H
diff --git a/svf/include/Graphs/GraphWriter.h b/svf/include/Graphs/GraphWriter.h
@@ -171,7 +171,7 @@ class GraphWriter
     {
         std::string NodeAttributes = DTraits.getNodeAttributes(Node, G);
 
-        O << "\tNode" << static_cast<const void*>(Node) << " [shape=record,";
+        O << "\tNode" << static_cast<const void*>(Node) << " [";
         if (!NodeAttributes.empty()) O << NodeAttributes << ",";
         O << "label=\"{";
 
diff --git a/svf/lib/Graphs/CallGraph.cpp b/svf/lib/Graphs/CallGraph.cpp
@@ -449,7 +449,7 @@ struct DOTGraphTraits<CallGraph*> : public DefaultDOTGraphTraits
         const FunObjVar* fun = node->getFunction();
         if (!SVFUtil::isExtCall(fun))
         {
-            return "shape=box";
+            return "shape=record";
         }
         else
             return "shape=Mrecord";
diff --git a/svf/lib/Graphs/ICFG.cpp b/svf/lib/Graphs/ICFG.cpp
@@ -516,35 +516,35 @@ struct DOTGraphTraits<ICFG*> : public DOTGraphTraits<SVFIR*>
         std::string str;
         std::stringstream rawstr(str);
 
+        rawstr <<  "shape=record";
+
         if(SVFUtil::isa<IntraICFGNode>(node))
         {
-            rawstr <<  "color=black";
+            rawstr <<  ",color=black";
         }
         else if(SVFUtil::isa<FunEntryICFGNode>(node))
         {
-            rawstr <<  "color=yellow";
+            rawstr <<  ",color=yellow";
         }
         else if(SVFUtil::isa<FunExitICFGNode>(node))
         {
-            rawstr <<  "color=green";
+            rawstr <<  ",color=green";
         }
         else if(SVFUtil::isa<CallICFGNode>(node))
         {
-            rawstr <<  "color=red";
+            rawstr <<  ",color=red";
         }
         else if(SVFUtil::isa<RetICFGNode>(node))
         {
-            rawstr <<  "color=blue";
+            rawstr <<  ",color=blue";
         }
         else if(SVFUtil::isa<GlobalICFGNode>(node))
         {
-            rawstr <<  "color=purple";
+            rawstr <<  ",color=purple";
         }
         else
             assert(false && "no such kind of node!!");
 
-        rawstr <<  "";
-
         return rawstr.str();
     }
 
diff --git a/svf/lib/Graphs/IRGraph.cpp b/svf/lib/Graphs/IRGraph.cpp
@@ -440,71 +440,79 @@ struct DOTGraphTraits<IRGraph*> : public DefaultDOTGraphTraits
     template<class EdgeIter>
     static std::string getEdgeAttributes(SVFVar*, EdgeIter EI, IRGraph*)
     {
+        std::string str;
+        std::stringstream rawstr(str);
+
+        rawstr << "shape=record";
+
         const SVFStmt* edge = *(EI.getCurrent());
         assert(edge && "No edge found!!");
         if (SVFUtil::isa<AddrStmt>(edge))
         {
-            return "color=green";
+            rawstr << ",color=green";
         }
         else if (SVFUtil::isa<CopyStmt>(edge))
         {
-            return "color=black";
+            rawstr << ",color=black";
         }
         else if (SVFUtil::isa<GepStmt>(edge))
         {
-            return "color=purple";
+            rawstr << ",color=purple";
         }
         else if (SVFUtil::isa<StoreStmt>(edge))
         {
-            return "color=blue";
+            rawstr << ",color=blue";
         }
         else if (SVFUtil::isa<LoadStmt>(edge))
         {
-            return "color=red";
+            rawstr << ",color=red";
         }
         else if (SVFUtil::isa<PhiStmt>(edge))
         {
-            return "color=grey";
+            rawstr << ",color=grey";
         }
         else if (SVFUtil::isa<SelectStmt>(edge))
         {
-            return "color=grey";
+            rawstr << ",color=grey";
         }
         else if (SVFUtil::isa<CmpStmt>(edge))
         {
-            return "color=grey";
+            rawstr << ",color=grey";
         }
         else if (SVFUtil::isa<BinaryOPStmt>(edge))
         {
-            return "color=grey";
+            rawstr << ",color=grey";
         }
         else if (SVFUtil::isa<UnaryOPStmt>(edge))
         {
-            return "color=grey";
+            rawstr << ",color=grey";
         }
         else if (SVFUtil::isa<BranchStmt>(edge))
         {
-            return "color=grey";
+            rawstr << ",color=grey";
         }
         else if (SVFUtil::isa<TDForkPE>(edge))
         {
-            return "color=Turquoise";
+            rawstr << ",color=Turquoise";
         }
         else if (SVFUtil::isa<TDJoinPE>(edge))
         {
-            return "color=Turquoise";
+            rawstr << ",color=Turquoise";
         }
         else if (SVFUtil::isa<CallPE>(edge))
         {
-            return "color=black,style=dashed";
+            rawstr << ",color=black,style=dashed";
         }
         else if (SVFUtil::isa<RetPE>(edge))
         {
-            return "color=black,style=dotted";
+            rawstr << ",color=black,style=dotted";
+        }
+        else
+        {
+            assert(false && "No such kind edge!!");
         }
 
-        assert(false && "No such kind edge!!");
-        exit(1);
+        return rawstr.str();
     }
 
     template<class EdgeIter>
diff --git a/svf/lib/Graphs/SVFG.cpp b/svf/lib/Graphs/SVFG.cpp
@@ -1010,98 +1010,99 @@ struct DOTGraphTraits<SVFG*> : public DOTGraphTraits<SVFIR*>
         std::string str;
         std::stringstream rawstr(str);
 
+        rawstr << "shape=record";
+
         if(StmtSVFGNode* stmtNode = SVFUtil::dyn_cast<StmtSVFGNode>(node))
         {
             const SVFStmt* edge = stmtNode->getSVFStmt();
             if (SVFUtil::isa<AddrStmt>(edge))
             {
-                rawstr <<  "color=green";
+                rawstr <<  ",color=green";
             }
             else if (SVFUtil::isa<CopyStmt>(edge))
             {
-                rawstr <<  "color=black";
+                rawstr <<  ",color=black";
             }
             else if (SVFUtil::isa<RetPE>(edge))
             {
-                rawstr <<  "color=black,style=dotted";
+                rawstr <<  ",color=black,style=dotted";
             }
             else if (SVFUtil::isa<GepStmt>(edge))
             {
-                rawstr <<  "color=purple";
+                rawstr <<  ",color=purple";
             }
             else if (SVFUtil::isa<StoreStmt>(edge))
             {
-                rawstr <<  "color=blue";
+                rawstr <<  ",color=blue";
             }
             else if (SVFUtil::isa<LoadStmt>(edge))
             {
-                rawstr <<  "color=red";
+                rawstr <<  ",color=red";
             }
             else
             {
                 assert(0 && "No such kind edge!!");
             }
-            rawstr <<  "";
         }
         else if(SVFUtil::isa<MSSAPHISVFGNode>(node))
         {
-            rawstr <<  "color=black";
+            rawstr <<  ",color=black";
         }
         else if(SVFUtil::isa<PHISVFGNode>(node))
         {
-            rawstr <<  "color=black";
+            rawstr <<  ",color=black";
         }
         else if(SVFUtil::isa<NullPtrSVFGNode>(node))
         {
-            rawstr <<  "color=grey";
+            rawstr <<  ",color=grey";
         }
         else if(SVFUtil::isa<FormalINSVFGNode>(node))
         {
-            rawstr <<  "color=yellow,penwidth=2";
+            rawstr <<  ",color=yellow,penwidth=2";
         }
         else if(SVFUtil::isa<FormalOUTSVFGNode>(node))
         {
-            rawstr <<  "color=yellow,penwidth=2";
+            rawstr <<  ",color=yellow,penwidth=2";
         }
         else if(SVFUtil::isa<FormalParmSVFGNode>(node))
         {
-            rawstr <<  "color=yellow,penwidth=2";
+            rawstr <<  ",color=yellow,penwidth=2";
         }
         else if(SVFUtil::isa<ActualINSVFGNode>(node))
         {
-            rawstr <<  "color=yellow,penwidth=2";
+            rawstr <<  ",color=yellow,penwidth=2";
         }
         else if(SVFUtil::isa<ActualOUTSVFGNode>(node))
         {
-            rawstr <<  "color=yellow,penwidth=2";
+            rawstr <<  ",color=yellow,penwidth=2";
         }
         else if(SVFUtil::isa<ActualParmSVFGNode>(node))
         {
-            rawstr <<  "color=yellow,penwidth=2";
+            rawstr <<  ",color=yellow,penwidth=2";
         }
         else if (SVFUtil::isa<ActualRetSVFGNode>(node))
         {
-            rawstr <<  "color=yellow,penwidth=2";
+            rawstr <<  ",color=yellow,penwidth=2";
         }
         else if (SVFUtil::isa<FormalRetSVFGNode>(node))
         {
-            rawstr <<  "color=yellow,penwidth=2";
+            rawstr <<  ",color=yellow,penwidth=2";
         }
         else if (SVFUtil::isa<BinaryOPVFGNode>(node))
         {
-            rawstr <<  "color=black,penwidth=2";
+            rawstr <<  ",color=black,penwidth=2";
         }
         else if (SVFUtil::isa<CmpVFGNode>(node))
         {
-            rawstr <<  "color=black,penwidth=2";
+            rawstr <<  ",color=black,penwidth=2";
         }
         else if (SVFUtil::isa<UnaryOPVFGNode>(node))
         {
-            rawstr <<  "color=black,penwidth=2";
+            rawstr <<  ",color=black,penwidth=2";
         }
         else if (SVFUtil::isa<BranchVFGNode>(node))
         {
-            rawstr <<  "color=gold,penwidth=2";
+            rawstr <<  ",color=gold,penwidth=2";
         }
         else
             assert(false && "no such kind of node!!");
@@ -1122,8 +1123,6 @@ struct DOTGraphTraits<SVFG*> : public DOTGraphTraits<SVFIR*>
         else if(graph->getStat()->inForwardSlice(node))
             rawstr << ",style=filled, fillcolor=gray";
 
-        rawstr <<  "";
-
         return rawstr.str();
     }
 
diff --git a/svf/lib/Graphs/VFG.cpp b/svf/lib/Graphs/VFG.cpp
diff --git a/svf/lib/MTA/TCT.cpp b/svf/lib/MTA/TCT.cpp

Original file line number	Diff line number	Diff line change
`@@ -420,35 +420,35 @@ struct DOTGraphTraits<SVF::CDG > : public DOTGraphTraits<SVF::PAG >`
`420`	`420`	`std::stringstream rawstr(str);`
`421`	`421`	`const SVF::ICFGNode *icfgNode = node->getICFGNode();`
`422`	`422`
	`423`	`+ rawstr << "shape=record";`
	`424`	`+`
`423`	`425`	`if (SVF::SVFUtil::isa<SVF::IntraICFGNode>(icfgNode))`
`424`	`426`	`{`
`425`		`- rawstr << "color=black";`
	`427`	`+ rawstr << ",color=black";`
`426`	`428`	`}`
`427`	`429`	`else if (SVF::SVFUtil::isa<SVF::FunEntryICFGNode>(icfgNode))`
`428`	`430`	`{`
`429`		`- rawstr << "color=yellow";`
	`431`	`+ rawstr << ",color=yellow";`
`430`	`432`	`}`
`431`	`433`	`else if (SVF::SVFUtil::isa<SVF::FunExitICFGNode>(icfgNode))`
`432`	`434`	`{`
`433`		`- rawstr << "color=green";`
	`435`	`+ rawstr << ",color=green";`
`434`	`436`	`}`
`435`	`437`	`else if (SVF::SVFUtil::isa<SVF::CallICFGNode>(icfgNode))`
`436`	`438`	`{`
`437`		`- rawstr << "color=red";`
	`439`	`+ rawstr << ",color=red";`
`438`	`440`	`}`
`439`	`441`	`else if (SVF::SVFUtil::isa<SVF::RetICFGNode>(icfgNode))`
`440`	`442`	`{`
`441`		`- rawstr << "color=blue";`
	`443`	`+ rawstr << ",color=blue";`
`442`	`444`	`}`
`443`	`445`	`else if (SVF::SVFUtil::isa<SVF::GlobalICFGNode>(icfgNode))`
`444`	`446`	`{`
`445`		`- rawstr << "color=purple";`
	`447`	`+ rawstr << ",color=purple";`
`446`	`448`	`}`
`447`	`449`	`else`
`448`	`450`	`assert(false && "no such kind of node!!");`
`449`	`451`
`450`		`- rawstr << "";`
`451`		`-`
`452`	`452`	`return rawstr.str();`
`453`	`453`	`}`
`454`	`454`
`@@ -479,4 +479,4 @@ struct DOTGraphTraits<SVF::CDG > : public DOTGraphTraits<SVF::PAG >`
`479`	`479`	`};`
`480`	`480`
`481`	`481`	`} // End namespace SVF`
`482`		`-#endif //SVF_CONTROLDG_H`
	`482`	`+#endif //SVF_CONTROLDG_H`
Original file line number	Diff line number	Diff line change
`@@ -171,7 +171,7 @@ class GraphWriter`
`171`	`171`	`{`
`172`	`172`	`std::string NodeAttributes = DTraits.getNodeAttributes(Node, G);`
`173`	`173`
`174`		`- O << "\tNode" << static_cast<const void*>(Node) << " [shape=record,";`
	`174`	`+ O << "\tNode" << static_cast<const void*>(Node) << " [";`
`175`	`175`	`if (!NodeAttributes.empty()) O << NodeAttributes << ",";`
`176`	`176`	`O << "label=\"{";`
`177`	`177`
Original file line number	Diff line number	Diff line change
`@@ -449,7 +449,7 @@ struct DOTGraphTraits<CallGraph*> : public DefaultDOTGraphTraits`
`449`	`449`	`const FunObjVar* fun = node->getFunction();`
`450`	`450`	`if (!SVFUtil::isExtCall(fun))`
`451`	`451`	`{`
`452`		`- return "shape=box";`
	`452`	`+ return "shape=record";`
`453`	`453`	`}`
`454`	`454`	`else`
`455`	`455`	`return "shape=Mrecord";`
Original file line number	Diff line number	Diff line change
`@@ -516,35 +516,35 @@ struct DOTGraphTraits<ICFG> : public DOTGraphTraits<SVFIR>`
`516`	`516`	`std::string str;`
`517`	`517`	`std::stringstream rawstr(str);`
`518`	`518`
	`519`	`+ rawstr << "shape=record";`
	`520`	`+`
`519`	`521`	`if(SVFUtil::isa<IntraICFGNode>(node))`
`520`	`522`	`{`
`521`		`- rawstr << "color=black";`
	`523`	`+ rawstr << ",color=black";`
`522`	`524`	`}`
`523`	`525`	`else if(SVFUtil::isa<FunEntryICFGNode>(node))`
`524`	`526`	`{`
`525`		`- rawstr << "color=yellow";`
	`527`	`+ rawstr << ",color=yellow";`
`526`	`528`	`}`
`527`	`529`	`else if(SVFUtil::isa<FunExitICFGNode>(node))`
`528`	`530`	`{`
`529`		`- rawstr << "color=green";`
	`531`	`+ rawstr << ",color=green";`
`530`	`532`	`}`
`531`	`533`	`else if(SVFUtil::isa<CallICFGNode>(node))`
`532`	`534`	`{`
`533`		`- rawstr << "color=red";`
	`535`	`+ rawstr << ",color=red";`
`534`	`536`	`}`
`535`	`537`	`else if(SVFUtil::isa<RetICFGNode>(node))`
`536`	`538`	`{`
`537`		`- rawstr << "color=blue";`
	`539`	`+ rawstr << ",color=blue";`
`538`	`540`	`}`
`539`	`541`	`else if(SVFUtil::isa<GlobalICFGNode>(node))`
`540`	`542`	`{`
`541`		`- rawstr << "color=purple";`
	`543`	`+ rawstr << ",color=purple";`
`542`	`544`	`}`
`543`	`545`	`else`
`544`	`546`	`assert(false && "no such kind of node!!");`
`545`	`547`
`546`		`- rawstr << "";`
`547`		`-`
`548`	`548`	`return rawstr.str();`
`549`	`549`	`}`
`550`	`550`
Original file line number	Diff line number	Diff line change
`@@ -440,71 +440,79 @@ struct DOTGraphTraits<IRGraph*> : public DefaultDOTGraphTraits`
`440`	`440`	`template<class EdgeIter>`
`441`	`441`	`static std::string getEdgeAttributes(SVFVar, EdgeIter EI, IRGraph)`
`442`	`442`	`{`
	`443`	`+ std::string str;`
	`444`	`+ std::stringstream rawstr(str);`
	`445`	`+`
	`446`	`+ rawstr << "shape=record";`
	`447`	`+`
`443`	`448`	`const SVFStmt* edge = *(EI.getCurrent());`
`444`	`449`	`assert(edge && "No edge found!!");`
`445`	`450`	`if (SVFUtil::isa<AddrStmt>(edge))`
`446`	`451`	`{`
`447`		`- return "color=green";`
	`452`	`+ rawstr << ",color=green";`
`448`	`453`	`}`
`449`	`454`	`else if (SVFUtil::isa<CopyStmt>(edge))`
`450`	`455`	`{`
`451`		`- return "color=black";`
	`456`	`+ rawstr << ",color=black";`
`452`	`457`	`}`
`453`	`458`	`else if (SVFUtil::isa<GepStmt>(edge))`
`454`	`459`	`{`
`455`		`- return "color=purple";`
	`460`	`+ rawstr << ",color=purple";`
`456`	`461`	`}`
`457`	`462`	`else if (SVFUtil::isa<StoreStmt>(edge))`
`458`	`463`	`{`
`459`		`- return "color=blue";`
	`464`	`+ rawstr << ",color=blue";`
`460`	`465`	`}`
`461`	`466`	`else if (SVFUtil::isa<LoadStmt>(edge))`
`462`	`467`	`{`
`463`		`- return "color=red";`
	`468`	`+ rawstr << ",color=red";`
`464`	`469`	`}`
`465`	`470`	`else if (SVFUtil::isa<PhiStmt>(edge))`
`466`	`471`	`{`
`467`		`- return "color=grey";`
	`472`	`+ rawstr << ",color=grey";`
`468`	`473`	`}`
`469`	`474`	`else if (SVFUtil::isa<SelectStmt>(edge))`
`470`	`475`	`{`
`471`		`- return "color=grey";`
	`476`	`+ rawstr << ",color=grey";`
`472`	`477`	`}`
`473`	`478`	`else if (SVFUtil::isa<CmpStmt>(edge))`
`474`	`479`	`{`
`475`		`- return "color=grey";`
	`480`	`+ rawstr << ",color=grey";`
`476`	`481`	`}`
`477`	`482`	`else if (SVFUtil::isa<BinaryOPStmt>(edge))`
`478`	`483`	`{`
`479`		`- return "color=grey";`
	`484`	`+ rawstr << ",color=grey";`
`480`	`485`	`}`
`481`	`486`	`else if (SVFUtil::isa<UnaryOPStmt>(edge))`
`482`	`487`	`{`
`483`		`- return "color=grey";`
	`488`	`+ rawstr << ",color=grey";`
`484`	`489`	`}`
`485`	`490`	`else if (SVFUtil::isa<BranchStmt>(edge))`
`486`	`491`	`{`
`487`		`- return "color=grey";`
	`492`	`+ rawstr << ",color=grey";`
`488`	`493`	`}`
`489`	`494`	`else if (SVFUtil::isa<TDForkPE>(edge))`
`490`	`495`	`{`
`491`		`- return "color=Turquoise";`
	`496`	`+ rawstr << ",color=Turquoise";`
`492`	`497`	`}`
`493`	`498`	`else if (SVFUtil::isa<TDJoinPE>(edge))`
`494`	`499`	`{`
`495`		`- return "color=Turquoise";`
	`500`	`+ rawstr << ",color=Turquoise";`
`496`	`501`	`}`
`497`	`502`	`else if (SVFUtil::isa<CallPE>(edge))`
`498`	`503`	`{`
`499`		`- return "color=black,style=dashed";`
	`504`	`+ rawstr << ",color=black,style=dashed";`
`500`	`505`	`}`
`501`	`506`	`else if (SVFUtil::isa<RetPE>(edge))`
`502`	`507`	`{`
`503`		`- return "color=black,style=dotted";`
	`508`	`+ rawstr << ",color=black,style=dotted";`
	`509`	`+ }`
	`510`	`+ else`
	`511`	`+ {`
	`512`	`+ assert(false && "No such kind edge!!");`
`504`	`513`	`}`
`505`	`514`
`506`		`- assert(false && "No such kind edge!!");`
`507`		`- exit(1);`
	`515`	`+ return rawstr.str();`
`508`	`516`	`}`
`509`	`517`
`510`	`518`	`template<class EdgeIter>`
Original file line number	Diff line number	Diff line change
`@@ -1010,98 +1010,99 @@ struct DOTGraphTraits<SVFG> : public DOTGraphTraits<SVFIR>`
`1010`	`1010`	`std::string str;`
`1011`	`1011`	`std::stringstream rawstr(str);`
`1012`	`1012`
	`1013`	`+ rawstr << "shape=record";`
	`1014`	`+`
`1013`	`1015`	`if(StmtSVFGNode* stmtNode = SVFUtil::dyn_cast<StmtSVFGNode>(node))`
`1014`	`1016`	`{`
`1015`	`1017`	`const SVFStmt* edge = stmtNode->getSVFStmt();`
`1016`	`1018`	`if (SVFUtil::isa<AddrStmt>(edge))`
`1017`	`1019`	`{`
`1018`		`- rawstr << "color=green";`
	`1020`	`+ rawstr << ",color=green";`
`1019`	`1021`	`}`
`1020`	`1022`	`else if (SVFUtil::isa<CopyStmt>(edge))`
`1021`	`1023`	`{`
`1022`		`- rawstr << "color=black";`
	`1024`	`+ rawstr << ",color=black";`
`1023`	`1025`	`}`
`1024`	`1026`	`else if (SVFUtil::isa<RetPE>(edge))`
`1025`	`1027`	`{`
`1026`		`- rawstr << "color=black,style=dotted";`
	`1028`	`+ rawstr << ",color=black,style=dotted";`
`1027`	`1029`	`}`
`1028`	`1030`	`else if (SVFUtil::isa<GepStmt>(edge))`
`1029`	`1031`	`{`
`1030`		`- rawstr << "color=purple";`
	`1032`	`+ rawstr << ",color=purple";`
`1031`	`1033`	`}`
`1032`	`1034`	`else if (SVFUtil::isa<StoreStmt>(edge))`
`1033`	`1035`	`{`
`1034`		`- rawstr << "color=blue";`
	`1036`	`+ rawstr << ",color=blue";`
`1035`	`1037`	`}`
`1036`	`1038`	`else if (SVFUtil::isa<LoadStmt>(edge))`
`1037`	`1039`	`{`
`1038`		`- rawstr << "color=red";`
	`1040`	`+ rawstr << ",color=red";`
`1039`	`1041`	`}`
`1040`	`1042`	`else`
`1041`	`1043`	`{`
`1042`	`1044`	`assert(0 && "No such kind edge!!");`
`1043`	`1045`	`}`
`1044`		`- rawstr << "";`
`1045`	`1046`	`}`
`1046`	`1047`	`else if(SVFUtil::isa<MSSAPHISVFGNode>(node))`
`1047`	`1048`	`{`
`1048`		`- rawstr << "color=black";`
	`1049`	`+ rawstr << ",color=black";`
`1049`	`1050`	`}`
`1050`	`1051`	`else if(SVFUtil::isa<PHISVFGNode>(node))`
`1051`	`1052`	`{`
`1052`		`- rawstr << "color=black";`
	`1053`	`+ rawstr << ",color=black";`
`1053`	`1054`	`}`
`1054`	`1055`	`else if(SVFUtil::isa<NullPtrSVFGNode>(node))`
`1055`	`1056`	`{`
`1056`		`- rawstr << "color=grey";`
	`1057`	`+ rawstr << ",color=grey";`
`1057`	`1058`	`}`
`1058`	`1059`	`else if(SVFUtil::isa<FormalINSVFGNode>(node))`
`1059`	`1060`	`{`
`1060`		`- rawstr << "color=yellow,penwidth=2";`
	`1061`	`+ rawstr << ",color=yellow,penwidth=2";`
`1061`	`1062`	`}`
`1062`	`1063`	`else if(SVFUtil::isa<FormalOUTSVFGNode>(node))`
`1063`	`1064`	`{`
`1064`		`- rawstr << "color=yellow,penwidth=2";`
	`1065`	`+ rawstr << ",color=yellow,penwidth=2";`
`1065`	`1066`	`}`
`1066`	`1067`	`else if(SVFUtil::isa<FormalParmSVFGNode>(node))`
`1067`	`1068`	`{`
`1068`		`- rawstr << "color=yellow,penwidth=2";`
	`1069`	`+ rawstr << ",color=yellow,penwidth=2";`
`1069`	`1070`	`}`
`1070`	`1071`	`else if(SVFUtil::isa<ActualINSVFGNode>(node))`
`1071`	`1072`	`{`
`1072`		`- rawstr << "color=yellow,penwidth=2";`
	`1073`	`+ rawstr << ",color=yellow,penwidth=2";`
`1073`	`1074`	`}`
`1074`	`1075`	`else if(SVFUtil::isa<ActualOUTSVFGNode>(node))`
`1075`	`1076`	`{`
`1076`		`- rawstr << "color=yellow,penwidth=2";`
	`1077`	`+ rawstr << ",color=yellow,penwidth=2";`
`1077`	`1078`	`}`
`1078`	`1079`	`else if(SVFUtil::isa<ActualParmSVFGNode>(node))`
`1079`	`1080`	`{`
`1080`		`- rawstr << "color=yellow,penwidth=2";`
	`1081`	`+ rawstr << ",color=yellow,penwidth=2";`
`1081`	`1082`	`}`
`1082`	`1083`	`else if (SVFUtil::isa<ActualRetSVFGNode>(node))`
`1083`	`1084`	`{`
`1084`		`- rawstr << "color=yellow,penwidth=2";`
	`1085`	`+ rawstr << ",color=yellow,penwidth=2";`
`1085`	`1086`	`}`
`1086`	`1087`	`else if (SVFUtil::isa<FormalRetSVFGNode>(node))`
`1087`	`1088`	`{`
`1088`		`- rawstr << "color=yellow,penwidth=2";`
	`1089`	`+ rawstr << ",color=yellow,penwidth=2";`
`1089`	`1090`	`}`
`1090`	`1091`	`else if (SVFUtil::isa<BinaryOPVFGNode>(node))`
`1091`	`1092`	`{`
`1092`		`- rawstr << "color=black,penwidth=2";`
	`1093`	`+ rawstr << ",color=black,penwidth=2";`
`1093`	`1094`	`}`
`1094`	`1095`	`else if (SVFUtil::isa<CmpVFGNode>(node))`
`1095`	`1096`	`{`
`1096`		`- rawstr << "color=black,penwidth=2";`
	`1097`	`+ rawstr << ",color=black,penwidth=2";`
`1097`	`1098`	`}`
`1098`	`1099`	`else if (SVFUtil::isa<UnaryOPVFGNode>(node))`
`1099`	`1100`	`{`
`1100`		`- rawstr << "color=black,penwidth=2";`
	`1101`	`+ rawstr << ",color=black,penwidth=2";`
`1101`	`1102`	`}`
`1102`	`1103`	`else if (SVFUtil::isa<BranchVFGNode>(node))`
`1103`	`1104`	`{`
`1104`		`- rawstr << "color=gold,penwidth=2";`
	`1105`	`+ rawstr << ",color=gold,penwidth=2";`
`1105`	`1106`	`}`
`1106`	`1107`	`else`
`1107`	`1108`	`assert(false && "no such kind of node!!");`
`@@ -1122,8 +1123,6 @@ struct DOTGraphTraits<SVFG> : public DOTGraphTraits<SVFIR>`
`1122`	`1123`	`else if(graph->getStat()->inForwardSlice(node))`
`1123`	`1124`	`rawstr << ",style=filled, fillcolor=gray";`
`1124`	`1125`
`1125`		`- rawstr << "";`
`1126`		`-`
`1127`	`1126`	`return rawstr.str();`
`1128`	`1127`	`}`
`1129`	`1128`