svf-tools 1.0.889 → 1.0.891

package/SVF-doxygen/html/dir_81caa96ab1d3de93b353e2bbe80e6067.html

@@ -76,6 +76,8 @@ Files</h2></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:BufOverflowChecker_8cpp"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="BufOverflowChecker_8cpp.html">BufOverflowChecker.cpp</a> <a href="BufOverflowChecker_8cpp_source.html">[code]</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ICFGSimplification_8cpp"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="ICFGSimplification_8cpp.html">ICFGSimplification.cpp</a> <a href="ICFGSimplification_8cpp_source.html">[code]</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:SVFIR2ConsExeState_8cpp"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="SVFIR2ConsExeState_8cpp.html">SVFIR2ConsExeState.cpp</a> <a href="SVFIR2ConsExeState_8cpp_source.html">[code]</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:SVFIR2ItvExeState_8cpp"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="SVFIR2ItvExeState_8cpp.html">SVFIR2ItvExeState.cpp</a> <a href="SVFIR2ItvExeState_8cpp_source.html">[code]</a></td></tr>

package/SVF-doxygen/html/dir_fbec400583b4bd6c5f2e89c86c5943a6.html

@@ -76,6 +76,8 @@ Files</h2></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:BufOverflowChecker_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="BufOverflowChecker_8h.html">BufOverflowChecker.h</a> <a href="BufOverflowChecker_8h_source.html">[code]</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ICFGSimplification_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="ICFGSimplification_8h.html">ICFGSimplification.h</a> <a href="ICFGSimplification_8h_source.html">[code]</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:SVFIR2ConsExeState_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="SVFIR2ConsExeState_8h.html">SVFIR2ConsExeState.h</a> <a href="SVFIR2ConsExeState_8h_source.html">[code]</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:SVFIR2ItvExeState_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="SVFIR2ItvExeState_8h.html">SVFIR2ItvExeState.h</a> <a href="SVFIR2ItvExeState_8h_source.html">[code]</a></td></tr>

package/SVF-doxygen/html/files.html

