svf-tools 1.0.595 → 1.0.597

package/SVF-doxygen/html/html/functions_func_g.html

@@ -525,8 +525,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1VFG.html#a9215c1d7f1152967f0731057a085e793">SVF::VFG</a>
 </li>
 <li>getCompleteNodeLabel()
-: <a class="el" href="structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a381db1cc959f8f2279fb501f8224a19a">llvm::DOTGraphTraits&lt; SVFG * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a6ced6b5b50d920fb47c4334693fea86c">llvm::DOTGraphTraits&lt; VFG * &gt;</a>
+: <a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#adef3b27c866d5d9ca38135e5c75d5e4f">SVF::DOTGraphTraits&lt; SVFG * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a3396c4d951a5a0c972561251d68b55c6">SVF::DOTGraphTraits&lt; VFG * &gt;</a>
 </li>
 <li>getCond()
 : <a class="el" href="classSVF_1_1CxtStmtDPItem.html#ace41c90e66f6a85f12ff67540ad9d594">SVF::CxtStmtDPItem&lt; LocCond &gt;</a>
@@ -630,6 +630,9 @@ $(function() {
 <li>getCurNodeID()
 : <a class="el" href="classSVF_1_1DPItem.html#a03a90eca842c0e83d874902103f6fdb2">SVF::DPItem</a>
 </li>
+<li>getCurrent()
+: <a class="el" href="classSVF_1_1mapped__iter.html#a515d4ba2964e6779314a248d92b6d3fc">SVF::mapped_iter&lt; ItTy, FuncTy, FuncReturnTy &gt;</a>
+</li>
 <li>getCurrentBB()
 : <a class="el" href="classSVF_1_1SVFIRBuilder.html#a6c0229120c8c96be35d2e8000b87384f">SVF::SVFIRBuilder</a>
 </li>
@@ -835,15 +838,19 @@ $(function() {
 : <a class="el" href="classSVF_1_1CFLEdge.html#ae4c8562ff6801503de9e3cb0c4ebe2b8">SVF::CFLEdge</a>
 </li>
 <li>getEdgeAttributes()
-: <a class="el" href="structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#a063cfdeaebcd749ecc98f50ba300f271">llvm::DOTGraphTraits&lt; CFLGraph * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#a0ad443da42379a0038d42de4f7895b60">llvm::DOTGraphTraits&lt; CHGraph * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#ad7d0a5d387c31c186b8527c7c6bd9791">llvm::DOTGraphTraits&lt; ConstraintGraph * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a74b0725d64b6e9c3060f2366633425f5">llvm::DOTGraphTraits&lt; ICFG * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a27816e06b813b2723a5757128d009cab">llvm::DOTGraphTraits&lt; IRGraph * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a52d5c95a8f9823174c0acebc101de20b">llvm::DOTGraphTraits&lt; PTACallGraph * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a0ade71edb2771cb6c4e7a0a7910d374e">llvm::DOTGraphTraits&lt; SVFG * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#a349d851998bd1defbbafc16693e04764">llvm::DOTGraphTraits&lt; TCT * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a646a1023dab5169a73c8ea54e860c78b">llvm::DOTGraphTraits&lt; VFG * &gt;</a>
+: <a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#ad84c95525cf15f90848c2558fd28f43b">SVF::DefaultDOTGraphTraits</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#ac9483e81c382a3bb241cf59e7fdf7788">SVF::DOTGraphTraits&lt; CFLGraph * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#ad74c870cc12035ecd3897f65ecc6d96d">SVF::DOTGraphTraits&lt; CHGraph * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a74ed73ff248b33b274c87797e61ef15c">SVF::DOTGraphTraits&lt; ConstraintGraph * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a9967092a5e97b6d684abcc718fe6e688">SVF::DOTGraphTraits&lt; ICFG * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a00c28536a740906779c826d6797ea09e">SVF::DOTGraphTraits&lt; IRGraph * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a274c4364c648cfb35deb9dda37f4a547">SVF::DOTGraphTraits&lt; PTACallGraph * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#af43663ec79465f7860ffecd9584e0002">SVF::DOTGraphTraits&lt; SVFG * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#a3d08fde6e4bc42a6405e6104a833293f">SVF::DOTGraphTraits&lt; TCT * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#ab279f3042677c2120a23d83bd0ed4039">SVF::DOTGraphTraits&lt; VFG * &gt;</a>
+</li>
+<li>getEdgeDestLabel()
+: <a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#a5e560e93632e0ed1934d4c4508ca1884">SVF::DefaultDOTGraphTraits</a>
 </li>
 <li>getEdgeID()
 : <a class="el" href="classSVF_1_1ConstraintEdge.html#ab201b7df925c12e6944516f4b87d7823">SVF::ConstraintEdge</a>
@@ -860,13 +867,20 @@ $(function() {
 : <a class="el" href="classSVF_1_1GenericEdge.html#a20d8b844fc4bb0bb776d290b4e477fc5">SVF::GenericEdge&lt; NodeTy &gt;</a>
 </li>
 <li>getEdgeSourceLabel()
-: <a class="el" href="structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#ac5d4d9f4874f0ecf199e1d19d66adf0f">llvm::DOTGraphTraits&lt; CFLGraph * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a76e78cd94e56ca46ac7e1db7162e594b">llvm::DOTGraphTraits&lt; ConstraintGraph * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a6255edef186d9268868d683b4bbda133">llvm::DOTGraphTraits&lt; ICFG * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a947696a48fdac183d0cc40de92944315">llvm::DOTGraphTraits&lt; IRGraph * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a576f422e667714d3e4948cbf3f631fc9">llvm::DOTGraphTraits&lt; PTACallGraph * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#aaaf78b3bb17f15a2c91566bfdc1bae9e">llvm::DOTGraphTraits&lt; SVFG * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#af794115d33a8ea6f7f2e2c7ac5dd4c80">llvm::DOTGraphTraits&lt; VFG * &gt;</a>
+: <a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#a66f5994cdef8fa307c9ff69ca90a1d6c">SVF::DefaultDOTGraphTraits</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#a28fcd691628f74955daf5180a1c197ed">SVF::DOTGraphTraits&lt; CFLGraph * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a651568cd6c1f0771d8633a7ed7b1dfd2">SVF::DOTGraphTraits&lt; ConstraintGraph * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a977a85211fc236f357f107b6721feaa0">SVF::DOTGraphTraits&lt; ICFG * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#aa7d274968bb2f8d43da9cb95cec8e833">SVF::DOTGraphTraits&lt; IRGraph * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a22b5a3147fd8e7daa4a3dc703df135be">SVF::DOTGraphTraits&lt; PTACallGraph * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a49fabf853f855b6d9041b91acd68bce2">SVF::DOTGraphTraits&lt; SVFG * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a59a5e6cd5edb423e927bd1d08bc78aa9">SVF::DOTGraphTraits&lt; VFG * &gt;</a>
+</li>
+<li>getEdgeSourceLabels()
+: <a class="el" href="classSVF_1_1GraphWriter.html#aa2d0fada900a8e08af0539498905a74f">SVF::GraphWriter&lt; GraphType &gt;</a>
+</li>
+<li>getEdgeTarget()
+: <a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#acfab6216e24999e92b2354e4f15b96b6">SVF::DefaultDOTGraphTraits</a>
 </li>
 <li>getEdgeType()
 : <a class="el" href="classSVF_1_1CHEdge.html#ae2b90913c6c5a30df2b285d31c694525">SVF::CHEdge</a>
@@ -881,9 +895,9 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFFunction.html#a793f485e92d12cf407f2ffa41861eb3d">SVF::SVFFunction</a>
 </li>
 <li>getEntryNode()
-: <a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#afbe31ee2733b5990ab5b1f8c344fa3e0">llvm::GraphTraits&lt; Inverse&lt; SVF::GenericNode&lt; NodeTy, EdgeTy &gt; *&gt; &gt;</a>
-, <a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#a67da52700e19f69ffebf8532944df867">llvm::GraphTraits&lt; SVF::GenericGraph&lt; NodeTy, EdgeTy &gt; *&gt;</a>
-, <a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#a24c5372fa6afca08d89759f66fa2a08e">llvm::GraphTraits&lt; SVF::GenericNode&lt; NodeTy, EdgeTy &gt; * &gt;</a>
+: <a class="el" href="structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#a8b32a8914a155bb2be33b2b66107c4a9">SVF::GenericGraphTraits&lt; Inverse&lt; SVF::GenericNode&lt; NodeTy, EdgeTy &gt; *&gt; &gt;</a>
+, <a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#abd6e561fbc153cf714a2494986c14dec">SVF::GenericGraphTraits&lt; SVF::GenericGraph&lt; NodeTy, EdgeTy &gt; *&gt;</a>
+, <a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#ab7af22908f08a12b02cc606ea0937d04">SVF::GenericGraphTraits&lt; SVF::GenericNode&lt; NodeTy, EdgeTy &gt; * &gt;</a>
 </li>
 <li>getEntryProcs()
 : <a class="el" href="classSVF_1_1TCT.html#a692a74188f141ffbdbb859ecae8b07ab">SVF::TCT</a>
@@ -1161,17 +1175,21 @@ $(function() {
 , <a class="el" href="classSVF_1_1TCT.html#a7b40580939dc63f501a32571806c07bc">SVF::TCT</a>
 </li>
 <li>getGraphName()
-: <a class="el" href="structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#af4cfbb5fb358d684626e9cb28c15bb1d">llvm::DOTGraphTraits&lt; CFLGraph * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#a942e068d1debc7f7dd7a6232adc2130f">llvm::DOTGraphTraits&lt; CHGraph * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a9ed4562e3c1223c20e76e1372ba8b30d">llvm::DOTGraphTraits&lt; ConstraintGraph * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a46226ebac48103764df6427119a322ce">llvm::DOTGraphTraits&lt; ICFG * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a6cbd0e71b5ea955de8a548bad9256160">llvm::DOTGraphTraits&lt; IRGraph * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a698264fcfb5bdb99a28618d0701860d6">llvm::DOTGraphTraits&lt; PTACallGraph * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a1275496006929be6375a0d71ed86c79b">llvm::DOTGraphTraits&lt; SVFG * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#ad06b27680684ff1a7f1d0608f67cf89a">llvm::DOTGraphTraits&lt; TCT * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#aaedec44d41a6e36c9e5db804e4a005dd">llvm::DOTGraphTraits&lt; VFG * &gt;</a>
+: <a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#a41effe5697618840e0d5ea10c26781fe">SVF::DefaultDOTGraphTraits</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#aa12ac2ae92225381d7c8386e96c9a88e">SVF::DOTGraphTraits&lt; CFLGraph * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#a75aba53d62d665008e9cb98be5103d5e">SVF::DOTGraphTraits&lt; CHGraph * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a6948926922a5c5378d92c3c6aa0b3ccd">SVF::DOTGraphTraits&lt; ConstraintGraph * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a4938f51cfb9a5b63b89ab02d9e1950ad">SVF::DOTGraphTraits&lt; ICFG * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a2c6b3e5fdce71f5c94e21906da1d1246">SVF::DOTGraphTraits&lt; IRGraph * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a6030238b53d8145bc69285dcc629c16b">SVF::DOTGraphTraits&lt; PTACallGraph * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a38e619de70d79e38d3d65d521f224d07">SVF::DOTGraphTraits&lt; SVFG * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#a4234340e5806dc49b6c450736a1a4d94">SVF::DOTGraphTraits&lt; TCT * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#ae7bb12f8b7bd9230599f461060fdd38b">SVF::DOTGraphTraits&lt; VFG * &gt;</a>
 , <a class="el" href="classSVF_1_1IRGraph.html#a5a34f23fee4f84e74908041efebd6867">SVF::IRGraph</a>
 </li>
+<li>getGraphProperties()
+: <a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#afe384157441d5ef0b3aafdfb6cd3028a">SVF::DefaultDOTGraphTraits</a>
+</li>
 <li>getICFG()
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#ade879ee99cae01632d567d3736dcad9e">SVF::PointerAnalysis</a>
 , <a class="el" href="classSVF_1_1SaberCondAllocator.html#a6bd67514e0ea9a2704ae83a38c9f2592">SVF::SaberCondAllocator</a>
@@ -1426,7 +1444,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#ad849ae4509e88832f784c748468ab959">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
 <li>getLoop()
-: <a class="el" href="classSVF_1_1TCT.html#a35f0fd73e0d752a426284eb4406ecca2">SVF::TCT</a>
+: <a class="el" href="classSVF_1_1TCT.html#af227b820ee93765e6b5c9eb9aad30c91">SVF::TCT</a>
 </li>
 <li>getLoopAndDomInfo()
 : <a class="el" href="classSVF_1_1SVFFunction.html#a5798ecc742ee74e357d13eea751258c4">SVF::SVFFunction</a>
@@ -1588,26 +1606,33 @@ $(function() {
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#a006667ed55132ca0909c0e9118fea704">SVF::ConstraintGraph</a>
 </li>
 <li>getNode()
-: <a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#ad67b19903549bef892b8b059228e4d19">llvm::GraphTraits&lt; SVF::GenericGraph&lt; NodeTy, EdgeTy &gt; *&gt;</a>
-, <a class="el" href="classSVF_1_1CHGraph.html#a7beec68a60036c93a741a7152e8198b6">SVF::CHGraph</a>
+: <a class="el" href="classSVF_1_1CHGraph.html#a7beec68a60036c93a741a7152e8198b6">SVF::CHGraph</a>
 , <a class="el" href="classSVF_1_1DCHGraph.html#a96c68bbb5ee5e939158ce0b67da2c61d">SVF::DCHGraph</a>
+, <a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#a2fe6388f27ab97ed38a52b6af3f3ca58">SVF::GenericGraphTraits&lt; SVF::GenericGraph&lt; NodeTy, EdgeTy &gt; *&gt;</a>
 , <a class="el" href="classSVF_1_1GraphReachSolver.html#a0b7f0923105dfb198a2a8428d6c1ca98">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a>
 , <a class="el" href="classSVF_1_1SrcSnkSolver.html#a18008d5496010aa5f54aade230bd64ff">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
 </li>
 <li>getNodeAttributes()
-: <a class="el" href="structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#a4b593e5e6c2e711db0f220a388bd5f11">llvm::DOTGraphTraits&lt; CFLGraph * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#afcfdde52d1ed3ecbd849cbf4a16fb880">llvm::DOTGraphTraits&lt; CHGraph * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a0ce25ef874ffaa798ae7ad498274b2f7">llvm::DOTGraphTraits&lt; ConstraintGraph * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#aef77eaa614a202f39964d0a0917b5140">llvm::DOTGraphTraits&lt; ICFG * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a9f6fb05fdadcba74038252a08356867d">llvm::DOTGraphTraits&lt; IRGraph * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a7a75a7d83bfa57857e5855f9cf940086">llvm::DOTGraphTraits&lt; PTACallGraph * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a2efe884d285b1e4a0541e022f9ed40df">llvm::DOTGraphTraits&lt; SVFG * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#a2b3151a123d6c22dc5d6fa81b3ea4a83">llvm::DOTGraphTraits&lt; TCT * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a57d4a186a0319b73d69752564bf25b2a">llvm::DOTGraphTraits&lt; VFG * &gt;</a>
+: <a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#a3438f5f1ed763f2f7818535f212ff43b">SVF::DefaultDOTGraphTraits</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#a35499a5e7010339f4333cead3b2c4cfc">SVF::DOTGraphTraits&lt; CFLGraph * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#a8109531ce97bb08828b06f2203c3b347">SVF::DOTGraphTraits&lt; CHGraph * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a646cb350726d62532cda229aaf6af9cc">SVF::DOTGraphTraits&lt; ConstraintGraph * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#ada6dd55df689908741823e8e3a3cf289">SVF::DOTGraphTraits&lt; ICFG * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a3f073b3b89256914a1582dabebd308e9">SVF::DOTGraphTraits&lt; IRGraph * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#ab35af67d234b32aeb2bed4336058cb57">SVF::DOTGraphTraits&lt; PTACallGraph * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#ad851a3820df828f0598046e0c953330c">SVF::DOTGraphTraits&lt; SVFG * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#a61074356d304d9f1e4a2b9870f6e0fcd">SVF::DOTGraphTraits&lt; TCT * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a58fa641de3db32b97edcb60a64004270">SVF::DOTGraphTraits&lt; VFG * &gt;</a>
+</li>
+<li>getNodeDescription()
+: <a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#af5800f2d8efa24fee85f03871c07df21">SVF::DefaultDOTGraphTraits</a>
 </li>
 <li>getNodeID()
-: <a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#ac79255244b6b59876be19266ff214afb">llvm::GraphTraits&lt; Inverse&lt; SVF::GenericNode&lt; NodeTy, EdgeTy &gt; *&gt; &gt;</a>
-, <a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#a29ec19f4829cfe458c1eaab47e6fe8c0">llvm::GraphTraits&lt; SVF::GenericGraph&lt; NodeTy, EdgeTy &gt; *&gt;</a>
+: <a class="el" href="structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#ad35b19e918b1d6807ed2296dd8394093">SVF::GenericGraphTraits&lt; Inverse&lt; SVF::GenericNode&lt; NodeTy, EdgeTy &gt; *&gt; &gt;</a>
+, <a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#a006d75a6017fe36fd052640a7b6ff108">SVF::GenericGraphTraits&lt; SVF::GenericGraph&lt; NodeTy, EdgeTy &gt; *&gt;</a>
+</li>
+<li>getNodeIdentifierLabel()
+: <a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#a0f81b82658f62589ec429c601538f6e9">SVF::DefaultDOTGraphTraits</a>
 </li>
 <li>getNodeIDFromItem()
 : <a class="el" href="classSVF_1_1GraphReachSolver.html#a84f39b3234ddf8198c793ff8c5d59cdf">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a>
@@ -1620,15 +1645,16 @@ $(function() {
 : <a class="el" href="classSVF_1_1GenericNode.html#a391e996d695b114530120723da1d003e">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>getNodeLabel()
-: <a class="el" href="structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#a8802b947b81fd231ee1d581055d19ca1">llvm::DOTGraphTraits&lt; CFLGraph * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#ab29e74e9089311dd79afad62234e98cd">llvm::DOTGraphTraits&lt; CHGraph * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#aa72b3ad953c6ea3309c83735512ff408">llvm::DOTGraphTraits&lt; ConstraintGraph * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#aaab33f12ee11b03d7d55a55f46178a2c">llvm::DOTGraphTraits&lt; ICFG * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#aa8f1f1699fe8350542072cae450c8afa">llvm::DOTGraphTraits&lt; IRGraph * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a687cf2ca3cab75946151c6d34cc703fe">llvm::DOTGraphTraits&lt; PTACallGraph * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a4407708863cb2a50fd4d4c516f5f3ea4">llvm::DOTGraphTraits&lt; SVFG * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#ab966d3c80f99fca37951929ac4037ddc">llvm::DOTGraphTraits&lt; TCT * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a6470ed90c2a601b01715d02cffd90918">llvm::DOTGraphTraits&lt; VFG * &gt;</a>
+: <a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#a07487bbf691110420c680250994a6eba">SVF::DefaultDOTGraphTraits</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#a6aef2b3f8e4e6f843724613ad7100932">SVF::DOTGraphTraits&lt; CFLGraph * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#a18f64ddaaa6da45e247ee44ad03cac3d">SVF::DOTGraphTraits&lt; CHGraph * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a9e45113303655dd4b3951f975cc7790f">SVF::DOTGraphTraits&lt; ConstraintGraph * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a04de29b725e362137f9469850cf24eed">SVF::DOTGraphTraits&lt; ICFG * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a32b24e38559d65b4aaf0473cbda94038">SVF::DOTGraphTraits&lt; IRGraph * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a7b17561e1c7aa483611ec69293a86595">SVF::DOTGraphTraits&lt; PTACallGraph * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a408191812417e4cf67c63197498e8bff">SVF::DOTGraphTraits&lt; SVFG * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#ab0babde1e6a0d3a96149236c19bea756">SVF::DOTGraphTraits&lt; TCT * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#ab891ea12cf363b28d15cc6cbbc6ca205">SVF::DOTGraphTraits&lt; VFG * &gt;</a>
 </li>
 <li>getNodeMapping()
 : <a class="el" href="classSVF_1_1PointsTo.html#a06b981a2b7b04549f494dffde974c56d">SVF::PointsTo</a>
@@ -1788,6 +1814,9 @@ $(function() {
 : <a class="el" href="classSVF_1_1StInfo.html#a055697f565cb9d73b41110090fe50159">SVF::StInfo</a>
 , <a class="el" href="classSVF_1_1SymbolTableInfo.html#a4bf84ef15f3b4cc865ac64ca0aae84e7">SVF::SymbolTableInfo</a>
 </li>
+<li>getOStream()
+: <a class="el" href="classSVF_1_1GraphWriter.html#afa5d94effc56067e44eba9a11afd5284">SVF::GraphWriter&lt; GraphType &gt;</a>
+</li>
 <li>getOtherSVFConstant()
 : <a class="el" href="classSVF_1_1LLVMModuleSet.html#a74256f36f0fdc242df9729906c34efbc">SVF::LLVMModuleSet</a>
 </li>
@@ -1811,11 +1840,11 @@ $(function() {
 </li>
 <li>getOutput()
 : <a class="el" href="classSVF_1_1LockResultValidator.html#ab71d89c954395df7d108263b3fa87330">SVF::LockResultValidator</a>
-, <a class="el" href="classSVF_1_1MTAResultValidator.html#a829e59b4f8cf01c125cf8a9b45f7b7d0">SVF::MTAResultValidator</a>
+, <a class="el" href="classSVF_1_1MTAResultValidator.html#a9c9baeb57a645b57cc9053b3071f0602">SVF::MTAResultValidator</a>
 , <a class="el" href="classSVF_1_1RaceResultValidator.html#afdd89e26a7c168762bfe85746252827f">SVF::RaceResultValidator</a>
 </li>
 <li>getOutputforInterlevAnalysis()
-: <a class="el" href="classSVF_1_1MTAResultValidator.html#a9f7c30f6bb29630101b034009f7d944c">SVF::MTAResultValidator</a>
+: <a class="el" href="classSVF_1_1MTAResultValidator.html#ac24a8a6922d9dc9edecab3bc45bc9204">SVF::MTAResultValidator</a>
 </li>
 <li>getPAG()
 : <a class="el" href="classSVF_1_1FSMPTA.html#ad93ee6450a9eb498369bf63acc9f6578">SVF::FSMPTA</a>
@@ -1901,7 +1930,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MRGenerator.html#a6d86c8ebe87cb54f39e52daa7ffb0e2e">SVF::MRGenerator</a>
 </li>
 <li>getPostDomTreeMap()
-: <a class="el" href="classSVF_1_1SVFLoopAndDomInfo.html#a6b87fa0530b6d94f201a0989b35c2277">SVF::SVFLoopAndDomInfo</a>
+: <a class="el" href="classSVF_1_1SVFLoopAndDomInfo.html#ad07f95e790b5c3a50c864155aa20a083">SVF::SVFLoopAndDomInfo</a>
 </li>
 <li>getPredecessors()
 : <a class="el" href="classSVF_1_1SVFBasicBlock.html#ac6fabc508f6b64127bb597f7b2110231">SVF::SVFBasicBlock</a>
@@ -1910,11 +1939,11 @@ $(function() {
 : <a class="el" href="classSVF_1_1CmpStmt.html#aa6a21fb1cfbc263bb38651176c495632">SVF::CmpStmt</a>
 </li>
 <li>getPredInstructions()
-: <a class="el" href="classSVF_1_1SVFInstruction.html#a51c967b9e808b077562fbf25a04bafdc">SVF::SVFInstruction</a>
+: <a class="el" href="classSVF_1_1SVFInstruction.html#acc18d048b6f6b07bf1786980bb2d74f8">SVF::SVFInstruction</a>
 </li>
 <li>getPreviousMemoryAccessInst()
 : <a class="el" href="classSVF_1_1LockResultValidator.html#a0be1cdab3c36835044e3b26d5d8402e6">SVF::LockResultValidator</a>
-, <a class="el" href="classSVF_1_1MTAResultValidator.html#a2ddf3189b3f90986752282b1c6bd003d">SVF::MTAResultValidator</a>
+, <a class="el" href="classSVF_1_1MTAResultValidator.html#ab3ba3c6d9c40e97febdab0e7d4ad9a3e">SVF::MTAResultValidator</a>
 , <a class="el" href="classSVF_1_1RaceResultValidator.html#ad029f7a9a5161191a44d1e841f9d6114">SVF::RaceResultValidator</a>
 </li>
 <li>getPrevNodes()
@@ -1974,15 +2003,15 @@ $(function() {
 <li>getPts()
 : <a class="el" href="classSVF_1_1Andersen.html#a187285a5bdf9422d9188b2b11b667639">SVF::Andersen</a>
 , <a class="el" href="classSVF_1_1BVDataPTAImpl.html#aee289e298e421448caaa604b7eb34fcb">SVF::BVDataPTAImpl</a>
-, <a class="el" href="classSVF_1_1CondPTAImpl.html#a63fa2b3a96696ffc67a119c1ba5ce748">SVF::CondPTAImpl&lt; Cond &gt;</a>
+, <a class="el" href="classSVF_1_1CondPTAImpl.html#a0b96ba98239186d6d676f9540da9e590">SVF::CondPTAImpl&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDFPTData.html#a4cbb9131a89c5c48367fb927693b5c6b">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDiffPTData.html#ac2f494da9379c336bb81a0dc438b5af9">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutablePTData.html#abe4230f3ba78fc660ea291fda36ffa62">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1MutableVersionedPTData.html#aaf519166d2e0ca3c81088b52a1cf3066">SVF::MutableVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
+, <a class="el" href="classSVF_1_1MutableVersionedPTData.html#afcc34f6cedca6a8f151b1a7251832818">SVF::MutableVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentDFPTData.html#a5f6a01d0bb40a718bc14f2cc1bb98a13">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentDiffPTData.html#a9982ecf42416756a0729a28e8713cfed">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentPTData.html#a34f8226202e1654d4e67916b21ec4d99">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#afe80884fa8227e50f28631e20aa6fdf6">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a9b81d20e54d08e36edbff43549b1e820">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 , <a class="el" href="classSVF_1_1PointerAnalysis.html#a4dfb43679e9fa794ebad99b6584c32ec">SVF::PointerAnalysis</a>
 , <a class="el" href="classSVF_1_1PTData.html#a9ae6037637d8b9acb323333f491f4a7d">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1Steensgaard.html#adbcb9af660ab9bb0202bd32342280486">SVF::Steensgaard</a>
@@ -1995,7 +2024,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1MutablePTData.html#a8838058efe94b62553bb5416fdc2ec5b">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>getPtsSubSetMap()
-: <a class="el" href="classSVF_1_1IntraDisjointMRG.html#ae3c857c056f4e6e863843bafba7fdea1">SVF::IntraDisjointMRG</a>
+: <a class="el" href="classSVF_1_1IntraDisjointMRG.html#ad0640ef6e02d9a90964ca495c0fd8f53">SVF::IntraDisjointMRG</a>
 </li>
 <li>getRawProductions()
 : <a class="el" href="classSVF_1_1GrammarBase.html#a4561438149716c91178ea013686f66ae">SVF::GrammarBase</a>
@@ -2056,7 +2085,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1ICFGBuilder.html#a31a2810fe664f45da147f4bd0a0410d6">SVF::ICFGBuilder</a>
 </li>
 <li>getRetParmAtJoinedSite()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#a24e1734230ec053c218d4d4774b9bfd0">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#acbd4d2403cc9ebb01b82844d8c4eeb54">SVF::ThreadAPI</a>
 </li>
 <li>getRetPE()
 : <a class="el" href="classSVF_1_1RetCFGEdge.html#af84bf360ca641711a3c625de86feb603">SVF::RetCFGEdge</a>
@@ -2088,7 +2117,7 @@ $(function() {
 <li>getRevPts()
 : <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a58113943e4e7144d94d26991dcc8bcc7">SVF::BVDataPTAImpl</a>
 , <a class="el" href="classSVF_1_1CFLAlias.html#abcb07a089b7b1036d070c451a81cef5d">SVF::CFLAlias</a>
-, <a class="el" href="classSVF_1_1CondPTAImpl.html#aa266eef30817c557882de19aefe135a9">SVF::CondPTAImpl&lt; Cond &gt;</a>
+, <a class="el" href="classSVF_1_1CondPTAImpl.html#a0da0602c5b260afaba4bef1abcbcf7b3">SVF::CondPTAImpl&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDFPTData.html#a2f98940bd8266ad37a975c6d30d948b4">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDiffPTData.html#ad9bd6762fc6525afaed4a6c6da63688d">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutablePTData.html#a36aa05b8f5c308035315d6df7036c096">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
@@ -2128,9 +2157,9 @@ $(function() {
 : <a class="el" href="classSVF_1_1TCT.html#a60e63f6ddfe78c4cf4fd3a70875b727f">SVF::TCT</a>
 </li>
 <li>getSimpleNodeLabel()
-: <a class="el" href="structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a1cf0470d3e9821152416e3bf5236e553">llvm::DOTGraphTraits&lt; ICFG * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a63cc361875e61f4729381b23dcee2787">llvm::DOTGraphTraits&lt; SVFG * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a0159404d5c5a7816a4b679c0f35a546e">llvm::DOTGraphTraits&lt; VFG * &gt;</a>
+: <a class="el" href="structSVF_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a8964f2454b3e0887de6a0f3c9731e0aa">SVF::DOTGraphTraits&lt; ICFG * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a80aace686045f098dde4acb2087f8541">SVF::DOTGraphTraits&lt; SVFG * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#adffdd760b14329018faabd8c523bbb01">SVF::DOTGraphTraits&lt; VFG * &gt;</a>
 </li>
 <li>getSimplifiedValue()
 : <a class="el" href="structSVF_1_1SVFUtil_1_1simplify__type.html#a8046f044d895a5c9aee85de9705161f9">SVF::SVFUtil::simplify_type&lt; From &gt;</a>
@@ -2258,10 +2287,10 @@ $(function() {
 , <a class="el" href="classSVF_1_1SVFBasicBlock.html#a66f51cd41e93ad055c4a0c2874e73fae">SVF::SVFBasicBlock</a>
 </li>
 <li>getSuccInstructions()
-: <a class="el" href="classSVF_1_1SVFInstruction.html#a6364671e823166d1192bf791a8dd412b">SVF::SVFInstruction</a>
+: <a class="el" href="classSVF_1_1SVFInstruction.html#a281d6b024afeeb96bac281eb23ce3f1f">SVF::SVFInstruction</a>
 </li>
 <li>getSuccNodes()
-: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a8164ae39b494115142767abc29cebd53">SVF::MTASVFGBuilder</a>
+: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a7033805052c8fae5cd0104fdd9e345c0">SVF::MTASVFGBuilder</a>
 </li>
 <li>getSVFArgument()
 : <a class="el" href="classSVF_1_1LLVMModuleSet.html#ad3f66b40ad360003845253f452d6a711">SVF::LLVMModuleSet</a>
@@ -2276,7 +2305,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LLVMModuleSet.html#a25821b0feeb3b08e00ec9d444520b727">SVF::LLVMModuleSet</a>
 </li>
 <li>getSVFFunction()
-: <a class="el" href="classSVF_1_1LLVMModuleSet.html#a50fc24901350df9db890ba16a9b87e33">SVF::LLVMModuleSet</a>
+: <a class="el" href="classSVF_1_1LLVMModuleSet.html#affc126c56bc3146bef55c74a2bd8bc21">SVF::LLVMModuleSet</a>
 , <a class="el" href="classSVF_1_1SVFModule.html#aadc9f4ecf876de71548338df44c3c658">SVF::SVFModule</a>
 </li>
 <li>getSVFG()
@@ -2344,7 +2373,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ThreadAPI.html#a8c6617f2df59ff166b13242060707013">SVF::ThreadAPI</a>
 </li>
 <li>getTaskFuncAtHareParForSite()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#ae72d7dcd1e0836e5d1c5a2c682abe31c">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#ab15b12637a557b53b92e9087eaf66cd6">SVF::ThreadAPI</a>
 </li>
 <li>getTCG()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a8ad9b8cb0e6300b2ffc55244e53cece6">SVF::ForkJoinAnalysis</a>
@@ -2358,7 +2387,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1TCT.html#a6ac3c91742a6e9088c4e9cf1b7d2f42e">SVF::TCT</a>
 </li>
 <li>getTCTNode()
-: <a class="el" href="classSVF_1_1TCT.html#aac9d98a33fbaa6defa3f847d0bbe76d6">SVF::TCT</a>
+: <a class="el" href="classSVF_1_1TCT.html#a7b4ad0b052e1f8b6869733eef15f4e4d">SVF::TCT</a>
 </li>
 <li>getTCTNodeNum()
 : <a class="el" href="classSVF_1_1TCT.html#af03bfeae7e09a9f62d96ba59632e588f">SVF::TCT</a>
@@ -2567,7 +2596,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFModule.html#a4dc32c583d29d74d052eaa5665b0b70e">SVF::SVFModule</a>
 </li>
 <li>global_end()
-: <a class="el" href="classSVF_1_1SVFModule.html#afa9068e662918f6649d5ca25340a3ae2">SVF::SVFModule</a>
+: <a class="el" href="classSVF_1_1SVFModule.html#a8a34164634d6ad9a7b76175907c8c44b">SVF::SVFModule</a>
 </li>
 <li>GlobalICFGNode()
 : <a class="el" href="classSVF_1_1GlobalICFGNode.html#a01e8a9844fcad1cc5faa22d8b0e0efd7">SVF::GlobalICFGNode</a>
@@ -2586,13 +2615,16 @@ $(function() {
 , <a class="el" href="classSVF_1_1WPASolver.html#abe0a304039d1bd2cfd7befd32fdcde2b">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
 <li>GraphPrinter()
-: <a class="el" href="classllvm_1_1GraphPrinter.html#a13b2efcc3e5967f60a27e107683cd448">llvm::GraphPrinter</a>
+: <a class="el" href="classSVF_1_1GraphPrinter.html#a5adb844506085e9ba66c1688f9548a25">SVF::GraphPrinter</a>
 </li>
 <li>GraphReachSolver()
 : <a class="el" href="classSVF_1_1GraphReachSolver.html#a766dc60e7ce7b24b829ba591d069c174">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a>
 </li>
 <li>graphSize()
-: <a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#a77e3e3addf59c1d6be1dba89fc3daa0c">llvm::GraphTraits&lt; SVF::GenericGraph&lt; NodeTy, EdgeTy &gt; *&gt;</a>
+: <a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#a62a8a8b1a812ebc11afebf5d3ed5c651">SVF::GenericGraphTraits&lt; SVF::GenericGraph&lt; NodeTy, EdgeTy &gt; *&gt;</a>
+</li>
+<li>GraphWriter()
+: <a class="el" href="classSVF_1_1GraphWriter.html#afd8fec784307b919d1cb89b49533600e">SVF::GraphWriter&lt; GraphType &gt;</a>
 </li>
 </ul>
 </div><!-- contents -->

package/SVF-doxygen/html/html/functions_func_h.html

@@ -281,6 +281,9 @@ $(function() {
 , <a class="el" href="classSVF_1_1ConstraintGraph.html#a5f57823a4918f6c6bfee9c18beddda51">SVF::ConstraintGraph</a>
 , <a class="el" href="classSVF_1_1DCHGraph.html#a74b2e5787f65cf3e3b4a03ebec806b91">SVF::DCHGraph</a>
 </li>
+<li>hasEdgeDestLabels()
+: <a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#a87d7b47985a849c7c4ff1c328a59c623">SVF::DefaultDOTGraphTraits</a>
+</li>
 <li>hasFlag()
 : <a class="el" href="classSVF_1_1CHNode.html#aebcbd36a7efc0dbe9b3c3f680ef033e7">SVF::CHNode</a>
 , <a class="el" href="classSVF_1_1DCHNode.html#a743bc5df582114c45d1907d62a42a39c">SVF::DCHNode</a>
@@ -321,7 +324,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ICFG.html#a16c2ed1f9e28c84669b14dc48fb3c01a">SVF::ICFG</a>
 </li>
 <li>hasIncomingEdge()
-: <a class="el" href="classSVF_1_1GenericNode.html#a06a7373b11143e709784de784fa476fe">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
+: <a class="el" href="classSVF_1_1GenericNode.html#add6b6b3bd45a9460335c5db9eda821b8">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>hasIncomingEdges()
 : <a class="el" href="classSVF_1_1SVFVar.html#a747b2c92c81d32fcd357e80d2d8fe7cc">SVF::SVFVar</a>
@@ -375,9 +378,6 @@ $(function() {
 <li>hasMU()
 : <a class="el" href="classSVF_1_1MemSSA.html#af5e356e82c3f93b65bd89908e0f465dc">SVF::MemSSA</a>
 </li>
-<li>hasName()
-: <a class="el" href="classSVF_1_1SVFValue.html#a4c46c11c4b1c0f43c80818cf7408703a">SVF::SVFValue</a>
-</li>
 <li>hasNode()
 : <a class="el" href="classSVF_1_1DCHGraph.html#a58341e23c1dc2b3e7fce190ed16a8a25">SVF::DCHGraph</a>
 </li>

package/SVF-doxygen/html/html/functions_func_i.html

@@ -345,6 +345,9 @@ $(function() {
 <li>IntraPHIVFGNode()
 : <a class="el" href="classSVF_1_1IntraPHIVFGNode.html#a65222075e49bb88601a6f1ac51cdace3">SVF::IntraPHIVFGNode</a>
 </li>
+<li>Inverse()
+: <a class="el" href="structSVF_1_1Inverse.html#a9bff8acbcb891eeaeb6a9324312358a0">SVF::Inverse&lt; GraphType &gt;</a>
+</li>
 <li>IRAnnotator()
 : <a class="el" href="classSVF_1_1IRAnnotator.html#aa54df3d6c0c20c26be90bb68546dc93d">SVF::IRAnnotator</a>
 </li>
@@ -496,9 +499,6 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFIR.html#a5d15e4b09784f438568ebe61f8aa5156">SVF::SVFIR</a>
 , <a class="el" href="classSVF_1_1SymbolTableInfo.html#a704b917b1e1dbaf9cd758fa9acc1083b">SVF::SymbolTableInfo</a>
 </li>
-<li>isConstantObjSym()
-: <a class="el" href="classSVF_1_1SymbolTableBuilder.html#ad496f1a87182411210d44c7c9266d65f">SVF::SymbolTableBuilder</a>
-</li>
 <li>isConstantOffset()
 : <a class="el" href="classSVF_1_1GepStmt.html#ab6f37c073e4755c4b8bb3ed6365687f4">SVF::GepStmt</a>
 , <a class="el" href="classSVF_1_1LocationSet.html#a4a9185282308c50f86fdf66f7060373d">SVF::LocationSet</a>
@@ -766,7 +766,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1TCT.html#ab6c2beac6b9f1e4fc1fdd4d657232389">SVF::TCT</a>
 </li>
 <li>isMemAlloc()
-: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#acd2486bcf4cf413e63afed7884a0719e">SVF::SaberCheckerAPI</a>
+: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a71cbe5fbf582d0801f604595d3dfb416">SVF::SaberCheckerAPI</a>
 </li>
 <li>isMemcpy()
 : <a class="el" href="classSVF_1_1MTAAnnotator.html#aee9e5ebac543d9a2aab511410b047898">SVF::MTAAnnotator</a>
@@ -800,9 +800,11 @@ $(function() {
 : <a class="el" href="classSVF_1_1SaberCondAllocator.html#ad5d27f65374025b6a105ea7a92cbdb50">SVF::SaberCondAllocator</a>
 </li>
 <li>isNodeHidden()
-: <a class="el" href="structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a2a467ab9b0a9ef28f88099f8ed58bba6">llvm::DOTGraphTraits&lt; ConstraintGraph * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a8593f5bcb7ff8b33bce21cfbc91e3753">llvm::DOTGraphTraits&lt; IRGraph * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a08335822e61278ca8deac60882343d7f">llvm::DOTGraphTraits&lt; SVFG * &gt;</a>
+: <a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#ae73ba55d72d5df1f70a2bfa2e12958f3">SVF::DefaultDOTGraphTraits</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a0d5e3a98ba270d18a31ae5139c2fdadd">SVF::DOTGraphTraits&lt; ConstraintGraph * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a0cf81df818df693a1ad5dba35b7c1b55">SVF::DOTGraphTraits&lt; IRGraph * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#adab07db18ee5e81b4bafeb599a43d9ab">SVF::DOTGraphTraits&lt; SVFG * &gt;</a>
+, <a class="el" href="classSVF_1_1GraphWriter.html#a8b1d80caf226c3a619c5fb03f8724f74">SVF::GraphWriter&lt; GraphType &gt;</a>
 </li>
 <li>isNonLocalObject()
 : <a class="el" href="classSVF_1_1MRGenerator.html#a2cf20660f2fd686fa3cabd046c4a10bf">SVF::MRGenerator</a>
@@ -927,6 +929,9 @@ $(function() {
 <li>isScalar()
 : <a class="el" href="classSVF_1_1DCHNode.html#a50cf99ff5cc910512c1ce3987c7395ef">SVF::DCHNode</a>
 </li>
+<li>isSimple()
+: <a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#acc82bc6228128e5bb98a6b00d6dc5f77">SVF::DefaultDOTGraphTraits</a>
+</li>
 <li>isSingleFieldObj()
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#a38fd07dd86f6187a7671f9f85565fccc">SVF::ConstraintGraph</a>
 </li>
@@ -993,11 +998,11 @@ $(function() {
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#add7daee4a0ecae479a5ab015130c8c93">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
 <li>isTailofSpan()
-: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#af8ea2da28e9818d4f9e4e9528997f023">SVF::MTASVFGBuilder</a>
+: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#ac8339229ade604f4205b111bfc99f23f">SVF::MTASVFGBuilder</a>
 </li>
 <li>isTDAcquire()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#ab8376e0cbdff101b7b981141637e3da3">SVF::LockAnalysis</a>
-, <a class="el" href="classSVF_1_1ThreadAPI.html#a742161b465774d74306df68a2bbe95e8">SVF::ThreadAPI</a>
+, <a class="el" href="classSVF_1_1ThreadAPI.html#a608f0cb60a665745748b6a6654a6e837">SVF::ThreadAPI</a>
 </li>
 <li>isTDBarWait()
 : <a class="el" href="classSVF_1_1ThreadAPI.html#af3aa58dc83dca382162df67c12169585">SVF::ThreadAPI</a>
@@ -1014,11 +1019,11 @@ $(function() {
 <li>isTDJoin()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a97151d74790b2853249d0cc94bb0904f">SVF::ForkJoinAnalysis</a>
 , <a class="el" href="classSVF_1_1MHP.html#a3352c8718f909c9fbed4ef7f5cf050a2">SVF::MHP</a>
-, <a class="el" href="classSVF_1_1ThreadAPI.html#a68b10ffa2775fe7d8c1476409c0f54ab">SVF::ThreadAPI</a>
+, <a class="el" href="classSVF_1_1ThreadAPI.html#a50e56d63c6d713ac34b4006d248f880b">SVF::ThreadAPI</a>
 </li>
 <li>isTDRelease()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#ad1184e1c2d583fa0b03bd1892152925a">SVF::LockAnalysis</a>
-, <a class="el" href="classSVF_1_1ThreadAPI.html#a1bba2e9df7a74e7e2f728267ff4bfe0f">SVF::ThreadAPI</a>
+, <a class="el" href="classSVF_1_1ThreadAPI.html#a1d5c84fd83e120820bfb3458e0231fdf">SVF::ThreadAPI</a>
 </li>
 <li>isTemplate()
 : <a class="el" href="classSVF_1_1CHNode.html#aff23fda93401c60422a4a5a08d77d749">SVF::CHNode</a>
@@ -1092,6 +1097,12 @@ $(function() {
 <li>isZeroOffsettedGepCGEdge()
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#af790af4146197682dd4f9abfad1434f6">SVF::ConstraintGraph</a>
 </li>
+<li>iter_adaptor_base()
+: <a class="el" href="classSVF_1_1iter__adaptor__base.html#ad3e91fd59221ddbdc889bc081159f611">SVF::iter_adaptor_base&lt; DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
+</li>
+<li>iter_range()
+: <a class="el" href="classSVF_1_1iter__range.html#ac3a12d857b57fbe7b81987f56655cb3b">SVF::iter_range&lt; IteratorT &gt;</a>
+</li>
 </ul>
 </div><!-- contents -->
 <!-- start footer part -->

package/SVF-doxygen/html/html/functions_func_m.html

@@ -78,6 +78,9 @@ $(function() {
 <li>malloc_fn()
 : <a class="el" href="structcJSON__Hooks.html#a71693d8b277a80a1faf8758b9589d670">cJSON_Hooks</a>
 </li>
+<li>mapped_iter()
+: <a class="el" href="classSVF_1_1mapped__iter.html#a08a4c1e7b455fc3786f6bc7e9929120a">SVF::mapped_iter&lt; ItTy, FuncTy, FuncReturnTy &gt;</a>
+</li>
 <li>mapValueToEdge()
 : <a class="el" href="classSVF_1_1IRGraph.html#a51201a8fce21b56e3f59a31af04c7b76">SVF::IRGraph</a>
 </li>

package/SVF-doxygen/html/html/functions_func_n.html

@@ -94,10 +94,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFGStat.html#a42b67371df87ba647166000912f53243">SVF::SVFGStat</a>
 </li>
 <li>nodes_begin()
-: <a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#ae71d73a9d9d6f11f96aed422757c00c3">llvm::GraphTraits&lt; SVF::GenericGraph&lt; NodeTy, EdgeTy &gt; *&gt;</a>
+: <a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#a85547b90131e445a21aa9e01ce16ec5f">SVF::GenericGraphTraits&lt; SVF::GenericGraph&lt; NodeTy, EdgeTy &gt; *&gt;</a>
 </li>
 <li>nodes_end()
-: <a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#a8397bafa216b209b6bd2bcb20fec4322">llvm::GraphTraits&lt; SVF::GenericGraph&lt; NodeTy, EdgeTy &gt; *&gt;</a>
+: <a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#a30fa44e8da9010aa43d50a53b35b2cf7">SVF::GenericGraphTraits&lt; SVF::GenericGraph&lt; NodeTy, EdgeTy &gt; *&gt;</a>
 </li>
 <li>NormalGepCGEdge()
 : <a class="el" href="classSVF_1_1NormalGepCGEdge.html#a5d81c538e3747a7b760a80129581c49f">SVF::NormalGepCGEdge</a>
@@ -125,6 +125,9 @@ $(function() {
 <li>num_generator()
 : <a class="el" href="classSVF_1_1CFLGrammar.html#a2494806a1282de3d7f6b588f7d6cc83e">SVF::CFLGrammar</a>
 </li>
+<li>numEdgeDestLabels()
+: <a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#a94f582264d3020f36a2ca3bdfbdaf81b">SVF::DefaultDOTGraphTraits</a>
+</li>
 <li>numElement()
 : <a class="el" href="classSVF_1_1CondPointsToSet.html#a8d8f9e91b62b94d876f34066de7944d4">SVF::CondPointsToSet&lt; Cond &gt;</a>
 </li>