svf-tools 1.0.782 → 1.0.783

package/SVF-doxygen/html/html/dir_a10fe8a299b5f0831d187a9a2e1308ef.html

@@ -86,8 +86,6 @@ Files</h2></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ICFG_8cpp"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="ICFG_8cpp.html">ICFG.cpp</a> <a href="ICFG_8cpp_source.html">[code]</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ICFGWrapper_8cpp"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="ICFGWrapper_8cpp.html">ICFGWrapper.cpp</a> <a href="ICFGWrapper_8cpp_source.html">[code]</a></td></tr>
-<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:IRGraph_8cpp"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="IRGraph_8cpp.html">IRGraph.cpp</a> <a href="IRGraph_8cpp_source.html">[code]</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:PTACallGraph_8cpp"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="PTACallGraph_8cpp.html">PTACallGraph.cpp</a> <a href="PTACallGraph_8cpp_source.html">[code]</a></td></tr>

package/SVF-doxygen/html/html/dir_fc0329f850c815763e0c5b05933e8d55.html

@@ -104,8 +104,6 @@ Files</h2></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ICFGStat_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="ICFGStat_8h.html">ICFGStat.h</a> <a href="ICFGStat_8h_source.html">[code]</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ICFGWrapper_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="ICFGWrapper_8h.html">ICFGWrapper.h</a> <a href="ICFGWrapper_8h_source.html">[code]</a></td></tr>
-<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:IRGraph_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="IRGraph_8h.html">IRGraph.h</a> <a href="IRGraph_8h_source.html">[code]</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:PTACallGraph_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="PTACallGraph_8h.html">PTACallGraph.h</a> <a href="PTACallGraph_8h_source.html">[code]</a></td></tr>

package/SVF-doxygen/html/html/files.html

