svf-tools 1.0.481 → 1.0.482

package/SVF-doxygen/html/html/dir_66541c162fd98954e2c32089ba9a721f.html

@@ -91,14 +91,10 @@ Files</h2></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:FlowSensitiveStat_8cpp"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="FlowSensitiveStat_8cpp.html">FlowSensitiveStat.cpp</a> <a href="FlowSensitiveStat_8cpp_source.html">[code]</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:FlowSensitiveTBHC_8cpp"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="FlowSensitiveTBHC_8cpp.html">FlowSensitiveTBHC.cpp</a> <a href="FlowSensitiveTBHC_8cpp_source.html">[code]</a></td></tr>
-<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:Steensgaard_8cpp"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="Steensgaard_8cpp.html">Steensgaard.cpp</a> <a href="Steensgaard_8cpp_source.html">[code]</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:TypeAnalysis_8cpp"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="TypeAnalysis_8cpp.html">TypeAnalysis.cpp</a> <a href="TypeAnalysis_8cpp_source.html">[code]</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:TypeBasedHeapCloning_8cpp"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="TypeBasedHeapCloning_8cpp.html">TypeBasedHeapCloning.cpp</a> <a href="TypeBasedHeapCloning_8cpp_source.html">[code]</a></td></tr>
-<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:VersionedFlowSensitive_8cpp"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="VersionedFlowSensitive_8cpp.html">VersionedFlowSensitive.cpp</a> <a href="VersionedFlowSensitive_8cpp_source.html">[code]</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:VersionedFlowSensitiveStat_8cpp"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="VersionedFlowSensitiveStat_8cpp.html">VersionedFlowSensitiveStat.cpp</a> <a href="VersionedFlowSensitiveStat_8cpp_source.html">[code]</a></td></tr>

package/SVF-doxygen/html/html/dir_ea25a8a5b2904424d8a51916f8b475b2.html

@@ -77,14 +77,10 @@ Files</h2></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:FlowSensitive_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="FlowSensitive_8h.html">FlowSensitive.h</a> <a href="FlowSensitive_8h_source.html">[code]</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:FlowSensitiveTBHC_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="FlowSensitiveTBHC_8h.html">FlowSensitiveTBHC.h</a> <a href="FlowSensitiveTBHC_8h_source.html">[code]</a></td></tr>
-<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:Steensgaard_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="Steensgaard_8h.html">Steensgaard.h</a> <a href="Steensgaard_8h_source.html">[code]</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:TypeAnalysis_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="TypeAnalysis_8h.html">TypeAnalysis.h</a> <a href="TypeAnalysis_8h_source.html">[code]</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:TypeBasedHeapCloning_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="TypeBasedHeapCloning_8h.html">TypeBasedHeapCloning.h</a> <a href="TypeBasedHeapCloning_8h_source.html">[code]</a></td></tr>
-<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:VersionedFlowSensitive_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="VersionedFlowSensitive_8h.html">VersionedFlowSensitive.h</a> <a href="VersionedFlowSensitive_8h_source.html">[code]</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:WPAFSSolver_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="WPAFSSolver_8h.html">WPAFSSolver.h</a> <a href="WPAFSSolver_8h_source.html">[code]</a></td></tr>

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