@@ -87,8 +87,9 @@ $(function() {
 <tr id="row_0_0_0_1_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><span id="arr_0_0_0_1_" class="arrow" onclick="toggleFolder('0_0_0_1_')">&#9658;</span><span id="img_0_0_0_1_" class="iconfclosed" onclick="toggleFolder('0_0_0_1_')">&#160;</span><a class="el" href="dir_fbec400583b4bd6c5f2e89c86c5943a6.html" target="_self">Svfexe</a></td><td class="desc"></td></tr>
 <tr id="row_0_0_0_1_0_" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><a href="AbstractExecution_8h_source.html"><span class="icondoc"></span></a><a class="el" href="AbstractExecution_8h.html" target="_self">AbstractExecution.h</a></td><td class="desc"></td></tr>
 <tr id="row_0_0_0_1_1_" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><a href="BufOverflowChecker_8h_source.html"><span class="icondoc"></span></a><a class="el" href="BufOverflowChecker_8h.html" target="_self">BufOverflowChecker.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_0_1_2_" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><a href="SVFIR2ConsExeState_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SVFIR2ConsExeState_8h.html" target="_self">SVFIR2ConsExeState.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_0_1_3_" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><a href="SVFIR2ItvExeState_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SVFIR2ItvExeState_8h.html" target="_self">SVFIR2ItvExeState.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_0_1_2_" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><a href="ICFGSimplification_8h_source.html"><span class="icondoc"></span></a><a class="el" href="ICFGSimplification_8h.html" target="_self">ICFGSimplification.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_0_1_3_" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><a href="SVFIR2ConsExeState_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SVFIR2ConsExeState_8h.html" target="_self">SVFIR2ConsExeState.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_0_1_4_" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><a href="SVFIR2ItvExeState_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SVFIR2ItvExeState_8h.html" target="_self">SVFIR2ItvExeState.h</a></td><td class="desc"></td></tr>
 <tr id="row_0_0_1_"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span id="arr_0_0_1_" class="arrow" onclick="toggleFolder('0_0_1_')">&#9658;</span><span id="img_0_0_1_" class="iconfclosed" onclick="toggleFolder('0_0_1_')">&#160;</span><a class="el" href="dir_1b8e404556d3e8597ae60437f0a084bf.html" target="_self">CFL</a></td><td class="desc"></td></tr>
 <tr id="row_0_0_1_0_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><span class="icondoc"></span><a class="el" href="dir_7de7f3d0ab1cbd78bc64b135e4cd18be.html" target="_self">grammar</a></td><td class="desc"></td></tr>
 <tr id="row_0_0_1_1_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CFGNormalizer_8h_source.html"><span class="icondoc"></span></a><a class="el" href="CFGNormalizer_8h.html" target="_self">CFGNormalizer.h</a></td><td class="desc"></td></tr>
@@ -238,8 +239,9 @@ $(function() {
 <tr id="row_0_1_0_1_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><span id="arr_0_1_0_1_" class="arrow" onclick="toggleFolder('0_1_0_1_')">&#9658;</span><span id="img_0_1_0_1_" class="iconfclosed" onclick="toggleFolder('0_1_0_1_')">&#160;</span><a class="el" href="dir_81caa96ab1d3de93b353e2bbe80e6067.html" target="_self">Svfexe</a></td><td class="desc"></td></tr>
 <tr id="row_0_1_0_1_0_" class="even" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><a href="AbstractExecution_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="AbstractExecution_8cpp.html" target="_self">AbstractExecution.cpp</a></td><td class="desc"></td></tr>
 <tr id="row_0_1_0_1_1_" class="even" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><a href="BufOverflowChecker_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="BufOverflowChecker_8cpp.html" target="_self">BufOverflowChecker.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_0_1_0_1_2_" class="even" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><a href="SVFIR2ConsExeState_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="SVFIR2ConsExeState_8cpp.html" target="_self">SVFIR2ConsExeState.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_0_1_0_1_3_" class="even" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><a href="SVFIR2ItvExeState_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="SVFIR2ItvExeState_8cpp.html" target="_self">SVFIR2ItvExeState.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_0_1_0_1_2_" class="even" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><a href="ICFGSimplification_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="ICFGSimplification_8cpp.html" target="_self">ICFGSimplification.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_0_1_0_1_3_" class="even" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><a href="SVFIR2ConsExeState_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="SVFIR2ConsExeState_8cpp.html" target="_self">SVFIR2ConsExeState.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_0_1_0_1_4_" class="even" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><a href="SVFIR2ItvExeState_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="SVFIR2ItvExeState_8cpp.html" target="_self">SVFIR2ItvExeState.cpp</a></td><td class="desc"></td></tr>
 <tr id="row_0_1_1_" class="even"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span id="arr_0_1_1_" class="arrow" onclick="toggleFolder('0_1_1_')">&#9658;</span><span id="img_0_1_1_" class="iconfclosed" onclick="toggleFolder('0_1_1_')">&#160;</span><a class="el" href="dir_8a9c8659eb68b9cbd3fead4690588a47.html" target="_self">CFL</a></td><td class="desc"></td></tr>
 <tr id="row_0_1_1_0_" style="display:none;"><td class="entry"><span style="width:64px;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>
 <tr id="row_0_1_1_1_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CFGrammar_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="CFGrammar_8cpp.html" target="_self">CFGrammar.cpp</a></td><td class="desc"></td></tr>

package/SVF-doxygen/html/functions.html

@@ -480,6 +480,9 @@ $(function() {
 <li>_rep
 : <a class="el" href="classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a99f3c75c72892cf364b808ff7e773a51">SVF::SCCDetection&lt; GraphType &gt;::GNodeSCCInfo</a>
 </li>
+<li>_repNode
+: <a class="el" href="classSVF_1_1ICFG.html#a7a2813375e838aac11e74dc068fc6b58">SVF::ICFG</a>
+</li>
 <li>_S
 : <a class="el" href="classSVF_1_1CSC.html#a44dbda27203499770ed1315366218c51">SVF::CSC</a>
 </li>
@@ -500,7 +503,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1DDAStat.html#ad53ad7a958c05b45624d2859a6a9e647">SVF::DDAStat</a>
 </li>
 <li>_subNodes
-: <a class="el" href="classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a859c0fc55f0fad4f0dfbe5ed41bd7400">SVF::SCCDetection&lt; GraphType &gt;::GNodeSCCInfo</a>
+: <a class="el" href="classSVF_1_1ICFG.html#ad06e02e5ff53962480b67e3a31dc52e7">SVF::ICFG</a>
+, <a class="el" href="classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a859c0fc55f0fad4f0dfbe5ed41bd7400">SVF::SCCDetection&lt; GraphType &gt;::GNodeSCCInfo</a>
 </li>
 <li>_svfcontrolMap
 : <a class="el" href="classSVF_1_1CDGBuilder.html#ab24b985813e362f9470593e615c4c613">SVF::CDGBuilder</a>

package/SVF-doxygen/html/functions_a.html

@@ -904,8 +904,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MutablePTData.html#ad3175d9c02d8a9f6ad1752ccf3e468cb">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>Addrs
-: <a class="el" href="classSVF_1_1AEAPI.html#ad4967592a9dcf19d84c85dd08e93137a">SVF::AEAPI</a>
-, <a class="el" href="classSVF_1_1ExeState.html#a78038dd4884a501cfc94f073021eac96">SVF::ExeState</a>
+: <a class="el" href="classSVF_1_1ExeState.html#a78038dd4884a501cfc94f073021eac96">SVF::ExeState</a>
 , <a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#a7c892fb77ff402212af4ab30301f0f9d">SVF::SVFIR2ConsExeState</a>
 , <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a85f206bddccb2d644ef20f60ea17c9f3">SVF::SVFIR2ItvExeState</a>
 </li>
@@ -968,7 +967,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#a633666953f8d6675961981c4eab1adb0">SVF::ConstraintGraph</a>
 </li>
 <li>AddStoreCHI()
-: <a class="el" href="classSVF_1_1MemSSA.html#a0b60dea5024b7303e7d9f223dd45fc7c">SVF::MemSSA</a>
+: <a class="el" href="classSVF_1_1MemSSA.html#a3a2dde7ee3aaf6f66038a6b5ae7255a0">SVF::MemSSA</a>
 </li>
 <li>addStoreEdge()
 : <a class="el" href="classSVF_1_1SVFIRBuilder.html#a30f043eeca79259d84b97e265110f018">SVF::SVFIRBuilder</a>
@@ -980,7 +979,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1VFG.html#a13f7caf44741db3b0e8a44b13d8931f5">SVF::VFG</a>
 </li>
 <li>addSubNode()
-: <a class="el" href="classSVF_1_1Steensgaard.html#abcb15d923ebbf289672b54b6f0963e03">SVF::Steensgaard</a>
+: <a class="el" href="classSVF_1_1ICFG.html#aeb87ee25ee4ad5dae7e59937747a66a5">SVF::ICFG</a>
+, <a class="el" href="classSVF_1_1Steensgaard.html#abcb15d923ebbf289672b54b6f0963e03">SVF::Steensgaard</a>
 </li>
 <li>addSubNodes()
 : <a class="el" href="classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a39ff07eb2d4529802dead9d37a720fa9">SVF::SCCDetection&lt; GraphType &gt;::GNodeSCCInfo</a>

package/SVF-doxygen/html/functions_func.html

@@ -870,7 +870,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#a633666953f8d6675961981c4eab1adb0">SVF::ConstraintGraph</a>
 </li>
 <li>AddStoreCHI()
-: <a class="el" href="classSVF_1_1MemSSA.html#a0b60dea5024b7303e7d9f223dd45fc7c">SVF::MemSSA</a>
+: <a class="el" href="classSVF_1_1MemSSA.html#a3a2dde7ee3aaf6f66038a6b5ae7255a0">SVF::MemSSA</a>
 </li>
 <li>addStoreEdge()
 : <a class="el" href="classSVF_1_1SVFIRBuilder.html#a30f043eeca79259d84b97e265110f018">SVF::SVFIRBuilder</a>
@@ -882,7 +882,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1VFG.html#a13f7caf44741db3b0e8a44b13d8931f5">SVF::VFG</a>
 </li>
 <li>addSubNode()
-: <a class="el" href="classSVF_1_1Steensgaard.html#abcb15d923ebbf289672b54b6f0963e03">SVF::Steensgaard</a>
+: <a class="el" href="classSVF_1_1ICFG.html#aeb87ee25ee4ad5dae7e59937747a66a5">SVF::ICFG</a>
+, <a class="el" href="classSVF_1_1Steensgaard.html#abcb15d923ebbf289672b54b6f0963e03">SVF::Steensgaard</a>
 </li>
 <li>addSubNodes()
 : <a class="el" href="classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a39ff07eb2d4529802dead9d37a720fa9">SVF::SCCDetection&lt; GraphType &gt;::GNodeSCCInfo</a>
@@ -1013,10 +1014,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1VFG.html#a65c88a6c20380b715ac8b6c31e68afed">SVF::VFG</a>
 </li>
 <li>addValNode()
-: <a class="el" href="classSVF_1_1SVFIR.html#af298651d6ef2030ca13ae6a9db622eb4">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#ac792c1f8b385515a8cc0a0303d40f212">SVF::SVFIR</a>
 </li>
 <li>addVarargNode()
-: <a class="el" href="classSVF_1_1SVFIR.html#a078c01295f47bf12f1a2b8abfab8b28d">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#a6ade5bf3edc7b6c3faafc3e5ff3d0538">SVF::SVFIR</a>
 </li>
 <li>addVariantGepCGEdge()
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#a6902cabb252b1eaadb3c8220b4581a2f">SVF::ConstraintGraph</a>
@@ -1059,16 +1060,16 @@ $(function() {
 : <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a236d3e9c894fd7c34c8d7a77ac11dd48">SVF::BVDataPTAImpl</a>
 , <a class="el" href="classSVF_1_1CFLAlias.html#ab40891c44b83103fc240c1e7c7c60855">SVF::CFLAlias</a>
 , <a class="el" href="classSVF_1_1CondPTAImpl.html#a167a232a697976602c2ad0eb6d35c2d6">SVF::CondPTAImpl&lt; Cond &gt;</a>
-, <a class="el" href="classSVF_1_1DDAPass.html#a96de481dd2af7b39428aff38158c1d4e">SVF::DDAPass</a>
+, <a class="el" href="classSVF_1_1DDAPass.html#a2635769ff8a1e0013b9b8546b18fcfeb">SVF::DDAPass</a>
 , <a class="el" href="classSVF_1_1LockAnalysis.html#a4424f27444c12dce8071c56a95c664bf">SVF::LockAnalysis</a>
 , <a class="el" href="classSVF_1_1PointerAnalysis.html#a0f712ead1f31750879948c36b2fc77cf">SVF::PointerAnalysis</a>
 , <a class="el" href="classSVF_1_1WPAPass.html#a92e19b9ddf342d688ff0f1aa6cecc729">SVF::WPAPass</a>
 </li>
 <li>alias_begin()
-: <a class="el" href="classSVF_1_1SVFModule.html#a7f2b4647c8d69c8328b63e576cb6d065">SVF::SVFModule</a>
+: <a class="el" href="classSVF_1_1SVFModule.html#a0e28f6eaf32efc6f2c0987e64f1df852">SVF::SVFModule</a>
 </li>
 <li>alias_end()
-: <a class="el" href="classSVF_1_1SVFModule.html#a1bb5c818ec63d81a238f3d242a89079f">SVF::SVFModule</a>
+: <a class="el" href="classSVF_1_1SVFModule.html#a3cfd0983849950099d1e8f8e0fda42bc">SVF::SVFModule</a>
 </li>
 <li>AliasDDAClient()
 : <a class="el" href="classSVF_1_1AliasDDAClient.html#af55b1ccfa6cfaa6ec079b19d62288cb6">SVF::AliasDDAClient</a>
@@ -1203,7 +1204,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#abc65520cc2b9608c97374829eb475c57">SVF::AssignStmt</a>
+: <a class="el" href="classSVF_1_1AssignStmt.html#a05751cd905e9b21a80d6144072fa97fb">SVF::AssignStmt</a>
 </li>
 <li>atEnd()
 : <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#ad3af46dcfb0e2846587eb5a71f38161f">SVF::CoreBitVector::CoreBitVectorIterator</a>

package/SVF-doxygen/html/functions_func_g.html

@@ -2083,7 +2083,7 @@ $(function() {
 </li>
 <li>getOutput()
 : <a class="el" href="classSVF_1_1LockResultValidator.html#ab71d89c954395df7d108263b3fa87330">SVF::LockResultValidator</a>
-, <a class="el" href="classSVF_1_1MTAResultValidator.html#a829e59b4f8cf01c125cf8a9b45f7b7d0">SVF::MTAResultValidator</a>
+, <a class="el" href="classSVF_1_1MTAResultValidator.html#a9c9baeb57a645b57cc9053b3071f0602">SVF::MTAResultValidator</a>
 , <a class="el" href="classSVF_1_1RaceResultValidator.html#afdd89e26a7c168762bfe85746252827f">SVF::RaceResultValidator</a>
 </li>
 <li>getOutputforInterlevAnalysis()
@@ -2176,7 +2176,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1WriterPtrPool.html#a5df00a28f394187fee526a96a4065a78">SVF::WriterPtrPool&lt; T &gt;</a>
 </li>
 <li>getPostDomTreeMap()
-: <a class="el" href="classSVF_1_1SVFLoopAndDomInfo.html#a6b87fa0530b6d94f201a0989b35c2277">SVF::SVFLoopAndDomInfo</a>
+: <a class="el" href="classSVF_1_1SVFLoopAndDomInfo.html#ad07f95e790b5c3a50c864155aa20a083">SVF::SVFLoopAndDomInfo</a>
 </li>
 <li>getPredecessors()
 : <a class="el" href="classSVF_1_1SVFBasicBlock.html#ac6fabc508f6b64127bb597f7b2110231">SVF::SVFBasicBlock</a>
@@ -2196,7 +2196,7 @@ $(function() {
 <li>getPreviousMemoryAccessInst()
 : <a class="el" href="classSVF_1_1LockResultValidator.html#aaca2654ba49d2f79c9404a476b5b3079">SVF::LockResultValidator</a>
 , <a class="el" href="classSVF_1_1MTAResultValidator.html#ab3ba3c6d9c40e97febdab0e7d4ad9a3e">SVF::MTAResultValidator</a>
-, <a class="el" href="classSVF_1_1RaceResultValidator.html#a869debcc97519e8b89725dfa53ad4b70">SVF::RaceResultValidator</a>
+, <a class="el" href="classSVF_1_1RaceResultValidator.html#ad029f7a9a5161191a44d1e841f9d6114">SVF::RaceResultValidator</a>
 </li>
 <li>getPrevNodes()
 : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a7b034f9f8f01823ecfb7f6c17e47b502">SVF::MTASVFGBuilder</a>
@@ -2257,7 +2257,7 @@ $(function() {
 <li>getPts()
 : <a class="el" href="classSVF_1_1Andersen.html#a187285a5bdf9422d9188b2b11b667639">SVF::Andersen</a>
 , <a class="el" href="classSVF_1_1BVDataPTAImpl.html#ac9897a09cad8a99169f2da2116807b1b">SVF::BVDataPTAImpl</a>
-, <a class="el" href="classSVF_1_1CondPTAImpl.html#a63fa2b3a96696ffc67a119c1ba5ce748">SVF::CondPTAImpl&lt; Cond &gt;</a>
+, <a class="el" href="classSVF_1_1CondPTAImpl.html#a0b96ba98239186d6d676f9540da9e590">SVF::CondPTAImpl&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDFPTData.html#a4cbb9131a89c5c48367fb927693b5c6b">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDiffPTData.html#ac2f494da9379c336bb81a0dc438b5af9">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutablePTData.html#abe4230f3ba78fc660ea291fda36ffa62">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
@@ -2316,6 +2316,9 @@ $(function() {
 <li>getRep()
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#acd1f0ce7936ced59bfaf04956a0f8214">SVF::ConstraintGraph</a>
 </li>
+<li>getRepNode()
+: <a class="el" href="classSVF_1_1ICFG.html#a684340fd9fc7cbbcb259fff1684f8b05">SVF::ICFG</a>
+</li>
 <li>getRepNodes()
 : <a class="el" href="classSVF_1_1SCCDetection.html#a457973fa38fad89bbd2dc41ba041703e">SVF::SCCDetection&lt; GraphType &gt;</a>
 </li>
@@ -2385,7 +2388,7 @@ $(function() {
 <li>getRevPts()
 : <a class="el" href="classSVF_1_1BVDataPTAImpl.html#aa30608bc36dcfde45c896d4a15a08ca1">SVF::BVDataPTAImpl</a>
 , <a class="el" href="classSVF_1_1CFLAlias.html#abcb07a089b7b1036d070c451a81cef5d">SVF::CFLAlias</a>
-, <a class="el" href="classSVF_1_1CondPTAImpl.html#aa266eef30817c557882de19aefe135a9">SVF::CondPTAImpl&lt; Cond &gt;</a>
+, <a class="el" href="classSVF_1_1CondPTAImpl.html#a0da0602c5b260afaba4bef1abcbcf7b3">SVF::CondPTAImpl&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDFPTData.html#a2f98940bd8266ad37a975c6d30d948b4">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDiffPTData.html#ad9bd6762fc6525afaed4a6c6da63688d">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutablePTData.html#a36aa05b8f5c308035315d6df7036c096">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
@@ -2552,7 +2555,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1AccessPath.html#a1f279344b4061838d7b3498631bc907c">SVF::AccessPath</a>
 </li>
 <li>getSubNodes()
-: <a class="el" href="classSVF_1_1Steensgaard.html#a95ed4be99e201058cb6d994250d2629f">SVF::Steensgaard</a>
+: <a class="el" href="classSVF_1_1ICFG.html#a9addf6fec78687c835e60d06cc7bc604">SVF::ICFG</a>
+, <a class="el" href="classSVF_1_1Steensgaard.html#a95ed4be99e201058cb6d994250d2629f">SVF::Steensgaard</a>
 </li>
 <li>getSubs()
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#ade6a90ed5e0a9e8615bafec54d9d1d73">SVF::ConstraintGraph</a>
@@ -2571,10 +2575,10 @@ $(function() {
 , <a class="el" href="classSVF_1_1SVFBasicBlock.html#a66f51cd41e93ad055c4a0c2874e73fae">SVF::SVFBasicBlock</a>
 </li>
 <li>getSuccInstructions()
-: <a class="el" href="classSVF_1_1SVFInstruction.html#a6364671e823166d1192bf791a8dd412b">SVF::SVFInstruction</a>
+: <a class="el" href="classSVF_1_1SVFInstruction.html#a281d6b024afeeb96bac281eb23ce3f1f">SVF::SVFInstruction</a>
 </li>
 <li>getSuccMap()
-: <a class="el" href="classSVF_1_1POCRSolver.html#ab0c8049934aab960ee734db76086016a">SVF::POCRSolver</a>
+: <a class="el" href="classSVF_1_1POCRSolver.html#aac57a7a39ba314e5f16977848417e652">SVF::POCRSolver</a>
 </li>
 <li>getSuccNodes()
 : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a8164ae39b494115142767abc29cebd53">SVF::MTASVFGBuilder</a>
@@ -2689,10 +2693,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1IRGraph.html#a9f7c24325d897b598d6b989fdc4aae1e">SVF::IRGraph</a>
 </li>
 <li>getTaskDataAtHareParForSite()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#a34ea034a2bd7b7cb51317ed441ca5b38">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#a8c6617f2df59ff166b13242060707013">SVF::ThreadAPI</a>
 </li>
 <li>getTaskFuncAtHareParForSite()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#ae72d7dcd1e0836e5d1c5a2c682abe31c">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#ab15b12637a557b53b92e9087eaf66cd6">SVF::ThreadAPI</a>
 </li>
 <li>getTCG()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a8ad9b8cb0e6300b2ffc55244e53cece6">SVF::ForkJoinAnalysis</a>
@@ -2787,7 +2791,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1SymbolTableBuilder.html#a4eebcc8dc7f23ead07c64bf523d0e68e">SVF::SymbolTableBuilder</a>
 </li>
 <li>getTypeInfo()
-: <a class="el" href="classSVF_1_1SVFType.html#a05850c17c2dbe42e5602dc8c9a70f3bd">SVF::SVFType</a>
+: <a class="el" href="classSVF_1_1SVFType.html#af25ae6ae537f65f96917a66ce1bb3cf1">SVF::SVFType</a>
 , <a class="el" href="classSVF_1_1SymbolTableInfo.html#a5dc699aa85fe879eb4b2c9109cf3030d">SVF::SymbolTableInfo</a>
 </li>
 <li>getTypeLocSetsMap()

package/SVF-doxygen/html/functions_func_i.html

@@ -82,6 +82,9 @@ $(function() {
 <li>ICFGNodesEnd()
 : <a class="el" href="classSVF_1_1SVFLoop.html#a4c96835d38a55423b70b2ce100d76dd2">SVF::SVFLoop</a>
 </li>
+<li>ICFGSimplification()
+: <a class="el" href="classSVF_1_1ICFGSimplification.html#a468a9250ff401f06446d73612a9e81a2">SVF::ICFGSimplification</a>
+</li>
 <li>ICFGStat()
 : <a class="el" href="classSVF_1_1ICFGStat.html#a3bbad3d1c0ab0cad3cc4b7aa069d1f9f">SVF::ICFGStat</a>
 </li>
@@ -795,7 +798,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1SrcSnkDDA.html#a391bb031b2f244e930b266a29cda0af7">SVF::SrcSnkDDA</a>
 </li>
 <li>isHareParFor()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#adb944c2287cf7686a03b0e53a03ba025">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#ab96065dc1bb1cc29f9c37c885f524b34">SVF::ThreadAPI</a>
 </li>
 <li>isHBPair()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a86c68ce5fd8825b1593d92a5a5bad389">SVF::ForkJoinAnalysis</a>
@@ -866,7 +869,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CxtThread.html#a39230596cd1c927353eaaee071eb16c6">SVF::CxtThread</a>
 </li>
 <li>isInLoop()
-: <a class="el" href="classSVF_1_1ICFG.html#ae115e70bf53f25c0ca6b1f22acccf5b5">SVF::ICFG</a>
+: <a class="el" href="classSVF_1_1ICFG.html#ac0600b9ff2521ec2b205dc35c276397d">SVF::ICFG</a>
 , <a class="el" href="classSVF_1_1SVFLoop.html#af2433fcc43f4e22fdf97ca2672a5dfa3">SVF::SVFLoop</a>
 </li>
 <li>isInloop()
@@ -956,13 +959,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1TCT.html#ab6c2beac6b9f1e4fc1fdd4d657232389">SVF::TCT</a>
 </li>
 <li>isMemAlloc()
-: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a71cbe5fbf582d0801f604595d3dfb416">SVF::SaberCheckerAPI</a>
+: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a512741dffe68d4bbb761c5c178ea8c67">SVF::SaberCheckerAPI</a>
 </li>
 <li>isMemcpy()
 : <a class="el" href="classSVF_1_1MTAAnnotator.html#aee9e5ebac543d9a2aab511410b047898">SVF::MTAAnnotator</a>
 </li>
 <li>isMemDealloc()
-: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#ab6d9c2435bdb1c01542cc75e9eef0a4e">SVF::SaberCheckerAPI</a>
+: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#aa6323d60c58b06f94a1645b26d3305ae">SVF::SaberCheckerAPI</a>
 </li>
 <li>isMemset()
 : <a class="el" href="classSVF_1_1MTAAnnotator.html#a36eb47b716c3b44ba5c459052bb0ed93">SVF::MTAAnnotator</a>
@@ -996,6 +999,7 @@ $(function() {
 <li>isNodeHidden()
 : <a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#ae73ba55d72d5df1f70a2bfa2e12958f3">SVF::DefaultDOTGraphTraits</a>
 , <a class="el" href="structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#aa89ef1fbbc6ff785a933f45201054af6">SVF::DOTGraphTraits&lt; ConstraintGraph * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a5b40f3d5c2dcabdd2895780cc7f2a879">SVF::DOTGraphTraits&lt; ICFG * &gt;</a>
 , <a class="el" href="structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a4157da89f5224f90d19a505131e5a8bf">SVF::DOTGraphTraits&lt; IRGraph * &gt;</a>
 , <a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#aafa70c57c0bbad9c2334b83d88eb1a89">SVF::DOTGraphTraits&lt; SVFG * &gt;</a>
 , <a class="el" href="classSVF_1_1GraphWriter.html#a8b1d80caf226c3a619c5fb03f8724f74">SVF::GraphWriter&lt; GraphType &gt;</a>
@@ -1200,14 +1204,14 @@ $(function() {
 : <a class="el" href="classSVF_1_1SingleAbsValue.html#adea2bf196a9717c252f33f2707510d12">SVF::SingleAbsValue</a>
 </li>
 <li>isTailofSpan()
-: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#af8ea2da28e9818d4f9e4e9528997f023">SVF::MTASVFGBuilder</a>
+: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#ac8339229ade604f4205b111bfc99f23f">SVF::MTASVFGBuilder</a>
 </li>
 <li>isTDAcquire()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#ab8376e0cbdff101b7b981141637e3da3">SVF::LockAnalysis</a>
 , <a class="el" href="classSVF_1_1ThreadAPI.html#a608f0cb60a665745748b6a6654a6e837">SVF::ThreadAPI</a>
 </li>
 <li>isTDBarWait()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#a62a5d4709eb9f1e4e9dd20b87dac8c42">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#af3aa58dc83dca382162df67c12169585">SVF::ThreadAPI</a>
 </li>
 <li>isTDExit()
 : <a class="el" href="classSVF_1_1ThreadAPI.html#a22d6c0cf0ba19af0661b106a8859024f">SVF::ThreadAPI</a>

package/SVF-doxygen/html/functions_func_m.html

@@ -173,6 +173,9 @@ $(function() {
 <li>MemSSAStat()
 : <a class="el" href="classSVF_1_1MemSSAStat.html#a53f3d85a8eb63676d3dc47ee648efb66">SVF::MemSSAStat</a>
 </li>
+<li>mergeAdjacentNodes()
+: <a class="el" href="classSVF_1_1ICFGSimplification.html#afaea7e3622ee5341a3f28135a2ae8644">SVF::ICFGSimplification</a>
+</li>
 <li>MergeFunctionRets()
 : <a class="el" href="classSVF_1_1MergeFunctionRets.html#a2b989707893cd81dd275be6a3b8c79fc">SVF::MergeFunctionRets</a>
 </li>
@@ -265,7 +268,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#ae0cbe965ddbc511fb10e87fe8ae3912f">SVF::MTASVFGBuilder</a>
 </li>
 <li>MultiOpndStmt()
-: <a class="el" href="classSVF_1_1MultiOpndStmt.html#a60420a9681df31686eb4a42adf37e1e3">SVF::MultiOpndStmt</a>
+: <a class="el" href="classSVF_1_1MultiOpndStmt.html#a6b01d569057dda1783503563c20c74e6">SVF::MultiOpndStmt</a>
 </li>
 <li>mustAlias()
 : <a class="el" href="classSVF_1_1CondPTAImpl.html#a3b5877fec52bbfa7c83bab6c9bc95684">SVF::CondPTAImpl&lt; Cond &gt;</a>

package/SVF-doxygen/html/functions_func_p.html

@@ -526,7 +526,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a028734f4520172aa5abed48628b44dc3">SVF::ForkJoinAnalysis</a>
 , <a class="el" href="classSVF_1_1LockAnalysis.html#ac5993b55304d38e077d19c4ac2d680f0">SVF::LockAnalysis</a>
 , <a class="el" href="classSVF_1_1MHP.html#a68a2ad4480af7d40bd604d81afbc3d0b">SVF::MHP</a>
-, <a class="el" href="classSVF_1_1TCT.html#aa98a5b427a92eca1e043efcdf7945169">SVF::TCT</a>
+, <a class="el" href="classSVF_1_1TCT.html#a625cd9d7ca85c0581af13e9e0c16960e">SVF::TCT</a>
 </li>
 <li>pushIntoWorklist()
 : <a class="el" href="classSVF_1_1CFLSolver.html#aa6123d73f71b9148d7aafb2ec58bbb34">SVF::CFLSolver</a>

package/SVF-doxygen/html/functions_func_r.html

@@ -460,7 +460,7 @@ $(function() {
 : <a class="el" href="classSymblicAbstractionTest.html#abaa1ae92b79979cfabee1a2b8a284f80">SymblicAbstractionTest</a>
 </li>
 <li>runOnModule()
-: <a class="el" href="classSVF_1_1AbstractExecution.html#a7a9a6b46b24d044316f609f71344e2bb">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractExecution.html#ac848658bb3069193b1c7b08199b3d4c7">SVF::AbstractExecution</a>
 , <a class="el" href="classSVF_1_1BreakConstantGEPs.html#ae99ceb7923161d54e7d0a687f4f68e1a">SVF::BreakConstantGEPs</a>
 , <a class="el" href="classSVF_1_1DDAPass.html#aca46f1d464f5766ae666661a164a51a9">SVF::DDAPass</a>
 , <a class="el" href="classSVF_1_1DoubleFreeChecker.html#a6ae08976bd1a82f4370ff373b898f49e">SVF::DoubleFreeChecker</a>

package/SVF-doxygen/html/functions_func_s.html

@@ -924,7 +924,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#aff272bc1d00f2e57b7677d1826a31237">SVF::SymbolTableInfo</a>
 </li>
 <li>SymState()
-: <a class="el" href="classSVF_1_1SymState.html#aa820ec486eeeea1d1296e0b58ced750d">SVF::SymState</a>
+: <a class="el" href="classSVF_1_1SymState.html#a0362da88a176f1d814068ebeeeb0e665">SVF::SymState</a>
 </li>
 <li>symToStrDump()
 : <a class="el" href="classSVF_1_1GrammarBase.html#a49aad1a3620735a2929795df3d23ba38">SVF::GrammarBase</a>

package/SVF-doxygen/html/functions_func_u.html

@@ -225,9 +225,15 @@ $(function() {
 , <a class="el" href="classSVF_1_1MutableDiffPTData.html#a2feb36e64e27e6f0bcc0e108da433278">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentDiffPTData.html#aa8c5694bcbf884bee43875433abc03c9">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
+<li>updateRepNode()
+: <a class="el" href="classSVF_1_1ICFG.html#ae8b3b7bb72118a6aada2a63488995bb7">SVF::ICFG</a>
+</li>
 <li>updateSiblingThreads()
 : <a class="el" href="classSVF_1_1MHP.html#a23ab5a03b7c00ba0ebac65568a83a5cc">SVF::MHP</a>
 </li>
+<li>updateSubAndRep()
+: <a class="el" href="classSVF_1_1ICFG.html#ace6fa126ccfffa5bc6a1ceaccf9b857a">SVF::ICFG</a>
+</li>
 <li>updateTLVPts()
 : <a class="el" href="classSVF_1_1DFPTData.html#aaa6f67ff5daf7d71a3ad62316a7dd872">SVF::DFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDFPTData.html#a21b29c2d3e429017d910025e4ec73fc6">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>

package/SVF-doxygen/html/functions_func_~.html

@@ -283,6 +283,9 @@ $(function() {
 <li>~ICFGEdge()
 : <a class="el" href="classSVF_1_1ICFGEdge.html#a6dea0df51f68b621fcabef6a3ce9e778">SVF::ICFGEdge</a>
 </li>
+<li>~ICFGSimplification()
+: <a class="el" href="classSVF_1_1ICFGSimplification.html#afbaa008e2feec37b0988c119d6963916">SVF::ICFGSimplification</a>
+</li>
 <li>~ICFGWTO()
 : <a class="el" href="classSVF_1_1ICFGWTO.html#a52bfc8ef5e87bdbda4a3ba3e2ee23f2e">SVF::ICFGWTO</a>
 </li>

package/SVF-doxygen/html/functions_g.html

@@ -2328,7 +2328,7 @@ $(function() {
 <li>getPts()
 : <a class="el" href="classSVF_1_1Andersen.html#a187285a5bdf9422d9188b2b11b667639">SVF::Andersen</a>
 , <a class="el" href="classSVF_1_1BVDataPTAImpl.html#ac9897a09cad8a99169f2da2116807b1b">SVF::BVDataPTAImpl</a>
-, <a class="el" href="classSVF_1_1CondPTAImpl.html#a63fa2b3a96696ffc67a119c1ba5ce748">SVF::CondPTAImpl&lt; Cond &gt;</a>
+, <a class="el" href="classSVF_1_1CondPTAImpl.html#a0b96ba98239186d6d676f9540da9e590">SVF::CondPTAImpl&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDFPTData.html#a4cbb9131a89c5c48367fb927693b5c6b">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDiffPTData.html#ac2f494da9379c336bb81a0dc438b5af9">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutablePTData.html#abe4230f3ba78fc660ea291fda36ffa62">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
@@ -2387,6 +2387,9 @@ $(function() {
 <li>getRep()
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#acd1f0ce7936ced59bfaf04956a0f8214">SVF::ConstraintGraph</a>
 </li>
+<li>getRepNode()
+: <a class="el" href="classSVF_1_1ICFG.html#a684340fd9fc7cbbcb259fff1684f8b05">SVF::ICFG</a>
+</li>
 <li>getRepNodes()
 : <a class="el" href="classSVF_1_1SCCDetection.html#a457973fa38fad89bbd2dc41ba041703e">SVF::SCCDetection&lt; GraphType &gt;</a>
 </li>
@@ -2424,7 +2427,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1ICFGBuilder.html#a31a2810fe664f45da147f4bd0a0410d6">SVF::ICFGBuilder</a>
 </li>
 <li>getRetParmAtJoinedSite()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#acbd4d2403cc9ebb01b82844d8c4eeb54">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#a24e1734230ec053c218d4d4774b9bfd0">SVF::ThreadAPI</a>
 </li>
 <li>getRetPE()
 : <a class="el" href="classSVF_1_1RetCFGEdge.html#af84bf360ca641711a3c625de86feb603">SVF::RetCFGEdge</a>
@@ -2456,7 +2459,7 @@ $(function() {
 <li>getRevPts()
 : <a class="el" href="classSVF_1_1BVDataPTAImpl.html#aa30608bc36dcfde45c896d4a15a08ca1">SVF::BVDataPTAImpl</a>
 , <a class="el" href="classSVF_1_1CFLAlias.html#abcb07a089b7b1036d070c451a81cef5d">SVF::CFLAlias</a>
-, <a class="el" href="classSVF_1_1CondPTAImpl.html#a0da0602c5b260afaba4bef1abcbcf7b3">SVF::CondPTAImpl&lt; Cond &gt;</a>
+, <a class="el" href="classSVF_1_1CondPTAImpl.html#aa266eef30817c557882de19aefe135a9">SVF::CondPTAImpl&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDFPTData.html#a2f98940bd8266ad37a975c6d30d948b4">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDiffPTData.html#ad9bd6762fc6525afaed4a6c6da63688d">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutablePTData.html#a36aa05b8f5c308035315d6df7036c096">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
@@ -2611,7 +2614,7 @@ $(function() {
 </li>
 <li>getStringArg()
 : <a class="el" href="classSVF_1_1LockResultValidator.html#a1b1b841451fe51cb58417e864a28cbfc">SVF::LockResultValidator</a>
-, <a class="el" href="classSVF_1_1MTAResultValidator.html#a75057911bf08c167ead4232c4a2b25f4">SVF::MTAResultValidator</a>
+, <a class="el" href="classSVF_1_1MTAResultValidator.html#a1ac51d2847f9bdee27092ab22211bb61">SVF::MTAResultValidator</a>
 </li>
 <li>getStrlen()
 : <a class="el" href="classSVF_1_1AEAPI.html#ae0519df0b6927a2d077c3d46beeaa9f7">SVF::AEAPI</a>
@@ -2623,7 +2626,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1AccessPath.html#a1f279344b4061838d7b3498631bc907c">SVF::AccessPath</a>
 </li>
 <li>getSubNodes()
-: <a class="el" href="classSVF_1_1Steensgaard.html#a95ed4be99e201058cb6d994250d2629f">SVF::Steensgaard</a>
+: <a class="el" href="classSVF_1_1ICFG.html#a9addf6fec78687c835e60d06cc7bc604">SVF::ICFG</a>
+, <a class="el" href="classSVF_1_1Steensgaard.html#a95ed4be99e201058cb6d994250d2629f">SVF::Steensgaard</a>
 </li>
 <li>getSubs()
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#ade6a90ed5e0a9e8615bafec54d9d1d73">SVF::ConstraintGraph</a>
@@ -2760,7 +2764,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1IRGraph.html#a9f7c24325d897b598d6b989fdc4aae1e">SVF::IRGraph</a>
 </li>
 <li>getTaskDataAtHareParForSite()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#a34ea034a2bd7b7cb51317ed441ca5b38">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#a8c6617f2df59ff166b13242060707013">SVF::ThreadAPI</a>
 </li>
 <li>getTaskFuncAtHareParForSite()
 : <a class="el" href="classSVF_1_1ThreadAPI.html#ab15b12637a557b53b92e9087eaf66cd6">SVF::ThreadAPI</a>
@@ -2777,7 +2781,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1TCT.html#a6ac3c91742a6e9088c4e9cf1b7d2f42e">SVF::TCT</a>
 </li>
 <li>getTCTNode()
-: <a class="el" href="classSVF_1_1TCT.html#a7b4ad0b052e1f8b6869733eef15f4e4d">SVF::TCT</a>
+: <a class="el" href="classSVF_1_1TCT.html#aac9d98a33fbaa6defa3f847d0bbe76d6">SVF::TCT</a>
 </li>
 <li>getTCTNodeNum()
 : <a class="el" href="classSVF_1_1TCT.html#af03bfeae7e09a9f62d96ba59632e588f">SVF::TCT</a>
@@ -3014,7 +3018,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFConstantInt.html#aabc3c47a6e4036bf993fe29fa195bf1e">SVF::SVFConstantInt</a>
 </li>
 <li>global_begin()
-: <a class="el" href="classSVF_1_1SVFModule.html#af81c6deed3978562f83f120119c6aad2">SVF::SVFModule</a>
+: <a class="el" href="classSVF_1_1SVFModule.html#a4dc32c583d29d74d052eaa5665b0b70e">SVF::SVFModule</a>
 </li>
 <li>global_end()
 : <a class="el" href="classSVF_1_1SVFModule.html#a8a34164634d6ad9a7b76175907c8c44b">SVF::SVFModule</a>