@@ -123,18 +123,17 @@ $(function() {
 <tr id="row_0_0_4_13_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="ICFGEdge_8h_source.html"><span class="icondoc"></span></a><a class="el" href="ICFGEdge_8h.html" target="_self">ICFGEdge.h</a></td><td class="desc"></td></tr>
 <tr id="row_0_0_4_14_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="ICFGNode_8h_source.html"><span class="icondoc"></span></a><a class="el" href="ICFGNode_8h.html" target="_self">ICFGNode.h</a></td><td class="desc"></td></tr>
 <tr id="row_0_0_4_15_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="ICFGStat_8h_source.html"><span class="icondoc"></span></a><a class="el" href="ICFGStat_8h.html" target="_self">ICFGStat.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_4_16_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="ICFGWrapper_8h_source.html"><span class="icondoc"></span></a><a class="el" href="ICFGWrapper_8h.html" target="_self">ICFGWrapper.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_4_17_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="IRGraph_8h_source.html"><span class="icondoc"></span></a><a class="el" href="IRGraph_8h.html" target="_self">IRGraph.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_4_18_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="PTACallGraph_8h_source.html"><span class="icondoc"></span></a><a class="el" href="PTACallGraph_8h.html" target="_self">PTACallGraph.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_4_19_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SVFG_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SVFG_8h.html" target="_self">SVFG.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_4_20_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SVFGEdge_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SVFGEdge_8h.html" target="_self">SVFGEdge.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_4_21_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SVFGNode_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SVFGNode_8h.html" target="_self">SVFGNode.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_4_22_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SVFGOPT_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SVFGOPT_8h.html" target="_self">SVFGOPT.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_4_23_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SVFGStat_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SVFGStat_8h.html" target="_self">SVFGStat.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_4_24_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="ThreadCallGraph_8h_source.html"><span class="icondoc"></span></a><a class="el" href="ThreadCallGraph_8h.html" target="_self">ThreadCallGraph.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_4_25_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="VFG_8h_source.html"><span class="icondoc"></span></a><a class="el" href="VFG_8h.html" target="_self">VFG.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_4_26_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="VFGEdge_8h_source.html"><span class="icondoc"></span></a><a class="el" href="VFGEdge_8h.html" target="_self">VFGEdge.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_4_27_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="VFGNode_8h_source.html"><span class="icondoc"></span></a><a class="el" href="VFGNode_8h.html" target="_self">VFGNode.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_4_16_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="IRGraph_8h_source.html"><span class="icondoc"></span></a><a class="el" href="IRGraph_8h.html" target="_self">IRGraph.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_4_17_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="PTACallGraph_8h_source.html"><span class="icondoc"></span></a><a class="el" href="PTACallGraph_8h.html" target="_self">PTACallGraph.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_4_18_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SVFG_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SVFG_8h.html" target="_self">SVFG.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_4_19_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SVFGEdge_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SVFGEdge_8h.html" target="_self">SVFGEdge.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_4_20_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SVFGNode_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SVFGNode_8h.html" target="_self">SVFGNode.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_4_21_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SVFGOPT_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SVFGOPT_8h.html" target="_self">SVFGOPT.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_4_22_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SVFGStat_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SVFGStat_8h.html" target="_self">SVFGStat.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_4_23_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="ThreadCallGraph_8h_source.html"><span class="icondoc"></span></a><a class="el" href="ThreadCallGraph_8h.html" target="_self">ThreadCallGraph.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_4_24_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="VFG_8h_source.html"><span class="icondoc"></span></a><a class="el" href="VFG_8h.html" target="_self">VFG.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_4_25_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="VFGEdge_8h_source.html"><span class="icondoc"></span></a><a class="el" href="VFGEdge_8h.html" target="_self">VFGEdge.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_4_26_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="VFGNode_8h_source.html"><span class="icondoc"></span></a><a class="el" href="VFGNode_8h.html" target="_self">VFGNode.h</a></td><td class="desc"></td></tr>
 <tr id="row_0_0_5_"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span id="arr_0_0_5_" class="arrow" onclick="toggleFolder('0_0_5_')">&#9658;</span><span id="img_0_0_5_" class="iconfclosed" onclick="toggleFolder('0_0_5_')">&#160;</span><a class="el" href="dir_2c6aa13248ecb79728f0356b6f37905a.html" target="_self">MemoryModel</a></td><td class="desc"></td></tr>
 <tr id="row_0_0_5_0_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="AbstractPointsToDS_8h_source.html"><span class="icondoc"></span></a><a class="el" href="AbstractPointsToDS_8h.html" target="_self">AbstractPointsToDS.h</a></td><td class="desc"></td></tr>
 <tr id="row_0_0_5_1_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="AccessPath_8h_source.html"><span class="icondoc"></span></a><a class="el" href="AccessPath_8h.html" target="_self">AccessPath.h</a></td><td class="desc"></td></tr>
@@ -260,15 +259,14 @@ $(function() {
 <tr id="row_0_1_4_4_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="ConsG_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="ConsG_8cpp.html" target="_self">ConsG.cpp</a></td><td class="desc"></td></tr>
 <tr id="row_0_1_4_5_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="GraphWriter_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="GraphWriter_8cpp.html" target="_self">GraphWriter.cpp</a></td><td class="desc"></td></tr>
 <tr id="row_0_1_4_6_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="ICFG_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="ICFG_8cpp.html" target="_self">ICFG.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_0_1_4_7_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="ICFGWrapper_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="ICFGWrapper_8cpp.html" target="_self">ICFGWrapper.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_0_1_4_8_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="IRGraph_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="IRGraph_8cpp.html" target="_self">IRGraph.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_0_1_4_9_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="PTACallGraph_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="PTACallGraph_8cpp.html" target="_self">PTACallGraph.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_0_1_4_10_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SVFG_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="SVFG_8cpp.html" target="_self">SVFG.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_0_1_4_11_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SVFGOPT_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="SVFGOPT_8cpp.html" target="_self">SVFGOPT.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_0_1_4_12_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SVFGReadWrite_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="SVFGReadWrite_8cpp.html" target="_self">SVFGReadWrite.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_0_1_4_13_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SVFGStat_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="SVFGStat_8cpp.html" target="_self">SVFGStat.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_0_1_4_14_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="ThreadCallGraph_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="ThreadCallGraph_8cpp.html" target="_self">ThreadCallGraph.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_0_1_4_15_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="VFG_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="VFG_8cpp.html" target="_self">VFG.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_0_1_4_7_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="IRGraph_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="IRGraph_8cpp.html" target="_self">IRGraph.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_0_1_4_8_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="PTACallGraph_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="PTACallGraph_8cpp.html" target="_self">PTACallGraph.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_0_1_4_9_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SVFG_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="SVFG_8cpp.html" target="_self">SVFG.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_0_1_4_10_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SVFGOPT_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="SVFGOPT_8cpp.html" target="_self">SVFGOPT.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_0_1_4_11_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SVFGReadWrite_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="SVFGReadWrite_8cpp.html" target="_self">SVFGReadWrite.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_0_1_4_12_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SVFGStat_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="SVFGStat_8cpp.html" target="_self">SVFGStat.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_0_1_4_13_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="ThreadCallGraph_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="ThreadCallGraph_8cpp.html" target="_self">ThreadCallGraph.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_0_1_4_14_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="VFG_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="VFG_8cpp.html" target="_self">VFG.cpp</a></td><td class="desc"></td></tr>
 <tr id="row_0_1_5_" class="even"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span id="arr_0_1_5_" class="arrow" onclick="toggleFolder('0_1_5_')">&#9658;</span><span id="img_0_1_5_" class="iconfclosed" onclick="toggleFolder('0_1_5_')">&#160;</span><a class="el" href="dir_972c7d61a49accb20570f575a5ebb113.html" target="_self">MemoryModel</a></td><td class="desc"></td></tr>
 <tr id="row_0_1_5_0_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="AccessPath_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="AccessPath_8cpp.html" target="_self">AccessPath.cpp</a></td><td class="desc"></td></tr>
 <tr id="row_0_1_5_1_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="PointerAnalysis_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="PointerAnalysis_8cpp.html" target="_self">PointerAnalysis.cpp</a></td><td class="desc"></td></tr>

package/SVF-doxygen/html/html/functions.html

@@ -100,7 +100,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1VersionedFlowSensitiveStat.html#a2e3c24fbb1faaf345e6806e99a07f782">SVF::VersionedFlowSensitiveStat</a>
 </li>
 <li>_bbToNode
-: <a class="el" href="classSVF_1_1CFBasicBlockGraph.html#a9c4bab700158a9e285bcc71118a59308">SVF::CFBasicBlockGraph</a>
+: <a class="el" href="classSVF_1_1CFBasicBlockGraph.html#ab8b75e7bcafc8a1512c3e78d12bffe16">SVF::CFBasicBlockGraph</a>
 </li>
 <li>_br_cond
 : <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a76bc62f9bcaf8a0513ffd11ccc23bc3b">SVF::SVFIR2ItvExeState</a>
@@ -114,9 +114,6 @@ $(function() {
 <li>_callGraphSCC
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#a4c307d486756daa1e79595b1e9edc40a">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
-<li>_callICFGNodeWrapper
-: <a class="el" href="classSVF_1_1ICFGNodeWrapper.html#aae0a4bfca8e74af69c570f9a25a4a126">SVF::ICFGNodeWrapper</a>
-</li>
 <li>_CFBasicBlockG
 : <a class="el" href="classSVF_1_1CFBasicBlockGBuilder.html#a4a298a45e54cbaf41cdf44aeea1a63f3">SVF::CFBasicBlockGBuilder</a>
 </li>
@@ -151,9 +148,6 @@ $(function() {
 : <a class="el" href="classSVF_1_1CSC.html#a0eaf3a742fb8003b031528ee7c1c4799">SVF::CSC</a>
 , <a class="el" href="classSVF_1_1SCCDetection.html#a58b7ae8ed203311628dc5a84e1e79a5e">SVF::SCCDetection&lt; GraphType &gt;</a>
 </li>
-<li>_edgeWrapperNum
-: <a class="el" href="classSVF_1_1ICFGWrapper.html#a1217fa89fbfaa2d3eceb6dc3fa281b3e">SVF::ICFGWrapper</a>
-</li>
 <li>_endIter
 : <a class="el" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a9ffed93e0d4ae4b1431689b7fa5d6082">SVF::CondPointsToSet&lt; Cond &gt;::CondPtsSetIterator</a>
 </li>
@@ -164,12 +158,6 @@ $(function() {
 <li>_exeState
 : <a class="el" href="classSVF_1_1SymState.html#a10f55ddb22731a3c50bff12c6afdbd50">SVF::SymState</a>
 </li>
-<li>_funcToFunEntry
-: <a class="el" href="classSVF_1_1ICFGWrapper.html#a46883363840546f7b1b72c3726af9c54">SVF::ICFGWrapper</a>
-</li>
-<li>_funcToFunExit
-: <a class="el" href="classSVF_1_1ICFGWrapper.html#a4db9cf41b8fd87e950989ba26edbec5f">SVF::ICFGWrapper</a>
-</li>
 <li>_graph
 : <a class="el" href="classSVF_1_1GraphReachSolver.html#af486b67b972d797107ec82f3f7988668">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a>
 , <a class="el" href="classSVF_1_1SCCDetection.html#a2123596f26729d61b241cf468d8925d8">SVF::SCCDetection&lt; GraphType &gt;</a>
@@ -196,22 +184,15 @@ $(function() {
 : <a class="el" href="classSVF_1_1CSC.html#af58e474ee7605663fd04fce58dc029d1">SVF::CSC</a>
 , <a class="el" href="classSVF_1_1SCCDetection.html#a9105051438f60587df95a9dba618d008">SVF::SCCDetection&lt; GraphType &gt;</a>
 </li>
-<li>_icfg
-: <a class="el" href="classSVF_1_1ICFGWrapper.html#a8eb126193a64d4c5c4dbc6db1ee770c0">SVF::ICFGWrapper</a>
-</li>
 <li>_icfgEdge
-: <a class="el" href="classSVF_1_1ICFGEdgeWrapper.html#a0b964c6ea18a4bb0ce59cfb4e226287e">SVF::ICFGEdgeWrapper</a>
+: <a class="el" href="classSVF_1_1CFBasicBlockEdge.html#a90d4a0b67bea812b4258719906ba03ab">SVF::CFBasicBlockEdge</a>
 </li>
 <li>_icfgNode
 : <a class="el" href="classSVF_1_1CDGNode.html#a57d10ca10f4f5ac763f80515781b44ba">SVF::CDGNode</a>
-, <a class="el" href="classSVF_1_1ICFGNodeWrapper.html#afb1a2b1811794e94a05db2b6341e7e00">SVF::ICFGNodeWrapper</a>
 </li>
 <li>_icfgNodes
 : <a class="el" href="classSVF_1_1CFBasicBlockNode.html#a72e47a6254620d0b65a8d1182777440a">SVF::CFBasicBlockNode</a>
 </li>
-<li>_icfgWrapper
-: <a class="el" href="classSVF_1_1ICFGWrapper.html#a674cf5a565b1474045c81c33262ee95f">SVF::ICFGWrapper</a>
-</li>
 <li>_inSCC
 : <a class="el" href="classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#af3290b2321a70b3acd00927afe87911d">SVF::SCCDetection&lt; GraphType &gt;::GNodeSCCInfo</a>
 </li>
@@ -300,9 +281,6 @@ $(function() {
 : <a class="el" href="classSVF_1_1CFBasicBlockGWTO_1_1TailBuilder.html#a0a06c8bb53552030d11398955eae665c">SVF::CFBasicBlockGWTO::TailBuilder</a>
 , <a class="el" href="classSVF_1_1CFBasicBlockGWTO_1_1WTOCycleDepthBuilder.html#acf93107c39ff71f30c678edd38ec21ad">SVF::CFBasicBlockGWTO::WTOCycleDepthBuilder</a>
 </li>
-<li>_nodeWrapperNum
-: <a class="el" href="classSVF_1_1ICFGWrapper.html#a4bf30edde695c64288311491744f3447">SVF::ICFGWrapper</a>
-</li>
 <li>_num
 : <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a6f04a2b3e141e0b4df24ec6cfdf79532">SVF::CFBasicBlockGWTO</a>
 </li>
@@ -442,9 +420,6 @@ $(function() {
 <li>_rep
 : <a class="el" href="classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a99f3c75c72892cf364b808ff7e773a51">SVF::SCCDetection&lt; GraphType &gt;::GNodeSCCInfo</a>
 </li>
-<li>_retICFGNodeWrapper
-: <a class="el" href="classSVF_1_1ICFGNodeWrapper.html#a6a19151c50fdd1201970ae4152f6d70b">SVF::ICFGNodeWrapper</a>
-</li>
 <li>_S
 : <a class="el" href="classSVF_1_1CSC.html#a44dbda27203499770ed1315366218c51">SVF::CSC</a>
 </li>
@@ -463,18 +438,12 @@ $(function() {
 <li>_subNodes
 : <a class="el" href="classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a859c0fc55f0fad4f0dfbe5ed41bd7400">SVF::SCCDetection&lt; GraphType &gt;::GNodeSCCInfo</a>
 </li>
-<li>_svfBasicBlock
-: <a class="el" href="classSVF_1_1CFBasicBlockNode.html#a5cc563d66215225affbdd71d49e4a5c8">SVF::CFBasicBlockNode</a>
-</li>
 <li>_svfcontrolMap
 : <a class="el" href="classSVF_1_1CDGBuilder.html#ab24b985813e362f9470593e615c4c613">SVF::CDGBuilder</a>
 </li>
 <li>_svfdependentOnMap
 : <a class="el" href="classSVF_1_1CDGBuilder.html#a243ef2e6fa014ab5814a2200f92cc93e">SVF::CDGBuilder</a>
 </li>
-<li>_svfFunction
-: <a class="el" href="classSVF_1_1CFBasicBlockGraph.html#a3b3b8c637c6bbbbf0f199ab83d498391">SVF::CFBasicBlockGraph</a>
-</li>
 <li>_svfg
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#a74d83f06e8fc0ecedc1e1846030c99c6">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 , <a class="el" href="classSVF_1_1WPAPass.html#ac0f6d1221ee66ac17d0b201d73d7e28a">SVF::WPAPass</a>

package/SVF-doxygen/html/html/functions_a.html

@@ -302,6 +302,12 @@ $(function() {
 <li>addCDGNodesFromVector()
 : <a class="el" href="classSVF_1_1CDG.html#a3122ef8cbc3960a44b3234b73dd6561f">SVF::CDG</a>
 </li>
+<li>addCFBBEdge()
+: <a class="el" href="classSVF_1_1CFBasicBlockGraph.html#acd6a4b291c9aab8abdc466f985975d0d">SVF::CFBasicBlockGraph</a>
+</li>
+<li>addCFBBNode()
+: <a class="el" href="classSVF_1_1CFBasicBlockGraph.html#a4a7a6e00d13b4099c34a3015b4f06a67">SVF::CFBasicBlockGraph</a>
+</li>
 <li>addCFLEdge()
 : <a class="el" href="classSVF_1_1CFLGraph.html#a9eea8083dbeaf898948595b1d75cfee2">SVF::CFLGraph</a>
 </li>
@@ -547,21 +553,12 @@ $(function() {
 <li>addICFGEdge()
 : <a class="el" href="classSVF_1_1ICFG.html#a462f590c2604184d69e4efe3d85a7b5b">SVF::ICFG</a>
 </li>
-<li>addICFGEdgeWrapper()
-: <a class="el" href="classSVF_1_1ICFGWrapper.html#a070d287dc910dae3956108be85b54675">SVF::ICFGWrapper</a>
-</li>
 <li>addICFGInterEdges()
 : <a class="el" href="classSVF_1_1ICFGBuilder.html#a1dcbf68690a010d9128bfe2d0c137783">SVF::ICFGBuilder</a>
 </li>
 <li>addICFGNode()
 : <a class="el" href="classSVF_1_1ICFG.html#a15816a82d8c33a066009440dce6ee973">SVF::ICFG</a>
 </li>
-<li>addICFGNodeWrapper()
-: <a class="el" href="classSVF_1_1ICFGWrapper.html#a61ddfb8c09db9b844c362a01235f3183">SVF::ICFGWrapper</a>
-</li>
-<li>addICFGNodeWrapperFromICFGNode()
-: <a class="el" href="classSVF_1_1ICFGWrapper.html#a1f26477b83e906503a144ec9a55fbd88">SVF::ICFGWrapper</a>
-</li>
 <li>addIncomingAddrEdge()
 : <a class="el" href="classSVF_1_1ConstraintNode.html#aeff08dd512d0a97fb14069b37386e9fe">SVF::ConstraintNode</a>
 </li>
@@ -572,8 +569,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1ConstraintNode.html#a4c4e69c06507ecc26931daf2faee1819">SVF::ConstraintNode</a>
 </li>
 <li>addIncomingEdge()
-: <a class="el" href="classSVF_1_1GenericNode.html#a93d217b0c9fd8008a2989ca2b4f3fbfb">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
-, <a class="el" href="classSVF_1_1ICFGNodeWrapper.html#a44f7a8a0e20cbd84999791715d408578">SVF::ICFGNodeWrapper</a>
+: <a class="el" href="classSVF_1_1CFBasicBlockNode.html#abb240b6d11fb9fb08a2ea3d093cf800f">SVF::CFBasicBlockNode</a>
+, <a class="el" href="classSVF_1_1GenericNode.html#a93d217b0c9fd8008a2989ca2b4f3fbfb">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>addIncomingGepEdge()
 : <a class="el" href="classSVF_1_1ConstraintNode.html#aaf0b98573a980aea1151a837580a40a5">SVF::ConstraintNode</a>
@@ -720,7 +717,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFGOPT.html#a6aeeb727f1d9d917ff6cffbb88350b7a">SVF::SVFGOPT</a>
 </li>
 <li>addNode()
-: <a class="el" href="classSVF_1_1IRGraph.html#a685f1a8a35aa5dc9c298e3b0e2ccf007">SVF::IRGraph</a>
+: <a class="el" href="classSVF_1_1CFBasicBlockNode.html#a5374f4567cee38325f61940f4edbb142">SVF::CFBasicBlockNode</a>
+, <a class="el" href="classSVF_1_1IRGraph.html#a685f1a8a35aa5dc9c298e3b0e2ccf007">SVF::IRGraph</a>
 </li>
 <li>addNodeIntoWorkList()
 : <a class="el" href="classSVF_1_1WPAMinimumSolver.html#ace696b79f4a0eb5f6f83ab652894cdf7">SVF::WPAMinimumSolver&lt; GraphType &gt;</a>
@@ -781,9 +779,9 @@ $(function() {
 : <a class="el" href="classSVF_1_1ConstraintNode.html#a39554986c45191fafa063f55c7f5df67">SVF::ConstraintNode</a>
 </li>
 <li>addOutgoingEdge()
-: <a class="el" href="classSVF_1_1CFLNode.html#a7bea51b304d0aa2f3a9669252ceda46d">SVF::CFLNode</a>
+: <a class="el" href="classSVF_1_1CFBasicBlockNode.html#a59dc0f5017e4f1949e1cbf0b4f4b3a0b">SVF::CFBasicBlockNode</a>
+, <a class="el" href="classSVF_1_1CFLNode.html#a7bea51b304d0aa2f3a9669252ceda46d">SVF::CFLNode</a>
 , <a class="el" href="classSVF_1_1GenericNode.html#ae74283fbc788665296a69e56f334557b">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
-, <a class="el" href="classSVF_1_1ICFGNodeWrapper.html#a5b1d2a7e458e5c910a5e7dc5b129cbcd">SVF::ICFGNodeWrapper</a>
 </li>
 <li>addOutgoingGepEdge()
 : <a class="el" href="classSVF_1_1ConstraintNode.html#abc56843c51c00a9018473f415f73e9f6">SVF::ConstraintNode</a>
@@ -1144,7 +1142,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFModule.html#a7f2b4647c8d69c8328b63e576cb6d065">SVF::SVFModule</a>
 </li>
 <li>alias_end()
-: <a class="el" href="classSVF_1_1SVFModule.html#a3cfd0983849950099d1e8f8e0fda42bc">SVF::SVFModule</a>
+: <a class="el" href="classSVF_1_1SVFModule.html#a1bb5c818ec63d81a238f3d242a89079f">SVF::SVFModule</a>
 </li>
 <li>alias_iterator
 : <a class="el" href="classSVF_1_1SVFModule.html#abee99d29b7d4c4915a386895c755009c">SVF::SVFModule</a>
@@ -1436,7 +1434,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ConsExeState.html#a673a2b823a1c3ea46f38e3956ca143e8">SVF::ConsExeState</a>
 </li>
 <li>AssignStmt()
-: <a class="el" href="classSVF_1_1AssignStmt.html#aff4c35109790daed3c6170c985153620">SVF::AssignStmt</a>
+: <a class="el" href="classSVF_1_1AssignStmt.html#a05751cd905e9b21a80d6144072fa97fb">SVF::AssignStmt</a>
 </li>
 <li>atEnd
 : <a class="el" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#ad22614f30570619802e23715d1d5eaf0">SVF::CondPointsToSet&lt; Cond &gt;::CondPtsSetIterator</a>

package/SVF-doxygen/html/html/functions_b.html

@@ -379,12 +379,12 @@ $(function() {
 <li>bugEventStack
 : <a class="el" href="classSVF_1_1GenericBug.html#ac0b91adaf9df0d57dc2e179d962ca490">SVF::GenericBug</a>
 </li>
-<li>bugSet
-: <a class="el" href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">SVF::SVFBugReport</a>
-</li>
 <li>BugSet
 : <a class="el" href="classSVF_1_1SVFBugReport.html#a357fa4ad635d2c53693ab147f255f7ac">SVF::SVFBugReport</a>
 </li>
+<li>bugSet
+: <a class="el" href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">SVF::SVFBugReport</a>
+</li>
 <li>BugType
 : <a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecac">SVF::GenericBug</a>
 </li>
@@ -396,12 +396,11 @@ $(function() {
 </li>
 <li>build()
 : <a class="el" href="classSVF_1_1CDGBuilder.html#aeeb38d897babfeff1844c643dda8ae97">SVF::CDGBuilder</a>
-, <a class="el" href="classSVF_1_1CFBasicBlockGBuilder.html#a99e4116e416962d1a2f3eb9b09d253b5">SVF::CFBasicBlockGBuilder</a>
+, <a class="el" href="classSVF_1_1CFBasicBlockGBuilder.html#a9c830d44805689071793420deff5af1a">SVF::CFBasicBlockGBuilder</a>
 , <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a6cc2cb7b203e16b9cc8f5e121f39bd9f">SVF::CFBasicBlockGWTO</a>
 , <a class="el" href="classSVF_1_1CFLGraphBuilder.html#a27b247b46ce0b467459fcc2d53f50383">SVF::CFLGraphBuilder</a>
 , <a class="el" href="classSVF_1_1GrammarBuilder.html#a11bd8225be12650c811ba968cc3935b3">SVF::GrammarBuilder</a>
 , <a class="el" href="classSVF_1_1ICFGBuilder.html#ae66565ee32fff4ef5f0157e867333250">SVF::ICFGBuilder</a>
-, <a class="el" href="classSVF_1_1ICFGWrapperBuilder.html#a9141cf4488d61d09907869e6ae1a2bc6">SVF::ICFGWrapperBuilder</a>
 , <a class="el" href="classSVF_1_1LLVMLoopAnalysis.html#a17e4805c2db146430c58af35625a388d">SVF::LLVMLoopAnalysis</a>
 , <a class="el" href="classSVF_1_1LLVMModuleSet.html#af8edfe08027020f14b81b44362c6018e">SVF::LLVMModuleSet</a>
 , <a class="el" href="classSVF_1_1PAGBuilderFromFile.html#ac5a5058088d03fc9e0e8a0ed8b4367aa">SVF::PAGBuilderFromFile</a>
@@ -530,7 +529,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LLVMLoopAnalysis.html#ad036bf2b7354dd106edce47939b64c78">SVF::LLVMLoopAnalysis</a>
 </li>
 <li>buildSVFModule()
-: <a class="el" href="classSVF_1_1LLVMModuleSet.html#ae919327019b5014f64b754dbdeb07f75">SVF::LLVMModuleSet</a>
+: <a class="el" href="classSVF_1_1LLVMModuleSet.html#a1f8e769251c89433311eeb6f98d115e9">SVF::LLVMModuleSet</a>
 </li>
 <li>buildSymbolTable()
 : <a class="el" href="classSVF_1_1LLVMModuleSet.html#a15e97e3f2ba62d3fe444bb17cd637dbd">SVF::LLVMModuleSet</a>
@@ -547,12 +546,12 @@ $(function() {
 <li>buildVTables()
 : <a class="el" href="classSVF_1_1DCHGraph.html#a1215db390515a30fbc416fb14d2e863f">SVF::DCHGraph</a>
 </li>
-<li>bv
-: <a class="el" href="classSVF_1_1PointsTo.html#a668be9270539fdfc5dbf3efb9cc17587">SVF::PointsTo</a>
-</li>
 <li>BV
 : <a class="el" href="classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923eafd6e0658d0eb4cdba368fa8e77d4d892">SVF::PointsTo</a>
 </li>
+<li>bv
+: <a class="el" href="classSVF_1_1PointsTo.html#a668be9270539fdfc5dbf3efb9cc17587">SVF::PointsTo</a>
+</li>
 <li>bv2int
 : <a class="el" href="classSVF_1_1BoundedZ3Expr.html#a5ee6157debdd7b34108d7375c8b6bef1">SVF::BoundedZ3Expr</a>
 , <a class="el" href="classSVF_1_1SingleAbsValue.html#a9e6498ae2ea330a9eb10bbc2030014b7">SVF::SingleAbsValue</a>

package/SVF-doxygen/html/html/functions_c.html

@@ -435,14 +435,14 @@ $(function() {
 , <a class="el" href="classSVF_1_1TCTEdge.html#a18644ee9ae37b03254afb077dca5494f">SVF::TCTEdge</a>
 </li>
 <li>CFBasicBlockEdge()
-: <a class="el" href="classSVF_1_1CFBasicBlockEdge.html#abf8dc2f35d28b630f875104ed05512af">SVF::CFBasicBlockEdge</a>
+: <a class="el" href="classSVF_1_1CFBasicBlockEdge.html#a19282dcbe8b0cb22471f72cfc8469f45">SVF::CFBasicBlockEdge</a>
 </li>
 <li>CFBasicBlockGBuilder()
-: <a class="el" href="classSVF_1_1CFBasicBlockGBuilder.html#a24c285ef9522d889397519f91f1b91fd">SVF::CFBasicBlockGBuilder</a>
+: <a class="el" href="classSVF_1_1CFBasicBlockGBuilder.html#a61d70fb0d2181df3c90152e9226db947">SVF::CFBasicBlockGBuilder</a>
 , <a class="el" href="classSVF_1_1CFBasicBlockGraph.html#a7ce096ffa0d05b095e3dbb649917265f">SVF::CFBasicBlockGraph</a>
 </li>
 <li>CFBasicBlockGraph()
-: <a class="el" href="classSVF_1_1CFBasicBlockGraph.html#ad042f65d6b9ce50db37e0c2584228fa3">SVF::CFBasicBlockGraph</a>
+: <a class="el" href="classSVF_1_1CFBasicBlockGraph.html#afad7ee1f21bf2983d4aa40cccf368137">SVF::CFBasicBlockGraph</a>
 </li>
 <li>CFBasicBlockGWTO()
 : <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#ab4049975aad5b59c31bb5501ff7465c8">SVF::CFBasicBlockGWTO</a>
@@ -463,11 +463,15 @@ $(function() {
 : <a class="el" href="classSVF_1_1CFBasicBlockGWTONode.html#a06da59237001e5b4436eae7bf7dda429">SVF::CFBasicBlockGWTONode</a>
 </li>
 <li>CFBasicBlockNode()
-: <a class="el" href="classSVF_1_1CFBasicBlockNode.html#a23b45345db53640e342c28778d44c38e">SVF::CFBasicBlockNode</a>
+: <a class="el" href="classSVF_1_1CFBasicBlockNode.html#a34ef44c3ffad24255a72c8ecf2f2919e">SVF::CFBasicBlockNode</a>
 </li>
 <li>CFBasicBlockNodes
 : <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#ae4fd19b6216a43afdac4edae42f22a26">SVF::CFBasicBlockGWTO</a>
 </li>
+<li>CFBBEdgeSetTy
+: <a class="el" href="classSVF_1_1CFBasicBlockEdge.html#a91416cbac7ad797a9b4ee67f93fbd8f4">SVF::CFBasicBlockEdge</a>
+, <a class="el" href="classSVF_1_1CFBasicBlockNode.html#aefd060ec49a9e2146a7aebdc5e8dfbf6">SVF::CFBasicBlockNode</a>
+</li>
 <li>CFGNormalizer()
 : <a class="el" href="classSVF_1_1CFGNormalizer.html#ab1c19d6347ed694f52ded7defafeffe3">SVF::CFGNormalizer</a>
 </li>
@@ -739,7 +743,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1CallDirSVFGEdge.html#a977cb840fbed0b89b445a1b7384d3352">SVF::CallDirSVFGEdge</a>
 , <a class="el" href="classSVF_1_1CallICFGNode.html#afb8bed9242cea8c927d14028526c19b9">SVF::CallICFGNode</a>
 , <a class="el" href="classSVF_1_1CallIndSVFGEdge.html#a9da25118e904862eb1f39231c2b191bd">SVF::CallIndSVFGEdge</a>
-, <a class="el" href="classSVF_1_1CallMU.html#af8a0defe4c5b36893e155a4b074c0f30">SVF::CallMU&lt; Cond &gt;</a>
+, <a class="el" href="classSVF_1_1CallMU.html#a27c70bc7543eeb2fcf64f139481d3bf9">SVF::CallMU&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1CallPE.html#a6df0149f79122c5a7d517f75d0235e73">SVF::CallPE</a>
 , <a class="el" href="classSVF_1_1CFBasicBlockGWTOCycle.html#acce909c4c082749affec7b0d3ceb394a">SVF::CFBasicBlockGWTOCycle</a>
 , <a class="el" href="classSVF_1_1CFBasicBlockGWTONode.html#a2d94a3f6bd93d6b3806ec03de3eb1576">SVF::CFBasicBlockGWTONode</a>
@@ -963,7 +967,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1PersistentDFPTData.html#a5ac4485ccff838ea9cf28751d1206e10">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentDiffPTData.html#a4a55644f32cf3ccddf85541f61bef5ff">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentPTData.html#a6d2e2837d18dc66c92d59d0729bd7c91">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a522af0d1727809479b1122b075b0845e">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a64e3dbd840184eb8e829c4d003b5b4cf">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 , <a class="el" href="classSVF_1_1PTData.html#a03c783b9a1faac0aee3e22361df594ce">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1VersionedPTData.html#a164436121f658ce0967a88bb84ecf220">SVF::VersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 </li>
@@ -1009,7 +1013,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a98fd43afc6615f418d2d96209eb31828">SVF::VFGNode</a>
 </li>
 <li>CmpStmt()
-: <a class="el" href="classSVF_1_1CmpStmt.html#a6e11c486468a8fe0f7aa38a0546b8328">SVF::CmpStmt</a>
+: <a class="el" href="classSVF_1_1CmpStmt.html#a5cf03d97a8e21b09946b0842c6fde54d">SVF::CmpStmt</a>
 </li>
 <li>CmpVFGNode()
 : <a class="el" href="classSVF_1_1CmpVFGNode.html#adcb91fca3c1cd9e23c8996dd825504ac">SVF::CmpVFGNode</a>
@@ -1180,7 +1184,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1AccessPath.html#ae746362c42da05a641ae062658e40651">SVF::AccessPath</a>
 </li>
 <li>computeDDAPts()
-: <a class="el" href="classSVF_1_1ContextDDA.html#a337eb89cc5f31741ad8d840d9f284ca5">SVF::ContextDDA</a>
+: <a class="el" href="classSVF_1_1ContextDDA.html#ae0f3b07267ded5f0ee879c39effff864">SVF::ContextDDA</a>
 , <a class="el" href="classSVF_1_1FlowDDA.html#a113faa56ee75eff39da19fd4b47a47e0">SVF::FlowDDA</a>
 , <a class="el" href="classSVF_1_1PointerAnalysis.html#a0bb90b398ef85504bcd816ae57bee01d">SVF::PointerAnalysis</a>
 </li>
@@ -1282,7 +1286,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a8a3d10d0aaf4708e7e44bedc6be077e0">SVF::CondPointsToSet&lt; Cond &gt;::CondPtsSetIterator</a>
 </li>
 <li>CondStdSet()
-: <a class="el" href="classSVF_1_1CondStdSet.html#a3f1885562bb34c3ccbd15117788725e0">SVF::CondStdSet&lt; Element &gt;</a>
+: <a class="el" href="classSVF_1_1CondStdSet.html#a1f3e8aa09ca8e7f252525e35c4886c5b">SVF::CondStdSet&lt; Element &gt;</a>
 </li>
 <li>CondVar()
 : <a class="el" href="classSVF_1_1CondVar.html#a93101c4401ed4ced33d64b5726e9cd69">SVF::CondVar&lt; Cond &gt;</a>
@@ -1366,7 +1370,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1WPAPass.html#a4505a1882956feda3cf83c788149394da498ba80d25733b291f391a94500dd4c7">SVF::WPAPass</a>
 </li>
 <li>ConsExeState()
-: <a class="el" href="classSVF_1_1ConsExeState.html#ae2868bff69d249ff28daff28fd3c86ea">SVF::ConsExeState</a>
+: <a class="el" href="classSVF_1_1ConsExeState.html#a2c661a9a6742cd091dccabee30314f89">SVF::ConsExeState</a>
 </li>
 <li>const_alias_iterator
 : <a class="el" href="classSVF_1_1SVFModule.html#a600d5cf02c750f78b461fcabc3e29f7f">SVF::SVFModule</a>
@@ -1389,6 +1393,8 @@ $(function() {
 <li>const_iterator
 : <a class="el" href="classSVF_1_1CDG.html#a35b7418b3f2f2851c18227fa10e30f4e">SVF::CDG</a>
 , <a class="el" href="classSVF_1_1CDGNode.html#aca4257495b32baba3eab1ee841e66d78">SVF::CDGNode</a>
+, <a class="el" href="classSVF_1_1CFBasicBlockEdge.html#a99f9b76dce6bdbfca228273eece2b923">SVF::CFBasicBlockEdge</a>
+, <a class="el" href="classSVF_1_1CFBasicBlockNode.html#a145051f43e03acd6ce9923a5c06150bc">SVF::CFBasicBlockNode</a>
 , <a class="el" href="classSVF_1_1CondStdSet.html#a55152b7749868cc25f1c3c33ea57a650">SVF::CondStdSet&lt; Element &gt;</a>
 , <a class="el" href="classSVF_1_1ConstraintNode.html#ab1868f04de44f6fe1e9ac14f3d4ee56b">SVF::ConstraintNode</a>
 , <a class="el" href="classSVF_1_1ContextCond.html#a101bc917679a9d8ee7badb3c9e8c12e3">SVF::ContextCond</a>
@@ -1396,10 +1402,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1GenericGraph.html#a5dfa3f178d4abf37177d0d74ff4c6a97">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a>
 , <a class="el" href="classSVF_1_1GenericNode.html#ab6dc1ae41ae23b383f8add474caa7429">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 , <a class="el" href="classSVF_1_1ICFG.html#a94e4de04d8da10a19ab65c22e257b82b">SVF::ICFG</a>
-, <a class="el" href="classSVF_1_1ICFGEdgeWrapper.html#a6e5c30338b5641d47b6abd0f96564f72">SVF::ICFGEdgeWrapper</a>
 , <a class="el" href="classSVF_1_1ICFGNode.html#ac16c5a3227a44d3b9f7c3209156d9df2">SVF::ICFGNode</a>
-, <a class="el" href="classSVF_1_1ICFGNodeWrapper.html#a33d8e82c7e951d64367945bd72e4587a">SVF::ICFGNodeWrapper</a>
-, <a class="el" href="classSVF_1_1ICFGWrapper.html#a56f7b2ec7e2e0fc5d47a6ff4c3e654ff">SVF::ICFGWrapper</a>
 , <a class="el" href="classSVF_1_1POCRSolver.html#a08d86d5ab5fa57da6217480611f057a2">SVF::POCRSolver</a>
 , <a class="el" href="classSVF_1_1PointsTo.html#ad37fe6c7bb8b509a837348a12cab80c1">SVF::PointsTo</a>
 , <a class="el" href="classSVF_1_1PTACallGraphNode.html#adf17f5699c9f40ffc8837e813e3af3ec">SVF::PTACallGraphNode</a>
@@ -1498,7 +1501,7 @@ $(function() {
 : <a class="el" href="structparse__buffer.html#a52ee1184576baa3d5171059ab0e942de">parse_buffer</a>
 </li>
 <li>contentToJson()
-: <a class="el" href="classSVF_1_1SVFIRWriter.html#a102dffad6dc695c7edf64d3e25a71c42">SVF::SVFIRWriter</a>
+: <a class="el" href="classSVF_1_1SVFIRWriter.html#a92792f6766cdca52289cc96270ea832c">SVF::SVFIRWriter</a>
 </li>
 <li>context
 : <a class="el" href="classSVF_1_1ContextCond.html#ac431eae00244cc7792b6e7e00634d535">SVF::ContextCond</a>
@@ -1509,7 +1512,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LeakChecker.html#a42f54433e5ca60928f3c329ab545842da1524077f4425b7e2d6cc32917a02c356">SVF::LeakChecker</a>
 </li>
 <li>ContextCond()
-: <a class="el" href="classSVF_1_1ContextCond.html#a5f31275f74ff9eb5734481f36275c6d9">SVF::ContextCond</a>
+: <a class="el" href="classSVF_1_1ContextCond.html#a9b81bf11679645d32d50b91bdb6d2dc1">SVF::ContextCond</a>
 </li>
 <li>ContextDDA()
 : <a class="el" href="classSVF_1_1ContextDDA.html#ac73213825d188fb4d1105ddc472fde05">SVF::ContextDDA</a>
@@ -1538,19 +1541,19 @@ $(function() {
 : <a class="el" href="classSVF_1_1ConstraintNode.html#a12df688fd9b5b7617daadc7bee0fff40">SVF::ConstraintNode</a>
 </li>
 <li>CopyStmt()
-: <a class="el" href="classSVF_1_1CopyStmt.html#a69b179ef052408034786d32a52c52389">SVF::CopyStmt</a>
+: <a class="el" href="classSVF_1_1CopyStmt.html#aa965d58e96e8729d16d66387ee09eac7">SVF::CopyStmt</a>
 </li>
 <li>copyTime
 : <a class="el" href="classSVF_1_1FlowSensitive.html#a888d6334e5e226c634680e4c0674dcfb">SVF::FlowSensitive</a>
 </li>
 <li>CopyVFGNode()
-: <a class="el" href="classSVF_1_1CopyVFGNode.html#aee4a402546b3df92412a5252c9608818">SVF::CopyVFGNode</a>
+: <a class="el" href="classSVF_1_1CopyVFGNode.html#ac04930bac7b31563ce761779ff1dbf91">SVF::CopyVFGNode</a>
 </li>
 <li>CoreBitVector()
-: <a class="el" href="classSVF_1_1CoreBitVector.html#a57b3db689583b652ab1426c04a66c4ae">SVF::CoreBitVector</a>
+: <a class="el" href="classSVF_1_1CoreBitVector.html#a93f42d767c99bdf788dc4df4881751c5">SVF::CoreBitVector</a>
 </li>
 <li>CoreBitVectorIterator()
-: <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#abe0289ad45158397b6950afc920f34ef">SVF::CoreBitVector::CoreBitVectorIterator</a>
+: <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a66b4a85853791c4e1537a4bdbc7a2f90">SVF::CoreBitVector::CoreBitVectorIterator</a>
 </li>
 <li>count()
 : <a class="el" href="classSVF_1_1CondStdSet.html#aa19e82905537f3ae41f64fce070ee555">SVF::CondStdSet&lt; Element &gt;</a>
@@ -1577,7 +1580,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1MRSVFGNode.html#a640153ff592bf0058882a0d05a76b1ba">SVF::MRSVFGNode</a>
 </li>
 <li>cptsBegin()
-: <a class="el" href="classSVF_1_1CondPointsToSet.html#ad26570b94c56d6d2ae1cd5093ac66670">SVF::CondPointsToSet&lt; Cond &gt;</a>
+: <a class="el" href="classSVF_1_1CondPointsToSet.html#acc5c77fbd1a6133d5e80c3f587d49fb3">SVF::CondPointsToSet&lt; Cond &gt;</a>
 </li>
 <li>cptsEnd()
 : <a class="el" href="classSVF_1_1CondPointsToSet.html#aa4c47630b9a06d70375daf5e9237303d">SVF::CondPointsToSet&lt; Cond &gt;</a>
@@ -1854,7 +1857,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1Options.html#a3bbd106de519cb8d00f33e82f14d279b">SVF::Options</a>
 </li>
 <li>CxtDPItem()
-: <a class="el" href="classSVF_1_1CxtDPItem.html#a1c2b14fd60bd4902bfc520c9ba08c6e8">SVF::CxtDPItem</a>
+: <a class="el" href="classSVF_1_1CxtDPItem.html#ab2adb60f776ed2cde73253ff367e14cf">SVF::CxtDPItem</a>
 </li>
 <li>cxtJoinInLoop
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a63da48d338683ec95709a6bd95238707">SVF::ForkJoinAnalysis</a>
@@ -1874,12 +1877,12 @@ $(function() {
 <li>CxtLockProcVec
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a058f3518f0b861c46c99095922e373f0">SVF::LockAnalysis</a>
 </li>
-<li>CxtLockSet
-: <a class="el" href="classSVF_1_1LockAnalysis.html#a0716c155b42b3ae7a6c8d7593bb6ac83">SVF::LockAnalysis</a>
-</li>
 <li>cxtLockset
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a3081e7c7165908ed4aa282f398c5236d">SVF::LockAnalysis</a>
 </li>
+<li>CxtLockSet
+: <a class="el" href="classSVF_1_1LockAnalysis.html#a0716c155b42b3ae7a6c8d7593bb6ac83">SVF::LockAnalysis</a>
+</li>
 <li>cxtLockSet
 : <a class="el" href="classSVF_1_1LockResultValidator.html#a51e6f48be9f2a65b390e4e0350eb12a9">SVF::LockResultValidator</a>
 </li>
@@ -1889,14 +1892,14 @@ $(function() {
 <li>CxtLockToLockSet
 : <a class="el" href="classSVF_1_1LockAnalysis.html#ab782401c6521a2810e28ac602710ac22">SVF::LockAnalysis</a>
 </li>
-<li>CxtLockToSpan
-: <a class="el" href="classSVF_1_1LockAnalysis.html#a7335d5b13a6cb1dcde9706f30b8a4826">SVF::LockAnalysis</a>
-</li>
 <li>cxtLocktoSpan
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a2fd796765f16cc7094f36d68c0ff70a0">SVF::LockAnalysis</a>
 </li>
+<li>CxtLockToSpan
+: <a class="el" href="classSVF_1_1LockAnalysis.html#a7335d5b13a6cb1dcde9706f30b8a4826">SVF::LockAnalysis</a>
+</li>
 <li>CxtProc()
-: <a class="el" href="classSVF_1_1CxtProc.html#ac1ca3a049f6d0f8a0548a153cc903aa0">SVF::CxtProc</a>
+: <a class="el" href="classSVF_1_1CxtProc.html#a25a80c93a6aeb1112a846d6c588364cc">SVF::CxtProc</a>
 </li>
 <li>cxts
 : <a class="el" href="classSVF_1_1LLVMModuleSet.html#ad06a92bf8bc556de742e0ffdf79ffafe">SVF::LLVMModuleSet</a>
@@ -1905,7 +1908,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ContextCond.html#a20f15a1661f928ab80bacaf8f5c497b1">SVF::ContextCond</a>
 </li>
 <li>CxtStmt()
-: <a class="el" href="classSVF_1_1CxtStmt.html#ad976db5b794019bb68ccc9a35349fb41">SVF::CxtStmt</a>
+: <a class="el" href="classSVF_1_1CxtStmt.html#a1fa357ea71dee45deac94141ef8cdd32">SVF::CxtStmt</a>
 </li>
 <li>CxtStmtDPItem()
 : <a class="el" href="classSVF_1_1CxtStmtDPItem.html#a5c3bd4e8f26bfdc863baeb1241a557d1">SVF::CxtStmtDPItem&lt; LocCond &gt;</a>
@@ -1948,7 +1951,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1LockAnalysis.html#ae2218961699a4b4385f47fb039005dbe">SVF::LockAnalysis</a>
 </li>
 <li>CxtThread()
-: <a class="el" href="classSVF_1_1CxtThread.html#ac6af46ba08bbad4454358298fd2557d3">SVF::CxtThread</a>
+: <a class="el" href="classSVF_1_1CxtThread.html#ad05fb5464900d6d444c1fd3a6e0d9280">SVF::CxtThread</a>
 </li>
 <li>CxtThreadProc()
 : <a class="el" href="classSVF_1_1CxtThreadProc.html#acce14996e41ae55ae8e27b29408ef7c8">SVF::CxtThreadProc</a>
@@ -1960,7 +1963,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1TCT.html#a23df579f18d4ea4b0f47272091ddc43e">SVF::TCT</a>
 </li>
 <li>CxtThreadStmt()
-: <a class="el" href="classSVF_1_1CxtThreadStmt.html#ab5487e3f330bb18685281c5effcecfbb">SVF::CxtThreadStmt</a>
+: <a class="el" href="classSVF_1_1CxtThreadStmt.html#a5a4392f444e5fe64a1387c134935893d">SVF::CxtThreadStmt</a>
 </li>
 <li>CxtThreadStmtSet
 : <a class="el" href="classSVF_1_1MHP.html#a28031502c4f8f0d4012c0827c57efb32">SVF::MHP</a>