svf-tools 1.0.475 → 1.0.476

package/SVF-doxygen/html/html/dir_95e22971b5dbae2382075a3453e365b4.html

@@ -103,6 +103,8 @@ Files</h2></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:SVFUtil_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="SVFUtil_8h.html">SVFUtil.h</a> <a href="SVFUtil_8h_source.html">[code]</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:SymState_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="SymState_8h.html">SymState.h</a> <a href="SymState_8h_source.html">[code]</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ThreadAPI_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="ThreadAPI_8h.html">ThreadAPI.h</a> <a href="ThreadAPI_8h_source.html">[code]</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:WorkList_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="WorkList_8h.html">WorkList.h</a> <a href="WorkList_8h_source.html">[code]</a></td></tr>

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

@@ -193,9 +193,10 @@ $(function() {
 <tr id="row_0_10_14_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="SVFBasicTypes_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SVFBasicTypes_8h.html" target="_self">SVFBasicTypes.h</a></td><td class="desc"></td></tr>
 <tr id="row_0_10_15_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="SVFModule_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SVFModule_8h.html" target="_self">SVFModule.h</a></td><td class="desc"></td></tr>
 <tr id="row_0_10_16_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="SVFUtil_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SVFUtil_8h.html" target="_self">SVFUtil.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_10_17_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="ThreadAPI_8h_source.html"><span class="icondoc"></span></a><a class="el" href="ThreadAPI_8h.html" target="_self">ThreadAPI.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_10_18_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="WorkList_8h_source.html"><span class="icondoc"></span></a><a class="el" href="WorkList_8h.html" target="_self">WorkList.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_10_19_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="Z3Expr_8h_source.html"><span class="icondoc"></span></a><a class="el" href="Z3Expr_8h.html" target="_self">Z3Expr.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_10_17_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="SymState_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SymState_8h.html" target="_self">SymState.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_10_18_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="ThreadAPI_8h_source.html"><span class="icondoc"></span></a><a class="el" href="ThreadAPI_8h.html" target="_self">ThreadAPI.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_10_19_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="WorkList_8h_source.html"><span class="icondoc"></span></a><a class="el" href="WorkList_8h.html" target="_self">WorkList.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_10_20_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="Z3Expr_8h_source.html"><span class="icondoc"></span></a><a class="el" href="Z3Expr_8h.html" target="_self">Z3Expr.h</a></td><td class="desc"></td></tr>
 <tr id="row_0_11_" class="even"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_0_11_" class="arrow" onclick="toggleFolder('0_11_')">&#9658;</span><span id="img_0_11_" class="iconfclosed" onclick="toggleFolder('0_11_')">&#160;</span><a class="el" href="dir_ea25a8a5b2904424d8a51916f8b475b2.html" target="_self">WPA</a></td><td class="desc"></td></tr>
 <tr id="row_0_11_0_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="Andersen_8h_source.html"><span class="icondoc"></span></a><a class="el" href="Andersen_8h.html" target="_self">Andersen.h</a></td><td class="desc"></td></tr>
 <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>

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

@@ -454,6 +454,9 @@ $(function() {
 <li>~SymbolTableInfo()
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#a6efac0ae8ebf2865067136675be5a340">SVF::SymbolTableInfo</a>
 </li>
+<li>~SymState()
+: <a class="el" href="classSVF_1_1SymState.html#a52cd2f2c22f6e9cf610d74ba07164fbb">SVF::SymState</a>
+</li>
 <li>~TCT()
 : <a class="el" href="classSVF_1_1TCT.html#aee699da702973dd42398b42a2ec65e59">SVF::TCT</a>
 </li>

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

@@ -61,6 +61,12 @@ $(function() {
 <div class="textblock">Here is a list of all class members with links to the classes they belong to:</div>
 
 <h3><a id="index_a"></a>- a -</h3><ul>
+<li>absState
+: <a class="el" href="classSVF_1_1SymState.html#ad36f290382c773fd4b2ce801bf45d708">SVF::SymState</a>
+</li>
+<li>AbstractState
+: <a class="el" href="classSVF_1_1SymState.html#a35c06eb5fb989cad705632a6ed2b70d4">SVF::SymState</a>
+</li>
 <li>acache
 : <a class="el" href="structDdManager.html#a25fe7302c7986d5a67aea847af0d426a">DdManager</a>
 </li>
@@ -226,7 +232,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFIR.html#a69963e4030433103e84e57fc015871d8">SVF::SVFIR</a>
 </li>
 <li>AddCallSiteCHI()
-: <a class="el" href="classSVF_1_1MemSSA.html#af7991c1393ef3c8b090833bc27036a49">SVF::MemSSA</a>
+: <a class="el" href="classSVF_1_1MemSSA.html#ad8011273feaf046bf7f3a3f3b904a91d">SVF::MemSSA</a>
 </li>
 <li>AddCallSiteMU()
 : <a class="el" href="classSVF_1_1MemSSA.html#a8f121e686d36748e4528d0ea66dcaa24">SVF::MemSSA</a>
@@ -774,13 +780,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#a0fa28f3a081cd6d32801ab245b6e95ae">SVF::AddrStmt</a>
+: <a class="el" href="classSVF_1_1AddrStmt.html#a2576465276cd68b6d2029e1838c3b487">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#ae83e51310f51cfb9cd7e2bb2002d758a">SVF::AddrVFGNode</a>
+: <a class="el" href="classSVF_1_1AddrVFGNode.html#ad44d3d2b21708a472469b08450114f2c">SVF::AddrVFGNode</a>
 </li>
 <li>addSccCandidate()
 : <a class="el" href="classSVF_1_1AndersenSCD.html#ad8530ce52f87c4ea94cac579288e2689">SVF::AndersenSCD</a>
@@ -948,7 +954,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1VFG.html#a65c88a6c20380b715ac8b6c31e68afed">SVF::VFG</a>
 </li>
 <li>addValNode()
-: <a class="el" href="classSVF_1_1SVFIR.html#a3face8a526a33d82ef7cde7602030bc9">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#a93bc14960cdd4eb345c64e9b79757ccf">SVF::SVFIR</a>
 </li>
 <li>addVarargNode()
 : <a class="el" href="classSVF_1_1SVFIR.html#a6ade5bf3edc7b6c3faafc3e5ff3d0538">SVF::SVFIR</a>
@@ -984,7 +990,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1CondPTAImpl.html#a8e48e9fe6f7e21da49a155f8f6893944">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()
@@ -1288,7 +1294,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#a41bf9092cbdfccb9724bd58e10aa51a6">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_e.html

@@ -379,13 +379,16 @@ $(function() {
 : <a class="el" href="classSVF_1_1MHP.html#aab80f1bc5c359a7d3b03f249bafa1d40">SVF::MHP</a>
 </li>
 <li>ExeState()
-: <a class="el" href="classSVF_1_1ExeState.html#a83ce58a2551d511448d0224a96ca1bd7">SVF::ExeState</a>
+: <a class="el" href="classSVF_1_1ExeState.html#a62bef487b31f2a4ca27b4e9b183bdef5">SVF::ExeState</a>
+</li>
+<li>exeState
+: <a class="el" href="classSVF_1_1SymState.html#ab9ee5f993809fc026ffd270b0e9a6db4">SVF::SymState</a>
 </li>
 <li>exit
 : <a class="el" href="classSVF_1_1RetPE.html#a6f6ccda153150b6acdd81550e45f640f">SVF::RetPE</a>
 </li>
 <li>expandFIObjs()
-: <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a798c84d5e861de2b61bcb1a86385f721">SVF::BVDataPTAImpl</a>
+: <a class="el" href="classSVF_1_1BVDataPTAImpl.html#aa6a7186152037452599406a74b05d0e1">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>
@@ -394,12 +397,12 @@ $(function() {
 , <a class="el" href="structIeeeDoubleStruct.html#ae7281389e351ea2e0e577144746d76e2">IeeeDoubleStruct</a>
 , <a class="el" href="structIeeeNanStruct.html#aeb28a08581e489042de6f647eb431e5a">IeeeNanStruct</a>
 </li>
-<li>extAPI
-: <a class="el" href="classSVF_1_1ExtAPI.html#abe666dfdd9b3dea5ea89a5ed9ca4c618">SVF::ExtAPI</a>
-</li>
 <li>ExtAPI()
 : <a class="el" href="classSVF_1_1ExtAPI.html#af1c46b41e0088411a186228f760a99f3">SVF::ExtAPI</a>
 </li>
+<li>extAPI
+: <a class="el" href="classSVF_1_1ExtAPI.html#abe666dfdd9b3dea5ea89a5ed9ca4c618">SVF::ExtAPI</a>
+</li>
 <li>extendBackward()
 : <a class="el" href="classSVF_1_1CoreBitVector.html#ab6d789e3c68390a9026fd4f8c4cf344a">SVF::CoreBitVector</a>
 </li>

package/SVF-doxygen/html/html/functions_f.html

@@ -540,13 +540,11 @@ $(function() {
 </li>
 <li>FunToLoopInfoMap
 : <a class="el" href="classSVF_1_1MTA.html#a2473be56f2861ad101f65a65e02dff8d">SVF::MTA</a>
+, <a class="el" href="classSVF_1_1PTACFInfoBuilder.html#ad76c187197c73fad8dd0c8bdb57b10f7">SVF::PTACFInfoBuilder</a>
 </li>
 <li>funToLoopInfoMap
 : <a class="el" href="classSVF_1_1PTACFInfoBuilder.html#a155db92ff5057abcb929c0ca8e8bee89">SVF::PTACFInfoBuilder</a>
 </li>
-<li>FunToLoopInfoMap
-: <a class="el" href="classSVF_1_1PTACFInfoBuilder.html#ad76c187197c73fad8dd0c8bdb57b10f7">SVF::PTACFInfoBuilder</a>
-</li>
 <li>funToModsMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#a2c94bfa19ad8d1d6360b12693c8b891d">SVF::MRGenerator</a>
 </li>
@@ -586,12 +584,12 @@ $(function() {
 <li>FunToRetMap
 : <a class="el" href="classSVF_1_1SVFIR.html#ae34e5ff2f065ad752c248337d625b2e3">SVF::SVFIR</a>
 </li>
-<li>funToReturnMuSetMap
-: <a class="el" href="classSVF_1_1MemSSA.html#abae2396bf8a37a22be9365d368fe455c">SVF::MemSSA</a>
-</li>
 <li>FunToReturnMuSetMap
 : <a class="el" href="classSVF_1_1MemSSA.html#a3cfc6d7134f98e5876c16c6c043a3d92">SVF::MemSSA</a>
 </li>
+<li>funToReturnMuSetMap
+: <a class="el" href="classSVF_1_1MemSSA.html#abae2396bf8a37a22be9365d368fe455c">SVF::MemSSA</a>
+</li>
 <li>FunToSEMap
 : <a class="el" href="classSVF_1_1MTA.html#a2c92809f1395aa064c80aef0c3e4c944">SVF::MTA</a>
 </li>

package/SVF-doxygen/html/html/functions_func_0x7e.html

@@ -454,6 +454,9 @@ $(function() {
 <li>~SymbolTableInfo()
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#a6efac0ae8ebf2865067136675be5a340">SVF::SymbolTableInfo</a>
 </li>
+<li>~SymState()
+: <a class="el" href="classSVF_1_1SymState.html#a52cd2f2c22f6e9cf610d74ba07164fbb">SVF::SymState</a>
+</li>
 <li>~TCT()
 : <a class="el" href="classSVF_1_1TCT.html#aee699da702973dd42398b42a2ec65e59">SVF::TCT</a>
 </li>

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

@@ -121,6 +121,9 @@ $(function() {
 <li>get_type()
 : <a class="el" href="classSVF_1_1ExtAPI.html#a90b433cf855adcf34c6ef7f7e5be62b1">SVF::ExtAPI</a>
 </li>
+<li>getAbstractState()
+: <a class="el" href="classSVF_1_1SymState.html#a10ac726895d843b2d8e75c735a409af8">SVF::SymState</a>
+</li>
 <li>getActualINDef()
 : <a class="el" href="classSVF_1_1SVFGOPT.html#a550f93b640a6fd68773fbafd2944d7df">SVF::SVFGOPT</a>
 </li>
@@ -131,7 +134,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFG.html#a5b7ae610bee28acc2905ca82928e714f">SVF::SVFG</a>
 </li>
 <li>getActualParmAtForkSite()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#a6bc40bc0b35c23e9d1874c844511449d">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#ae8224e28db2323874fb9da8b05d3ab80">SVF::ThreadAPI</a>
 </li>
 <li>getActualParms()
 : <a class="el" href="classSVF_1_1CallICFGNode.html#ab43c000436d0f6d978f4fff831671d5c">SVF::CallICFGNode</a>
@@ -849,6 +852,9 @@ $(function() {
 <li>getEvalBrCond()
 : <a class="el" href="classSVF_1_1PathCondAllocator.html#a6d2c5b05f4966522c9310fd3c086adea">SVF::PathCondAllocator</a>
 </li>
+<li>getExecutionState()
+: <a class="el" href="classSVF_1_1SymState.html#a9f170568014de8bffea264cb4f931b4f">SVF::SymState</a>
+</li>
 <li>getExitInstOfParentRoutineFun()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#acc178bd423dbb21bd46a9fae9ed0351c">SVF::ForkJoinAnalysis</a>
 </li>
@@ -1418,8 +1424,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1MRGenerator.html#ae487d7b800d7536b578095c9f140ac80">SVF::MRGenerator</a>
 </li>
 <li>getModRefInfo()
-: <a class="el" href="classSVF_1_1MRGenerator.html#ac14c99ee6064fc9cf30120a83c78e702">SVF::MRGenerator</a>
-, <a class="el" href="classSVF_1_1WPAPass.html#a6d86f4ef6ad2f14c2dbf57b759e2950f">SVF::WPAPass</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#a7e1c258e120d89d7b9d6e414f91c6e4a">SVF::MRGenerator</a>
+, <a class="el" href="classSVF_1_1WPAPass.html#a148cd86101e402e7ed8d3b3dae151d79">SVF::WPAPass</a>
 </li>
 <li>getModSideEffectOfCallSite()
 : <a class="el" href="classSVF_1_1MRGenerator.html#a1535832f5b1ae3178fea950bf71fdd99">SVF::MRGenerator</a>
@@ -1897,7 +1903,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1Andersen.html#a187285a5bdf9422d9188b2b11b667639">SVF::Andersen</a>
 , <a class="el" href="classSVF_1_1BVDataPTAImpl.html#aee289e298e421448caaa604b7eb34fcb">SVF::BVDataPTAImpl</a>
 , <a class="el" href="classSVF_1_1CFLAlias.html#ad7bde2bfe158e9c3643927583ce145c9">SVF::CFLAlias</a>
-, <a class="el" href="classSVF_1_1CondPTAImpl.html#a0b96ba98239186d6d676f9540da9e590">SVF::CondPTAImpl&lt; Cond &gt;</a>
+, <a class="el" href="classSVF_1_1CondPTAImpl.html#a63fa2b3a96696ffc67a119c1ba5ce748">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>
@@ -1905,7 +1911,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1PersistentDFPTData.html#a5f6a01d0bb40a718bc14f2cc1bb98a13">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentDiffPTData.html#a9982ecf42416756a0729a28e8713cfed">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentPTData.html#a34f8226202e1654d4e67916b21ec4d99">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a9b81d20e54d08e36edbff43549b1e820">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#afe80884fa8227e50f28631e20aa6fdf6">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 , <a class="el" href="classSVF_1_1PointerAnalysis.html#a4dfb43679e9fa794ebad99b6584c32ec">SVF::PointerAnalysis</a>
 , <a class="el" href="classSVF_1_1PTData.html#a9ae6037637d8b9acb323333f491f4a7d">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1Steensgaard.html#adbcb9af660ab9bb0202bd32342280486">SVF::Steensgaard</a>
@@ -1982,7 +1988,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1ICFGBuilder.html#a7c1125c992eec20e118e6bfc12cb8bfb">SVF::ICFGBuilder</a>
 </li>
 <li>getRetParmAtJoinedSite()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#ad1c595f7b15a2d3079b9e9200c84f7d7">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#a5439ef32c909b02c83cbd30eb0a0fe12">SVF::ThreadAPI</a>
 </li>
 <li>getRetPE()
 : <a class="el" href="classSVF_1_1RetCFGEdge.html#af84bf360ca641711a3c625de86feb603">SVF::RetCFGEdge</a>
@@ -2177,7 +2183,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1BranchVFGNode.html#a2ef5951de4760d28adb9d82b22067360">SVF::BranchVFGNode</a>
 </li>
 <li>getSuccNodes()
-: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a7033805052c8fae5cd0104fdd9e345c0">SVF::MTASVFGBuilder</a>
+: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a8164ae39b494115142767abc29cebd53">SVF::MTASVFGBuilder</a>
 </li>
 <li>getSVFFun()
 : <a class="el" href="classSVF_1_1PCG.html#ac7dd2bbd4274a5e3a6427f3b674f99ba">SVF::PCG</a>
@@ -2240,7 +2246,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ThreadAPI.html#aee8fac6281a95d8a519add100e8887d1">SVF::ThreadAPI</a>
 </li>
 <li>getTaskFuncAtHareParForSite()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#afeedd6e518af76fa9e7142af8899b2f5">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#a282d6aeab91135af4cab8195d67badf6">SVF::ThreadAPI</a>
 </li>
 <li>getTCG()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a8ad9b8cb0e6300b2ffc55244e53cece6">SVF::ForkJoinAnalysis</a>

package/SVF-doxygen/html/html/functions_func_o.html

@@ -109,6 +109,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1StmtDPItem.html#ab89875a3b692ed348b1b28bb9a173254">SVF::StmtDPItem&lt; LocCond &gt;</a>
 , <a class="el" href="classSVF_1_1SVFGNodeLockSpan.html#afa11dc0e8124bb36bfb404bfd94f4b40">SVF::SVFGNodeLockSpan</a>
 , <a class="el" href="classSVF_1_1SVFValue.html#ac64744d3e0c41be76ceef4b5715050b5">SVF::SVFValue</a>
+, <a class="el" href="classSVF_1_1SymState.html#a6f3c1b4c3be13c65609a9de4d19f71ba">SVF::SymState</a>
 </li>
 <li>operator&amp;=()
 : <a class="el" href="classSVF_1_1CondPointsToSet.html#ab86fdf68183d05f66e1405c6346038c4">SVF::CondPointsToSet&lt; Cond &gt;</a>
@@ -135,6 +136,7 @@ $(function() {
 , <a class="el" href="structstd_1_1hash_3_01SVF_1_1PointsTo_01_4.html#a34dcd2ff517e67b98ec26e4957931367">std::hash&lt; SVF::PointsTo &gt;</a>
 , <a class="el" href="structstd_1_1hash_3_01SVF_1_1StmtDPItem_3_01LocCond_01_4_01_4.html#a265e5b7b0b4e15c14f1cc93ec4fc2267">std::hash&lt; SVF::StmtDPItem&lt; LocCond &gt; &gt;</a>
 , <a class="el" href="structstd_1_1hash_3_01SVF_1_1SVFGNodeLockSpan_01_4.html#a7854984f902d9a42c6d4e095de8464a7">std::hash&lt; SVF::SVFGNodeLockSpan &gt;</a>
+, <a class="el" href="structstd_1_1hash_3_01SVF_1_1SymState_01_4.html#aa1155bb32072fdffe0f7f28ee57eb36f">std::hash&lt; SVF::SymState &gt;</a>
 , <a class="el" href="structstd_1_1hash_3_01SVF_1_1Z3Expr_01_4.html#a5f22ba479b6e05b6d3932d65c7034ade">std::hash&lt; SVF::Z3Expr &gt;</a>
 , <a class="el" href="structSVF_1_1GenericEdge_1_1equalGEdge.html#ac4654da03578f3ab8183b10f98a27f62">SVF::GenericEdge&lt; NodeTy &gt;::equalGEdge</a>
 , <a class="el" href="structSVF_1_1Hash.html#aad49eec16cfdd4d3423f27666d5f28ff">SVF::Hash&lt; T &gt;</a>
@@ -189,6 +191,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1PTASCEV.html#ad85500e4caaa70ecacfdf5fbbbcc330e">SVF::PTASCEV</a>
 , <a class="el" href="classSVF_1_1StmtDPItem.html#af92976dc7a8785165cefb047e742cdf6">SVF::StmtDPItem&lt; LocCond &gt;</a>
 , <a class="el" href="classSVF_1_1SVFGNodeLockSpan.html#a6640840300cf03186ceb7a2dbc75e875">SVF::SVFGNodeLockSpan</a>
+, <a class="el" href="classSVF_1_1SymState.html#a4867a6662d75a6e3885be8d1fbd9af9f">SVF::SymState</a>
 </li>
 <li>operator=()
 : <a class="el" href="classSVF_1_1ActualRetVFGNode.html#a4549da69c84064b914e9b4df9350ab6f">SVF::ActualRetVFGNode</a>
@@ -233,8 +236,8 @@ $(function() {
 , <a class="el" href="classSVF_1_1MultiOpndStmt.html#afbd0d606112605bf355f4a9de6b44406">SVF::MultiOpndStmt</a>
 , <a class="el" href="classSVF_1_1NormalGepCGEdge.html#a7f3a388e37e497fc5874e9f392901a39">SVF::NormalGepCGEdge</a>
 , <a class="el" href="classSVF_1_1PhiStmt.html#a331c7e14409b2d78881a0ec8932c1170">SVF::PhiStmt</a>
-, <a class="el" href="classSVF_1_1PointsTo.html#a269d334618e4acc7e739317fd58d7fe7">SVF::PointsTo</a>
-, <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#ac35de79e5c5d48d7f8f6f22e8450a0f6">SVF::PointsTo::PointsToIterator</a>
+, <a class="el" href="classSVF_1_1PointsTo.html#ab06c71c3d1ab7ef2a67fc00b42f4be72">SVF::PointsTo</a>
+, <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#acbbcff746f7f0dc37815e688e9172f21">SVF::PointsTo::PointsToIterator</a>
 , <a class="el" href="classSVF_1_1PTASCEV.html#a144e7fa8c5f4987067914416a85656ca">SVF::PTASCEV</a>
 , <a class="el" href="classSVF_1_1RetPE.html#acb2a5e66fab9f95278c44344d268f465">SVF::RetPE</a>
 , <a class="el" href="classSVF_1_1SelectStmt.html#ae3dd9ff3908218082b8c71c0ec7ef252">SVF::SelectStmt</a>
@@ -244,6 +247,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1StoreStmt.html#abc2f677257ce4656f1da4373d6a016ef">SVF::StoreStmt</a>
 , <a class="el" href="classSVF_1_1StoreVFGNode.html#a7f4de642d80c7b7335d7bb0c58adc7d4">SVF::StoreVFGNode</a>
 , <a class="el" href="classSVF_1_1SVFGNodeLockSpan.html#afa2d1f6997dd5f06b4efe75f8145932e">SVF::SVFGNodeLockSpan</a>
+, <a class="el" href="classSVF_1_1SymState.html#a91f1ffdd197203bbb109a7853f5df00b">SVF::SymState</a>
 , <a class="el" href="classSVF_1_1TDForkPE.html#a3c6cc8db894e2c4cb62262fdd556e58f">SVF::TDForkPE</a>
 , <a class="el" href="classSVF_1_1TDJoinPE.html#a4e4d2ac2888d9e1c02bb62f0a40bd0e2">SVF::TDJoinPE</a>
 , <a class="el" href="classSVF_1_1UnaryOPStmt.html#a58a341847b24cfaf98ab7e82008bc018">SVF::UnaryOPStmt</a>
@@ -280,6 +284,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1StmtDPItem.html#afd63ae0d881101d6c61709b9ac25dbf8">SVF::StmtDPItem&lt; LocCond &gt;</a>
 , <a class="el" href="classSVF_1_1SVFGNodeLockSpan.html#a880f9eec9d0c4835b7a524eeb801396d">SVF::SVFGNodeLockSpan</a>
 , <a class="el" href="classSVF_1_1SVFValue.html#aa171d1126f4ac00c3310d58d9b77c587">SVF::SVFValue</a>
+, <a class="el" href="classSVF_1_1SymState.html#af407d32bb8d293d43172a4ff450895e6">SVF::SymState</a>
 </li>
 <li>operator[]()
 : <a class="el" href="classSVF_1_1ContextCond.html#a62cc1c7c01d454e9cbebd3f7f5f3aa1f">SVF::ContextCond</a>
@@ -323,10 +328,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1BDDExprManager.html#a276f68eefe6b168ad5dc9e32c4f265bd">SVF::BDDExprManager</a>
 </li>
 <li>OutEdgeBegin()
-: <a class="el" href="classSVF_1_1GenericNode.html#aa4f103330118c8976bf95e4bf53416eb">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
+: <a class="el" href="classSVF_1_1GenericNode.html#a50219c203fb5a8a44fe22428699f26e7">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>OutEdgeEnd()
-: <a class="el" href="classSVF_1_1GenericNode.html#a19a3366fd8a58290d0c740c46c3dcb3d">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
+: <a class="el" href="classSVF_1_1GenericNode.html#ace88b6c7561f61f747ff08f61e2c18bc">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>outgoingAddrEdges()
 : <a class="el" href="classSVF_1_1ConstraintNode.html#ae5acdc3bd73974b6972b60fb3df5e0ea">SVF::ConstraintNode</a>

package/SVF-doxygen/html/html/functions_func_s.html

@@ -501,8 +501,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1PCG.html#a8dcd94e8f996fdb2197159ea95226817">SVF::PCG</a>
 </li>
 <li>split()
-: <a class="el" href="classSVF_1_1LockResultValidator.html#ad26006e14c866d694bc6e2ebaa41ded9">SVF::LockResultValidator</a>
-, <a class="el" href="classSVF_1_1MTAResultValidator.html#a73db9ad234b263b6e644e4b38be14fe6">SVF::MTAResultValidator</a>
+: <a class="el" href="classSVF_1_1LockResultValidator.html#ab8a6935e1ea6f99d60ead862a7b1782f">SVF::LockResultValidator</a>
+, <a class="el" href="classSVF_1_1MTAResultValidator.html#a7dad63ce2a85142a56d13926f10fde47">SVF::MTAResultValidator</a>
 </li>
 <li>SrcSnkDDA()
 : <a class="el" href="classSVF_1_1SrcSnkDDA.html#a73f6ddd4ba868e203109c52e4f3600bd">SVF::SrcSnkDDA</a>
@@ -545,7 +545,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1Steensgaard.html#ac79e21396243dfa969136daee5ecdbd4">SVF::Steensgaard</a>
 </li>
 <li>StInfo()
-: <a class="el" href="classSVF_1_1StInfo.html#a8c6d6933ad2c4be044d0a3557736e28d">SVF::StInfo</a>
+: <a class="el" href="classSVF_1_1StInfo.html#a72dd2114d61e1489676a524b83ebb5ac">SVF::StInfo</a>
 </li>
 <li>StmtDPItem()
 : <a class="el" href="classSVF_1_1StmtDPItem.html#aed9239e5558569f6e957e691fa1872d7">SVF::StmtDPItem&lt; LocCond &gt;</a>
@@ -554,7 +554,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1StmtVFGNode.html#a03c4e0a31d2377ef4ffe46fe183ccd9d">SVF::StmtVFGNode</a>
 </li>
 <li>store()
-: <a class="el" href="classSVF_1_1ExeState.html#a08db85e0e599d17b54743feb03a7717a">SVF::ExeState</a>
+: <a class="el" href="classSVF_1_1ExeState.html#ade4fc12b40dd05bf840c313f2b723879">SVF::ExeState</a>
 </li>
 <li>StoreCGEdge()
 : <a class="el" href="classSVF_1_1StoreCGEdge.html#a667b277ef845b866d3b11a7fbfce0815">SVF::StoreCGEdge</a>
@@ -587,14 +587,14 @@ $(function() {
 : <a class="el" href="classSVF_1_1CFGNormalizer.html#adbd98b8ece3c8234d5791fab47dcdbf9">SVF::CFGNormalizer</a>
 </li>
 <li>subNodes()
-: <a class="el" href="classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#aa2b23b22bb0304ce07ab9b14f0fdc395">SVF::SCCDetection&lt; GraphType &gt;::GNodeSCCInfo</a>
+: <a class="el" href="classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a48981e6555ad221d08f16ed2df708027">SVF::SCCDetection&lt; GraphType &gt;::GNodeSCCInfo</a>
 , <a class="el" href="classSVF_1_1SCCDetection.html#a6ab5eff6a576e6d8703c1ea29b7f425d">SVF::SCCDetection&lt; GraphType &gt;</a>
 </li>
 <li>SVFBasicBlock()
 : <a class="el" href="classSVF_1_1SVFBasicBlock.html#abf53678f536d64c4d979600c9fe429d1">SVF::SVFBasicBlock</a>
 </li>
 <li>SVFFunction()
-: <a class="el" href="classSVF_1_1SVFFunction.html#aed73a0604a9fc5b6560ce87cfeaa3944">SVF::SVFFunction</a>
+: <a class="el" href="classSVF_1_1SVFFunction.html#ae7a55d86a87088f7d70254980e4325b3">SVF::SVFFunction</a>
 </li>
 <li>SVFG()
 : <a class="el" href="classSVF_1_1SVFG.html#a68965c5a9cc5136aa0b593851c60ff12">SVF::SVFG</a>
@@ -653,6 +653,9 @@ $(function() {
 <li>SymbolTableInfo()
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#aff272bc1d00f2e57b7677d1826a31237">SVF::SymbolTableInfo</a>
 </li>
+<li>SymState()
+: <a class="el" href="classSVF_1_1SymState.html#a74011f042d561221c30fcd176490abad">SVF::SymState</a>
+</li>
 <li>szudzik()
 : <a class="el" href="structSVF_1_1Hash_3_01std_1_1pair_3_01S_00_01T_01_4_01_4.html#adf5f19b1b32c117571fe74035cdcdbe2">SVF::Hash&lt; std::pair&lt; S, T &gt; &gt;</a>
 </li>

package/SVF-doxygen/html/html/functions_g.html

@@ -196,6 +196,9 @@ $(function() {
 <li>get_type()
 : <a class="el" href="classSVF_1_1ExtAPI.html#a90b433cf855adcf34c6ef7f7e5be62b1">SVF::ExtAPI</a>
 </li>
+<li>getAbstractState()
+: <a class="el" href="classSVF_1_1SymState.html#a10ac726895d843b2d8e75c735a409af8">SVF::SymState</a>
+</li>
 <li>getActualINDef()
 : <a class="el" href="classSVF_1_1SVFGOPT.html#a550f93b640a6fd68773fbafd2944d7df">SVF::SVFGOPT</a>
 </li>
@@ -632,7 +635,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1Z3Expr.html#a1441f8e559aab4a051fff45a8c0665db">SVF::Z3Expr</a>
 </li>
 <li>getContexts()
-: <a class="el" href="classSVF_1_1ContextCond.html#a2af7a9769d97ddb4a217d0baaf7c03a3">SVF::ContextCond</a>
+: <a class="el" href="classSVF_1_1ContextCond.html#a73d4d6ed38898b912926d044268fd35b">SVF::ContextCond</a>
 , <a class="el" href="classSVF_1_1CxtDPItem.html#a1dea25cd5d72c52cef1cff23b832a196">SVF::CxtDPItem</a>
 </li>
 <li>getCopyInEdges()
@@ -924,6 +927,9 @@ $(function() {
 <li>getEvalBrCond()
 : <a class="el" href="classSVF_1_1PathCondAllocator.html#a6d2c5b05f4966522c9310fd3c086adea">SVF::PathCondAllocator</a>
 </li>
+<li>getExecutionState()
+: <a class="el" href="classSVF_1_1SymState.html#a9f170568014de8bffea264cb4f931b4f">SVF::SymState</a>
+</li>
 <li>getExitInstOfParentRoutineFun()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#acc178bd423dbb21bd46a9fae9ed0351c">SVF::ForkJoinAnalysis</a>
 </li>
@@ -1423,7 +1429,7 @@ $(function() {
 </li>
 <li>getLockVal()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a785616f9c744d7249fd1080e5ed04d29">SVF::LockAnalysis</a>
-, <a class="el" href="classSVF_1_1ThreadAPI.html#ad1d43e47f5036138e85068a1714f6c48">SVF::ThreadAPI</a>
+, <a class="el" href="classSVF_1_1ThreadAPI.html#a8f1c869eb42f7c89697cf2c7452ba9e9">SVF::ThreadAPI</a>
 </li>
 <li>getLocToDPMVecMap()
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#ad849ae4509e88832f784c748468ab959">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
@@ -1432,7 +1438,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ExeState.html#a4ee40de7eca22ac055b52360e0101623">SVF::ExeState</a>
 </li>
 <li>getLoop()
-: <a class="el" href="classSVF_1_1TCT.html#a71249dc399055790d86dcba6d9dd3021">SVF::TCT</a>
+: <a class="el" href="classSVF_1_1TCT.html#add9104a3d7a821e9c2f266ae1810d2e3">SVF::TCT</a>
 </li>
 <li>getLoopBound()
 : <a class="el" href="classSVF_1_1SVFLoop.html#ae772c9aab10b88d3c53cdf2cdb23d713">SVF::SVFLoop</a>
@@ -1494,7 +1500,7 @@ $(function() {
 </li>
 <li>getModRefInfo()
 : <a class="el" href="classSVF_1_1MRGenerator.html#ac14c99ee6064fc9cf30120a83c78e702">SVF::MRGenerator</a>
-, <a class="el" href="classSVF_1_1WPAPass.html#a81277c93b6a89c01a7a1f476bc3d744d">SVF::WPAPass</a>
+, <a class="el" href="classSVF_1_1WPAPass.html#a567f818fa7b29142b18cb39e5c063a4e">SVF::WPAPass</a>
 </li>
 <li>getModSideEffectOfCallSite()
 : <a class="el" href="classSVF_1_1MRGenerator.html#a1535832f5b1ae3178fea950bf71fdd99">SVF::MRGenerator</a>
@@ -1570,7 +1576,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFG.html#a49a910bc4ea6e98d1584e74a018badc9">SVF::SVFG</a>
 </li>
 <li>getMUSet()
-: <a class="el" href="classSVF_1_1MemSSA.html#af1a7b3ca0144ebff3747715e89646fbb">SVF::MemSSA</a>
+: <a class="el" href="classSVF_1_1MemSSA.html#af4d11a0c7da0ddd7dff8d75a00279847">SVF::MemSSA</a>
 </li>
 <li>getMutDFPTDataTy()
 : <a class="el" href="classSVF_1_1BVDataPTAImpl.html#acbb979edee9427efa2a7c0dbd881c483">SVF::BVDataPTAImpl</a>
@@ -1696,7 +1702,7 @@ $(function() {
 </li>
 <li>getObject()
 : <a class="el" href="classSVF_1_1DummyVersionPropSVFGNode.html#ac10a4b9c2ee536cfcb74120d86c0619f">SVF::DummyVersionPropSVFGNode</a>
-, <a class="el" href="classSVF_1_1SVFIR.html#a25b86c16d11b4d50ccc28ead525687ae">SVF::SVFIR</a>
+, <a class="el" href="classSVF_1_1SVFIR.html#a2dd4d5f704906270af13e7a07f900eb1">SVF::SVFIR</a>
 </li>
 <li>getObjectNode()
 : <a class="el" href="classSVF_1_1IRGraph.html#aba13ca47865614e45321c1ae53e640c1">SVF::IRGraph</a>
@@ -1976,11 +1982,11 @@ $(function() {
 , <a class="el" href="classSVF_1_1MutableDFPTData.html#a4cbb9131a89c5c48367fb927693b5c6b">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDiffPTData.html#ac2f494da9379c336bb81a0dc438b5af9">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutablePTData.html#abe4230f3ba78fc660ea291fda36ffa62">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1MutableVersionedPTData.html#aaf519166d2e0ca3c81088b52a1cf3066">SVF::MutableVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
+, <a class="el" href="classSVF_1_1MutableVersionedPTData.html#afcc34f6cedca6a8f151b1a7251832818">SVF::MutableVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentDFPTData.html#a5f6a01d0bb40a718bc14f2cc1bb98a13">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentDiffPTData.html#a9982ecf42416756a0729a28e8713cfed">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentPTData.html#a34f8226202e1654d4e67916b21ec4d99">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a9b81d20e54d08e36edbff43549b1e820">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#afe80884fa8227e50f28631e20aa6fdf6">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 , <a class="el" href="classSVF_1_1PointerAnalysis.html#a4dfb43679e9fa794ebad99b6584c32ec">SVF::PointerAnalysis</a>
 , <a class="el" href="classSVF_1_1PTData.html#a9ae6037637d8b9acb323333f491f4a7d">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1Steensgaard.html#adbcb9af660ab9bb0202bd32342280486">SVF::Steensgaard</a>
@@ -1993,7 +1999,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1MutablePTData.html#a8838058efe94b62553bb5416fdc2ec5b">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>getPtsSubSetMap()
-: <a class="el" href="classSVF_1_1IntraDisjointMRG.html#ae3c857c056f4e6e863843bafba7fdea1">SVF::IntraDisjointMRG</a>
+: <a class="el" href="classSVF_1_1IntraDisjointMRG.html#ad0640ef6e02d9a90964ca495c0fd8f53">SVF::IntraDisjointMRG</a>
 </li>
 <li>getRawCTirMetadata()
 : <a class="el" href="classSVF_1_1FlowSensitiveTBHC.html#a2c47ba37bd250be455a21d1f0049d556">SVF::FlowSensitiveTBHC</a>
@@ -2085,7 +2091,7 @@ $(function() {
 <li>getRevPts()
 : <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a58113943e4e7144d94d26991dcc8bcc7">SVF::BVDataPTAImpl</a>
 , <a class="el" href="classSVF_1_1CFLAlias.html#abcb07a089b7b1036d070c451a81cef5d">SVF::CFLAlias</a>
-, <a class="el" href="classSVF_1_1CondPTAImpl.html#aa266eef30817c557882de19aefe135a9">SVF::CondPTAImpl&lt; Cond &gt;</a>
+, <a class="el" href="classSVF_1_1CondPTAImpl.html#a0da0602c5b260afaba4bef1abcbcf7b3">SVF::CondPTAImpl&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDFPTData.html#a2f98940bd8266ad37a975c6d30d948b4">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDiffPTData.html#ad9bd6762fc6525afaed4a6c6da63688d">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutablePTData.html#a36aa05b8f5c308035315d6df7036c096">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
@@ -2312,10 +2318,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1GrammarBase.html#a76189622192db66f7c355038c73fa9dd">SVF::GrammarBase</a>
 </li>
 <li>getTaskDataAtHareParForSite()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#a58cf56e35be873a5a26c5eb0d9b5c9b3">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#aee8fac6281a95d8a519add100e8887d1">SVF::ThreadAPI</a>
 </li>
 <li>getTaskFuncAtHareParForSite()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#a282d6aeab91135af4cab8195d67badf6">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#afeedd6e518af76fa9e7142af8899b2f5">SVF::ThreadAPI</a>
 </li>
 <li>getTCG()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a8ad9b8cb0e6300b2ffc55244e53cece6">SVF::ForkJoinAnalysis</a>
@@ -2329,7 +2335,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1TCT.html#a6ac3c91742a6e9088c4e9cf1b7d2f42e">SVF::TCT</a>
 </li>
 <li>getTCTNode()
-: <a class="el" href="classSVF_1_1TCT.html#aac9d98a33fbaa6defa3f847d0bbe76d6">SVF::TCT</a>
+: <a class="el" href="classSVF_1_1TCT.html#a7b4ad0b052e1f8b6869733eef15f4e4d">SVF::TCT</a>
 </li>
 <li>getTCTNodeNum()
 : <a class="el" href="classSVF_1_1TCT.html#af03bfeae7e09a9f62d96ba59632e588f">SVF::TCT</a>
@@ -2538,7 +2544,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFModule.html#af81c6deed3978562f83f120119c6aad2">SVF::SVFModule</a>
 </li>
 <li>global_end()
-: <a class="el" href="classSVF_1_1SVFModule.html#afa9068e662918f6649d5ca25340a3ae2">SVF::SVFModule</a>
+: <a class="el" href="classSVF_1_1SVFModule.html#a8a34164634d6ad9a7b76175907c8c44b">SVF::SVFModule</a>
 </li>
 <li>global_iterator
 : <a class="el" href="classSVF_1_1SVFModule.html#a4cf1ca2e9f045a0520b0a8a6cd5993f2">SVF::SVFModule</a>

package/SVF-doxygen/html/html/functions_l.html

@@ -201,12 +201,12 @@ $(function() {
 <li>loadsToMRsMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#a0d8229b1f0b8428708e923d19096e4ba">SVF::MRGenerator</a>
 </li>
-<li>loadsToPointsToMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#af47e15d6b8c15d547a718f3577513975">SVF::MRGenerator</a>
-</li>
 <li>LoadsToPointsToMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#acfadd565b5c978c9417e059b3ea7588c">SVF::MRGenerator</a>
 </li>
+<li>loadsToPointsToMap
+: <a class="el" href="classSVF_1_1MRGenerator.html#af47e15d6b8c15d547a718f3577513975">SVF::MRGenerator</a>
+</li>
 <li>loadTime
 : <a class="el" href="classSVF_1_1FlowSensitive.html#aab4f70210eb1e6447a24697d3b459067">SVF::FlowSensitive</a>
 </li>