svf-tools 1.0.852 → 1.0.853

package/SVF-doxygen/html/IntervalExeState_8h_source.html

@@ -336,7 +336,7 @@ $(function() {
 <div class="line"><a name="l00289"></a><span class="lineno">  289</span>&#160;        }</div>
 <div class="line"><a name="l00290"></a><span class="lineno">  290</span>&#160;    }</div>
 <div class="line"><a name="l00291"></a><span class="lineno">  291</span>&#160; </div>
-<div class="line"><a name="l00292"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalESBase.html#a46a305a70ec53c6bda50caafec38791a">  292</a></span>&#160;    <span class="keyword">inline</span> <span class="keyword">virtual</span> <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>&amp; <a class="code" href="classSVF_1_1IntervalESBase.html#a46a305a70ec53c6bda50caafec38791a">getLocToVal</a>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <span class="keywordtype">id</span>)</div>
+<div class="line"><a name="l00292"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalESBase.html#a844658f360b23a9872a74082f7600535">  292</a></span>&#160;    <span class="keyword">inline</span> <span class="keyword">virtual</span> <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>&amp; <a class="code" href="classSVF_1_1IntervalESBase.html#a844658f360b23a9872a74082f7600535">getLocVal</a>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <span class="keywordtype">id</span>)</div>
 <div class="line"><a name="l00293"></a><span class="lineno">  293</span>&#160;    {</div>
 <div class="line"><a name="l00294"></a><span class="lineno">  294</span>&#160;        <span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1IntervalESBase.html#acba74693030fca248521412c552e3dcc">_locToItvVal</a>.find(<span class="keywordtype">id</span>);</div>
 <div class="line"><a name="l00295"></a><span class="lineno">  295</span>&#160;        <span class="keywordflow">if</span>(it != <a class="code" href="classSVF_1_1IntervalESBase.html#acba74693030fca248521412c552e3dcc">_locToItvVal</a>.end())</div>
@@ -608,7 +608,7 @@ $(function() {
 <div class="line"><a name="l00578"></a><span class="lineno">  578</span>&#160;        }</div>
 <div class="line"><a name="l00579"></a><span class="lineno">  579</span>&#160;    }</div>
 <div class="line"><a name="l00580"></a><span class="lineno">  580</span>&#160; </div>
-<div class="line"><a name="l00581"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalExeState.html#a48247d3ce543a9773d668998f7f58ac3">  581</a></span>&#160;    <span class="keyword">inline</span> <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>&amp; <a class="code" href="classSVF_1_1IntervalExeState.html#a48247d3ce543a9773d668998f7f58ac3">getLocToVal</a>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <span class="keywordtype">id</span>)<span class="keyword"> override</span></div>
+<div class="line"><a name="l00581"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalExeState.html#ad955967016e901391aaa0c3170ff43b6">  581</a></span>&#160;    <span class="keyword">inline</span> <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>&amp; <a class="code" href="classSVF_1_1IntervalExeState.html#ad955967016e901391aaa0c3170ff43b6">getLocVal</a>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <span class="keywordtype">id</span>)<span class="keyword"> override</span></div>
 <div class="line"><a name="l00582"></a><span class="lineno">  582</span>&#160;<span class="keyword">    </span>{</div>
 <div class="line"><a name="l00583"></a><span class="lineno">  583</span>&#160;        <span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1IntervalESBase.html#acba74693030fca248521412c552e3dcc">_locToItvVal</a>.find(<span class="keywordtype">id</span>);</div>
 <div class="line"><a name="l00584"></a><span class="lineno">  584</span>&#160;        <span class="keywordflow">if</span>(it != <a class="code" href="classSVF_1_1IntervalESBase.html#acba74693030fca248521412c552e3dcc">_locToItvVal</a>.end())</div>
@@ -740,6 +740,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1IntervalExeState_html_abc8edb74e55f40dbc7bb5182d4ef1199"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#abc8edb74e55f40dbc7bb5182d4ef1199">SVF::IntervalExeState::widening</a></div><div class="ttdeci">IntervalExeState widening(const IntervalExeState &amp;other)</div><div class="ttdoc">domain widen with other, and return the widened domain</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8cpp_source.html#l00253">IntervalExeState.cpp:253</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ExeState_html_ab72f3bc855feeda75e11768ab03ad84e"><div class="ttname"><a href="classSVF_1_1ExeState.html#ab72f3bc855feeda75e11768ab03ad84e">SVF::ExeState::getInternalID</a></div><div class="ttdeci">static u32_t getInternalID(u32_t idx)</div><div class="ttdoc">Return the internal index if idx is an address otherwise return the value of idx.</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00283">ExeState.h:283</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a5ca48cf99bb54008d824d8c475c450f7"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a5ca48cf99bb54008d824d8c475c450f7">SVF::IntervalExeState::operator=</a></div><div class="ttdeci">IntervalExeState &amp; operator=(const IntervalExeState &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00430">IntervalExeState.h:430</a></div></div>
+<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_ad955967016e901391aaa0c3170ff43b6"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#ad955967016e901391aaa0c3170ff43b6">SVF::IntervalExeState::getLocVal</a></div><div class="ttdeci">IntervalValue &amp; getLocVal(u32_t id) override</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00581">IntervalExeState.h:581</a></div></div>
 <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a72502f7f536418621485e90ab98c2016"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVF::SVFUtil::move</a></div><div class="ttdeci">constexpr std::remove_reference&lt; T &gt;::type &amp;&amp; move(T &amp;&amp;t) noexcept</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00621">SVFUtil.h:621</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IntervalESBase_html_a8722234ba6bea5223e79174ff1d095c7"><div class="ttname"><a href="classSVF_1_1IntervalESBase.html#a8722234ba6bea5223e79174ff1d095c7">SVF::IntervalESBase::operator&gt;=</a></div><div class="ttdeci">bool operator&gt;=(const IntervalESBase &amp;rhs) const</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00387">IntervalExeState.h:387</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IntervalESBase_html_a52b590dc437bc01ce116255e699c3c55"><div class="ttname"><a href="classSVF_1_1IntervalESBase.html#a52b590dc437bc01ce116255e699c3c55">SVF::IntervalESBase::narrowWith</a></div><div class="ttdeci">void narrowWith(const IntervalESBase &amp;other)</div><div class="ttdoc">domain narrow with other, important! other widen this.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8cpp_source.html#l00145">IntervalExeState.cpp:145</a></div></div>
@@ -758,7 +759,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1IntervalESBase_html_a2906309f1b7691be20b8d3a3968dfe91"><div class="ttname"><a href="classSVF_1_1IntervalESBase.html#a2906309f1b7691be20b8d3a3968dfe91">SVF::IntervalESBase::IntervalESBase</a></div><div class="ttdeci">IntervalESBase(IntervalESBase &amp;&amp;rhs)</div><div class="ttdoc">move constructor</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00093">IntervalExeState.h:93</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IntervalESBase_html_a551d07983a89971d4e2422e6be850d4f"><div class="ttname"><a href="classSVF_1_1IntervalESBase.html#a551d07983a89971d4e2422e6be850d4f">SVF::IntervalESBase::inVarToAddrsTable</a></div><div class="ttdeci">bool inVarToAddrsTable(u32_t id) const override</div><div class="ttdoc">whether the variable is in varToAddrs table</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00165">IntervalExeState.h:165</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IntervalESBase_html_a6c517028bddfa9f4617950a02f347ce8"><div class="ttname"><a href="classSVF_1_1IntervalESBase.html#a6c517028bddfa9f4617950a02f347ce8">SVF::IntervalESBase::inLocToAddrsTable</a></div><div class="ttdeci">bool inLocToAddrsTable(u32_t id) const override</div><div class="ttdoc">whether the memory address stores memory addresses</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00177">IntervalExeState.h:177</a></div></div>
-<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a48247d3ce543a9773d668998f7f58ac3"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a48247d3ce543a9773d668998f7f58ac3">SVF::IntervalExeState::getLocToVal</a></div><div class="ttdeci">IntervalValue &amp; getLocToVal(u32_t id) override</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00581">IntervalExeState.h:581</a></div></div>
+<div class="ttc" id="aclassSVF_1_1IntervalESBase_html_a844658f360b23a9872a74082f7600535"><div class="ttname"><a href="classSVF_1_1IntervalESBase.html#a844658f360b23a9872a74082f7600535">SVF::IntervalESBase::getLocVal</a></div><div class="ttdeci">virtual IntervalValue &amp; getLocVal(u32_t id)</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00292">IntervalExeState.h:292</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IntervalESBase_html_a765e98325842f6df15255af9a8036e8c"><div class="ttname"><a href="classSVF_1_1IntervalESBase.html#a765e98325842f6df15255af9a8036e8c">SVF::IntervalESBase::~IntervalESBase</a></div><div class="ttdeci">virtual ~IntervalESBase()=default</div></div>
 <div class="ttc" id="acJSON_8h_html_ac76cea59d438ba893d2f82aabb367d14"><div class="ttname"><a href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a></div><div class="ttdeci">cJSON * item</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00222">cJSON.h:222</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a1e8f41b502167283ccb87bd128f232bc"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a1e8f41b502167283ccb87bd128f232bc">SVF::IntervalExeState::narrowing</a></div><div class="ttdeci">IntervalExeState narrowing(const IntervalExeState &amp;other)</div><div class="ttdoc">domain narrow with other, and return the narrowed domain</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8cpp_source.html#l00271">IntervalExeState.cpp:271</a></div></div>
@@ -776,7 +777,6 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a50aee49f7f34e05f7e2cb28ae55099f8"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a50aee49f7f34e05f7e2cb28ae55099f8">SVF::IntervalExeState::inLocToValTable</a></div><div class="ttdeci">bool inLocToValTable(u32_t id) const override</div><div class="ttdoc">whether the memory address stores interval value</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00495">IntervalExeState.h:495</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00102">SVFType.h:102</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IntervalESBase_html_a2da3f0da084f66f5b82c86e6650fd903"><div class="ttname"><a href="classSVF_1_1IntervalESBase.html#a2da3f0da084f66f5b82c86e6650fd903">SVF::IntervalESBase::IntervalESBase</a></div><div class="ttdeci">IntervalESBase()</div><div class="ttdoc">default constructor</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00065">IntervalExeState.h:65</a></div></div>
-<div class="ttc" id="aclassSVF_1_1IntervalESBase_html_a46a305a70ec53c6bda50caafec38791a"><div class="ttname"><a href="classSVF_1_1IntervalESBase.html#a46a305a70ec53c6bda50caafec38791a">SVF::IntervalESBase::getLocToVal</a></div><div class="ttdeci">virtual IntervalValue &amp; getLocToVal(u32_t id)</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00292">IntervalExeState.h:292</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IntervalESBase_html_a9133df5ab00e7c2918a8047fd0bdfb08"><div class="ttname"><a href="classSVF_1_1IntervalESBase.html#a9133df5ab00e7c2918a8047fd0bdfb08">SVF::IntervalESBase::equals</a></div><div class="ttdeci">bool equals(const IntervalESBase &amp;other) const</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8cpp_source.html#l00036">IntervalExeState.cpp:36</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IntervalESBase_html_a33fd0e4a654dd4f5b7762b0088e11674"><div class="ttname"><a href="classSVF_1_1IntervalESBase.html#a33fd0e4a654dd4f5b7762b0088e11674">SVF::IntervalESBase::top</a></div><div class="ttdeci">IntervalESBase top() const</div><div class="ttdoc">Set all value top.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00124">IntervalExeState.h:124</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IntervalESBase_html_aaafb882ca79738d39697d1461bd2032f"><div class="ttname"><a href="classSVF_1_1IntervalESBase.html#aaafb882ca79738d39697d1461bd2032f">SVF::IntervalESBase::operator&lt;</a></div><div class="ttdeci">bool operator&lt;(const IntervalESBase &amp;rhs) const</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00381">IntervalExeState.h:381</a></div></div>

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

@@ -97,7 +97,7 @@ $(function() {
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#a04145be14d0b0f60eb0f357e0ec7a92c">getLocAddrs</a>(u32_t id)</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#aa7b897b107d722909f9de9dcbabad7cf">getLocToAddrs</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#af7451ea87d5117a90b5912a1e6f34e10">getLocToVal</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#a46a305a70ec53c6bda50caafec38791a">getLocToVal</a>(u32_t id)</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#a844658f360b23a9872a74082f7600535">getLocVal</a>(u32_t id)</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a0710c9cc1a3c40c95cd362d49bea459b">getVarToAddrs</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#a903797577ba99ef57879774a3849bbfe">getVarToVal</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a2f01e583abcdeb236a11e85c7a8aafdc">getVirtualMemAddress</a>(u32_t idx)</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
@@ -150,8 +150,8 @@ $(function() {
   <tr><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#af1ac478aba3f3858d5f6f4b15a9f73a6">SVFIR2ItvExeState</a> class</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#a33fd0e4a654dd4f5b7762b0088e11674">top</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#ab5d7ac23f8334fa32ae0a78c8f1d9fa9">toString</a>() const override</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a09f34aca79479221305769cae307feef">VarToAddrs</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#aa01e978f41f4134257b380994e3b8409">varToAddrs</a>(u32_t varId) const</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#aa01e978f41f4134257b380994e3b8409">varToAddrs</a>(u32_t varId) const</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a09f34aca79479221305769cae307feef">VarToAddrs</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#a02e3d5f7074c4f77338edc9a7add95d8">VarToValMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#a9a167f67476d2e080cc6e31d127ee715">widening</a>(const IntervalESBase &amp;other)</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#a2db6b5360cf8e90dbd4174ad0382ec56">widenWith</a>(const IntervalESBase &amp;other)</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"></td></tr>

package/SVF-doxygen/html/classSVF_1_1IntervalESBase.html

@@ -195,8 +195,8 @@ Public Member Functions</h2></td></tr>
 <tr class="separator:a93c2088eacb3859d5e54899d3fa6b45f"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a1a012a83e3c2808e24ba8d5da4fbd85b"><td class="memItemLeft" align="right" valign="top">virtual <a class="el" href="classSVF_1_1ExeState.html#a78038dd4884a501cfc94f073021eac96">Addrs</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IntervalESBase.html#a1a012a83e3c2808e24ba8d5da4fbd85b">loadAddrs</a> (<a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> addr) override</td></tr>
 <tr class="separator:a1a012a83e3c2808e24ba8d5da4fbd85b"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a46a305a70ec53c6bda50caafec38791a"><td class="memItemLeft" align="right" valign="top">virtual <a class="el" href="classSVF_1_1IntervalValue.html">IntervalValue</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IntervalESBase.html#a46a305a70ec53c6bda50caafec38791a">getLocToVal</a> (<a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> id)</td></tr>
-<tr class="separator:a46a305a70ec53c6bda50caafec38791a"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a844658f360b23a9872a74082f7600535"><td class="memItemLeft" align="right" valign="top">virtual <a class="el" href="classSVF_1_1IntervalValue.html">IntervalValue</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IntervalESBase.html#a844658f360b23a9872a74082f7600535">getLocVal</a> (<a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> id)</td></tr>
+<tr class="separator:a844658f360b23a9872a74082f7600535"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a04145be14d0b0f60eb0f357e0ec7a92c"><td class="memItemLeft" align="right" valign="top">virtual <a class="el" href="classSVF_1_1ExeState.html#a78038dd4884a501cfc94f073021eac96">Addrs</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IntervalESBase.html#a04145be14d0b0f60eb0f357e0ec7a92c">getLocAddrs</a> (<a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> id)</td></tr>
 <tr class="separator:a04145be14d0b0f60eb0f357e0ec7a92c"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a4c0ede557a333bfea3f5d4a9a4dc8a9e"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IntervalESBase.html#a4c0ede557a333bfea3f5d4a9a4dc8a9e">printExprValues</a> (std::ostream &amp;oss) const override</td></tr>
@@ -843,7 +843,7 @@ Additional Inherited Members</h2></td></tr>
 </div>
 </div>
 <a id="af7451ea87d5117a90b5912a1e6f34e10"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#af7451ea87d5117a90b5912a1e6f34e10">&#9670;&nbsp;</a></span>getLocToVal() <span class="overload">[1/2]</span></h2>
+<h2 class="memtitle"><span class="permalink"><a href="#af7451ea87d5117a90b5912a1e6f34e10">&#9670;&nbsp;</a></span>getLocToVal()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -874,8 +874,8 @@ Additional Inherited Members</h2></td></tr>
 </div><!-- fragment -->
 </div>
 </div>
-<a id="a46a305a70ec53c6bda50caafec38791a"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a46a305a70ec53c6bda50caafec38791a">&#9670;&nbsp;</a></span>getLocToVal() <span class="overload">[2/2]</span></h2>
+<a id="a844658f360b23a9872a74082f7600535"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a844658f360b23a9872a74082f7600535">&#9670;&nbsp;</a></span>getLocVal()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -884,7 +884,7 @@ Additional Inherited Members</h2></td></tr>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">virtual <a class="el" href="classSVF_1_1IntervalValue.html">IntervalValue</a>&amp; SVF::IntervalESBase::getLocToVal </td>
+          <td class="memname">virtual <a class="el" href="classSVF_1_1IntervalValue.html">IntervalValue</a>&amp; SVF::IntervalESBase::getLocVal </td>
           <td>(</td>
           <td class="paramtype"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td>
           <td class="paramname"><em>id</em></td><td>)</td>
@@ -898,7 +898,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p>Reimplemented in <a class="el" href="classSVF_1_1IntervalExeState.html#a48247d3ce543a9773d668998f7f58ac3">SVF::IntervalExeState</a>.</p>
+<p>Reimplemented in <a class="el" href="classSVF_1_1IntervalExeState.html#ad955967016e901391aaa0c3170ff43b6">SVF::IntervalExeState</a>.</p>
 
 <p class="definition">Definition at line <a class="el" href="IntervalExeState_8h_source.html#l00292">292</a> of file <a class="el" href="IntervalExeState_8h_source.html">IntervalExeState.h</a>.</p>
 <div class="fragment"><div class="line"><a name="l00293"></a><span class="lineno">  293</span>&#160;    {</div>

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

@@ -98,8 +98,8 @@ $(function() {
   <tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#ab72f3bc855feeda75e11768ab03ad84e">getInternalID</a>(u32_t idx)</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</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_1IntervalExeState.html#a053ad8e95d16e2ec047c64258c2021f2">getLocAddrs</a>(u32_t id) override</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#aa7b897b107d722909f9de9dcbabad7cf">getLocToAddrs</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#a48247d3ce543a9773d668998f7f58ac3">getLocToVal</a>(u32_t id) override</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#af7451ea87d5117a90b5912a1e6f34e10">SVF::IntervalESBase::getLocToVal</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#af7451ea87d5117a90b5912a1e6f34e10">getLocToVal</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html#ad955967016e901391aaa0c3170ff43b6">getLocVal</a>(u32_t id) override</td><td class="entry"><a class="el" href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a0710c9cc1a3c40c95cd362d49bea459b">getVarToAddrs</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#a903797577ba99ef57879774a3849bbfe">getVarToVal</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a2f01e583abcdeb236a11e85c7a8aafdc">getVirtualMemAddress</a>(u32_t idx)</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>

package/SVF-doxygen/html/classSVF_1_1IntervalExeState.html

@@ -155,8 +155,8 @@ Public Member Functions</h2></td></tr>
 <tr class="separator:a960ec3359dfcb5e89fb66120c868ac5e"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ad17ceaf8058043151ae0f23b3415458a"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1ExeState.html#a78038dd4884a501cfc94f073021eac96">Addrs</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IntervalExeState.html#ad17ceaf8058043151ae0f23b3415458a">loadAddrs</a> (<a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> addr) override</td></tr>
 <tr class="separator:ad17ceaf8058043151ae0f23b3415458a"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a48247d3ce543a9773d668998f7f58ac3"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1IntervalValue.html">IntervalValue</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IntervalExeState.html#a48247d3ce543a9773d668998f7f58ac3">getLocToVal</a> (<a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> id) override</td></tr>
-<tr class="separator:a48247d3ce543a9773d668998f7f58ac3"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ad955967016e901391aaa0c3170ff43b6"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1IntervalValue.html">IntervalValue</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IntervalExeState.html#ad955967016e901391aaa0c3170ff43b6">getLocVal</a> (<a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> id) override</td></tr>
+<tr class="separator:ad955967016e901391aaa0c3170ff43b6"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a053ad8e95d16e2ec047c64258c2021f2"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1ExeState.html#a78038dd4884a501cfc94f073021eac96">Addrs</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IntervalExeState.html#a053ad8e95d16e2ec047c64258c2021f2">getLocAddrs</a> (<a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> id) override</td></tr>
 <tr class="separator:a053ad8e95d16e2ec047c64258c2021f2"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a69f5125f14b129607fafb3717160f4c1"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IntervalExeState.html#a69f5125f14b129607fafb3717160f4c1">equals</a> (const <a class="el" href="classSVF_1_1IntervalExeState.html">IntervalExeState</a> &amp;other) const</td></tr>
@@ -678,8 +678,8 @@ Additional Inherited Members</h2></td></tr>
 </div><!-- fragment -->
 </div>
 </div>
-<a id="a48247d3ce543a9773d668998f7f58ac3"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a48247d3ce543a9773d668998f7f58ac3">&#9670;&nbsp;</a></span>getLocToVal()</h2>
+<a id="ad955967016e901391aaa0c3170ff43b6"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#ad955967016e901391aaa0c3170ff43b6">&#9670;&nbsp;</a></span>getLocVal()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -688,7 +688,7 @@ Additional Inherited Members</h2></td></tr>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname"><a class="el" href="classSVF_1_1IntervalValue.html">IntervalValue</a>&amp; SVF::IntervalExeState::getLocToVal </td>
+          <td class="memname"><a class="el" href="classSVF_1_1IntervalValue.html">IntervalValue</a>&amp; SVF::IntervalExeState::getLocVal </td>
           <td>(</td>
           <td class="paramtype"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td>
           <td class="paramname"><em>id</em></td><td>)</td>
@@ -702,7 +702,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p>Reimplemented from <a class="el" href="classSVF_1_1IntervalESBase.html#a46a305a70ec53c6bda50caafec38791a">SVF::IntervalESBase</a>.</p>
+<p>Reimplemented from <a class="el" href="classSVF_1_1IntervalESBase.html#a844658f360b23a9872a74082f7600535">SVF::IntervalESBase</a>.</p>
 
 <p class="definition">Definition at line <a class="el" href="IntervalExeState_8h_source.html#l00581">581</a> of file <a class="el" href="IntervalExeState_8h_source.html">IntervalExeState.h</a>.</p>
 <div class="fragment"><div class="line"><a name="l00582"></a><span class="lineno">  582</span>&#160;    {</div>

package/SVF-doxygen/html/functions_f.html

@@ -652,12 +652,12 @@ $(function() {
 <li>funToModsMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#a2c94bfa19ad8d1d6360b12693c8b891d">SVF::MRGenerator</a>
 </li>
-<li>FunToMRsMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#a090070379a09460aef0c07270d32d27b">SVF::MRGenerator</a>
-</li>
 <li>funToMRsMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#a3e74c3706ffcc14f378771b417dcbb96">SVF::MRGenerator</a>
 </li>
+<li>FunToMRsMap
+: <a class="el" href="classSVF_1_1MRGenerator.html#a090070379a09460aef0c07270d32d27b">SVF::MRGenerator</a>
+</li>
 <li>FunToNodeBSMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#ab01e492f002c73e2c89eb0b4c8f9647d">SVF::MRGenerator</a>
 </li>

package/SVF-doxygen/html/functions_func_g.html

@@ -1659,9 +1659,12 @@ $(function() {
 <li>getLocToVal()
 : <a class="el" href="classSVF_1_1ConsExeState.html#adf45b2d4b73220e80a1265f4e1b1ee35">SVF::ConsExeState</a>
 , <a class="el" href="classSVF_1_1IntervalESBase.html#af7451ea87d5117a90b5912a1e6f34e10">SVF::IntervalESBase</a>
-, <a class="el" href="classSVF_1_1IntervalExeState.html#a48247d3ce543a9773d668998f7f58ac3">SVF::IntervalExeState</a>
 , <a class="el" href="classSVF_1_1RelExeState.html#a3eb51c26ae9c87e1457d6515e6d537f9">SVF::RelExeState</a>
 </li>
+<li>getLocVal()
+: <a class="el" href="classSVF_1_1IntervalESBase.html#a844658f360b23a9872a74082f7600535">SVF::IntervalESBase</a>
+, <a class="el" href="classSVF_1_1IntervalExeState.html#ad955967016e901391aaa0c3170ff43b6">SVF::IntervalExeState</a>
+</li>
 <li>getLoop()
 : <a class="el" href="classSVF_1_1TCT.html#a35f0fd73e0d752a426284eb4406ecca2">SVF::TCT</a>
 </li>

package/SVF-doxygen/html/functions_func_p.html

@@ -524,7 +524,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#a625cd9d7ca85c0581af13e9e0c16960e">SVF::TCT</a>
+, <a class="el" href="classSVF_1_1TCT.html#aa98a5b427a92eca1e043efcdf7945169">SVF::TCT</a>
 </li>
 <li>pushIntoWorklist()
 : <a class="el" href="classSVF_1_1CFLSolver.html#aa6123d73f71b9148d7aafb2ec58bbb34">SVF::CFLSolver</a>

package/SVF-doxygen/html/functions_g.html

@@ -1727,9 +1727,12 @@ $(function() {
 <li>getLocToVal()
 : <a class="el" href="classSVF_1_1ConsExeState.html#adf45b2d4b73220e80a1265f4e1b1ee35">SVF::ConsExeState</a>
 , <a class="el" href="classSVF_1_1IntervalESBase.html#af7451ea87d5117a90b5912a1e6f34e10">SVF::IntervalESBase</a>
-, <a class="el" href="classSVF_1_1IntervalExeState.html#a48247d3ce543a9773d668998f7f58ac3">SVF::IntervalExeState</a>
 , <a class="el" href="classSVF_1_1RelExeState.html#a3eb51c26ae9c87e1457d6515e6d537f9">SVF::RelExeState</a>
 </li>
+<li>getLocVal()
+: <a class="el" href="classSVF_1_1IntervalESBase.html#a844658f360b23a9872a74082f7600535">SVF::IntervalESBase</a>
+, <a class="el" href="classSVF_1_1IntervalExeState.html#ad955967016e901391aaa0c3170ff43b6">SVF::IntervalExeState</a>
+</li>
 <li>getLoop()
 : <a class="el" href="classSVF_1_1TCT.html#a35f0fd73e0d752a426284eb4406ecca2">SVF::TCT</a>
 </li>

package/SVF-doxygen/html/functions_l.html

@@ -232,12 +232,12 @@ $(function() {
 <li>LoadStmt()
 : <a class="el" href="classSVF_1_1LoadStmt.html#a4bd939005c7c6a5da4ed3b6be6ef1a22">SVF::LoadStmt</a>
 </li>
-<li>loadsToMRsMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#a0d8229b1f0b8428708e923d19096e4ba">SVF::MRGenerator</a>
-</li>
 <li>LoadsToMRsMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#a273b2634adcfa10a08924517e8d51175">SVF::MRGenerator</a>
 </li>
+<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#acfadd565b5c978c9417e059b3ea7588c">SVF::MRGenerator</a>
 </li>

package/SVF-doxygen/html/functions_n.html

@@ -290,18 +290,18 @@ $(function() {
 <li>NodeToRepMap
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#afe34ca6bdbb22b188799a4297fd19004">SVF::ConstraintGraph</a>
 </li>
-<li>nodeToSubsMap
-: <a class="el" href="classSVF_1_1ConstraintGraph.html#af91f1027cd5de591ae40865f691c5f60">SVF::ConstraintGraph</a>
-</li>
 <li>NodeToSubsMap
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#ac7d24753491a9bab39a13b32bb65f139">SVF::ConstraintGraph</a>
 </li>
 <li>nodeToSubsMap
-: <a class="el" href="classSVF_1_1Steensgaard.html#aca87fc74b6acb096a7165f105b14854b">SVF::Steensgaard</a>
+: <a class="el" href="classSVF_1_1ConstraintGraph.html#af91f1027cd5de591ae40865f691c5f60">SVF::ConstraintGraph</a>
 </li>
 <li>NodeToSubsMap
 : <a class="el" href="classSVF_1_1Steensgaard.html#a45d49eef110e3bc15509a2020be38453">SVF::Steensgaard</a>
 </li>
+<li>nodeToSubsMap
+: <a class="el" href="classSVF_1_1Steensgaard.html#aca87fc74b6acb096a7165f105b14854b">SVF::Steensgaard</a>
+</li>
 <li>NodeType
 : <a class="el" href="structSVF_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#a853ab084e6697910121f897ab43bca04">SVF::DOTGraphTraits&lt; CFLGraph * &gt;</a>
 , <a class="el" href="structSVF_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#aa655d045996275ad355298fb23d5ffc2">SVF::DOTGraphTraits&lt; CHGraph * &gt;</a>

package/SVF-doxygen/html/functions_o.html

@@ -565,12 +565,12 @@ $(function() {
 <li>OpICFGNodeVec
 : <a class="el" href="classSVF_1_1PhiStmt.html#a49d49b191592f21e8e4e8b6676871423">SVF::PhiStmt</a>
 </li>
-<li>opIncomingBBs
-: <a class="el" href="classSVF_1_1IntraPHIVFGNode.html#a73f39a488ad82300010abd18afe247a4">SVF::IntraPHIVFGNode</a>
-</li>
 <li>OPIncomingBBs
 : <a class="el" href="classSVF_1_1IntraPHIVFGNode.html#a66928f6cc755bd2a048804d00f859a80">SVF::IntraPHIVFGNode</a>
 </li>
+<li>opIncomingBBs
+: <a class="el" href="classSVF_1_1IntraPHIVFGNode.html#a73f39a488ad82300010abd18afe247a4">SVF::IntraPHIVFGNode</a>
+</li>
 <li>OpIt
 : <a class="el" href="classllvm_1_1generic__bridge__gep__type__iterator.html#aa3fd4dca27e09df9ee726879624ae47e">llvm::generic_bridge_gep_type_iterator&lt; ItTy &gt;</a>
 </li>

package/SVF-doxygen/html/functions_p.html

@@ -508,12 +508,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>
@@ -901,12 +901,12 @@ $(function() {
 <li>PTAStat()
 : <a class="el" href="classSVF_1_1PTAStat.html#ac9b65b591200c16c420fbd26710b448f">SVF::PTAStat</a>
 </li>
-<li>PTATY
-: <a class="el" href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85">SVF::PointerAnalysis</a>
-</li>
 <li>ptaTy
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#ade83738ac754d5ffc2a3b497b600cad4">SVF::PointerAnalysis</a>
 </li>
+<li>PTATY
+: <a class="el" href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85">SVF::PointerAnalysis</a>
+</li>
 <li>PTAVector
 : <a class="el" href="classSVF_1_1DDAPass.html#acc7ad5d3266cb3e24fba0b4db186348a">SVF::DDAPass</a>
 , <a class="el" href="classSVF_1_1WPAPass.html#ad4e3d480ebcc6bbbb7bcc8dc3df8663e">SVF::WPAPass</a>
@@ -1008,15 +1008,11 @@ $(function() {
 , <a class="el" href="classSVF_1_1FlowSensitiveStat.html#a1b605e86f33e79f7d7cd88dc54f2c19e">SVF::FlowSensitiveStat</a>
 , <a class="el" href="classSVF_1_1MutableDFPTData.html#ae7456fccd4c95227cdd7163176703205">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDiffPTData.html#a5d64ef2d4b9ab65cc7a9e33bb6fe47cf">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+, <a class="el" href="classSVF_1_1MutablePTData.html#ad74cc6c81c4a95f6ba4e89352bccee3e">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>ptsMap
 : <a class="el" href="classSVF_1_1MutablePTData.html#a5ee6e307acd4edbf4f7c2b063032d942">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-</li>
-<li>PtsMap
-: <a class="el" href="classSVF_1_1MutablePTData.html#ad74cc6c81c4a95f6ba4e89352bccee3e">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-</li>
-<li>ptsMap
-: <a class="el" href="classSVF_1_1PersistentPTData.html#a483c690c6cf19e258bdf7bb13e77976e">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentPTData.html#a483c690c6cf19e258bdf7bb13e77976e">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>PtsMapConstIter
 : <a class="el" href="classSVF_1_1MutableDFPTData.html#a3f234abc0def4815a03de164fa258f24">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
@@ -1069,7 +1065,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_r.html

@@ -122,7 +122,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1Options.html#ae1776c9fb7d163153443b1ff2a7350a8">SVF::Options</a>
 </li>
 <li>readJson()
-: <a class="el" href="classSVF_1_1SVFIRReader.html#af379c833b8e0c16ed7b41a76bb8e51d6">SVF::SVFIRReader</a>
+: <a class="el" href="classSVF_1_1SVFIRReader.html#abdb701b360803217f31baa66ca42d147">SVF::SVFIRReader</a>
 </li>
 <li>readPrecision()
 : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a5532751632ece036b3d6741908573b36">SVF::MTASVFGBuilder</a>
@@ -578,7 +578,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1RetCFGEdge.html#ad4bbb9881dff7b715c7a70b92baf376c">SVF::RetCFGEdge</a>
 </li>
 <li>RetPE()
-: <a class="el" href="classSVF_1_1RetPE.html#a0af89e939e91a980a083f931b209aea0">SVF::RetPE</a>
+: <a class="el" href="classSVF_1_1RetPE.html#aa6378c78b2cc253ab036d54aaca11f85">SVF::RetPE</a>
 </li>
 <li>retPEBegin()
 : <a class="el" href="classSVF_1_1FormalRetVFGNode.html#ad81c6e6579293352ecb59345538b2132">SVF::FormalRetVFGNode</a>
@@ -595,7 +595,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1VFGNode.html#a367413b90de8a382190ffa9f0c742e01">SVF::VFGNode</a>
 </li>
 <li>RetPN()
-: <a class="el" href="classSVF_1_1RetPN.html#abeb65c2fe30da157e63dc43f628bab23">SVF::RetPN</a>
+: <a class="el" href="classSVF_1_1RetPN.html#ac551c1aaf9ec3cb77814aa4664d61a23">SVF::RetPN</a>
 </li>
 <li>RetSymbol
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89ba8ac9528bf8b81f7942c1cdc0bf63ec35">SVF::SymbolTableInfo</a>
@@ -629,13 +629,11 @@ $(function() {
 </li>
 <li>RevPtsMap
 : <a class="el" href="classSVF_1_1PersistentDiffPTData.html#ac008ee5f7e4d286f9e76d85989358305">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentPTData.html#aad89172e6e99d5ee576faa7bc74b36d8">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>revPtsMap
 : <a class="el" href="classSVF_1_1PersistentPTData.html#a7b43ad5045ebdaa86f2587ea3f2f9563">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
-<li>RevPtsMap
-: <a class="el" href="classSVF_1_1PersistentPTData.html#aad89172e6e99d5ee576faa7bc74b36d8">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-</li>
 <li>rid
 : <a class="el" href="classSVF_1_1MemRegion.html#aeb8ba1e0c907aeb3de84d8bd899c98b4">SVF::MemRegion</a>
 </li>

package/SVF-doxygen/html/functions_s.html

@@ -1556,7 +1556,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFOtherType.html#a4811e1d34753e19e27d552a254f0d0af">SVF::SVFOtherType</a>
 </li>
 <li>SVFOtherValue()
-: <a class="el" href="classSVF_1_1SVFOtherValue.html#a3966c98b9807e4d5f30869c3abccaaa9">SVF::SVFOtherValue</a>
+: <a class="el" href="classSVF_1_1SVFOtherValue.html#a81c02b9a60fa577a786250e088b49493">SVF::SVFOtherValue</a>
 </li>
 <li>SVFPointerTy
 : <a class="el" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae8c18603570fa65fa5a9aabdf2f5d0a1">SVF::SVFType</a>
@@ -1568,7 +1568,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFStat.html#ad22433722f7c71df19a891a5b5039d26">SVF::SVFStat</a>
 </li>
 <li>SVFStmt()
-: <a class="el" href="classSVF_1_1SVFStmt.html#a4f4159567121416cbe78d124f5c6a8b6">SVF::SVFStmt</a>
+: <a class="el" href="classSVF_1_1SVFStmt.html#a2ab7295fe26d2c6d2d5c9fd027f96a47">SVF::SVFStmt</a>
 </li>
 <li>SVFStmtList
 : <a class="el" href="classSVF_1_1ICFGNode.html#aa84a3724426f08a0e31ecdbc99114072">SVF::ICFGNode</a>
@@ -1618,7 +1618,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>
@@ -1631,7 +1631,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1SVFModuleWriter.html#aa3c7f0cf409d3b303f3dc308951b45fd">SVF::SVFModuleWriter</a>
 </li>
 <li>SVFVar()
-: <a class="el" href="classSVF_1_1SVFVar.html#a4dd7c0b8216d8793376596d0b4ed90e1">SVF::SVFVar</a>
+: <a class="el" href="classSVF_1_1SVFVar.html#a83626a4beb124b35bcd5af86c9fc62fd">SVF::SVFVar</a>
 </li>
 <li>SVFVarList
 : <a class="el" href="classSVF_1_1SVFIR.html#a64939d7ecfd8e2cf862782954a56596b">SVF::SVFIR</a>
@@ -1677,7 +1677,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1SymbolTableInfo.html#a4fbb8ea4b4796d10d13c027b7455505c">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#a144f6ac7ce41d228c42f92a27b3bdd60">SVF::SymState</a>
 </li>
 <li>symTabFieldJson
 : <a class="el" href="classSVF_1_1SymbolTableInfoReader.html#a4ebfcabecee32b0a226c2c57f6411a3c">SVF::SymbolTableInfoReader</a>

package/SVF-doxygen/html/functions_t.html

@@ -184,18 +184,18 @@ $(function() {
 , <a class="el" href="classSVF_1_1ThreadAPI.html#a2faebd2e481362b11ccce4256f81c32d">SVF::ThreadAPI</a>
 , <a class="el" href="classSVF_1_1ThreadCallGraph.html#af1146c3d8e8b8885a1c48701e5b5a27f">SVF::ThreadCallGraph</a>
 </li>
-<li>TDAPIMap
-: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a7acbb76087b863393e0214c77bb934b2">SVF::SaberCheckerAPI</a>
-</li>
 <li>tdAPIMap
 : <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a62471599cba4bde20d2696a91fa064ec">SVF::SaberCheckerAPI</a>
 </li>
 <li>TDAPIMap
-: <a class="el" href="classSVF_1_1ThreadAPI.html#abad7c113fd56c30537444ae4bdff2144">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a7acbb76087b863393e0214c77bb934b2">SVF::SaberCheckerAPI</a>
 </li>
 <li>tdAPIMap
 : <a class="el" href="classSVF_1_1ThreadAPI.html#a4277abaae24b43d83470054c247f479c">SVF::ThreadAPI</a>
 </li>
+<li>TDAPIMap
+: <a class="el" href="classSVF_1_1ThreadAPI.html#abad7c113fd56c30537444ae4bdff2144">SVF::ThreadAPI</a>
+</li>
 <li>TDDead
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a8d40e687caf8999369621ed385dfc631ad5af2a561c196e33d88fc63363d0d8f4">SVF::ForkJoinAnalysis</a>
 </li>
@@ -385,12 +385,12 @@ $(function() {
 <li>timeOfUpdateCallGraph
 : <a class="el" href="classSVF_1_1AndersenBase.html#a2afb49f513c9534fd051117b59dc056b">SVF::AndersenBase</a>
 </li>
-<li>TIMEStatMap
-: <a class="el" href="classSVF_1_1SVFStat.html#a8bb01becef1eb8d6113d946d29d904bd">SVF::SVFStat</a>
-</li>
 <li>timeStatMap
 : <a class="el" href="classSVF_1_1SVFStat.html#a5383691a34426a1a997b5eed387f1831">SVF::SVFStat</a>
 </li>
+<li>TIMEStatMap
+: <a class="el" href="classSVF_1_1SVFStat.html#a8bb01becef1eb8d6113d946d29d904bd">SVF::SVFStat</a>
+</li>
 <li>TInterPhi
 : <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa501e9891cbacea3950d80aa6071ec69">SVF::VFGNode</a>
 </li>
@@ -733,12 +733,12 @@ $(function() {
 <li>typeinfo
 : <a class="el" href="classSVF_1_1SVFType.html#a86ea48a882823de2e3e906220dc0111e">SVF::SVFType</a>
 </li>
-<li>TypeLocSetsMap
-: <a class="el" href="classSVF_1_1SVFIR.html#ad74ca54e6d62d4410038ef900ea8f150">SVF::SVFIR</a>
-</li>
 <li>typeLocSetsMap
 : <a class="el" href="classSVF_1_1SVFIR.html#a63ede1d8d381b91f81b93965dcffa288">SVF::SVFIR</a>
 </li>
+<li>TypeLocSetsMap
+: <a class="el" href="classSVF_1_1SVFIR.html#ad74ca54e6d62d4410038ef900ea8f150">SVF::SVFIR</a>
+</li>
 <li>TypeMap
 : <a class="el" href="classSVF_1_1POCRSolver.html#ac4d92529d21db89c547e20e886060b0f">SVF::POCRSolver</a>
 </li>