@@ -204,15 +204,13 @@ $(function() {
 <tr id="row_0_11_1_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="AndersenSFR_8h_source.html"><span class="icondoc"></span></a><a class="el" href="AndersenSFR_8h.html" target="_self">AndersenSFR.h</a></td><td class="desc"></td></tr>
 <tr id="row_0_11_2_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="CSC_8h_source.html"><span class="icondoc"></span></a><a class="el" href="CSC_8h.html" target="_self">CSC.h</a></td><td class="desc"></td></tr>
 <tr id="row_0_11_3_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="FlowSensitive_8h_source.html"><span class="icondoc"></span></a><a class="el" href="FlowSensitive_8h.html" target="_self">FlowSensitive.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_11_4_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="FlowSensitiveTBHC_8h_source.html"><span class="icondoc"></span></a><a class="el" href="FlowSensitiveTBHC_8h.html" target="_self">FlowSensitiveTBHC.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_11_5_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="Steensgaard_8h_source.html"><span class="icondoc"></span></a><a class="el" href="Steensgaard_8h.html" target="_self">Steensgaard.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_11_6_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="TypeAnalysis_8h_source.html"><span class="icondoc"></span></a><a class="el" href="TypeAnalysis_8h.html" target="_self">TypeAnalysis.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_11_7_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="TypeBasedHeapCloning_8h_source.html"><span class="icondoc"></span></a><a class="el" href="TypeBasedHeapCloning_8h.html" target="_self">TypeBasedHeapCloning.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_11_8_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="VersionedFlowSensitive_8h_source.html"><span class="icondoc"></span></a><a class="el" href="VersionedFlowSensitive_8h.html" target="_self">VersionedFlowSensitive.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_11_9_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="WPAFSSolver_8h_source.html"><span class="icondoc"></span></a><a class="el" href="WPAFSSolver_8h.html" target="_self">WPAFSSolver.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_11_10_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="WPAPass_8h_source.html"><span class="icondoc"></span></a><a class="el" href="WPAPass_8h.html" target="_self">WPAPass.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_11_11_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="WPASolver_8h_source.html"><span class="icondoc"></span></a><a class="el" href="WPASolver_8h.html" target="_self">WPASolver.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_11_12_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="WPAStat_8h_source.html"><span class="icondoc"></span></a><a class="el" href="WPAStat_8h.html" target="_self">WPAStat.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_11_4_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="Steensgaard_8h_source.html"><span class="icondoc"></span></a><a class="el" href="Steensgaard_8h.html" target="_self">Steensgaard.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_11_5_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="TypeAnalysis_8h_source.html"><span class="icondoc"></span></a><a class="el" href="TypeAnalysis_8h.html" target="_self">TypeAnalysis.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_11_6_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="VersionedFlowSensitive_8h_source.html"><span class="icondoc"></span></a><a class="el" href="VersionedFlowSensitive_8h.html" target="_self">VersionedFlowSensitive.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_11_7_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="WPAFSSolver_8h_source.html"><span class="icondoc"></span></a><a class="el" href="WPAFSSolver_8h.html" target="_self">WPAFSSolver.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_11_8_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="WPAPass_8h_source.html"><span class="icondoc"></span></a><a class="el" href="WPAPass_8h.html" target="_self">WPAPass.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_11_9_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="WPASolver_8h_source.html"><span class="icondoc"></span></a><a class="el" href="WPASolver_8h.html" target="_self">WPASolver.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_11_10_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="WPAStat_8h_source.html"><span class="icondoc"></span></a><a class="el" href="WPAStat_8h.html" target="_self">WPAStat.h</a></td><td class="desc"></td></tr>
 <tr id="row_1_"><td class="entry"><span style="width:0px;display:inline-block;">&#160;</span><span id="arr_1_" class="arrow" onclick="toggleFolder('1_')">&#9660;</span><span id="img_1_" class="iconfopen" onclick="toggleFolder('1_')">&#160;</span><a class="el" href="dir_97aefd0d527b934f1d99a682da8fe6a9.html" target="_self">lib</a></td><td class="desc"></td></tr>
 <tr id="row_1_0_" class="even"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_1_0_" class="arrow" onclick="toggleFolder('1_0_')">&#9658;</span><span id="img_1_0_" class="iconfclosed" onclick="toggleFolder('1_0_')">&#160;</span><a class="el" href="dir_98f9a352f241e0e917d4efaa4086f6e8.html" target="_self">CFL</a></td><td class="desc"></td></tr>
 <tr id="row_1_0_0_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="CFGNormalizer_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="CFGNormalizer_8cpp.html" target="_self">CFGNormalizer.cpp</a></td><td class="desc"></td></tr>
@@ -326,13 +324,11 @@ $(function() {
 <tr id="row_1_11_8_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="CSC_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="CSC_8cpp.html" target="_self">CSC.cpp</a></td><td class="desc"></td></tr>
 <tr id="row_1_11_9_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="FlowSensitive_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="FlowSensitive_8cpp.html" target="_self">FlowSensitive.cpp</a></td><td class="desc"></td></tr>
 <tr id="row_1_11_10_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="FlowSensitiveStat_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="FlowSensitiveStat_8cpp.html" target="_self">FlowSensitiveStat.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_1_11_11_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="FlowSensitiveTBHC_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="FlowSensitiveTBHC_8cpp.html" target="_self">FlowSensitiveTBHC.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_1_11_12_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="Steensgaard_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="Steensgaard_8cpp.html" target="_self">Steensgaard.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_1_11_13_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="TypeAnalysis_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="TypeAnalysis_8cpp.html" target="_self">TypeAnalysis.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_1_11_14_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="TypeBasedHeapCloning_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="TypeBasedHeapCloning_8cpp.html" target="_self">TypeBasedHeapCloning.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_1_11_15_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="VersionedFlowSensitive_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="VersionedFlowSensitive_8cpp.html" target="_self">VersionedFlowSensitive.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_1_11_16_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="VersionedFlowSensitiveStat_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="VersionedFlowSensitiveStat_8cpp.html" target="_self">VersionedFlowSensitiveStat.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_1_11_17_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="WPAPass_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="WPAPass_8cpp.html" target="_self">WPAPass.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_1_11_11_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="Steensgaard_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="Steensgaard_8cpp.html" target="_self">Steensgaard.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_1_11_12_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="TypeAnalysis_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="TypeAnalysis_8cpp.html" target="_self">TypeAnalysis.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_1_11_13_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="VersionedFlowSensitive_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="VersionedFlowSensitive_8cpp.html" target="_self">VersionedFlowSensitive.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_1_11_14_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="VersionedFlowSensitiveStat_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="VersionedFlowSensitiveStat_8cpp.html" target="_self">VersionedFlowSensitiveStat.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_1_11_15_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="WPAPass_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="WPAPass_8cpp.html" target="_self">WPAPass.cpp</a></td><td class="desc"></td></tr>
 <tr id="row_2_" class="even"><td class="entry"><span style="width:0px;display:inline-block;">&#160;</span><span id="arr_2_" class="arrow" onclick="toggleFolder('2_')">&#9660;</span><span id="img_2_" class="iconfopen" onclick="toggleFolder('2_')">&#160;</span><a class="el" href="dir_4eeb864c4eec08c7d6b9d3b0352cfdde.html" target="_self">tools</a></td><td class="desc"></td></tr>
 <tr id="row_2_0_"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_2_0_" class="arrow" onclick="toggleFolder('2_0_')">&#9658;</span><span id="img_2_0_" class="iconfclosed" onclick="toggleFolder('2_0_')">&#160;</span><a class="el" href="dir_e6cca4e14eddbb730e0cbe3cab632ce5.html" target="_self">CFL</a></td><td class="desc"></td></tr>
 <tr id="row_2_0_0_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="cfl_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="cfl_8cpp.html" target="_self">cfl.cpp</a></td><td class="desc"></td></tr>

package/SVF-doxygen/html/html/functions_0x7e.html

@@ -217,9 +217,6 @@ $(function() {
 <li>~FlowSensitiveStat()
 : <a class="el" href="classSVF_1_1FlowSensitiveStat.html#a308c187020098a7f421592e8baa98967">SVF::FlowSensitiveStat</a>
 </li>
-<li>~FlowSensitiveTBHC()
-: <a class="el" href="classSVF_1_1FlowSensitiveTBHC.html#af790272dd41bb5960626c6ffd0acdc0d">SVF::FlowSensitiveTBHC</a>
-</li>
 <li>~FSMPTA()
 : <a class="el" href="classSVF_1_1FSMPTA.html#a6850ae40363e49f7167a23aee3cd63fb">SVF::FSMPTA</a>
 </li>
@@ -478,9 +475,6 @@ $(function() {
 <li>~TypeAnalysis()
 : <a class="el" href="classSVF_1_1TypeAnalysis.html#a6375b5601feda2fb22259ecce08548fc">SVF::TypeAnalysis</a>
 </li>
-<li>~TypeBasedHeapCloning()
-: <a class="el" href="classSVF_1_1TypeBasedHeapCloning.html#a8792388cc2fce53db9eea7902723d640">SVF::TypeBasedHeapCloning</a>
-</li>
 <li>~VersionedFlowSensitiveStat()
 : <a class="el" href="classSVF_1_1VersionedFlowSensitiveStat.html#a57190355942c2f4f839a1a3fd8db9d32">SVF::VersionedFlowSensitiveStat</a>
 </li>

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

@@ -249,18 +249,6 @@ $(function() {
 <li>addCFLNode()
 : <a class="el" href="classSVF_1_1CFLGraph.html#a58b944d0f2c11868e17223acdb35f82c">SVF::CFLGraph</a>
 </li>
-<li>addClone()
-: <a class="el" href="classSVF_1_1TypeBasedHeapCloning.html#ae83ef821386b3fd4b86f29477cdda3e1">SVF::TypeBasedHeapCloning</a>
-</li>
-<li>addCloneDummyObjNode()
-: <a class="el" href="classSVF_1_1TypeBasedHeapCloning.html#ac6ebb2fd24fc4272faf5db6ddd1e464b">SVF::TypeBasedHeapCloning</a>
-</li>
-<li>addCloneFIObjNode()
-: <a class="el" href="classSVF_1_1TypeBasedHeapCloning.html#a83fb1e2a7b66d5f33fa34698a52250af">SVF::TypeBasedHeapCloning</a>
-</li>
-<li>addCloneGepObjNode()
-: <a class="el" href="classSVF_1_1TypeBasedHeapCloning.html#a16ad9c601a044731b982305a177dbda3">SVF::TypeBasedHeapCloning</a>
-</li>
 <li>addCmpEdge()
 : <a class="el" href="classSVF_1_1SVFIRBuilder.html#a4e1d75ac5f54872762460c86a67de3a6">SVF::SVFIRBuilder</a>
 </li>
@@ -451,9 +439,6 @@ $(function() {
 <li>addGepStmt()
 : <a class="el" href="classSVF_1_1SVFIR.html#a9eeab593b2f161ad268d27a7031aedbe">SVF::SVFIR</a>
 </li>
-<li>addGepToObj()
-: <a class="el" href="classSVF_1_1TypeBasedHeapCloning.html#ad07fb204258fccda89053514338e3804">SVF::TypeBasedHeapCloning</a>
-</li>
 <li>addGepValNode()
 : <a class="el" href="classSVF_1_1SVFIR.html#a781ffc0194fd501dcb34f1892a393c33">SVF::SVFIR</a>
 </li>
@@ -728,7 +713,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75af866301a661c59a7aa3182c0a7fc0c92">SVF::VFGNode</a>
 </li>
 <li>AddrCGEdge()
-: <a class="el" href="classSVF_1_1AddrCGEdge.html#a9c8da69a469e51d83c5009ba2685bcf6">SVF::AddrCGEdge</a>
+: <a class="el" href="classSVF_1_1AddrCGEdge.html#a3e07c316815631b1ddfd35ae3781daab">SVF::AddrCGEdge</a>
 </li>
 <li>AddrCGEdgeSet
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#a5bbd6df25027d26911f5d8d6a10881dc">SVF::ConstraintGraph</a>
@@ -766,7 +751,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFG.html#a8ebf0e285c69db8332a1f8914d6190f6">SVF::SVFG</a>
 </li>
 <li>addRetNode()
-: <a class="el" href="classSVF_1_1SVFIR.html#a38f6d0c7db935fd4e556761f96f1fa09">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#a1f63adcd679596996ee2eabf0179462f">SVF::SVFIR</a>
 </li>
 <li>addRetPE()
 : <a class="el" href="classSVF_1_1FormalRetVFGNode.html#a051f7dc0da465d7ce0dc733d9a8fae6a">SVF::FormalRetVFGNode</a>
@@ -780,13 +765,13 @@ $(function() {
 : <a class="el" href="classllvm_1_1generic__bridge__gep__type__iterator.html#a58127812b9ab914238095883ab1fe24e">llvm::generic_bridge_gep_type_iterator&lt; ItTy &gt;</a>
 </li>
 <li>AddrStmt()
-: <a class="el" href="classSVF_1_1AddrStmt.html#a2576465276cd68b6d2029e1838c3b487">SVF::AddrStmt</a>
+: <a class="el" href="classSVF_1_1AddrStmt.html#a0fa28f3a081cd6d32801ab245b6e95ae">SVF::AddrStmt</a>
 </li>
 <li>addrTime
 : <a class="el" href="classSVF_1_1FlowSensitive.html#a38f3ed35185addf701d4401bfdd5f29b">SVF::FlowSensitive</a>
 </li>
 <li>AddrVFGNode()
-: <a class="el" href="classSVF_1_1AddrVFGNode.html#ad44d3d2b21708a472469b08450114f2c">SVF::AddrVFGNode</a>
+: <a class="el" href="classSVF_1_1AddrVFGNode.html#ae83e51310f51cfb9cd7e2bb2002d758a">SVF::AddrVFGNode</a>
 </li>
 <li>addSccCandidate()
 : <a class="el" href="classSVF_1_1AndersenSCD.html#ad8530ce52f87c4ea94cac579288e2689">SVF::AndersenSCD</a>
@@ -985,12 +970,12 @@ $(function() {
 : <a class="el" href="classSVF_1_1CHNode.html#a8c51571df92b5e152cc42e9aaf712dc9">SVF::CHNode</a>
 </li>
 <li>alias()
-: <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a25720f154731a8c745da10aa76ab8517">SVF::BVDataPTAImpl</a>
+: <a class="el" href="classSVF_1_1BVDataPTAImpl.html#adaba5a41a60e32d18d964bdb8ae5b2df">SVF::BVDataPTAImpl</a>
 , <a class="el" href="classSVF_1_1CFLAlias.html#afb96040a903b9b889fcf23b26cb4565a">SVF::CFLAlias</a>
-, <a class="el" href="classSVF_1_1CondPTAImpl.html#a8e48e9fe6f7e21da49a155f8f6893944">SVF::CondPTAImpl&lt; Cond &gt;</a>
+, <a class="el" href="classSVF_1_1CondPTAImpl.html#a171918ada9b679b0114b27476caa5ee6">SVF::CondPTAImpl&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1DDAPass.html#a242575c5bd8a8f17fdc802e5ba80e7b0">SVF::DDAPass</a>
 , <a class="el" href="classSVF_1_1LockAnalysis.html#a4424f27444c12dce8071c56a95c664bf">SVF::LockAnalysis</a>
-, <a class="el" href="classSVF_1_1PointerAnalysis.html#a6c01f259ad2379a422d7106ce0255eb8">SVF::PointerAnalysis</a>
+, <a class="el" href="classSVF_1_1PointerAnalysis.html#a0f712ead1f31750879948c36b2fc77cf">SVF::PointerAnalysis</a>
 , <a class="el" href="classSVF_1_1WPAPass.html#a5a71ab4d4bd993ff52da60c730d7b57f">SVF::WPAPass</a>
 </li>
 <li>alias_begin()
@@ -1062,9 +1047,6 @@ $(function() {
 <li>aliasTestPartialAliasMangled
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#acbb517523fd30708ed1a93f306cd3545">SVF::PointerAnalysis</a>
 </li>
-<li>allCTir()
-: <a class="el" href="classSVF_1_1LLVMModuleSet.html#a4e125a4acf17d42a24576df6499eb491">SVF::LLVMModuleSet</a>
-</li>
 <li>allGlobals
 : <a class="el" href="classSVF_1_1MRGenerator.html#af46b82e45aa1ecdfb397325971206541">SVF::MRGenerator</a>
 </li>
@@ -1096,16 +1078,12 @@ $(function() {
 <li>AllPathReachableSolve()
 : <a class="el" href="classSVF_1_1ProgSlice.html#aa7979418bed24fcecfc6fa04532cd586">SVF::ProgSlice</a>
 </li>
-<li>allReuse
-: <a class="el" href="classSVF_1_1FlowSensitiveTBHC.html#a734e01c66832346c61d4cda38db84f4a">SVF::FlowSensitiveTBHC</a>
-</li>
 <li>analyze()
 : <a class="el" href="classSVF_1_1AndersenBase.html#a944966086ecb716184c8cdcc43db5751">SVF::AndersenBase</a>
 , <a class="el" href="classSVF_1_1CFLAlias.html#afc6922e9f1965ed85ef87151e00f5311">SVF::CFLAlias</a>
 , <a class="el" href="classSVF_1_1ContextDDA.html#ac8fe1cb3af6048a28028f00bb87a5eba">SVF::ContextDDA</a>
 , <a class="el" href="classSVF_1_1FlowDDA.html#aa26f9b5ba2e51f904d8ede1db8584460">SVF::FlowDDA</a>
 , <a class="el" href="classSVF_1_1FlowSensitive.html#a267f7198600dde3054feb40def7a6681">SVF::FlowSensitive</a>
-, <a class="el" href="classSVF_1_1FlowSensitiveTBHC.html#abcab6281cced08d90c92d67d43a37c2c">SVF::FlowSensitiveTBHC</a>
 , <a class="el" href="classSVF_1_1LockAnalysis.html#ad1516b6cb1dbd06b8dff04ae3c944621">SVF::LockAnalysis</a>
 , <a class="el" href="classSVF_1_1LockResultValidator.html#a88ff3ed1398a0b847d71a4c0352ed66d">SVF::LockResultValidator</a>
 , <a class="el" href="classSVF_1_1MHP.html#a02457fa6e3c85c897ec3b3d8db18cc4b">SVF::MHP</a>
@@ -1295,7 +1273,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1Z3Expr.html#a5c3347a21592e43e36d421ea5cae6bc9">SVF::Z3Expr</a>
 </li>
 <li>AssignStmt()
-: <a class="el" href="classSVF_1_1AssignStmt.html#abc65520cc2b9608c97374829eb475c57">SVF::AssignStmt</a>
+: <a class="el" href="classSVF_1_1AssignStmt.html#aff4c35109790daed3c6170c985153620">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

@@ -73,10 +73,6 @@ $(function() {
 <li>backICFGEdgesEnd()
 : <a class="el" href="classSVF_1_1SVFLoop.html#a6eaf768ba9f537d81095c4df021c4825">SVF::SVFLoop</a>
 </li>
-<li>backPropagate()
-: <a class="el" href="classSVF_1_1FlowSensitiveTBHC.html#a81ce8b1e98db245d3f4ccf189ca11e47">SVF::FlowSensitiveTBHC</a>
-, <a class="el" href="classSVF_1_1TypeBasedHeapCloning.html#a1d48cd7ccbcd9bdf1470a5d9aca3298d">SVF::TypeBasedHeapCloning</a>
-</li>
 <li>backtraceAlongDirectVF()
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#a7a6af30f30f32d55fc910f2ae4909791">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
@@ -265,7 +261,7 @@ $(function() {
 , <a class="el" href="unionhack.html#ac9f31214d556c4a179ba01f23036bc91">hack</a>
 </li>
 <li>BitVector()
-: <a class="el" href="classSVF_1_1BitVector.html#a5c01a464702283bf07ef6831705405a2">SVF::BitVector</a>
+: <a class="el" href="classSVF_1_1BitVector.html#a212871312b985f7d7215dd46ba171990">SVF::BitVector</a>
 </li>
 <li>BlackHole
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89ba95734ab884566beab5cd3523c250b539">SVF::SymbolTableInfo</a>
@@ -302,10 +298,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1PTAStat.html#ada838d9e03f2be4fb3ceffab3983b564">SVF::PTAStat</a>
 </li>
 <li>BranchStmt()
-: <a class="el" href="classSVF_1_1BranchStmt.html#a5e102d5c08b7121efc87b99651f0b5d2">SVF::BranchStmt</a>
+: <a class="el" href="classSVF_1_1BranchStmt.html#a83244ad7db61a544f7538961081d4fbd">SVF::BranchStmt</a>
 </li>
 <li>BranchVFGNode()
-: <a class="el" href="classSVF_1_1BranchVFGNode.html#ad1aa629eae4006a68a1e6e8a7621a494">SVF::BranchVFGNode</a>
+: <a class="el" href="classSVF_1_1BranchVFGNode.html#adbaa9b14441cb66ad46671d93c09c513">SVF::BranchVFGNode</a>
 </li>
 <li>BreakConstantGEPs()
 : <a class="el" href="classSVF_1_1BreakConstantGEPs.html#a5397ce21e78d09c8d1cdc3f912d53a7f">SVF::BreakConstantGEPs</a>
@@ -329,7 +325,7 @@ $(function() {
 : <a class="el" href="structprintbuffer.html#a754f63618e91db99f7ab6cfc4e629013">printbuffer</a>
 </li>
 <li>build()
-: <a class="el" href="classSVF_1_1CFLGraphBuilder.html#a5944c6a36e150a50a54aedd622c43ff9">SVF::CFLGraphBuilder</a>
+: <a class="el" href="classSVF_1_1CFLGraphBuilder.html#ab0d2bd46dd1c3be10c04f573e9365757">SVF::CFLGraphBuilder</a>
 , <a class="el" href="classSVF_1_1GrammarBuilder.html#a23d03b2cd348d85bda1ee582dded6505">SVF::GrammarBuilder</a>
 , <a class="el" href="classSVF_1_1ICFGBuilder.html#ae66565ee32fff4ef5f0157e867333250">SVF::ICFGBuilder</a>
 , <a class="el" href="classSVF_1_1LLVMLoopAnalysis.html#a17e4805c2db146430c58af35625a388d">SVF::LLVMLoopAnalysis</a>
@@ -360,7 +356,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CHGBuilder.html#a7420a3a4858ebe861aaa47d76f49ab1f">SVF::CHGBuilder</a>
 </li>
 <li>buildCHGNodes()
-: <a class="el" href="classSVF_1_1CHGBuilder.html#a648e97899c16a5634fc8369aef8a031f">SVF::CHGBuilder</a>
+: <a class="el" href="classSVF_1_1CHGBuilder.html#a51a07b2bd7cccf7c9ab24eb87db17216">SVF::CHGBuilder</a>
 </li>
 <li>buildClassNameToAncestorsDescendantsMap()
 : <a class="el" href="classSVF_1_1CHGBuilder.html#ae7832c277f0ff86f3ae750aac6063adb">SVF::CHGBuilder</a>
@@ -439,12 +435,12 @@ $(function() {
 <li>buildVTables()
 : <a class="el" href="classSVF_1_1DCHGraph.html#a0c873ab28d5967991e636696fae8c67f">SVF::DCHGraph</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>BV
+: <a class="el" href="classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923eafd6e0658d0eb4cdba368fa8e77d4d892">SVF::PointsTo</a>
+</li>
 <li>bv2int
 : <a class="el" href="classSVF_1_1Z3Expr.html#a349068a6c6c45f42ee3fedb0a487c06a">SVF::Z3Expr</a>
 </li>

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

@@ -656,9 +656,6 @@ $(function() {
 , <a class="el" href="classSVF_1_1CallPE.html#a6df0149f79122c5a7d517f75d0235e73">SVF::CallPE</a>
 , <a class="el" href="classSVF_1_1CFLGrammar.html#a866db9b7ba6569421fa8a9e3c64c2eab">SVF::CFLGrammar</a>
 , <a class="el" href="classSVF_1_1CHGraph.html#ae7e9f1a3c524d80c77b2a75f877dc2d6">SVF::CHGraph</a>
-, <a class="el" href="classSVF_1_1CloneDummyObjVar.html#a304eeab4eb7c441e49cfa3be008b11f6">SVF::CloneDummyObjVar</a>
-, <a class="el" href="classSVF_1_1CloneFIObjVar.html#a96a659f0a876b417ebdf6057db65c870">SVF::CloneFIObjVar</a>
-, <a class="el" href="classSVF_1_1CloneGepObjVar.html#a5f46eff05b965deeeed531bd9a87b464">SVF::CloneGepObjVar</a>
 , <a class="el" href="classSVF_1_1CmpStmt.html#adec661dd23b7806b35abba2d44aebc61">SVF::CmpStmt</a>
 , <a class="el" href="classSVF_1_1CmpVFGNode.html#ab1248b063654318677471fb10af16fd7">SVF::CmpVFGNode</a>
 , <a class="el" href="classSVF_1_1CondPTAImpl.html#ae76fb767c13ca39baa0fbec55a7780fe">SVF::CondPTAImpl&lt; Cond &gt;</a>
@@ -676,7 +673,6 @@ $(function() {
 , <a class="el" href="classSVF_1_1EntryCHI.html#ad9c86f7cf28fe22584b94416803639aa">SVF::EntryCHI&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1FIObjVar.html#a1801ca6c6cf3367eff5621fa7c788619">SVF::FIObjVar</a>
 , <a class="el" href="classSVF_1_1FlowSensitive.html#ac76934c9ba15742e470a785af54bd958">SVF::FlowSensitive</a>
-, <a class="el" href="classSVF_1_1FlowSensitiveTBHC.html#afe46af7ca4f735e500b35f4f4bb8d910">SVF::FlowSensitiveTBHC</a>
 , <a class="el" href="classSVF_1_1FormalINSVFGNode.html#a049c4760e5d0ea2e31fc84ec32850310">SVF::FormalINSVFGNode</a>
 , <a class="el" href="classSVF_1_1FormalOUTSVFGNode.html#ac29004272d47ad58ea1e05fbfc1ac639">SVF::FormalOUTSVFGNode</a>
 , <a class="el" href="classSVF_1_1FormalParmVFGNode.html#af91ecca224b99cd6dd3b9b17ad0d8e6f">SVF::FormalParmVFGNode</a>
@@ -751,7 +747,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1TypeAnalysis.html#ae14733ac9763b07a84ed9b5e297badf3">SVF::TypeAnalysis</a>
 , <a class="el" href="classSVF_1_1UnaryOPStmt.html#abb10688145fa76629916ec3df61b6c95">SVF::UnaryOPStmt</a>
 , <a class="el" href="classSVF_1_1UnaryOPVFGNode.html#a01a9b0fd0189462e37ff51e232a5cda8">SVF::UnaryOPVFGNode</a>
-, <a class="el" href="classSVF_1_1ValVar.html#adbbf3c9ff5dcb10ac528d3eb4b69750c">SVF::ValVar</a>
+, <a class="el" href="classSVF_1_1ValVar.html#a371f38564932cc04c6c4a00a99bf6c6a">SVF::ValVar</a>
 , <a class="el" href="classSVF_1_1VarArgPN.html#acaecf9e9d98c4a14fecee0877a72839c">SVF::VarArgPN</a>
 , <a class="el" href="classSVF_1_1VariantGepCGEdge.html#a5afc61b0781b222c70707a0ea765a4bd">SVF::VariantGepCGEdge</a>
 , <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#afd1e0d4445e1e50e95f816e51f8de3c8">SVF::VersionedFlowSensitive</a>
@@ -865,30 +861,6 @@ $(function() {
 : <a class="el" href="classSVF_1_1Options.html#a6a62b34de8ec23899a8024e0450c43df">SVF::Options</a>
 , <a class="el" href="classSVF_1_1PTAStat.html#a926cd5ab95f4f42ffe264413a32725cf">SVF::PTAStat</a>
 </li>
-<li>CloneDummyObjNode
-: <a class="el" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffab85277a3daeecc24c99b3da86108e482">SVF::SVFVar</a>
-</li>
-<li>CloneDummyObjVar()
-: <a class="el" href="classSVF_1_1CloneDummyObjVar.html#a2f2a74296d76349d472a71c4ee069aa0">SVF::CloneDummyObjVar</a>
-</li>
-<li>CloneFIObjNode
-: <a class="el" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa2ca0654308fd181afcb1f20519a0247a">SVF::SVFVar</a>
-</li>
-<li>CloneFIObjVar()
-: <a class="el" href="classSVF_1_1CloneFIObjVar.html#adeef2b67999d96aab854b25432ebb348">SVF::CloneFIObjVar</a>
-</li>
-<li>CloneGepObjNode
-: <a class="el" href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffabf9e21e7cbec690ad318a68cd5d756dc">SVF::SVFVar</a>
-</li>
-<li>CloneGepObjVar()
-: <a class="el" href="classSVF_1_1CloneGepObjVar.html#ab2b37ac7064e97665c04c778904e9888">SVF::CloneGepObjVar</a>
-</li>
-<li>cloneObject()
-: <a class="el" href="classSVF_1_1TypeBasedHeapCloning.html#a11c3d1b7f10e4aad2525d428f5855db5">SVF::TypeBasedHeapCloning</a>
-</li>
-<li>cloneToOriginalObj
-: <a class="el" href="classSVF_1_1TypeBasedHeapCloning.html#accbf71007be662ee2436ca3d76b903ed">SVF::TypeBasedHeapCloning</a>
-</li>
 <li>clpList
 : <a class="el" href="classSVF_1_1LockAnalysis.html#afff2c5699e08badf5265e8183b18a02e">SVF::LockAnalysis</a>
 </li>
@@ -915,7 +887,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CmpStmt.html#a6e11c486468a8fe0f7aa38a0546b8328">SVF::CmpStmt</a>
 </li>
 <li>CmpVFGNode()
-: <a class="el" href="classSVF_1_1CmpVFGNode.html#a003f5049433ade9cdad5f3050532af8e">SVF::CmpVFGNode</a>
+: <a class="el" href="classSVF_1_1CmpVFGNode.html#adcb91fca3c1cd9e23c8996dd825504ac">SVF::CmpVFGNode</a>
 </li>
 <li>cnext
 : <a class="el" href="structDdQueueItem.html#a5500eae904c7432f4e08452c93c501fa">DdQueueItem</a>
@@ -1153,7 +1125,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1ProgSlice.html#ac57638eaa2f656b8a7a5e3484c8e1265">SVF::ProgSlice</a>
 </li>
 <li>CondPointsToSet()
-: <a class="el" href="classSVF_1_1CondPointsToSet.html#a3670dc2bb046f2d3e0d27dc02b32e62f">SVF::CondPointsToSet&lt; Cond &gt;</a>
+: <a class="el" href="classSVF_1_1CondPointsToSet.html#a7217769c21c50c44f139006ec44d3a6f">SVF::CondPointsToSet&lt; Cond &gt;</a>
 </li>
 <li>CondPosMap
 : <a class="el" href="classSVF_1_1PathCondAllocator.html#a0d685cfd0f0652a0ff839969f763371b">SVF::PathCondAllocator</a>
@@ -1174,7 +1146,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>condToInstMap
 : <a class="el" href="classSVF_1_1BDDExprManager.html#a752dd196d3bd1d782e1290630c4daff0">SVF::BDDExprManager</a>
@@ -1183,7 +1155,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1BDDExprManager.html#a818712f314ec1f1378134d7222c006d0">SVF::BDDExprManager</a>
 </li>
 <li>CondVar()
-: <a class="el" href="classSVF_1_1CondVar.html#a0999a4b34face00af83b3b840920fd3f">SVF::CondVar&lt; Cond &gt;</a>
+: <a class="el" href="classSVF_1_1CondVar.html#afd729e068419ed45bb9da8d5920f8674">SVF::CondVar&lt; Cond &gt;</a>
 </li>
 <li>connectAInAndFIn()
 : <a class="el" href="classSVF_1_1SVFG.html#ac9ab2a95cd7a09bbe4b4aa3e6fafaf62">SVF::SVFG</a>
@@ -1366,7 +1338,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>
@@ -1384,7 +1356,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75af589a053fdb7efc728b68a324fc58b2b">SVF::VFGNode</a>
 </li>
 <li>CopyCGEdge()
-: <a class="el" href="classSVF_1_1CopyCGEdge.html#a0e950b306ec8d45e38f0320c63681ecd">SVF::CopyCGEdge</a>
+: <a class="el" href="classSVF_1_1CopyCGEdge.html#a90cbb8b4085648811f95afde4175a168">SVF::CopyCGEdge</a>
 </li>
 <li>copyInEdges
 : <a class="el" href="classSVF_1_1ConstraintNode.html#a4d413d64bf554ecdc72709afeeb85775">SVF::ConstraintNode</a>
@@ -1393,19 +1365,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#a63b808e82e75562c53e4371cc3d7ed1e">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#ac04930bac7b31563ce761779ff1dbf91">SVF::CopyVFGNode</a>
+: <a class="el" href="classSVF_1_1CopyVFGNode.html#aee4a402546b3df92412a5252c9608818">SVF::CopyVFGNode</a>
 </li>
 <li>CoreBitVector()
-: <a class="el" href="classSVF_1_1CoreBitVector.html#a93f42d767c99bdf788dc4df4881751c5">SVF::CoreBitVector</a>
+: <a class="el" href="classSVF_1_1CoreBitVector.html#a57b3db689583b652ab1426c04a66c4ae">SVF::CoreBitVector</a>
 </li>
 <li>CoreBitVectorIterator()
-: <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a66b4a85853791c4e1537a4bdbc7a2f90">SVF::CoreBitVector::CoreBitVectorIterator</a>
+: <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#add4da76753804d22314f070e1ad1ce6f">SVF::CoreBitVector::CoreBitVectorIterator</a>
 </li>
 <li>count
 : <a class="el" href="structDdHashItem.html#aa5bce9f94fb976df2a1768f0f0c7d50c">DdHashItem</a>
@@ -1415,7 +1387,6 @@ $(function() {
 </li>
 <li>countAliases()
 : <a class="el" href="classSVF_1_1FlowSensitive.html#a94dc671f524ed3ed00f5a54b13f18e18">SVF::FlowSensitive</a>
-, <a class="el" href="classSVF_1_1FlowSensitiveTBHC.html#abe784dfae06a7c1943b8f0a18bd79f14">SVF::FlowSensitiveTBHC</a>
 </li>
 <li>countDead
 : <a class="el" href="structDdManager.html#adcbc5af2bbf3df86223e5f0b3bc03e76">DdManager</a>
@@ -1440,7 +1411,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#a20026db57cfef6bf6a978140b2372cea">SVF::CondPointsToSet&lt; Cond &gt;</a>
@@ -1617,9 +1588,6 @@ $(function() {
 <li>CSWorkList
 : <a class="el" href="classSVF_1_1LeakChecker.html#aa0d4c66929f8ae39cf5efc77e873f642">SVF::LeakChecker</a>
 </li>
-<li>CTirAliasEval
-: <a class="el" href="classSVF_1_1Options.html#ad148549070b042aeddafca39ee949c77">SVF::Options</a>
-</li>
 <li>ctpList
 : <a class="el" href="classSVF_1_1TCT.html#a80dad1dfdf64cb7a5805eb8bedf79226">SVF::TCT</a>
 </li>
@@ -1696,7 +1664,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1Options.html#a7b9af13feccc116377aeb107640ae874">SVF::Options</a>
 </li>
 <li>CxtDPItem()
-: <a class="el" href="classSVF_1_1CxtDPItem.html#a673749f246b002b33ca3718a566779ca">SVF::CxtDPItem</a>
+: <a class="el" href="classSVF_1_1CxtDPItem.html#a53fa464132d5e51e832158d2e928db32">SVF::CxtDPItem</a>
 </li>
 <li>cxtJoinInLoop
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a63da48d338683ec95709a6bd95238707">SVF::ForkJoinAnalysis</a>
@@ -1731,14 +1699,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#a25a80c93a6aeb1112a846d6c588364cc">SVF::CxtProc</a>
+: <a class="el" href="classSVF_1_1CxtProc.html#ac1ca3a049f6d0f8a0548a153cc903aa0">SVF::CxtProc</a>
 </li>
 <li>cxts
 : <a class="el" href="classSVF_1_1LLVMModuleSet.html#ad06a92bf8bc556de742e0ffdf79ffafe">SVF::LLVMModuleSet</a>
@@ -1760,21 +1728,23 @@ $(function() {
 <li>CxtStmtSet
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a42ed881d4cd79eae099266a9e171aeb2">SVF::LockAnalysis</a>
 </li>
-<li>CxtStmtToAliveFlagMap
-: <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#acdc652faba35e45820cce0cdd20ea99c">SVF::ForkJoinAnalysis</a>
-</li>
 <li>cxtStmtToAliveFlagMap
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#aa31b3f3d51b963ccd475e66b77143dba">SVF::ForkJoinAnalysis</a>
 </li>
+<li>CxtStmtToAliveFlagMap
+: <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#acdc652faba35e45820cce0cdd20ea99c">SVF::ForkJoinAnalysis</a>
+</li>
 <li>CxtStmtToCxtLockS
 : <a class="el" href="classSVF_1_1LockResultValidator.html#a03954bdf28345cd7fbcd5cc242d40681">SVF::LockResultValidator</a>
 </li>
+<li>cxtStmtToCxtLockSet
+: <a class="el" href="classSVF_1_1LockAnalysis.html#ae256a84fd63947a6f81bee030bdbe7fc">SVF::LockAnalysis</a>
+</li>
 <li>CxtStmtToCxtLockSet
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a710aad28484677637367e9098a55c7d7">SVF::LockAnalysis</a>
 </li>
 <li>cxtStmtToCxtLockSet
-: <a class="el" href="classSVF_1_1LockAnalysis.html#ae256a84fd63947a6f81bee030bdbe7fc">SVF::LockAnalysis</a>
-, <a class="el" href="classSVF_1_1LockResultValidator.html#ad8a03181445edeb835fed08c88f6e0bb">SVF::LockResultValidator</a>
+: <a class="el" href="classSVF_1_1LockResultValidator.html#ad8a03181445edeb835fed08c88f6e0bb">SVF::LockResultValidator</a>
 </li>
 <li>CxtStmtToLockFlagMap
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a451d9b41fd048e11615ea47872f614c9">SVF::LockAnalysis</a>

package/SVF-doxygen/html/html/functions_d.html

@@ -103,9 +103,6 @@ $(function() {
 <li>DCHEdgeSetTy
 : <a class="el" href="classSVF_1_1DCHEdge.html#a2580878ab964494ee5c7840e16ef84b3">SVF::DCHEdge</a>
 </li>
-<li>dchg
-: <a class="el" href="classSVF_1_1TypeBasedHeapCloning.html#a465e67781977e83526df7e36d576e539">SVF::TypeBasedHeapCloning</a>
-</li>
 <li>DCHGraph()
 : <a class="el" href="classSVF_1_1DCHGraph.html#a7cbea4d5399333497faa3f8d213e365e">SVF::DCHGraph</a>
 </li>
@@ -193,9 +190,6 @@ $(function() {
 <li>deref_val()
 : <a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#a60846a619cccd2546bf53c8e2dd81c87">llvm::GraphTraits&lt; SVF::GenericGraph&lt; NodeTy, EdgeTy &gt; *&gt;</a>
 </li>
-<li>derefFnName
-: <a class="el" href="classSVF_1_1TypeBasedHeapCloning.html#a03ef2decb80ba07f4d98cae0a4497212">SVF::TypeBasedHeapCloning</a>
-</li>
 <li>destory()
 : <a class="el" href="classSVF_1_1ExtAPI.html#abe3e0e2500532acfc01cee7e2ce1cd90">SVF::ExtAPI</a>
 </li>
@@ -230,9 +224,6 @@ $(function() {
 <li>determineBestMapping()
 : <a class="el" href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a3f86e733cc075180e9682887c554b8fa">SVF::NodeIDAllocator::Clusterer</a>
 </li>
-<li>determineWhichGepsAreLoads()
-: <a class="el" href="classSVF_1_1FlowSensitiveTBHC.html#a80052c89d1a9f54cfbf8f9790110899d">SVF::FlowSensitiveTBHC</a>
-</li>
 <li>DF
 : <a class="el" href="classSVF_1_1IteratedDominanceFrontier.html#aa50321ef8e3c9ee5e0b04f95a5a72e24">SVF::IteratedDominanceFrontier</a>
 </li>
@@ -426,7 +417,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#a8b5a34679fb1362425c88d6e74b6c019">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
 <li>DPItem()
-: <a class="el" href="classSVF_1_1DPItem.html#ac5dbe11ebf512e6dccdfa1eceba04fe8">SVF::DPItem</a>
+: <a class="el" href="classSVF_1_1DPItem.html#a715b7de4a392d8c389e611e27f8b9184">SVF::DPItem</a>
 </li>
 <li>dpmToADCPtSetMap
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#a2565bf8dcacb22350dc1dc98ec7595f2">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
@@ -600,9 +591,6 @@ $(function() {
 <li>dumpStat()
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#ab83b827ea42d3a61aad20b1a1485d866">SVF::PointerAnalysis</a>
 </li>
-<li>dumpStats()
-: <a class="el" href="classSVF_1_1TypeBasedHeapCloning.html#a1a7b51e7d959795c00383721b013834d">SVF::TypeBasedHeapCloning</a>
-</li>
 <li>dumpStr()
 : <a class="el" href="classSVF_1_1BDDExprManager.html#aa42ab1c5e6b2774be528bb33f0ca3c7b">SVF::BDDExprManager</a>
 , <a class="el" href="classSVF_1_1CondPointsToSet.html#abcd2c01ec21e30caa91dba06386912cb">SVF::CondPointsToSet&lt; Cond &gt;</a>

package/SVF-doxygen/html/html/functions_e.html

@@ -380,7 +380,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MHP.html#aab80f1bc5c359a7d3b03f249bafa1d40">SVF::MHP</a>
 </li>
 <li>ExeState()
-: <a class="el" href="classSVF_1_1ExeState.html#a62bef487b31f2a4ca27b4e9b183bdef5">SVF::ExeState</a>
+: <a class="el" href="classSVF_1_1ExeState.html#a02e0a7dd5e66255be3838fa10e3e1cab">SVF::ExeState</a>
 </li>
 <li>exeState
 : <a class="el" href="classSVF_1_1SymState.html#ab9ee5f993809fc026ffd270b0e9a6db4">SVF::SymState</a>
@@ -391,7 +391,6 @@ $(function() {
 <li>expandFIObjs()
 : <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a798c84d5e861de2b61bcb1a86385f721">SVF::BVDataPTAImpl</a>
 , <a class="el" href="classSVF_1_1CondPTAImpl.html#a87b48287d7edb97fc120200fe0e5218d">SVF::CondPTAImpl&lt; Cond &gt;</a>
-, <a class="el" href="classSVF_1_1FlowSensitiveTBHC.html#a3af0297eb75ac4009433be44bb286d30">SVF::FlowSensitiveTBHC</a>
 </li>
 <li>exponent
 : <a class="el" href="structEpDoubleStruct.html#ae626888fe53c8c26d65d4fa519b906c6">EpDoubleStruct</a>