svf-tools 1.0.910 → 1.0.911

package/SVF-doxygen/html/classSVF_1_1SVFIR2AbsState-members.html

@@ -76,10 +76,10 @@ $(function() {
   <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2AbsState.html#a592f4fe473d0159a3fbdac3bc35b424e">_relEs</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2AbsState.html">SVF::SVFIR2AbsState</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2AbsState.html#a80a0f0a20e993c6fcffc89f9de409f44">_svfir</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2AbsState.html">SVF::SVFIR2AbsState</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2AbsState.html#aedb9ed0802f5aabb3dff760615600678">applySummary</a>(AbstractState &amp;es)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2AbsState.html">SVF::SVFIR2AbsState</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2AbsState.html#aa3e62b9ef912def502b95992199f5d8c">getAddrs</a>(u32_t id)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2AbsState.html">SVF::SVFIR2AbsState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2AbsState.html#a21e927af79c73460ff5629cbd4961163">getByteOffset</a>(const GepStmt *gep)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2AbsState.html">SVF::SVFIR2AbsState</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2AbsState.html#a36a428b990477a204cd73151680259a2">getContext</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2AbsState.html">SVF::SVFIR2AbsState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2AbsState.html#afe8766165bfc4be1f9d5f5df25c954a3">getEs</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2AbsState.html">SVF::SVFIR2AbsState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2AbsState.html#a99b526db536fb241ff755a82a45123fa">getAbsState</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2AbsState.html">SVF::SVFIR2AbsState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2AbsState.html#aa3e62b9ef912def502b95992199f5d8c">getAddrs</a>(u32_t id)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2AbsState.html">SVF::SVFIR2AbsState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2AbsState.html#a21e927af79c73460ff5629cbd4961163">getByteOffset</a>(const GepStmt *gep)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2AbsState.html">SVF::SVFIR2AbsState</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2AbsState.html#a36a428b990477a204cd73151680259a2">getContext</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2AbsState.html">SVF::SVFIR2AbsState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2AbsState.html#af48bab5352f5d1927aa467e1eb59c09f">getFPToSIntValue</a>(const SVFVar *var)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2AbsState.html">SVF::SVFIR2AbsState</a></td><td class="entry"></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIR2AbsState.html#ae6a36e79bdc4506f9f011ad100125444">getFPToUIntValue</a>(const SVFVar *var)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2AbsState.html">SVF::SVFIR2AbsState</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIR2AbsState.html#a5ba833f2f98f5b1b1a8a7ff7ecdb72b9">getFPTruncValue</a>(const SVFVar *var, const SVFType *dstType)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIR2AbsState.html">SVF::SVFIR2AbsState</a></td><td class="entry"></td></tr>

package/SVF-doxygen/html/classSVF_1_1SVFIR2AbsState.html

@@ -85,8 +85,8 @@ Public Member Functions</h2></td></tr>
 <tr class="separator:a0141f9c8689e906a082f3566cb5d2cb6"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a7d0fdfbb8d5b38d29aaded6cf803150c"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFIR2AbsState.html#a7d0fdfbb8d5b38d29aaded6cf803150c">setEs</a> (const <a class="el" href="classSVF_1_1AbstractState.html">AbstractState</a> &amp;es)</td></tr>
 <tr class="separator:a7d0fdfbb8d5b38d29aaded6cf803150c"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:afe8766165bfc4be1f9d5f5df25c954a3"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1AbstractState.html">AbstractState</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFIR2AbsState.html#afe8766165bfc4be1f9d5f5df25c954a3">getEs</a> ()</td></tr>
-<tr class="separator:afe8766165bfc4be1f9d5f5df25c954a3"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a99b526db536fb241ff755a82a45123fa"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1AbstractState.html">AbstractState</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFIR2AbsState.html#a99b526db536fb241ff755a82a45123fa">getAbsState</a> ()</td></tr>
+<tr class="separator:a99b526db536fb241ff755a82a45123fa"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ab58a5cc7a2bc6c38e87c8e5beb725b7a"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFIR2AbsState.html#ab58a5cc7a2bc6c38e87c8e5beb725b7a">setRelEs</a> (const <a class="el" href="classSVF_1_1RelExeState.html">RelExeState</a> &amp;relEs)</td></tr>
 <tr class="separator:ab58a5cc7a2bc6c38e87c8e5beb725b7a"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ae2ee40a59aec3fb7c7abc4ddb7784bcf"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1RelExeState.html">RelExeState</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFIR2AbsState.html#ae2ee40a59aec3fb7c7abc4ddb7784bcf">getRelEs</a> ()</td></tr>
@@ -280,6 +280,36 @@ Private Attributes</h2></td></tr>
 </div><!-- fragment -->
 </div>
 </div>
+<a id="a99b526db536fb241ff755a82a45123fa"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a99b526db536fb241ff755a82a45123fa">&#9670;&nbsp;</a></span>getAbsState()</h2>
+
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname"><a class="el" href="classSVF_1_1AbstractState.html">AbstractState</a>&amp; SVF::SVFIR2AbsState::getAbsState </td>
+          <td>(</td>
+          <td class="paramname"></td><td>)</td>
+          <td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+
+<p class="definition">Definition at line <a class="el" href="SVFIR2AbsState_8h_source.html#l00054">54</a> of file <a class="el" href="SVFIR2AbsState_8h_source.html">SVFIR2AbsState.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00055"></a><span class="lineno">   55</span>&#160;    {</div>
+<div class="line"><a name="l00056"></a><span class="lineno">   56</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#ad487088a4456b3f1d712c25756fe71e9">_es</a>;</div>
+<div class="line"><a name="l00057"></a><span class="lineno">   57</span>&#160;    }</div>
+</div><!-- fragment -->
+</div>
+</div>
 <a id="aa3e62b9ef912def502b95992199f5d8c"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#aa3e62b9ef912def502b95992199f5d8c">&#9670;&nbsp;</a></span>getAddrs()</h2>
 
@@ -437,36 +467,6 @@ for 3rd pair &lt;%var1, [2xi32]&gt;, it is %var1'th element in array [2xi32] = 4
 </div><!-- fragment -->
 </div>
 </div>
-<a id="afe8766165bfc4be1f9d5f5df25c954a3"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#afe8766165bfc4be1f9d5f5df25c954a3">&#9670;&nbsp;</a></span>getEs()</h2>
-
-<div class="memitem">
-<div class="memproto">
-<table class="mlabels">
-  <tr>
-  <td class="mlabels-left">
-      <table class="memname">
-        <tr>
-          <td class="memname"><a class="el" href="classSVF_1_1AbstractState.html">AbstractState</a>&amp; SVF::SVFIR2AbsState::getEs </td>
-          <td>(</td>
-          <td class="paramname"></td><td>)</td>
-          <td></td>
-        </tr>
-      </table>
-  </td>
-  <td class="mlabels-right">
-<span class="mlabels"><span class="mlabel">inline</span></span>  </td>
-  </tr>
-</table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="SVFIR2AbsState_8h_source.html#l00054">54</a> of file <a class="el" href="SVFIR2AbsState_8h_source.html">SVFIR2AbsState.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00055"></a><span class="lineno">   55</span>&#160;    {</div>
-<div class="line"><a name="l00056"></a><span class="lineno">   56</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFIR2AbsState.html#ad487088a4456b3f1d712c25756fe71e9">_es</a>;</div>
-<div class="line"><a name="l00057"></a><span class="lineno">   57</span>&#160;    }</div>
-</div><!-- fragment -->
-</div>
-</div>
 <a id="af48bab5352f5d1927aa467e1eb59c09f"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#af48bab5352f5d1927aa467e1eb59c09f">&#9670;&nbsp;</a></span>getFPToSIntValue()</h2>
 

package/SVF-doxygen/html/functions.html

@@ -501,8 +501,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1AbstractInterpretation.html#a618fc324a6c205d7e1b471bd850377a9">SVF::AbstractInterpretation</a>
 , <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a80a0f0a20e993c6fcffc89f9de409f44">SVF::SVFIR2AbsState</a>
 </li>
-<li>_svfir2ExeState
-: <a class="el" href="classSVF_1_1AbstractInterpretation.html#af78f068a373ebb6a2f14dcde980a9dae">SVF::AbstractInterpretation</a>
+<li>_svfir2AbsState
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#a9c592b91a1e3d72ada730387232a2fcf">SVF::AbstractInterpretation</a>
 </li>
 <li>_T
 : <a class="el" href="classSVF_1_1SCCDetection.html#a0373c80345ffb147ba9a5f57e96d7745">SVF::SCCDetection&lt; GraphType &gt;</a>

package/SVF-doxygen/html/functions_func_g.html

@@ -154,6 +154,9 @@ $(function() {
 <li>get_sort()
 : <a class="el" href="classSVF_1_1Z3Expr.html#a8b2b5fa74704d776a2cd415b599a1393">SVF::Z3Expr</a>
 </li>
+<li>getAbsState()
+: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a99b526db536fb241ff755a82a45123fa">SVF::SVFIR2AbsState</a>
+</li>
 <li>getAccessLb()
 : <a class="el" href="structSVF_1_1BufOverflowException.html#a9c169e68b0c793909d643e3e266434fe">SVF::BufOverflowException</a>
 </li>
@@ -205,7 +208,7 @@ $(function() {
 </li>
 <li>getAddrs()
 : <a class="el" href="classSVF_1_1AbstractState.html#a234d0b11624febec605bc028f093240b">SVF::AbstractState</a>
-, <a class="el" href="structSVF_1_1AbstractValue.html#ab1fe6a57f784971b3bc603dbfda746e8">SVF::AbstractValue</a>
+, <a class="el" href="structSVF_1_1AbstractValue.html#a8b2de4798013716c6cf420817fead0ac">SVF::AbstractValue</a>
 , <a class="el" href="classSVF_1_1SVFIR2AbsState.html#aa3e62b9ef912def502b95992199f5d8c">SVF::SVFIR2AbsState</a>
 </li>
 <li>getAggs()
@@ -340,7 +343,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CDGBuilder.html#af65f6090142a61d13e1510c771baaeb1">SVF::CDGBuilder</a>
 </li>
 <li>getBBSuccessorPos()
-: <a class="el" href="classSVF_1_1SVFBasicBlock.html#ab8a735b5d183f5190c4c45b313f1b174">SVF::SVFBasicBlock</a>
+: <a class="el" href="classSVF_1_1SVFBasicBlock.html#a104c66cdd4d88ba90eefd32bc9eef389">SVF::SVFBasicBlock</a>
 </li>
 <li>getBBToPhiSetMap()
 : <a class="el" href="classSVF_1_1MemSSA.html#a966477062a453901da3631015fcf737d">SVF::MemSSA</a>
@@ -627,7 +630,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1TCT.html#af47837e30a80e8d6684f3ee6001afb7a">SVF::TCT</a>
 </li>
 <li>getCHISet()
-: <a class="el" href="classSVF_1_1MemSSA.html#a2e656a50f8964fc3e99d1d436de64418">SVF::MemSSA</a>
+: <a class="el" href="classSVF_1_1MemSSA.html#a959e932912b924ec91e1526947493204">SVF::MemSSA</a>
 </li>
 <li>getClk()
 : <a class="el" href="classSVF_1_1SVFStat.html#ac9d390c417df6f6af6b274618b87010d">SVF::SVFStat</a>
@@ -1034,9 +1037,6 @@ $(function() {
 <li>getEpsilonProds()
 : <a class="el" href="classSVF_1_1CFGrammar.html#a79d4babef29a8206379a0fc4017d5f29">SVF::CFGrammar</a>
 </li>
-<li>getEs()
-: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#afe8766165bfc4be1f9d5f5df25c954a3">SVF::SVFIR2AbsState</a>
-</li>
 <li>getEscapObjviaGlobals()
 : <a class="el" href="classSVF_1_1MRGenerator.html#add22c9a95478dea21148e87c8dfc584a">SVF::MRGenerator</a>
 </li>
@@ -2231,7 +2231,7 @@ $(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#a2adbaa59c46d611a448594b74745e986">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentDiffPTData.html#ab1246073bd0e0395528f8ec53281e315">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentPTData.html#a82621bb9b53ccb479cb7278df9a4e366">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
@@ -2364,7 +2364,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>
@@ -2523,7 +2523,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#a1ac51d2847f9bdee27092ab22211bb61">SVF::MTAResultValidator</a>
+, <a class="el" href="classSVF_1_1MTAResultValidator.html#a75057911bf08c167ead4232c4a2b25f4">SVF::MTAResultValidator</a>
 </li>
 <li>getStrlen()
 : <a class="el" href="classSVF_1_1AbstractInterpretation.html#a5bba3c0570d73acc743742a30af1b0b4">SVF::AbstractInterpretation</a>
@@ -2673,10 +2673,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#a8c6617f2df59ff166b13242060707013">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#a34ea034a2bd7b7cb51317ed441ca5b38">SVF::ThreadAPI</a>
 </li>
 <li>getTaskFuncAtHareParForSite()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#ab15b12637a557b53b92e9087eaf66cd6">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#ae72d7dcd1e0836e5d1c5a2c682abe31c">SVF::ThreadAPI</a>
 </li>
 <li>getTCG()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a8ad9b8cb0e6300b2ffc55244e53cece6">SVF::ForkJoinAnalysis</a>
@@ -2772,7 +2772,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()
@@ -2930,7 +2930,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>GlobalICFGNode()
 : <a class="el" href="classSVF_1_1GlobalICFGNode.html#a01e8a9844fcad1cc5faa22d8b0e0efd7">SVF::GlobalICFGNode</a>

package/SVF-doxygen/html/functions_g.html

@@ -225,6 +225,9 @@ $(function() {
 <li>get_sort()
 : <a class="el" href="classSVF_1_1Z3Expr.html#a8b2b5fa74704d776a2cd415b599a1393">SVF::Z3Expr</a>
 </li>
+<li>getAbsState()
+: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a99b526db536fb241ff755a82a45123fa">SVF::SVFIR2AbsState</a>
+</li>
 <li>getAccessLb()
 : <a class="el" href="structSVF_1_1BufOverflowException.html#a9c169e68b0c793909d643e3e266434fe">SVF::BufOverflowException</a>
 </li>
@@ -1105,9 +1108,6 @@ $(function() {
 <li>getEpsilonProds()
 : <a class="el" href="classSVF_1_1CFGrammar.html#a79d4babef29a8206379a0fc4017d5f29">SVF::CFGrammar</a>
 </li>
-<li>getEs()
-: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#afe8766165bfc4be1f9d5f5df25c954a3">SVF::SVFIR2AbsState</a>
-</li>
 <li>getEscapObjviaGlobals()
 : <a class="el" href="classSVF_1_1MRGenerator.html#add22c9a95478dea21148e87c8dfc584a">SVF::MRGenerator</a>
 </li>
@@ -2237,7 +2237,7 @@ $(function() {
 <li>getPreviousMemoryAccessInst()
 : <a class="el" href="classSVF_1_1LockResultValidator.html#aaca2654ba49d2f79c9404a476b5b3079">SVF::LockResultValidator</a>
 , <a class="el" href="classSVF_1_1MTAResultValidator.html#a2ddf3189b3f90986752282b1c6bd003d">SVF::MTAResultValidator</a>
-, <a class="el" href="classSVF_1_1RaceResultValidator.html#ad029f7a9a5161191a44d1e841f9d6114">SVF::RaceResultValidator</a>
+, <a class="el" href="classSVF_1_1RaceResultValidator.html#a869debcc97519e8b89725dfa53ad4b70">SVF::RaceResultValidator</a>
 </li>
 <li>getPrevNodes()
 : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a7b034f9f8f01823ecfb7f6c17e47b502">SVF::MTASVFGBuilder</a>
@@ -2435,7 +2435,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>
@@ -2629,10 +2629,10 @@ $(function() {
 : <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#a7033805052c8fae5cd0104fdd9e345c0">SVF::MTASVFGBuilder</a>
+: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a8164ae39b494115142767abc29cebd53">SVF::MTASVFGBuilder</a>
 </li>
 <li>getSuccs()
 : <a class="el" href="classSVF_1_1POCRSolver.html#ac3ee0745b684b851c3bac9b55bcbb7b9">SVF::POCRSolver</a>
@@ -2747,7 +2747,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ThreadAPI.html#a8c6617f2df59ff166b13242060707013">SVF::ThreadAPI</a>
 </li>
 <li>getTaskFuncAtHareParForSite()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#ae72d7dcd1e0836e5d1c5a2c682abe31c">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#ab15b12637a557b53b92e9087eaf66cd6">SVF::ThreadAPI</a>
 </li>
 <li>getTCG()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a8ad9b8cb0e6300b2ffc55244e53cece6">SVF::ForkJoinAnalysis</a>
@@ -2998,7 +2998,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a1e270574a1d6f0894868cfb098ffbb8b">SVF::SVFIR2AbsState</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>

package/SVF-doxygen/html/functions_p.html

@@ -506,12 +506,12 @@ $(function() {
 <li>PossibilityDescription
 : <a class="el" href="classOptionBase.html#a0a048de2a9ea404cb6b6be6276e8f91e">OptionBase</a>
 </li>
-<li>PossibilityDescriptions
-: <a class="el" href="classOptionBase.html#adbecc317e1c8a157456c069ca0b4679c">OptionBase</a>
-</li>
 <li>possibilityDescriptions
 : <a class="el" href="classOptionBase.html#aa6cc4a59e5801eff5d7dcdc0137e16a1">OptionBase</a>
 </li>
+<li>PossibilityDescriptions
+: <a class="el" href="classOptionBase.html#adbecc317e1c8a157456c069ca0b4679c">OptionBase</a>
+</li>
 <li>postDominate()
 : <a class="el" href="classSVF_1_1SaberCondAllocator.html#a3eb0a564ba8047dc5512b2e79ba64313">SVF::SaberCondAllocator</a>
 , <a class="el" href="classSVF_1_1SVFFunction.html#acc4af12afb0bc14982060d2e3baa1929">SVF::SVFFunction</a>
@@ -981,12 +981,12 @@ $(function() {
 : <a class="el" href="classSVF_1_1ReaderPtrPool.html#a705d5d5fe6ebfb94157453b3403aaaaa">SVF::ReaderPtrPool&lt; T &gt;</a>
 , <a class="el" href="classSVF_1_1WriterPtrPool.html#a7a3246f7158330ed49088205610e042f">SVF::WriterPtrPool&lt; T &gt;</a>
 </li>
-<li>PtrToBVPtsMap
-: <a class="el" href="classSVF_1_1CondPTAImpl.html#aba828ca8e2aa2bd71b78be8b45a48c9b">SVF::CondPTAImpl&lt; Cond &gt;</a>
-</li>
 <li>ptrToBVPtsMap
 : <a class="el" href="classSVF_1_1CondPTAImpl.html#a30b9ee7b1dcd04285f92cf7accd05b2e">SVF::CondPTAImpl&lt; Cond &gt;</a>
 </li>
+<li>PtrToBVPtsMap
+: <a class="el" href="classSVF_1_1CondPTAImpl.html#aba828ca8e2aa2bd71b78be8b45a48c9b">SVF::CondPTAImpl&lt; Cond &gt;</a>
+</li>
 <li>ptrToCPtsMap
 : <a class="el" href="classSVF_1_1CondPTAImpl.html#a61167fcdb2005090de1b38e53450431a">SVF::CondPTAImpl&lt; Cond &gt;</a>
 </li>

package/SVF-doxygen/html/functions_s.html

@@ -117,12 +117,12 @@ $(function() {
 <li>SB_SLICESOURCE
 : <a class="el" href="classSVF_1_1Annotator.html#a01900f5ada5948361cc18857aee26744">SVF::Annotator</a>
 </li>
-<li>SBV
-: <a class="el" href="classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923eacccb6e19f3e8db5f5b5b8858b22da61a">SVF::PointsTo</a>
-</li>
 <li>sbv
 : <a class="el" href="classSVF_1_1PointsTo.html#aecd6b98c0687de59aebb297ec38a7084">SVF::PointsTo</a>
 </li>
+<li>SBV
+: <a class="el" href="classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923eacccb6e19f3e8db5f5b5b8858b22da61a">SVF::PointsTo</a>
+</li>
 <li>sbvIt
 : <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#a735a2a9f0c3f4bc3997edf11b133c0f9">SVF::PointsTo::PointsToIterator</a>
 </li>
@@ -986,12 +986,12 @@ $(function() {
 <li>StoreStmt()
 : <a class="el" href="classSVF_1_1StoreStmt.html#acbea1ddbde90259b668b21f80f56cfbb">SVF::StoreStmt</a>
 </li>
-<li>storesToMRsMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#a255551fd3ff8fb33bcea93d0b00280b3">SVF::MRGenerator</a>
-</li>
 <li>StoresToMRsMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#afacb458ca832ef459e873b7d90134a8c">SVF::MRGenerator</a>
 </li>
+<li>storesToMRsMap
+: <a class="el" href="classSVF_1_1MRGenerator.html#a255551fd3ff8fb33bcea93d0b00280b3">SVF::MRGenerator</a>
+</li>
 <li>storesToPointsToMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#a7d86f708743a59aa31c0a9fd6de45dac">SVF::MRGenerator</a>
 </li>
@@ -1638,7 +1638,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860e">SVF::SVFValue</a>
 </li>
 <li>SVFValue()
-: <a class="el" href="classSVF_1_1SVFValue.html#a5860aa7cc16de3c221f06742d0d832dd">SVF::SVFValue</a>
+: <a class="el" href="classSVF_1_1SVFValue.html#af38497e11745949a8a1eeead143efd58">SVF::SVFValue</a>
 </li>
 <li>SVFValue2LLVMValue
 : <a class="el" href="classSVF_1_1LLVMModuleSet.html#a7f8e61cf5d838d7a2e862bc6955f16be">SVF::LLVMModuleSet</a>

package/SVF-doxygen/html/functions_t.html

@@ -664,13 +664,13 @@ $(function() {
 , <a class="el" href="classSVF_1_1MSSADEF.html#a9e8a03dc2c2f76ef6bc095f21911f5b6">SVF::MSSADEF</a>
 , <a class="el" href="classSVF_1_1MSSAMU.html#a3cbe5ca0cb91090ef0e8b331e2f15f7c">SVF::MSSAMU&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1ObjTypeInfo.html#a3620a491a32ff0af93f0d92f55911498">SVF::ObjTypeInfo</a>
-, <a class="el" href="classSVF_1_1PointsTo.html#aaa9c956187f2c04a7a242ce440d1416f">SVF::PointsTo</a>
 </li>
 <li>Type
 : <a class="el" href="classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923e">SVF::PointsTo</a>
 </li>
 <li>type
-: <a class="el" href="structSVF_1_1SVFUtil_1_1add__const__past__pointer.html#a52fe829ad016bca3285dfba2b5b68d35">SVF::SVFUtil::add_const_past_pointer&lt; T, Enable &gt;</a>
+: <a class="el" href="classSVF_1_1PointsTo.html#aaa9c956187f2c04a7a242ce440d1416f">SVF::PointsTo</a>
+, <a class="el" href="structSVF_1_1SVFUtil_1_1add__const__past__pointer.html#a52fe829ad016bca3285dfba2b5b68d35">SVF::SVFUtil::add_const_past_pointer&lt; T, Enable &gt;</a>
 , <a class="el" href="structSVF_1_1SVFUtil_1_1add__const__past__pointer_3_01T_00_01std_1_1enable__if__t_3_01std_1_1is_7fffc8df953a67082a10c9027356ecdf.html#a6c70a94bde914aa0ca86e4fd9f6c1179">SVF::SVFUtil::add_const_past_pointer&lt; T, std::enable_if_t&lt; std::is_pointer&lt; T &gt;::value &gt; &gt;</a>
 , <a class="el" href="structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer.html#a871b0a9d4f1c68caca4d8e8b9ce29079">SVF::SVFUtil::add_lvalue_reference_if_not_pointer&lt; T, Enable &gt;</a>
 , <a class="el" href="structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer_3_01T_00_01std_1_1enable__if__t915410d772a4855ec3d21a633a25ee09.html#a7930ae77015a1bef7da45e112a92cbce">SVF::SVFUtil::add_lvalue_reference_if_not_pointer&lt; T, std::enable_if_t&lt; std::is_pointer&lt; T &gt;::value &gt; &gt;</a>

package/SVF-doxygen/html/functions_v.html

@@ -144,12 +144,12 @@ $(function() {
 <li>ValueToClassNames
 : <a class="el" href="classSVF_1_1ObjTypeInference.html#ae23313c88149711f2ce74a2c6d3e9da8">SVF::ObjTypeInference</a>
 </li>
-<li>ValueToEdgeMap
-: <a class="el" href="classSVF_1_1IRGraph.html#a6247c1b1f6b92ce684c39af760878bbc">SVF::IRGraph</a>
-</li>
 <li>valueToEdgeMap
 : <a class="el" href="classSVF_1_1IRGraph.html#a1308b5d3001c6676e8a8be6a8b118704">SVF::IRGraph</a>
 </li>
+<li>ValueToEdgeMap
+: <a class="el" href="classSVF_1_1IRGraph.html#a6247c1b1f6b92ce684c39af760878bbc">SVF::IRGraph</a>
+</li>
 <li>ValueToIDMapTy
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#ad1741e65d47c39e03049c6d7265961af">SVF::SymbolTableInfo</a>
 </li>
@@ -168,12 +168,12 @@ $(function() {
 <li>ValVar()
 : <a class="el" href="classSVF_1_1ValVar.html#a5c097c0686df4897325bbdbb4067d6e5">SVF::ValVar</a>
 </li>
-<li>var2LabelMap
-: <a class="el" href="classSVF_1_1SVFStmt.html#a24c64109d27ef7549d1c7a07c391e007">SVF::SVFStmt</a>
-</li>
 <li>Var2LabelMap
 : <a class="el" href="classSVF_1_1SVFStmt.html#ad178ccbc7800527c3dc406ad5fa069bb">SVF::SVFStmt</a>
 </li>
+<li>var2LabelMap
+: <a class="el" href="classSVF_1_1SVFStmt.html#a24c64109d27ef7549d1c7a07c391e007">SVF::SVFStmt</a>
+</li>
 <li>VAR_ARRAY_OBJ
 : <a class="el" href="classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830adedc43e0fcaebf433120869aa9307b1c">SVF::ObjTypeInfo</a>
 </li>

package/SVF-doxygen/html/functions_vars.html

@@ -501,8 +501,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1AbstractInterpretation.html#a618fc324a6c205d7e1b471bd850377a9">SVF::AbstractInterpretation</a>
 , <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a80a0f0a20e993c6fcffc89f9de409f44">SVF::SVFIR2AbsState</a>
 </li>
-<li>_svfir2ExeState
-: <a class="el" href="classSVF_1_1AbstractInterpretation.html#af78f068a373ebb6a2f14dcde980a9dae">SVF::AbstractInterpretation</a>
+<li>_svfir2AbsState
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#a9c592b91a1e3d72ada730387232a2fcf">SVF::AbstractInterpretation</a>
 </li>
 <li>_T
 : <a class="el" href="classSVF_1_1SCCDetection.html#a0373c80345ffb147ba9a5f57e96d7745">SVF::SCCDetection&lt; GraphType &gt;</a>

package/SVF-doxygen/html/functions_w.html

@@ -110,47 +110,39 @@ $(function() {
 <li>WordSize
 : <a class="el" href="classSVF_1_1CoreBitVector.html#a63f5e4a36359ae62401e5f8dfecb86a3">SVF::CoreBitVector</a>
 </li>
-<li>WorkList
-: <a class="el" href="classSVF_1_1CFLSolver.html#a194d2c4c801799b0ba9562e33ca5b695">SVF::CFLSolver</a>
-</li>
 <li>worklist
 : <a class="el" href="classSVF_1_1CFLSolver.html#a211bb78846886aa9ccd4b160da81e02e">SVF::CFLSolver</a>
 </li>
 <li>WorkList
-: <a class="el" href="classSVF_1_1CFLSVFGBuilder.html#a287f937ab8cc7f493c942eb1bcdacd6d">SVF::CFLSVFGBuilder</a>
+: <a class="el" href="classSVF_1_1CFLSolver.html#a194d2c4c801799b0ba9562e33ca5b695">SVF::CFLSolver</a>
+, <a class="el" href="classSVF_1_1CFLSVFGBuilder.html#a287f937ab8cc7f493c942eb1bcdacd6d">SVF::CFLSVFGBuilder</a>
 , <a class="el" href="classSVF_1_1CHGBuilder.html#a727a1737e7290536b29b05e03d8b85ac">SVF::CHGBuilder</a>
 , <a class="el" href="classSVF_1_1CHGraph.html#af1b638faf888898cdf168c25e008ab12">SVF::CHGraph</a>
 , <a class="el" href="classSVF_1_1ConstraintGraph.html#ae80fc7e5d68e103d8f3a82bc9ffb0f00">SVF::ConstraintGraph</a>
+, <a class="el" href="classSVF_1_1GraphReachSolver.html#a472784c3cb958b4347958f039d2fe054">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a>
 </li>
 <li>worklist
 : <a class="el" href="classSVF_1_1GraphReachSolver.html#a5032d3988dbce5a29274c55dc4dbe6bc">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a>
 </li>
 <li>WorkList
-: <a class="el" href="classSVF_1_1GraphReachSolver.html#a472784c3cb958b4347958f039d2fe054">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a>
-, <a class="el" href="classSVF_1_1ICFGBuilder.html#a2dc4467008cdd6eb896e98b67457082a">SVF::ICFGBuilder</a>
+: <a class="el" href="classSVF_1_1ICFGBuilder.html#a2dc4467008cdd6eb896e98b67457082a">SVF::ICFGBuilder</a>
 , <a class="el" href="classSVF_1_1LeakChecker.html#af1e1f0fd38f72dcdfb5daa3d8af9538b">SVF::LeakChecker</a>
 , <a class="el" href="classSVF_1_1MRGenerator.html#a68d50c752252bd40c402c7b99b95f0fc">SVF::MRGenerator</a>
 , <a class="el" href="classSVF_1_1SaberSVFGBuilder.html#a8e07c6afc4ae6e2792431065c2948039">SVF::SaberSVFGBuilder</a>
 , <a class="el" href="classSVF_1_1SrcSnkDDA.html#a3c0d8850c4dae49a760ce5f80fb8822a">SVF::SrcSnkDDA</a>
+, <a class="el" href="classSVF_1_1SrcSnkSolver.html#a19861635c58ef6db7347c22daabf80da">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
 </li>
 <li>worklist
 : <a class="el" href="classSVF_1_1SrcSnkSolver.html#aeecbd88066567b2f123e84072dd09941">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
-</li>
-<li>WorkList
-: <a class="el" href="classSVF_1_1SrcSnkSolver.html#a19861635c58ef6db7347c22daabf80da">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
-</li>
-<li>worklist
-: <a class="el" href="classSVF_1_1SVFGOPT.html#a925f39665e13b18dfe66c2dded44c194">SVF::SVFGOPT</a>
+, <a class="el" href="classSVF_1_1SVFGOPT.html#a925f39665e13b18dfe66c2dded44c194">SVF::SVFGOPT</a>
 </li>
 <li>WorkList
 : <a class="el" href="classSVF_1_1SVFGOPT.html#a3ee399dc45e90a512be7575642855f40">SVF::SVFGOPT</a>
+, <a class="el" href="classSVF_1_1WPASolver.html#a624e9156b2d3a4f284548cbaaf650334">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
 <li>worklist
 : <a class="el" href="classSVF_1_1WPASolver.html#a1775717a8c8d5d125b7561bc1ae6abf5">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
-<li>WorkList
-: <a class="el" href="classSVF_1_1WPASolver.html#a624e9156b2d3a4f284548cbaaf650334">SVF::WPASolver&lt; GraphType &gt;</a>
-</li>
 <li>WorkStack
 : <a class="el" href="classSVF_1_1CSC.html#a0490b9998987d245ee6e56bc68db4f1e">SVF::CSC</a>
 </li>
@@ -225,7 +217,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#ab2c21cc1e4cd4d7dbc12b6bd9f34d971">SVF::VersionedFlowSensitive</a>
 </li>
 <li>WTO()
-: <a class="el" href="classSVF_1_1WTO.html#a0a8be6a1d8bd92d38eec429f68ce0414">SVF::WTO&lt; GraphT &gt;</a>
+: <a class="el" href="classSVF_1_1WTO.html#a8455eb5252fb82df098af03ebca76044">SVF::WTO&lt; GraphT &gt;</a>
 </li>
 <li>WTOComponent()
 : <a class="el" href="classSVF_1_1WTOComponent.html#a5ef3384996e29f5f38490b4266b19f01">SVF::WTOComponent&lt; GraphT &gt;</a>
@@ -246,7 +238,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1WTOCycle.html#adaa4b0f063eaf6f1bd02da38fd3b29de">SVF::WTOCycle&lt; GraphT &gt;</a>
 </li>
 <li>WTOComponentVisitor()
-: <a class="el" href="classSVF_1_1WTOComponentVisitor.html#a2794d733ce218f62e2550c946c7b9b84">SVF::WTOComponentVisitor&lt; GraphT &gt;</a>
+: <a class="el" href="classSVF_1_1WTOComponentVisitor.html#a829bc3b32dcb5740da40c5cff75680d9">SVF::WTOComponentVisitor&lt; GraphT &gt;</a>
 </li>
 <li>WTOCT
 : <a class="el" href="classSVF_1_1WTOComponent.html#a3c2b9ef6ae6a3d47b0bba929f12560f7">SVF::WTOComponent&lt; GraphT &gt;</a>

package/SVF-doxygen/html/search/all_0.js

@@ -150,7 +150,7 @@ var searchData=
   ['_5fsvfg_147',['_svfg',['../classSVF_1_1DDAVFSolver.html#a74d83f06e8fc0ecedc1e1846030c99c6',1,'SVF::DDAVFSolver::_svfg()'],['../classSVF_1_1WPAPass.html#ac0f6d1221ee66ac17d0b201d73d7e28a',1,'SVF::WPAPass::_svfg()']]],
   ['_5fsvfgscc_148',['_svfgSCC',['../classSVF_1_1DDAVFSolver.html#a54f5d4972238ae69f19c9da3b9f51644',1,'SVF::DDAVFSolver']]],
   ['_5fsvfir_149',['_svfir',['../classSVF_1_1AbstractInterpretation.html#a618fc324a6c205d7e1b471bd850377a9',1,'SVF::AbstractInterpretation::_svfir()'],['../classSVF_1_1SVFIR2AbsState.html#a80a0f0a20e993c6fcffc89f9de409f44',1,'SVF::SVFIR2AbsState::_svfir()']]],
-  ['_5fsvfir2exestate_150',['_svfir2ExeState',['../classSVF_1_1AbstractInterpretation.html#af78f068a373ebb6a2f14dcde980a9dae',1,'SVF::AbstractInterpretation']]],
+  ['_5fsvfir2absstate_150',['_svfir2AbsState',['../classSVF_1_1AbstractInterpretation.html#a9c592b91a1e3d72ada730387232a2fcf',1,'SVF::AbstractInterpretation']]],
   ['_5fswitch_5flhsrhs_5fpredicate_151',['_switch_lhsrhs_predicate',['../AbstractInterpretation_8cpp.html#a3b70282b79998dcb9f6df78370bc1fe9',1,'AbstractInterpretation.cpp']]],
   ['_5ft_152',['_T',['../classSVF_1_1SCCDetection.html#a0373c80345ffb147ba9a5f57e96d7745',1,'SVF::SCCDetection']]],
   ['_5fthisptrclassnames_153',['_thisPtrClassNames',['../classSVF_1_1ObjTypeInference.html#a82a1d348f80d3034fab1c32b8ff9637b',1,'SVF::ObjTypeInference']]],

package/SVF-doxygen/html/search/all_10.js

@@ -144,7 +144,7 @@ var searchData=
   ['pointeranalysisimpl_2ecpp_4840',['PointerAnalysisImpl.cpp',['../PointerAnalysisImpl_8cpp.html',1,'']]],
   ['pointeranalysisimpl_2eh_4841',['PointerAnalysisImpl.h',['../PointerAnalysisImpl_8h.html',1,'']]],
   ['pointertype_4842',['PointerType',['../structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01std_1_1unique__ptr_3_01From_01_4_01_4.html#a9d08abc346f3b77c487eba144f3cbd8d',1,'SVF::SVFUtil::cast_retty_impl< To, std::unique_ptr< From > >::PointerType()'],['../namespaceSVF.html#aa962cc1d782cc46553251e96b64a754b',1,'SVF::PointerType()']]],
-  ['pointsto_4843',['PointsTo',['../classSVF_1_1PointsTo.html',1,'SVF::PointsTo'],['../classSVF_1_1PointsTo.html#aca4e7e88f2e1ec87a9576cc6c866adde',1,'SVF::PointsTo::PointsTo()'],['../classSVF_1_1PointsTo.html#acef2d3e41263aef641c3411e28ad445c',1,'SVF::PointsTo::PointsTo(const PointsTo &pt)'],['../classSVF_1_1PointsTo.html#a57e22bb2a181ccb56908130204d801a2',1,'SVF::PointsTo::PointsTo(PointsTo &&pt) noexcept'],['../classSVF_1_1CondPointsToSet.html#a63f09ca69e00b317de29af6a6a12daac',1,'SVF::CondPointsToSet::pointsTo(void)'],['../classSVF_1_1CondPointsToSet.html#ada240bc77570174a1d17ac097583fa78',1,'SVF::CondPointsToSet::pointsTo(void) const'],['../classSVF_1_1CondPointsToSet.html#a03311162626acf16ad05b7b93248a92b',1,'SVF::CondPointsToSet::pointsTo(Cond cond) const'],['../classSVF_1_1CondPointsToSet.html#a8775ef2c073af6c8055c3f5b0035288f',1,'SVF::CondPointsToSet::pointsTo(Cond cond)']]],
+  ['pointsto_4843',['PointsTo',['../classSVF_1_1PointsTo.html',1,'SVF::PointsTo'],['../classSVF_1_1CondPointsToSet.html#a63f09ca69e00b317de29af6a6a12daac',1,'SVF::CondPointsToSet::pointsTo(void)'],['../classSVF_1_1CondPointsToSet.html#ada240bc77570174a1d17ac097583fa78',1,'SVF::CondPointsToSet::pointsTo(void) const'],['../classSVF_1_1CondPointsToSet.html#a03311162626acf16ad05b7b93248a92b',1,'SVF::CondPointsToSet::pointsTo(Cond cond) const'],['../classSVF_1_1CondPointsToSet.html#a8775ef2c073af6c8055c3f5b0035288f',1,'SVF::CondPointsToSet::pointsTo(Cond cond)'],['../classSVF_1_1PointsTo.html#aca4e7e88f2e1ec87a9576cc6c866adde',1,'SVF::PointsTo::PointsTo()'],['../classSVF_1_1PointsTo.html#acef2d3e41263aef641c3411e28ad445c',1,'SVF::PointsTo::PointsTo(const PointsTo &pt)'],['../classSVF_1_1PointsTo.html#a57e22bb2a181ccb56908130204d801a2',1,'SVF::PointsTo::PointsTo(PointsTo &&pt) noexcept']]],
   ['pointsto_2ecpp_4844',['PointsTo.cpp',['../PointsTo_8cpp.html',1,'']]],
   ['pointsto_2eh_4845',['PointsTo.h',['../PointsTo_8h.html',1,'']]],
   ['pointstoid_4846',['PointsToID',['../namespaceSVF.html#ae545a88267bd2246de827cf590675aca',1,'SVF']]],
@@ -160,7 +160,7 @@ var searchData=
   ['position_4856',['position',['../structerror.html#a24de70a4d517ab351d80c18582cadb66',1,'error::position()'],['../cJSON_8cpp.html#a1c3580b00311725af8eb560f18555e0a',1,'position(): cJSON.cpp']]],
   ['possibilities_4857',['possibilities',['../classOptionMap.html#a0e39650a4340e7ff4f214bc4223575eb',1,'OptionMap::possibilities()'],['../classOptionMultiple.html#aec251294a810d232e1f352a40126d82a',1,'OptionMultiple::possibilities()']]],
   ['possibilitydescription_4858',['PossibilityDescription',['../classOptionBase.html#a0a048de2a9ea404cb6b6be6276e8f91e',1,'OptionBase']]],
-  ['possibilitydescriptions_4859',['PossibilityDescriptions',['../classOptionBase.html#adbecc317e1c8a157456c069ca0b4679c',1,'OptionBase::PossibilityDescriptions()'],['../classOptionBase.html#aa6cc4a59e5801eff5d7dcdc0137e16a1',1,'OptionBase::possibilityDescriptions()']]],
+  ['possibilitydescriptions_4859',['possibilityDescriptions',['../classOptionBase.html#aa6cc4a59e5801eff5d7dcdc0137e16a1',1,'OptionBase::possibilityDescriptions()'],['../classOptionBase.html#adbecc317e1c8a157456c069ca0b4679c',1,'OptionBase::PossibilityDescriptions()']]],
   ['postdominate_4860',['postDominate',['../classSVF_1_1SaberCondAllocator.html#a3eb0a564ba8047dc5512b2e79ba64313',1,'SVF::SaberCondAllocator::postDominate()'],['../classSVF_1_1SVFLoopAndDomInfo.html#af66c5a824f9fc2813e2d97e17f9a2e96',1,'SVF::SVFLoopAndDomInfo::postDominate()'],['../classSVF_1_1SVFFunction.html#acc4af12afb0bc14982060d2e3baa1929',1,'SVF::SVFFunction::postDominate()']]],
   ['postdominatortree_4861',['PostDominatorTree',['../namespaceSVF.html#ab34383ee87cd45eb485fa29db482ffef',1,'SVF']]],
   ['postprocessnode_4862',['postProcessNode',['../classSVF_1_1AndersenWaveDiff.html#aa0659a2787c1f9b1b6ec62900313475e',1,'SVF::AndersenWaveDiff']]],
@@ -298,7 +298,7 @@ var searchData=
   ['ptronlysvfg_4994',['PTRONLYSVFG',['../classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6ada8562b20e8d888a4b421c200957294d',1,'SVF::VFG']]],
   ['ptronlysvfg_5fopt_4995',['PTRONLYSVFG_OPT',['../classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6a8ed0b9aea88fbbbe91f33301bea0c9dd',1,'SVF::VFG']]],
   ['ptrpool_4996',['ptrPool',['../classSVF_1_1WriterPtrPool.html#a7a3246f7158330ed49088205610e042f',1,'SVF::WriterPtrPool::ptrPool()'],['../classSVF_1_1ReaderPtrPool.html#a705d5d5fe6ebfb94157453b3403aaaaa',1,'SVF::ReaderPtrPool::ptrPool()']]],
-  ['ptrtobvptsmap_4997',['ptrToBVPtsMap',['../classSVF_1_1CondPTAImpl.html#a30b9ee7b1dcd04285f92cf7accd05b2e',1,'SVF::CondPTAImpl::ptrToBVPtsMap()'],['../classSVF_1_1CondPTAImpl.html#aba828ca8e2aa2bd71b78be8b45a48c9b',1,'SVF::CondPTAImpl::PtrToBVPtsMap()']]],
+  ['ptrtobvptsmap_4997',['PtrToBVPtsMap',['../classSVF_1_1CondPTAImpl.html#aba828ca8e2aa2bd71b78be8b45a48c9b',1,'SVF::CondPTAImpl::PtrToBVPtsMap()'],['../classSVF_1_1CondPTAImpl.html#a30b9ee7b1dcd04285f92cf7accd05b2e',1,'SVF::CondPTAImpl::ptrToBVPtsMap()']]],
   ['ptrtocptsmap_4998',['ptrToCPtsMap',['../classSVF_1_1CondPTAImpl.html#a61167fcdb2005090de1b38e53450431a',1,'SVF::CondPTAImpl::ptrToCPtsMap()'],['../classSVF_1_1CondPTAImpl.html#a5043e9d9255d31777d038c48c809bb09',1,'SVF::CondPTAImpl::PtrToCPtsMap()']]],
   ['ptrtoid_4999',['ptrToId',['../classSVF_1_1WriterPtrPool.html#a9ad8e70372f0a86cb5027588a008abfe',1,'SVF::WriterPtrPool']]],
   ['ptrtoint_5000',['PTRTOINT',['../classSVF_1_1CopyStmt.html#ae041bbd93e3839193fd7ffe9611a4ca1ae746463dbec33f7d026b1a43e9ea4b87',1,'SVF::CopyStmt']]],