svf-tools 1.0.812 → 1.0.813

package/SVF-doxygen/html/RelationSolver_8cpp_source.html

@@ -305,15 +305,15 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1Z3Expr_html"><div class="ttname"><a href="classSVF_1_1Z3Expr.html">SVF::Z3Expr</a></div><div class="ttdef"><b>Definition:</b> <a href="Z3Expr_8h_source.html#l00038">Z3Expr.h:38</a></div></div>
 <div class="ttc" id="aclassSVF_1_1RelationSolver_html_aa36598cc7299b8d1f1868532722d84e3"><div class="ttname"><a href="classSVF_1_1RelationSolver.html#aa36598cc7299b8d1f1868532722d84e3">SVF::RelationSolver::gamma_hat</a></div><div class="ttdeci">Z3Expr gamma_hat(IntervalExeState &amp;exeState)</div><div class="ttdoc">Return Z3Expr according to valToValMap.</div><div class="ttdef"><b>Definition:</b> <a href="RelationSolver_8cpp_source.html#l00187">RelationSolver.cpp:187</a></div></div>
 <div class="ttc" id="aclassSVF_1_1RelationSolver_html_a5514dd057977686097cf314154748a25"><div class="ttname"><a href="classSVF_1_1RelationSolver.html#a5514dd057977686097cf314154748a25">SVF::RelationSolver::beta</a></div><div class="ttdeci">IntervalExeState beta(Map&lt; u32_t, double &gt; &amp;sigma, IntervalExeState &amp;exeState)</div><div class="ttdef"><b>Definition:</b> <a href="RelationSolver_8cpp_source.html#l00226">RelationSolver.cpp:226</a></div></div>
-<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a3139363dbe4bf20bb23e922f80d9e9c0"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a3139363dbe4bf20bb23e922f80d9e9c0">SVF::IntervalExeState::top</a></div><div class="ttdeci">IntervalExeState top()</div><div class="ttdoc">Set all value top.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00133">IntervalExeState.h:133</a></div></div>
+<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a3139363dbe4bf20bb23e922f80d9e9c0"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a3139363dbe4bf20bb23e922f80d9e9c0">SVF::IntervalExeState::top</a></div><div class="ttdeci">IntervalExeState top()</div><div class="ttdoc">Set all value top.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00127">IntervalExeState.h:127</a></div></div>
 <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_a4181e5e15e10304ea524e5f8b2a3f576"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a4181e5e15e10304ea524e5f8b2a3f576">SVF::NumericLiteral::getNumeral</a></div><div class="ttdeci">s64_t getNumeral() const</div><div class="ttdoc">Return Numeral.</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00120">NumericLiteral.h:120</a></div></div>
 <div class="ttc" id="aRelationSolver_8h_html"><div class="ttname"><a href="RelationSolver_8h.html">RelationSolver.h</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IntervalValue_html_adac2dc2c9f744a071ad3f0175ed40cd9"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">SVF::IntervalValue::ub</a></div><div class="ttdeci">const NumericLiteral &amp; ub() const</div><div class="ttdoc">Return the upper bound.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00225">IntervalValue.h:225</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IntervalExeState_html"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html">SVF::IntervalExeState</a></div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00055">IntervalExeState.h:55</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IntervalValue_html"><div class="ttname"><a href="classSVF_1_1IntervalValue.html">SVF::IntervalValue</a></div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00043">IntervalValue.h:43</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a46ef74cd1412790b088f1d7320f57a9f"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a46ef74cd1412790b088f1d7320f57a9f">SVF::IntervalExeState::joinWith</a></div><div class="ttdeci">void joinWith(const IntervalExeState &amp;other)</div><div class="ttdoc">domain join with other, important! other widen this.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8cpp_source.html#l00114">IntervalExeState.cpp:114</a></div></div>
-<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_ab04c27598b29fca2c10b7f07a4baea3e"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#ab04c27598b29fca2c10b7f07a4baea3e">SVF::IntervalExeState::bottom</a></div><div class="ttdeci">IntervalExeState bottom()</div><div class="ttdoc">Set all value bottom.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00122">IntervalExeState.h:122</a></div></div>
-<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a4e3e495118c907a29d7705904273f6d3"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a4e3e495118c907a29d7705904273f6d3">SVF::IntervalExeState::getVarToVal</a></div><div class="ttdeci">const VarToValMap &amp; getVarToVal() const</div><div class="ttdoc">get var2val map</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00203">IntervalExeState.h:203</a></div></div>
+<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_ab04c27598b29fca2c10b7f07a4baea3e"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#ab04c27598b29fca2c10b7f07a4baea3e">SVF::IntervalExeState::bottom</a></div><div class="ttdeci">IntervalExeState bottom()</div><div class="ttdoc">Set all value bottom.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00116">IntervalExeState.h:116</a></div></div>
+<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a4e3e495118c907a29d7705904273f6d3"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a4e3e495118c907a29d7705904273f6d3">SVF::IntervalExeState::getVarToVal</a></div><div class="ttdeci">const VarToValMap &amp; getVarToVal() const</div><div class="ttdoc">get var2val map</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00206">IntervalExeState.h:206</a></div></div>
 <div class="ttc" id="aclassSVF_1_1RelationSolver_html_a36745d41af6b42d6133765c1b91a20e4"><div class="ttname"><a href="classSVF_1_1RelationSolver.html#a36745d41af6b42d6133765c1b91a20e4">SVF::RelationSolver::bilateral</a></div><div class="ttdeci">IntervalExeState bilateral(IntervalExeState domain, Z3Expr phi, u32_t descend_check=0)</div><div class="ttdef"><b>Definition:</b> <a href="RelationSolver_8cpp_source.html#l00033">RelationSolver.cpp:33</a></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_1IntervalValue_html_a977128211266b93e58e298a7ac29a059"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#a977128211266b93e58e298a7ac29a059">SVF::IntervalValue::isTop</a></div><div class="ttdeci">bool isTop() const override</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00055">IntervalValue.h:55</a></div></div>

package/SVF-doxygen/html/SVFIR2ConsExeState_8cpp_source.html

@@ -106,9 +106,9 @@ $(function() {
 <div class="line"><a name="l00035"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2ConsExeState.html#a63ff43fb519f5cd2b17956e193606421">   35</a></span>&#160;<a class="code" href="classSVF_1_1SVFIR2ConsExeState.html#a63ff43fb519f5cd2b17956e193606421">SVFIR2ConsExeState::~SVFIR2ConsExeState</a>()</div>
 <div class="line"><a name="l00036"></a><span class="lineno">   36</span>&#160;{</div>
 <div class="line"><a name="l00037"></a><span class="lineno">   37</span>&#160;    <a class="code" href="classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06">ConsExeState::globalConsES</a>.<a class="code" href="classSVF_1_1ConsExeState.html#a07b135c218f56fdab8ef8504190563df">_varToVal</a>.clear();</div>
-<div class="line"><a name="l00038"></a><span class="lineno">   38</span>&#160;    <a class="code" href="classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06">ConsExeState::globalConsES</a>.<a class="code" href="classSVF_1_1ExeState.html#a69895af213955ea1ba29812bfddcea66">_varToVAddrs</a>.clear();</div>
+<div class="line"><a name="l00038"></a><span class="lineno">   38</span>&#160;    <a class="code" href="classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06">ConsExeState::globalConsES</a>.<a class="code" href="classSVF_1_1ExeState.html#ad317f2ae2e599a131a6fd9f415f5d712">_varToAddrs</a>.clear();</div>
 <div class="line"><a name="l00039"></a><span class="lineno">   39</span>&#160;    <a class="code" href="classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06">ConsExeState::globalConsES</a>.<a class="code" href="classSVF_1_1ConsExeState.html#a987e69694742dafb49eb697bfde5cd19">_locToVal</a>.clear();</div>
-<div class="line"><a name="l00040"></a><span class="lineno">   40</span>&#160;    <a class="code" href="classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06">ConsExeState::globalConsES</a>.<a class="code" href="classSVF_1_1ExeState.html#adb724bd1c3154368c629f4972c503d72">_locToVAddrs</a>.clear();</div>
+<div class="line"><a name="l00040"></a><span class="lineno">   40</span>&#160;    <a class="code" href="classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06">ConsExeState::globalConsES</a>.<a class="code" href="classSVF_1_1ExeState.html#a79866a547dc4805d3fefdfd528d2df2a">_locToAddrs</a>.clear();</div>
 <div class="line"><a name="l00041"></a><span class="lineno">   41</span>&#160;}</div>
 <div class="line"><a name="l00043"></a><span class="lineno">   43</span>&#160;<span class="comment">//{%</span></div>
 <div class="line"><a name="l00049"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2ConsExeState.html#a9d58c0c1698247018eac3c30c1202ba2">   49</a></span>&#160;<span class="comment"></span><span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFIR2ConsExeState.html#a9d58c0c1698247018eac3c30c1202ba2">SVFIR2ConsExeState::translateAddr</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1AddrStmt.html">AddrStmt</a> *addr)</div>
@@ -120,7 +120,7 @@ $(function() {
 <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">else</span> <span class="keywordflow">if</span> (inVarToAddrsTable(addr-&gt;<a class="code" href="classSVF_1_1AssignStmt.html#a4cec89489e82c60c287cae3327f3f01d">getRHSVarID</a>()))</div>
 <div class="line"><a name="l00057"></a><span class="lineno">   57</span>&#160;    {</div>
-<div class="line"><a name="l00058"></a><span class="lineno">   58</span>&#160;        _es-&gt;globalConsES._varToVAddrs[addr-&gt;<a class="code" href="classSVF_1_1AssignStmt.html#a98f731be7be9bc8e7fd09f5c2204c840">getLHSVarID</a>()] = _es-&gt;globalConsES._varToVAddrs[addr-&gt;<a class="code" href="classSVF_1_1AssignStmt.html#a4cec89489e82c60c287cae3327f3f01d">getRHSVarID</a>()];</div>
+<div class="line"><a name="l00058"></a><span class="lineno">   58</span>&#160;        _es-&gt;globalConsES._varToAddrs[addr-&gt;<a class="code" href="classSVF_1_1AssignStmt.html#a98f731be7be9bc8e7fd09f5c2204c840">getLHSVarID</a>()] = _es-&gt;globalConsES._varToAddrs[addr-&gt;<a class="code" href="classSVF_1_1AssignStmt.html#a4cec89489e82c60c287cae3327f3f01d">getRHSVarID</a>()];</div>
 <div class="line"><a name="l00059"></a><span class="lineno">   59</span>&#160;    }</div>
 <div class="line"><a name="l00060"></a><span class="lineno">   60</span>&#160;    <span class="keywordflow">else</span></div>
 <div class="line"><a name="l00061"></a><span class="lineno">   61</span>&#160;    {</div>
@@ -134,7 +134,7 @@ $(function() {
 <div class="line"><a name="l00074"></a><span class="lineno">   74</span>&#160;    <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> op1 = binary-&gt;<a class="code" href="classSVF_1_1MultiOpndStmt.html#a5c6efcc023e90ef2e618586091958c59">getOpVarID</a>(1);</div>
 <div class="line"><a name="l00075"></a><span class="lineno">   75</span>&#160;    <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> res = binary-&gt;<a class="code" href="classSVF_1_1MultiOpndStmt.html#a71a530eb9fa9f7e273e471b4a75a039e">getResID</a>();</div>
 <div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;    <span class="comment">// rhs is not initialized</span></div>
-<div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;    <span class="keywordflow">if</span> (!_es-&gt;inVarToVal(op0) || !_es-&gt;inVarToVal(op1))</div>
+<div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;    <span class="keywordflow">if</span> (!_es-&gt;inVarToValTable(op0) || !_es-&gt;inVarToValTable(op1))</div>
 <div class="line"><a name="l00078"></a><span class="lineno">   78</span>&#160;        <span class="keywordflow">return</span>;</div>
 <div class="line"><a name="l00079"></a><span class="lineno">   79</span>&#160; </div>
 <div class="line"><a name="l00080"></a><span class="lineno">   80</span>&#160;    <a class="code" href="classSVF_1_1SingleAbsValue.html">SingleAbsValue</a> &amp;lhs = (*_es)[op0], &amp;rhs = (*_es)[op1];</div>
@@ -251,7 +251,7 @@ $(function() {
 <div class="line"><a name="l00196"></a><span class="lineno">  196</span>&#160;    <span class="keywordflow">else</span> <span class="keywordflow">if</span> (inVarToAddrsTable(op0) &amp;&amp; inVarToAddrsTable(op1))</div>
 <div class="line"><a name="l00197"></a><span class="lineno">  197</span>&#160;    {</div>
 <div class="line"><a name="l00198"></a><span class="lineno">  198</span>&#160; </div>
-<div class="line"><a name="l00199"></a><span class="lineno">  199</span>&#160;        <a class="code" href="classSVF_1_1AddressValue.html">VAddrs</a> &amp;lhs = _es-&gt;getVAddrs(op0), &amp;rhs = _es-&gt;getVAddrs(op1);</div>
+<div class="line"><a name="l00199"></a><span class="lineno">  199</span>&#160;        <a class="code" href="classSVF_1_1AddressValue.html">Addrs</a> &amp;lhs = _es-&gt;getAddrs(op0), &amp;rhs = _es-&gt;getAddrs(op1);</div>
 <div class="line"><a name="l00200"></a><span class="lineno">  200</span>&#160;        <span class="keywordflow">if</span> (lhs.<a class="code" href="classSVF_1_1AddressValue.html#ae93859318bf4f618b4cf681988a870ce">size</a>() == 1)</div>
 <div class="line"><a name="l00201"></a><span class="lineno">  201</span>&#160;        {</div>
 <div class="line"><a name="l00202"></a><span class="lineno">  202</span>&#160;            (*_es)[res] = <a class="code" href="classSVF_1_1SingleAbsValue.html#a70528ca5e4ad67b593104a7b2bba17c6">SingleAbsValue::topConstant</a>();</div>
@@ -396,7 +396,7 @@ $(function() {
 <div class="line"><a name="l00346"></a><span class="lineno">  346</span>&#160;    <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> lhs = load-&gt;<a class="code" href="classSVF_1_1AssignStmt.html#a98f731be7be9bc8e7fd09f5c2204c840">getLHSVarID</a>();</div>
 <div class="line"><a name="l00347"></a><span class="lineno">  347</span>&#160;    <span class="keywordflow">if</span> (inVarToAddrsTable(rhs))</div>
 <div class="line"><a name="l00348"></a><span class="lineno">  348</span>&#160;    {</div>
-<div class="line"><a name="l00349"></a><span class="lineno">  349</span>&#160;        <span class="keyword">const</span> <a class="code" href="classSVF_1_1AddressValue.html">VAddrs</a> &amp;addrs = _es-&gt;getVAddrs(rhs);</div>
+<div class="line"><a name="l00349"></a><span class="lineno">  349</span>&#160;        <span class="keyword">const</span> <a class="code" href="classSVF_1_1AddressValue.html">Addrs</a> &amp;addrs = _es-&gt;getAddrs(rhs);</div>
 <div class="line"><a name="l00350"></a><span class="lineno">  350</span>&#160;        <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &amp;addr: addrs)</div>
 <div class="line"><a name="l00351"></a><span class="lineno">  351</span>&#160;        {</div>
 <div class="line"><a name="l00352"></a><span class="lineno">  352</span>&#160;            assert(isVirtualMemAddress(addr) &amp;&amp; <span class="stringliteral">&quot;not addr?&quot;</span>);</div>
@@ -405,13 +405,13 @@ $(function() {
 <div class="line"><a name="l00355"></a><span class="lineno">  355</span>&#160;            {</div>
 <div class="line"><a name="l00356"></a><span class="lineno">  356</span>&#160;                <span class="keywordflow">if</span> (inLocToAddrsTable(objId))</div>
 <div class="line"><a name="l00357"></a><span class="lineno">  357</span>&#160;                {</div>
-<div class="line"><a name="l00358"></a><span class="lineno">  358</span>&#160;                    _es-&gt;getVAddrs(lhs).setBottom();</div>
+<div class="line"><a name="l00358"></a><span class="lineno">  358</span>&#160;                    _es-&gt;getAddrs(lhs).setBottom();</div>
 <div class="line"><a name="l00359"></a><span class="lineno">  359</span>&#160;                }</div>
 <div class="line"><a name="l00360"></a><span class="lineno">  360</span>&#160;                <span class="keywordflow">break</span>;</div>
 <div class="line"><a name="l00361"></a><span class="lineno">  361</span>&#160;            }</div>
 <div class="line"><a name="l00362"></a><span class="lineno">  362</span>&#160;            <span class="keywordflow">else</span> <span class="keywordflow">if</span> (!load-&gt;<a class="code" href="classSVF_1_1AssignStmt.html#a973a2b79da223275ed6a1831837b89c7">getLHSVar</a>()-&gt;<a class="code" href="classSVF_1_1SVFVar.html#ab6f95d3e7e099d75cfc9645ebc037047">getType</a>() &amp;&amp; inLocToAddrsTable(objId))</div>
 <div class="line"><a name="l00363"></a><span class="lineno">  363</span>&#160;            {</div>
-<div class="line"><a name="l00364"></a><span class="lineno">  364</span>&#160;                _es-&gt;getVAddrs(lhs).setBottom();</div>
+<div class="line"><a name="l00364"></a><span class="lineno">  364</span>&#160;                _es-&gt;getAddrs(lhs).setBottom();</div>
 <div class="line"><a name="l00365"></a><span class="lineno">  365</span>&#160;                <span class="keywordflow">break</span>;</div>
 <div class="line"><a name="l00366"></a><span class="lineno">  366</span>&#160;            }</div>
 <div class="line"><a name="l00367"></a><span class="lineno">  367</span>&#160;            <span class="keywordflow">else</span> <span class="keywordflow">if</span> (inLocToValTable(objId))</div>
@@ -431,11 +431,11 @@ $(function() {
 <div class="line"><a name="l00381"></a><span class="lineno">  381</span>&#160;                {</div>
 <div class="line"><a name="l00382"></a><span class="lineno">  382</span>&#160;                    <span class="keywordflow">if</span> (!inVarToAddrsTable(lhs))</div>
 <div class="line"><a name="l00383"></a><span class="lineno">  383</span>&#160;                    {</div>
-<div class="line"><a name="l00384"></a><span class="lineno">  384</span>&#160;                        _es-&gt;getVAddrs(lhs) = _es-&gt;loadVAddrs(addr);</div>
+<div class="line"><a name="l00384"></a><span class="lineno">  384</span>&#160;                        _es-&gt;getAddrs(lhs) = _es-&gt;loadAddrs(addr);</div>
 <div class="line"><a name="l00385"></a><span class="lineno">  385</span>&#160;                    }</div>
 <div class="line"><a name="l00386"></a><span class="lineno">  386</span>&#160;                    <span class="keywordflow">else</span></div>
 <div class="line"><a name="l00387"></a><span class="lineno">  387</span>&#160;                    {</div>
-<div class="line"><a name="l00388"></a><span class="lineno">  388</span>&#160;                        _es-&gt;getVAddrs(lhs).join_with(_es-&gt;loadVAddrs(addr));</div>
+<div class="line"><a name="l00388"></a><span class="lineno">  388</span>&#160;                        _es-&gt;getAddrs(lhs).join_with(_es-&gt;loadAddrs(addr));</div>
 <div class="line"><a name="l00389"></a><span class="lineno">  389</span>&#160;                    }</div>
 <div class="line"><a name="l00390"></a><span class="lineno">  390</span>&#160;                }</div>
 <div class="line"><a name="l00391"></a><span class="lineno">  391</span>&#160;            }</div>
@@ -443,11 +443,11 @@ $(function() {
 <div class="line"><a name="l00393"></a><span class="lineno">  393</span>&#160;            {</div>
 <div class="line"><a name="l00394"></a><span class="lineno">  394</span>&#160;                <span class="keywordflow">if</span> (!inVarToAddrsTable(lhs))</div>
 <div class="line"><a name="l00395"></a><span class="lineno">  395</span>&#160;                {</div>
-<div class="line"><a name="l00396"></a><span class="lineno">  396</span>&#160;                    _es-&gt;getVAddrs(lhs) = _es-&gt;loadVAddrs(addr);</div>
+<div class="line"><a name="l00396"></a><span class="lineno">  396</span>&#160;                    _es-&gt;getAddrs(lhs) = _es-&gt;loadAddrs(addr);</div>
 <div class="line"><a name="l00397"></a><span class="lineno">  397</span>&#160;                }</div>
 <div class="line"><a name="l00398"></a><span class="lineno">  398</span>&#160;                <span class="keywordflow">else</span></div>
 <div class="line"><a name="l00399"></a><span class="lineno">  399</span>&#160;                {</div>
-<div class="line"><a name="l00400"></a><span class="lineno">  400</span>&#160;                    _es-&gt;getVAddrs(lhs).join_with(_es-&gt;loadVAddrs(addr));</div>
+<div class="line"><a name="l00400"></a><span class="lineno">  400</span>&#160;                    _es-&gt;getAddrs(lhs).join_with(_es-&gt;loadAddrs(addr));</div>
 <div class="line"><a name="l00401"></a><span class="lineno">  401</span>&#160;                }</div>
 <div class="line"><a name="l00402"></a><span class="lineno">  402</span>&#160;            }</div>
 <div class="line"><a name="l00403"></a><span class="lineno">  403</span>&#160;            <span class="keywordflow">else</span> <span class="keywordflow">if</span> (inLocToValTable(objId))</div>
@@ -473,7 +473,7 @@ $(function() {
 <div class="line"><a name="l00428"></a><span class="lineno">  428</span>&#160;    {</div>
 <div class="line"><a name="l00429"></a><span class="lineno">  429</span>&#160;        <span class="keywordflow">if</span> (inVarToValTable(rhs))</div>
 <div class="line"><a name="l00430"></a><span class="lineno">  430</span>&#160;        {</div>
-<div class="line"><a name="l00431"></a><span class="lineno">  431</span>&#160;            <span class="keyword">const</span> <a class="code" href="classSVF_1_1AddressValue.html">VAddrs</a> &amp;addrs = _es-&gt;getVAddrs(lhs);</div>
+<div class="line"><a name="l00431"></a><span class="lineno">  431</span>&#160;            <span class="keyword">const</span> <a class="code" href="classSVF_1_1AddressValue.html">Addrs</a> &amp;addrs = _es-&gt;getAddrs(lhs);</div>
 <div class="line"><a name="l00432"></a><span class="lineno">  432</span>&#160;            <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &amp;addr: addrs)</div>
 <div class="line"><a name="l00433"></a><span class="lineno">  433</span>&#160;            {</div>
 <div class="line"><a name="l00434"></a><span class="lineno">  434</span>&#160;                assert(isVirtualMemAddress(addr) &amp;&amp; <span class="stringliteral">&quot;not addr?&quot;</span>);</div>
@@ -482,11 +482,11 @@ $(function() {
 <div class="line"><a name="l00437"></a><span class="lineno">  437</span>&#160;        }</div>
 <div class="line"><a name="l00438"></a><span class="lineno">  438</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (inVarToAddrsTable(rhs))</div>
 <div class="line"><a name="l00439"></a><span class="lineno">  439</span>&#160;        {</div>
-<div class="line"><a name="l00440"></a><span class="lineno">  440</span>&#160;            <span class="keyword">const</span> <a class="code" href="classSVF_1_1AddressValue.html">VAddrs</a> &amp;addrs = _es-&gt;getVAddrs(lhs);</div>
+<div class="line"><a name="l00440"></a><span class="lineno">  440</span>&#160;            <span class="keyword">const</span> <a class="code" href="classSVF_1_1AddressValue.html">Addrs</a> &amp;addrs = _es-&gt;getAddrs(lhs);</div>
 <div class="line"><a name="l00441"></a><span class="lineno">  441</span>&#160;            <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &amp;addr: addrs)</div>
 <div class="line"><a name="l00442"></a><span class="lineno">  442</span>&#160;            {</div>
 <div class="line"><a name="l00443"></a><span class="lineno">  443</span>&#160;                assert(isVirtualMemAddress(addr) &amp;&amp; <span class="stringliteral">&quot;not addr?&quot;</span>);</div>
-<div class="line"><a name="l00444"></a><span class="lineno">  444</span>&#160;                _es-&gt;storeVAddrs(addr, _es-&gt;getVAddrs(rhs));</div>
+<div class="line"><a name="l00444"></a><span class="lineno">  444</span>&#160;                _es-&gt;storeAddrs(addr, _es-&gt;getAddrs(rhs));</div>
 <div class="line"><a name="l00445"></a><span class="lineno">  445</span>&#160;            }</div>
 <div class="line"><a name="l00446"></a><span class="lineno">  446</span>&#160;        }</div>
 <div class="line"><a name="l00447"></a><span class="lineno">  447</span>&#160;    }</div>
@@ -508,7 +508,7 @@ $(function() {
 <div class="line"><a name="l00468"></a><span class="lineno">  468</span>&#160;        }</div>
 <div class="line"><a name="l00469"></a><span class="lineno">  469</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (inVarToAddrsTable(rhs))</div>
 <div class="line"><a name="l00470"></a><span class="lineno">  470</span>&#160;        {</div>
-<div class="line"><a name="l00471"></a><span class="lineno">  471</span>&#160;            _es-&gt;getVAddrs(lhs) = _es-&gt;getVAddrs(rhs);</div>
+<div class="line"><a name="l00471"></a><span class="lineno">  471</span>&#160;            _es-&gt;getAddrs(lhs) = _es-&gt;getAddrs(rhs);</div>
 <div class="line"><a name="l00472"></a><span class="lineno">  472</span>&#160;        }</div>
 <div class="line"><a name="l00473"></a><span class="lineno">  473</span>&#160;    }</div>
 <div class="line"><a name="l00474"></a><span class="lineno">  474</span>&#160;}</div>
@@ -523,7 +523,7 @@ $(function() {
 <div class="line"><a name="l00488"></a><span class="lineno">  488</span>&#160;    }</div>
 <div class="line"><a name="l00489"></a><span class="lineno">  489</span>&#160;    <span class="keywordflow">else</span> <span class="keywordflow">if</span> (inVarToAddrsTable(rhs))</div>
 <div class="line"><a name="l00490"></a><span class="lineno">  490</span>&#160;    {</div>
-<div class="line"><a name="l00491"></a><span class="lineno">  491</span>&#160;        _es-&gt;getVAddrs(lhs) = _es-&gt;getVAddrs(rhs);</div>
+<div class="line"><a name="l00491"></a><span class="lineno">  491</span>&#160;        _es-&gt;getAddrs(lhs) = _es-&gt;getAddrs(rhs);</div>
 <div class="line"><a name="l00492"></a><span class="lineno">  492</span>&#160;    }</div>
 <div class="line"><a name="l00493"></a><span class="lineno">  493</span>&#160;}</div>
 <div class="line"><a name="l00494"></a><span class="lineno">  494</span>&#160; </div>
@@ -537,7 +537,7 @@ $(function() {
 <div class="line"><a name="l00502"></a><span class="lineno">  502</span>&#160;    }</div>
 <div class="line"><a name="l00503"></a><span class="lineno">  503</span>&#160;    <span class="keywordflow">else</span> <span class="keywordflow">if</span> (inVarToAddrsTable(rhs))</div>
 <div class="line"><a name="l00504"></a><span class="lineno">  504</span>&#160;    {</div>
-<div class="line"><a name="l00505"></a><span class="lineno">  505</span>&#160;        _es-&gt;getVAddrs(lhs) = _es-&gt;getVAddrs(rhs);</div>
+<div class="line"><a name="l00505"></a><span class="lineno">  505</span>&#160;        _es-&gt;getAddrs(lhs) = _es-&gt;getAddrs(rhs);</div>
 <div class="line"><a name="l00506"></a><span class="lineno">  506</span>&#160;    }</div>
 <div class="line"><a name="l00507"></a><span class="lineno">  507</span>&#160;}</div>
 <div class="line"><a name="l00508"></a><span class="lineno">  508</span>&#160; </div>
@@ -547,7 +547,7 @@ $(function() {
 <div class="line"><a name="l00517"></a><span class="lineno">  517</span>&#160;    <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> lhs = gep-&gt;<a class="code" href="classSVF_1_1AssignStmt.html#a98f731be7be9bc8e7fd09f5c2204c840">getLHSVarID</a>();</div>
 <div class="line"><a name="l00518"></a><span class="lineno">  518</span>&#160;    <span class="comment">// rhs is not initialized</span></div>
 <div class="line"><a name="l00519"></a><span class="lineno">  519</span>&#160;    <span class="keywordflow">if</span> (!inVarToAddrsTable(rhs)) <span class="keywordflow">return</span>;</div>
-<div class="line"><a name="l00520"></a><span class="lineno">  520</span>&#160;    <span class="keyword">const</span> <a class="code" href="classSVF_1_1AddressValue.html">VAddrs</a> &amp;rhsVal = _es-&gt;getVAddrs(rhs);</div>
+<div class="line"><a name="l00520"></a><span class="lineno">  520</span>&#160;    <span class="keyword">const</span> <a class="code" href="classSVF_1_1AddressValue.html">Addrs</a> &amp;rhsVal = _es-&gt;getAddrs(rhs);</div>
 <div class="line"><a name="l00521"></a><span class="lineno">  521</span>&#160;    <span class="keywordflow">if</span> (rhsVal.<a class="code" href="classSVF_1_1AddressValue.html#aa7291f4b74bb824fb38b8c383fa0b6a0">empty</a>()) <span class="keywordflow">return</span>;</div>
 <div class="line"><a name="l00522"></a><span class="lineno">  522</span>&#160;    std::pair&lt;s32_t, s32_t&gt; <a class="code" href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a> = getGepOffset(gep);</div>
 <div class="line"><a name="l00523"></a><span class="lineno">  523</span>&#160;    <span class="keywordflow">if</span> (<a class="code" href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a>.first == -1 &amp;&amp; <a class="code" href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a>.second == -1) <span class="keywordflow">return</span>;</div>
@@ -555,7 +555,7 @@ $(function() {
 <div class="line"><a name="l00525"></a><span class="lineno">  525</span>&#160;    {</div>
 <div class="line"><a name="l00526"></a><span class="lineno">  526</span>&#160;        <span class="keywordflow">return</span>;</div>
 <div class="line"><a name="l00527"></a><span class="lineno">  527</span>&#160;    }</div>
-<div class="line"><a name="l00528"></a><span class="lineno">  528</span>&#160;    <a class="code" href="classSVF_1_1AddressValue.html">VAddrs</a> gepAddrs;</div>
+<div class="line"><a name="l00528"></a><span class="lineno">  528</span>&#160;    <a class="code" href="classSVF_1_1AddressValue.html">Addrs</a> gepAddrs;</div>
 <div class="line"><a name="l00529"></a><span class="lineno">  529</span>&#160;    <a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a> ub = <a class="code" href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a>.second;</div>
 <div class="line"><a name="l00530"></a><span class="lineno">  530</span>&#160;    <span class="keywordflow">if</span> (<a class="code" href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a>.second &gt; (<a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a>) <a class="code" href="classSVF_1_1Options.html#aaab923c093730b1670a54f09340b1bd5">Options::MaxFieldLimit</a>() - 1)</div>
 <div class="line"><a name="l00531"></a><span class="lineno">  531</span>&#160;    {</div>
@@ -566,7 +566,7 @@ $(function() {
 <div class="line"><a name="l00536"></a><span class="lineno">  536</span>&#160;        gepAddrs.<a class="code" href="classSVF_1_1AddressValue.html#acad5216bdc02a234d57abfe9ae72a12a">join_with</a>(getGepObjAddress(rhs, i));</div>
 <div class="line"><a name="l00537"></a><span class="lineno">  537</span>&#160;    }</div>
 <div class="line"><a name="l00538"></a><span class="lineno">  538</span>&#160;    <span class="keywordflow">if</span> (gepAddrs.<a class="code" href="classSVF_1_1AddressValue.html#aa7291f4b74bb824fb38b8c383fa0b6a0">empty</a>()) <span class="keywordflow">return</span>;</div>
-<div class="line"><a name="l00539"></a><span class="lineno">  539</span>&#160;    _es-&gt;getVAddrs(lhs) = gepAddrs;</div>
+<div class="line"><a name="l00539"></a><span class="lineno">  539</span>&#160;    _es-&gt;getAddrs(lhs) = gepAddrs;</div>
 <div class="line"><a name="l00540"></a><span class="lineno">  540</span>&#160;    <span class="keywordflow">return</span>;</div>
 <div class="line"><a name="l00541"></a><span class="lineno">  541</span>&#160;}</div>
 <div class="line"><a name="l00542"></a><span class="lineno">  542</span>&#160; </div>
@@ -593,10 +593,10 @@ $(function() {
 <div class="line"><a name="l00573"></a><span class="lineno">  573</span>&#160;<span class="comment">//%}</span></div>
 <div class="line"><a name="l00574"></a><span class="lineno">  574</span>&#160;<span class="comment">//%}</span></div>
 <div class="line"><a name="l00575"></a><span class="lineno">  575</span>&#160; </div>
-<div class="line"><a name="l00582"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2ConsExeState.html#afc9c3372eb142afdb3eb8956adf53c33">  582</a></span>&#160;<a class="code" href="classSVF_1_1AddressValue.html">SVFIR2ConsExeState::VAddrs</a> <a class="code" href="classSVF_1_1SVFIR2ConsExeState.html#afc9c3372eb142afdb3eb8956adf53c33">SVFIR2ConsExeState::getGepObjAddress</a>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> base, <a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a> <a class="code" href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a>)</div>
+<div class="line"><a name="l00582"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2ConsExeState.html#afff5713e758d8f698d0cb5e2a341e16f">  582</a></span>&#160;<a class="code" href="classSVF_1_1AddressValue.html">SVFIR2ConsExeState::Addrs</a> <a class="code" href="classSVF_1_1SVFIR2ConsExeState.html#afff5713e758d8f698d0cb5e2a341e16f">SVFIR2ConsExeState::getGepObjAddress</a>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> base, <a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a> <a class="code" href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a>)</div>
 <div class="line"><a name="l00583"></a><span class="lineno">  583</span>&#160;{</div>
-<div class="line"><a name="l00584"></a><span class="lineno">  584</span>&#160;    <span class="keyword">const</span> <a class="code" href="classSVF_1_1AddressValue.html">VAddrs</a> &amp;addrs = _es-&gt;getVAddrs(base);</div>
-<div class="line"><a name="l00585"></a><span class="lineno">  585</span>&#160;    <a class="code" href="classSVF_1_1AddressValue.html">VAddrs</a> ret;</div>
+<div class="line"><a name="l00584"></a><span class="lineno">  584</span>&#160;    <span class="keyword">const</span> <a class="code" href="classSVF_1_1AddressValue.html">Addrs</a> &amp;addrs = _es-&gt;getAddrs(base);</div>
+<div class="line"><a name="l00585"></a><span class="lineno">  585</span>&#160;    <a class="code" href="classSVF_1_1AddressValue.html">Addrs</a> ret;</div>
 <div class="line"><a name="l00586"></a><span class="lineno">  586</span>&#160;    <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &amp;addr: addrs)</div>
 <div class="line"><a name="l00587"></a><span class="lineno">  587</span>&#160;    {</div>
 <div class="line"><a name="l00588"></a><span class="lineno">  588</span>&#160;        int64_t baseObj = getInternalID(addr);</div>
@@ -608,7 +608,7 @@ $(function() {
 <div class="line"><a name="l00594"></a><span class="lineno">  594</span>&#160;        assert(SVFUtil::isa&lt;ObjVar&gt;(<a class="code" href="classSVF_1_1SVFIR.html#a37cfa2aa4e7b98ef9dc8179f581a2362">PAG::getPAG</a>()-&gt;getGNode(baseObj)) &amp;&amp; <span class="stringliteral">&quot;Fail to get the base object address!&quot;</span>);</div>
 <div class="line"><a name="l00595"></a><span class="lineno">  595</span>&#160;        <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> gepObj = <a class="code" href="classSVF_1_1SVFIR.html#a37cfa2aa4e7b98ef9dc8179f581a2362">PAG::getPAG</a>()-&gt;<a class="code" href="classSVF_1_1SVFIR.html#ae18425df0631aefca7dd4b799f6f524a">getGepObjVar</a>(baseObj, <a class="code" href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a>);</div>
 <div class="line"><a name="l00596"></a><span class="lineno">  596</span>&#160;        initSVFVar(gepObj);</div>
-<div class="line"><a name="l00597"></a><span class="lineno">  597</span>&#160;        <span class="keywordflow">if</span> (<a class="code" href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a> == 0 &amp;&amp; baseObj != gepObj) _es-&gt;getVAddrs(gepObj) = _es-&gt;getVAddrs(base);</div>
+<div class="line"><a name="l00597"></a><span class="lineno">  597</span>&#160;        <span class="keywordflow">if</span> (<a class="code" href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a> == 0 &amp;&amp; baseObj != gepObj) _es-&gt;getAddrs(gepObj) = _es-&gt;getAddrs(base);</div>
 <div class="line"><a name="l00598"></a><span class="lineno">  598</span>&#160;        ret.<a class="code" href="classSVF_1_1AddressValue.html#a40c67147606ab95dd3318d0fe821d8c0">insert</a>(getVirtualMemAddress(gepObj));</div>
 <div class="line"><a name="l00599"></a><span class="lineno">  599</span>&#160;    }</div>
 <div class="line"><a name="l00600"></a><span class="lineno">  600</span>&#160;    <span class="keywordflow">return</span> ret;</div>
@@ -733,7 +733,7 @@ $(function() {
 <div class="line"><a name="l00736"></a><span class="lineno">  736</span>&#160;            <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;SVFConstantNullPtr&gt;(obj-&gt;<a class="code" href="classSVF_1_1MemObj.html#a2f70e9c830b18f25c56b530722f106c4">getValue</a>()))</div>
 <div class="line"><a name="l00737"></a><span class="lineno">  737</span>&#160;                _es-&gt;globalConsES._varToVal[varId] = 0;</div>
 <div class="line"><a name="l00738"></a><span class="lineno">  738</span>&#160;            <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;SVFGlobalValue&gt;(obj-&gt;<a class="code" href="classSVF_1_1MemObj.html#a2f70e9c830b18f25c56b530722f106c4">getValue</a>()))</div>
-<div class="line"><a name="l00739"></a><span class="lineno">  739</span>&#160;                _es-&gt;globalConsES._varToVAddrs[varId] = getVirtualMemAddress(varId);</div>
+<div class="line"><a name="l00739"></a><span class="lineno">  739</span>&#160;                _es-&gt;globalConsES._varToAddrs[varId] = getVirtualMemAddress(varId);</div>
 <div class="line"><a name="l00740"></a><span class="lineno">  740</span>&#160;            <span class="keywordflow">else</span> <span class="keywordflow">if</span> (obj-&gt;<a class="code" href="classSVF_1_1MemObj.html#a37b75ada7d18139ac2f2add6c232ea68">isConstDataOrAggData</a>())</div>
 <div class="line"><a name="l00741"></a><span class="lineno">  741</span>&#160;            {</div>
 <div class="line"><a name="l00742"></a><span class="lineno">  742</span>&#160;                <span class="comment">// TODO</span></div>
@@ -747,19 +747,19 @@ $(function() {
 <div class="line"><a name="l00750"></a><span class="lineno">  750</span>&#160;        }</div>
 <div class="line"><a name="l00751"></a><span class="lineno">  751</span>&#160;        <span class="keywordflow">else</span></div>
 <div class="line"><a name="l00752"></a><span class="lineno">  752</span>&#160;        {</div>
-<div class="line"><a name="l00753"></a><span class="lineno">  753</span>&#160;            _es-&gt;globalConsES._varToVAddrs[varId] = getVirtualMemAddress(varId);</div>
+<div class="line"><a name="l00753"></a><span class="lineno">  753</span>&#160;            _es-&gt;globalConsES._varToAddrs[varId] = getVirtualMemAddress(varId);</div>
 <div class="line"><a name="l00754"></a><span class="lineno">  754</span>&#160;        }</div>
 <div class="line"><a name="l00755"></a><span class="lineno">  755</span>&#160;    }</div>
 <div class="line"><a name="l00756"></a><span class="lineno">  756</span>&#160;    <span class="keywordflow">else</span></div>
 <div class="line"><a name="l00757"></a><span class="lineno">  757</span>&#160;    {</div>
-<div class="line"><a name="l00758"></a><span class="lineno">  758</span>&#160;        _es-&gt;globalConsES._varToVAddrs[varId] = getVirtualMemAddress(varId);</div>
+<div class="line"><a name="l00758"></a><span class="lineno">  758</span>&#160;        _es-&gt;globalConsES._varToAddrs[varId] = getVirtualMemAddress(varId);</div>
 <div class="line"><a name="l00759"></a><span class="lineno">  759</span>&#160;    }</div>
 <div class="line"><a name="l00760"></a><span class="lineno">  760</span>&#160;}</div>
 <div class="line"><a name="l00761"></a><span class="lineno">  761</span>&#160; </div>
 <div class="line"><a name="l00762"></a><span class="lineno">  762</span>&#160; </div>
 <div class="line"><a name="l00763"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2ConsExeState.html#a75ff754930798c901714d3b0f2c6e857">  763</a></span>&#160;<span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFIR2ConsExeState.html#a75ff754930798c901714d3b0f2c6e857">SVFIR2ConsExeState::initSVFVar</a>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> varId)</div>
 <div class="line"><a name="l00764"></a><span class="lineno">  764</span>&#160;{</div>
-<div class="line"><a name="l00765"></a><span class="lineno">  765</span>&#160;    <span class="keywordflow">if</span> (_es-&gt;inVarToVal(varId)) <span class="keywordflow">return</span>;</div>
+<div class="line"><a name="l00765"></a><span class="lineno">  765</span>&#160;    <span class="keywordflow">if</span> (_es-&gt;inVarToValTable(varId)) <span class="keywordflow">return</span>;</div>
 <div class="line"><a name="l00766"></a><span class="lineno">  766</span>&#160;    <a class="code" href="classSVF_1_1SVFIR.html">SVFIR</a> *svfir = <a class="code" href="classSVF_1_1SVFIR.html#a37cfa2aa4e7b98ef9dc8179f581a2362">PAG::getPAG</a>();</div>
 <div class="line"><a name="l00767"></a><span class="lineno">  767</span>&#160;    <a class="code" href="classSVF_1_1SVFVar.html">SVFVar</a> *svfVar = svfir-&gt;<a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(varId);</div>
 <div class="line"><a name="l00768"></a><span class="lineno">  768</span>&#160;    <span class="comment">// write objvar into cache instead of exestate</span></div>
@@ -790,19 +790,19 @@ $(function() {
 <div class="line"><a name="l00793"></a><span class="lineno">  793</span>&#160;    {</div>
 <div class="line"><a name="l00794"></a><span class="lineno">  794</span>&#160;        <a class="code" href="classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06">ConsExeState::globalConsES</a>.<a class="code" href="classSVF_1_1ConsExeState.html#a987e69694742dafb49eb697bfde5cd19">_locToVal</a>.insert(it);</div>
 <div class="line"><a name="l00795"></a><span class="lineno">  795</span>&#160;    }</div>
-<div class="line"><a name="l00796"></a><span class="lineno">  796</span>&#160;    <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &amp;it: _es-&gt;_varToVAddrs)</div>
+<div class="line"><a name="l00796"></a><span class="lineno">  796</span>&#160;    <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &amp;it: _es-&gt;_varToAddrs)</div>
 <div class="line"><a name="l00797"></a><span class="lineno">  797</span>&#160;    {</div>
-<div class="line"><a name="l00798"></a><span class="lineno">  798</span>&#160;        <a class="code" href="classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06">ConsExeState::globalConsES</a>.<a class="code" href="classSVF_1_1ExeState.html#a69895af213955ea1ba29812bfddcea66">_varToVAddrs</a>.insert(it);</div>
+<div class="line"><a name="l00798"></a><span class="lineno">  798</span>&#160;        <a class="code" href="classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06">ConsExeState::globalConsES</a>.<a class="code" href="classSVF_1_1ExeState.html#ad317f2ae2e599a131a6fd9f415f5d712">_varToAddrs</a>.insert(it);</div>
 <div class="line"><a name="l00799"></a><span class="lineno">  799</span>&#160;    }</div>
-<div class="line"><a name="l00800"></a><span class="lineno">  800</span>&#160;    <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &amp;it: _es-&gt;_locToVAddrs)</div>
+<div class="line"><a name="l00800"></a><span class="lineno">  800</span>&#160;    <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &amp;it: _es-&gt;_locToAddrs)</div>
 <div class="line"><a name="l00801"></a><span class="lineno">  801</span>&#160;    {</div>
-<div class="line"><a name="l00802"></a><span class="lineno">  802</span>&#160;        <a class="code" href="classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06">ConsExeState::globalConsES</a>.<a class="code" href="classSVF_1_1ExeState.html#adb724bd1c3154368c629f4972c503d72">_locToVAddrs</a>.insert(it);</div>
+<div class="line"><a name="l00802"></a><span class="lineno">  802</span>&#160;        <a class="code" href="classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06">ConsExeState::globalConsES</a>.<a class="code" href="classSVF_1_1ExeState.html#a79866a547dc4805d3fefdfd528d2df2a">_locToAddrs</a>.insert(it);</div>
 <div class="line"><a name="l00803"></a><span class="lineno">  803</span>&#160;    }</div>
-<div class="line"><a name="l00804"></a><span class="lineno">  804</span>&#160;    <a class="code" href="classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06">ConsExeState::globalConsES</a>.<a class="code" href="classSVF_1_1ExeState.html#a69895af213955ea1ba29812bfddcea66">_varToVAddrs</a>[0] = <a class="code" href="classSVF_1_1ExeState.html#a2f01e583abcdeb236a11e85c7a8aafdc">ConsExeState::getVirtualMemAddress</a>(0);</div>
+<div class="line"><a name="l00804"></a><span class="lineno">  804</span>&#160;    <a class="code" href="classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06">ConsExeState::globalConsES</a>.<a class="code" href="classSVF_1_1ExeState.html#ad317f2ae2e599a131a6fd9f415f5d712">_varToAddrs</a>[0] = <a class="code" href="classSVF_1_1ExeState.html#a2f01e583abcdeb236a11e85c7a8aafdc">ConsExeState::getVirtualMemAddress</a>(0);</div>
 <div class="line"><a name="l00805"></a><span class="lineno">  805</span>&#160;    _es-&gt;_varToVal.clear();</div>
 <div class="line"><a name="l00806"></a><span class="lineno">  806</span>&#160;    _es-&gt;_locToVal.clear();</div>
-<div class="line"><a name="l00807"></a><span class="lineno">  807</span>&#160;    _es-&gt;_varToVAddrs.clear();</div>
-<div class="line"><a name="l00808"></a><span class="lineno">  808</span>&#160;    _es-&gt;_locToVAddrs.clear();</div>
+<div class="line"><a name="l00807"></a><span class="lineno">  807</span>&#160;    _es-&gt;_varToAddrs.clear();</div>
+<div class="line"><a name="l00808"></a><span class="lineno">  808</span>&#160;    _es-&gt;_locToAddrs.clear();</div>
 <div class="line"><a name="l00809"></a><span class="lineno">  809</span>&#160;}</div>
 </div><!-- fragment --></div><!-- contents -->
 <div class="ttc" id="aclassSVF_1_1SVFIR2ConsExeState_html_a9541d935efa7fce9cf9d204050e2a918"><div class="ttname"><a href="classSVF_1_1SVFIR2ConsExeState.html#a9541d935efa7fce9cf9d204050e2a918">SVF::SVFIR2ConsExeState::translateStore</a></div><div class="ttdeci">void translateStore(const StoreStmt *store)</div><div class="ttdoc">https://llvm.org/docs/LangRef.html#store-instruction</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ConsExeState_8cpp_source.html#l00423">SVFIR2ConsExeState.cpp:423</a></div></div>
@@ -815,7 +815,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca5e3cf3105b8f13da66719856579956fa"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca5e3cf3105b8f13da66719856579956fa">SVF::CmpStmt::FCMP_OLT</a></div><div class="ttdeci">@ FCMP_OLT</div><div class="ttdoc">0 1 0 0 True if ordered and less than</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00893">SVFStatements.h:893</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SingleAbsValue_html_a0e7dde6b5ae9a605230a49b3216ea6e8"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html#a0e7dde6b5ae9a605230a49b3216ea6e8">SVF::SingleAbsValue::bottomConstant</a></div><div class="ttdeci">static SingleAbsValue bottomConstant()</div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00058">SingleAbsValue.h:58</a></div></div>
 <div class="ttc" id="aclassSVF_1_1AddrStmt_html"><div class="ttname"><a href="classSVF_1_1AddrStmt.html">SVF::AddrStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00313">SVFStatements.h:313</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ConsExeState_html_a07b135c218f56fdab8ef8504190563df"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#a07b135c218f56fdab8ef8504190563df">SVF::ConsExeState::_varToVal</a></div><div class="ttdeci">VarToValMap _varToVal</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#l00058">ConsExeState.h:58</a></div></div>
+<div class="ttc" id="aclassSVF_1_1ConsExeState_html_a07b135c218f56fdab8ef8504190563df"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#a07b135c218f56fdab8ef8504190563df">SVF::ConsExeState::_varToVal</a></div><div class="ttdeci">VarToValMap _varToVal</div><div class="ttdoc">Map a variable (symbol) to its constant value.</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#l00114">ConsExeState.h:114</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PhiStmt_html"><div class="ttname"><a href="classSVF_1_1PhiStmt.html">SVF::PhiStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00748">SVFStatements.h:748</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SelectStmt_html_af64d7855e352a0afb5d2e98a8622a4ad"><div class="ttname"><a href="classSVF_1_1SelectStmt.html#af64d7855e352a0afb5d2e98a8622a4ad">SVF::SelectStmt::getFalseValue</a></div><div class="ttdeci">const SVFVar * getFalseValue() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00862">SVFStatements.h:862</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFPointerType_html"><div class="ttname"><a href="classSVF_1_1SVFPointerType.html">SVF::SVFPointerType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00351">SVFType.h:351</a></div></div>
@@ -839,7 +839,6 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1SVFIR2ConsExeState_html_a9d58c0c1698247018eac3c30c1202ba2"><div class="ttname"><a href="classSVF_1_1SVFIR2ConsExeState.html#a9d58c0c1698247018eac3c30c1202ba2">SVF::SVFIR2ConsExeState::translateAddr</a></div><div class="ttdeci">void translateAddr(const AddrStmt *addr)</div><div class="ttdoc">Translator for llvm ir.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ConsExeState_8cpp_source.html#l00049">SVFIR2ConsExeState.cpp:49</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SelectStmt_html"><div class="ttname"><a href="classSVF_1_1SelectStmt.html">SVF::SelectStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00816">SVFStatements.h:816</a></div></div>
 <div class="ttc" id="aclassSVF_1_1RetPE_html"><div class="ttname"><a href="classSVF_1_1RetPE.html">SVF::RetPE</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00605">SVFStatements.h:605</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExeState_html_a69895af213955ea1ba29812bfddcea66"><div class="ttname"><a href="classSVF_1_1ExeState.html#a69895af213955ea1ba29812bfddcea66">SVF::ExeState::_varToVAddrs</a></div><div class="ttdeci">VarToVAddrs _varToVAddrs</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00172">ExeState.h:172</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CmpStmt_html"><div class="ttname"><a href="classSVF_1_1CmpStmt.html">SVF::CmpStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00871">SVFStatements.h:871</a></div></div>
 <div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6a90745e5effc8b7ef43c693d1e4fa7dbe"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a90745e5effc8b7ef43c693d1e4fa7dbe">SVF::BinaryOPStmt::Or</a></div><div class="ttdeci">@ Or</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00989">SVFStatements.h:989</a></div></div>
 <div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6a193780e40cee5123c543b6f739b3b46b"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a193780e40cee5123c543b6f739b3b46b">SVF::BinaryOPStmt::Shl</a></div><div class="ttdeci">@ Shl</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00985">SVFStatements.h:985</a></div></div>
@@ -849,7 +848,6 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6a553540425a63724c8b7f2fd0ca25b567"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a553540425a63724c8b7f2fd0ca25b567">SVF::BinaryOPStmt::FDiv</a></div><div class="ttdeci">@ FDiv</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00981">SVFStatements.h:981</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca6121702881c763c3c8cd3e30dedc7486"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca6121702881c763c3c8cd3e30dedc7486">SVF::CmpStmt::FCMP_OGT</a></div><div class="ttdeci">@ FCMP_OGT</div><div class="ttdoc">0 0 1 0 True if ordered and greater than</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00891">SVFStatements.h:891</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca229d105d0841dc895811b29af62a91ee"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca229d105d0841dc895811b29af62a91ee">SVF::CmpStmt::ICMP_SGT</a></div><div class="ttdeci">@ ICMP_SGT</div><div class="ttdoc">signed greater than</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00914">SVFStatements.h:914</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExeState_html_adb724bd1c3154368c629f4972c503d72"><div class="ttname"><a href="classSVF_1_1ExeState.html#adb724bd1c3154368c629f4972c503d72">SVF::ExeState::_locToVAddrs</a></div><div class="ttdeci">VarToVAddrs _locToVAddrs</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00173">ExeState.h:173</a></div></div>
 <div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6ac988853383e1588cf568687848e73576"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6ac988853383e1588cf568687848e73576">SVF::BinaryOPStmt::AShr</a></div><div class="ttdeci">@ AShr</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00987">SVFStatements.h:987</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CallPE_html"><div class="ttname"><a href="classSVF_1_1CallPE.html">SVF::CallPE</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00545">SVFStatements.h:545</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericNode_html_ac3e55ef37aefb411ea4c87b1aa3b1895"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode::getId</a></div><div class="ttdeci">NodeID getId() const</div><div class="ttdoc">Get ID.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00180">GenericGraph.h:180</a></div></div>
@@ -883,16 +881,18 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1SVFConstantFP_html"><div class="ttname"><a href="classSVF_1_1SVFConstantFP.html">SVF::SVFConstantFP</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01000">SVFValue.h:1000</a></div></div>
 <div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6a787e5771d6e70f3cbec3e2a33f5a4e8a"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a787e5771d6e70f3cbec3e2a33f5a4e8a">SVF::BinaryOPStmt::Mul</a></div><div class="ttdeci">@ Mul</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00977">SVFStatements.h:977</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca2793f23e72e3ff432bf193adf0f1b021"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca2793f23e72e3ff432bf193adf0f1b021">SVF::CmpStmt::FCMP_UEQ</a></div><div class="ttdeci">@ FCMP_UEQ</div><div class="ttdoc">1 0 0 1 True if unordered or equal</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00898">SVFStatements.h:898</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFIR2ConsExeState_html_afff5713e758d8f698d0cb5e2a341e16f"><div class="ttname"><a href="classSVF_1_1SVFIR2ConsExeState.html#afff5713e758d8f698d0cb5e2a341e16f">SVF::SVFIR2ConsExeState::getGepObjAddress</a></div><div class="ttdeci">Addrs getGepObjAddress(u32_t base, s32_t offset)</div><div class="ttdoc">Return the expr of gep object given a base and offset.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ConsExeState_8cpp_source.html#l00582">SVFIR2ConsExeState.cpp:582</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338acafa5a0ab60aff74a8d653c3f9fac04936"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acafa5a0ab60aff74a8d653c3f9fac04936">SVF::CmpStmt::ICMP_EQ</a></div><div class="ttdeci">@ ICMP_EQ</div><div class="ttdoc">equal</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00908">SVFStatements.h:908</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca2a3ce0c02931984d92d70356efc49193"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca2a3ce0c02931984d92d70356efc49193">SVF::CmpStmt::FCMP_ONE</a></div><div class="ttdeci">@ FCMP_ONE</div><div class="ttdoc">0 1 1 0 True if ordered and operands are unequal</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00895">SVFStatements.h:895</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338acac0e2d9db5453eb8be7543fb4315003da"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acac0e2d9db5453eb8be7543fb4315003da">SVF::CmpStmt::FCMP_UGE</a></div><div class="ttdeci">@ FCMP_UGE</div><div class="ttdoc">1 0 1 1 True if unordered, greater than, or equal</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00900">SVFStatements.h:900</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFVar_html"><div class="ttname"><a href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00045">SVFVariables.h:45</a></div></div>
 <div class="ttc" id="aclassSVF_1_1LoadStmt_html"><div class="ttname"><a href="classSVF_1_1LoadStmt.html">SVF::LoadStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00424">SVFStatements.h:424</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ConsExeState_html_ad8cd07a607743e8cbbf59bd5882c5043"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#ad8cd07a607743e8cbbf59bd5882c5043">SVF::ConsExeState::z3Expr2NumValue</a></div><div class="ttdeci">static s32_t z3Expr2NumValue(const SingleAbsValue &amp;e)</div><div class="ttdoc">Return int value from an expression if it is a numeral, otherwise return an approximate value.</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#l00394">ConsExeState.h:394</a></div></div>
+<div class="ttc" id="aclassSVF_1_1ConsExeState_html_ad8cd07a607743e8cbbf59bd5882c5043"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#ad8cd07a607743e8cbbf59bd5882c5043">SVF::ConsExeState::z3Expr2NumValue</a></div><div class="ttdeci">static s32_t z3Expr2NumValue(const SingleAbsValue &amp;e)</div><div class="ttdoc">Return int value from an expression if it is a numeral, otherwise return an approximate value.</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#l00397">ConsExeState.h:397</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIR2ConsExeState_html_a766ff7a17d51294fea7e01068fbd028c"><div class="ttname"><a href="classSVF_1_1SVFIR2ConsExeState.html#a766ff7a17d51294fea7e01068fbd028c">SVF::SVFIR2ConsExeState::translateGep</a></div><div class="ttdeci">void translateGep(const GepStmt *gep, bool isGlobal)</div><div class="ttdoc">https://llvm.org/docs/LangRef.html#getelementptr-instruction</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ConsExeState_8cpp_source.html#l00514">SVFIR2ConsExeState.cpp:514</a></div></div>
 <div class="ttc" id="aclassSVF_1_1AddressValue_html_a269a73753a7b495eb08bb0c9c0a58dc0"><div class="ttname"><a href="classSVF_1_1AddressValue.html#a269a73753a7b495eb08bb0c9c0a58dc0">SVF::AddressValue::hasIntersect</a></div><div class="ttdeci">bool hasIntersect(const AddressValue &amp;other)</div><div class="ttdef"><b>Definition:</b> <a href="AddressValue_8h_source.html#l00175">AddressValue.h:175</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_a267169023fc4f8dd66b145f7231fec11"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a267169023fc4f8dd66b145f7231fec11">SVF::SymbolTableInfo::SymbolInfo</a></div><div class="ttdeci">static SymbolTableInfo * SymbolInfo()</div><div class="ttdoc">Singleton design here to make sure we only have one instance during any analysis.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00081">SymbolTableInfo.cpp:81</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericGraph_html_a43c9c773bfa17abf481c33073e30d01b"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">SVF::GenericGraph::getGNode</a></div><div class="ttdeci">NodeType * getGNode(NodeID id) const</div><div class="ttdoc">Get a node.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00406">GenericGraph.h:406</a></div></div>
+<div class="ttc" id="aclassSVF_1_1ExeState_html_ad317f2ae2e599a131a6fd9f415f5d712"><div class="ttname"><a href="classSVF_1_1ExeState.html#ad317f2ae2e599a131a6fd9f415f5d712">SVF::ExeState::_varToAddrs</a></div><div class="ttdeci">VarToAddrs _varToAddrs</div><div class="ttdoc">Map a variable (symbol) to its memory addresses.</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00095">ExeState.h:95</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIR2ConsExeState_html_a75ff754930798c901714d3b0f2c6e857"><div class="ttname"><a href="classSVF_1_1SVFIR2ConsExeState.html#a75ff754930798c901714d3b0f2c6e857">SVF::SVFIR2ConsExeState::initSVFVar</a></div><div class="ttdeci">void initSVFVar(u32_t varId)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ConsExeState_8cpp_source.html#l00763">SVFIR2ConsExeState.cpp:763</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a9b707002523ece2ac54ca893ee9a2d4e"><div class="ttname"><a href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">SVF::s32_t</a></div><div class="ttdeci">signed s32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00052">SVFType.h:52</a></div></div>
 <div class="ttc" id="aclassSVF_1_1AddressValue_html_aa7291f4b74bb824fb38b8c383fa0b6a0"><div class="ttname"><a href="classSVF_1_1AddressValue.html#aa7291f4b74bb824fb38b8c383fa0b6a0">SVF::AddressValue::empty</a></div><div class="ttdeci">bool empty() const</div><div class="ttdef"><b>Definition:</b> <a href="AddressValue_8h_source.html#l00113">AddressValue.h:113</a></div></div>
@@ -909,7 +909,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca3873c41e060b95cb37eac587402b597c"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca3873c41e060b95cb37eac587402b597c">SVF::CmpStmt::FCMP_UGT</a></div><div class="ttdeci">@ FCMP_UGT</div><div class="ttdoc">1 0 1 0 True if unordered or greater than</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00899">SVFStatements.h:899</a></div></div>
 <div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6ad2db0456c9943dd75aa091cb19040448"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6ad2db0456c9943dd75aa091cb19040448">SVF::BinaryOPStmt::SRem</a></div><div class="ttdeci">@ SRem</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00983">SVFStatements.h:983</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIR2ConsExeState_html_af1b17f60a22dc1da4b9f1430c5f07d1a"><div class="ttname"><a href="classSVF_1_1SVFIR2ConsExeState.html#af1b17f60a22dc1da4b9f1430c5f07d1a">SVF::SVFIR2ConsExeState::translateRet</a></div><div class="ttdeci">void translateRet(const RetPE *retPE)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ConsExeState_8cpp_source.html#l00495">SVFIR2ConsExeState.cpp:495</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ConsExeState_html_a987e69694742dafb49eb697bfde5cd19"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#a987e69694742dafb49eb697bfde5cd19">SVF::ConsExeState::_locToVal</a></div><div class="ttdeci">LocToValMap _locToVal</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#l00059">ConsExeState.h:59</a></div></div>
+<div class="ttc" id="aclassSVF_1_1ConsExeState_html_a987e69694742dafb49eb697bfde5cd19"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#a987e69694742dafb49eb697bfde5cd19">SVF::ConsExeState::_locToVal</a></div><div class="ttdeci">LocToValMap _locToVal</div><div class="ttdoc">Map a memory address to its stored constant value.</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#l00115">ConsExeState.h:115</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca6eef834451ec753add639be49c51f03f"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca6eef834451ec753add639be49c51f03f">SVF::CmpStmt::ICMP_NE</a></div><div class="ttdeci">@ ICMP_NE</div><div class="ttdoc">not equal</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00909">SVFStatements.h:909</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MemObj_html_a7f828731597450f1d43b61413ab0e7bb"><div class="ttname"><a href="classSVF_1_1MemObj.html#a7f828731597450f1d43b61413ab0e7bb">SVF::MemObj::isConstantArray</a></div><div class="ttdeci">bool isConstantArray() const</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00533">SymbolTableInfo.cpp:533</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CmpStmt_html_aa6a21fb1cfbc263bb38651176c495632"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#aa6a21fb1cfbc263bb38651176c495632">SVF::CmpStmt::getPredicate</a></div><div class="ttdeci">u32_t getPredicate() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00946">SVFStatements.h:946</a></div></div>
@@ -929,9 +929,9 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1AssignStmt_html_a98f731be7be9bc8e7fd09f5c2204c840"><div class="ttname"><a href="classSVF_1_1AssignStmt.html#a98f731be7be9bc8e7fd09f5c2204c840">SVF::AssignStmt::getLHSVarID</a></div><div class="ttdeci">NodeID getLHSVarID() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00302">SVFStatements.h:302</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MultiOpndStmt_html_af300571886b7aa2d84b0a70851c99bc3"><div class="ttname"><a href="classSVF_1_1MultiOpndStmt.html#af300571886b7aa2d84b0a70851c99bc3">SVF::MultiOpndStmt::getOpVarNum</a></div><div class="ttdeci">u32_t getOpVarNum() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00725">SVFStatements.h:725</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIR2ConsExeState_html_a373227923e37d7dcb100ef9de613e400"><div class="ttname"><a href="classSVF_1_1SVFIR2ConsExeState.html#a373227923e37d7dcb100ef9de613e400">SVF::SVFIR2ConsExeState::translateCmp</a></div><div class="ttdeci">void translateCmp(const CmpStmt *cmp)</div><div class="ttdoc">https://llvm.org/docs/LangRef.html#icmp-instruction</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ConsExeState_8cpp_source.html#l00137">SVFIR2ConsExeState.cpp:137</a></div></div>
+<div class="ttc" id="aclassSVF_1_1ExeState_html_a79866a547dc4805d3fefdfd528d2df2a"><div class="ttname"><a href="classSVF_1_1ExeState.html#a79866a547dc4805d3fefdfd528d2df2a">SVF::ExeState::_locToAddrs</a></div><div class="ttdeci">VarToAddrs _locToAddrs</div><div class="ttdoc">Map a memory address to its stored memory addresses.</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00096">ExeState.h:96</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFVar_html_a1ace69053c2c4436fd78d5624bd0086a"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a1ace69053c2c4436fd78d5624bd0086a">SVF::SVFVar::hasValue</a></div><div class="ttdeci">bool hasValue() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00112">SVFVariables.h:112</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338acaeeae52f8d195815edfb8c85037d246d6"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acaeeae52f8d195815edfb8c85037d246d6">SVF::CmpStmt::ICMP_SLE</a></div><div class="ttdeci">@ ICMP_SLE</div><div class="ttdoc">signed less or equal</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00917">SVFStatements.h:917</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFIR2ConsExeState_html_afc9c3372eb142afdb3eb8956adf53c33"><div class="ttname"><a href="classSVF_1_1SVFIR2ConsExeState.html#afc9c3372eb142afdb3eb8956adf53c33">SVF::SVFIR2ConsExeState::getGepObjAddress</a></div><div class="ttdeci">VAddrs getGepObjAddress(u32_t base, s32_t offset)</div><div class="ttdoc">Return the expr of gep object given a base and offset.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ConsExeState_8cpp_source.html#l00582">SVFIR2ConsExeState.cpp:582</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_aaab923c093730b1670a54f09340b1bd5"><div class="ttname"><a href="classSVF_1_1Options.html#aaab923c093730b1670a54f09340b1bd5">SVF::Options::MaxFieldLimit</a></div><div class="ttdeci">static const Option&lt; u32_t &gt; MaxFieldLimit</div><div class="ttdoc">Maximum number of field derivations for an object.</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00038">Options.h:38</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a43a65e0d33af3c743294f7a1139d2301"><div class="ttname"><a href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">SVF::NodeID</a></div><div class="ttdeci">unsigned NodeID</div><div class="ttdef"><b>Definition:</b> <a href="svf-llvm_2tools_2MTA_2MTAResultValidator_8h_source.html#l00020">MTAResultValidator.h:20</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFType_html_a870b63af2bf9fe43cdf1df3d56b20f6c"><div class="ttname"><a href="classSVF_1_1SVFType.html#a870b63af2bf9fe43cdf1df3d56b20f6c">SVF::SVFType::isPointerTy</a></div><div class="ttdeci">bool isPointerTy() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00328">SVFType.h:328</a></div></div>
@@ -941,7 +941,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1MultiOpndStmt_html_a71a530eb9fa9f7e273e471b4a75a039e"><div class="ttname"><a href="classSVF_1_1MultiOpndStmt.html#a71a530eb9fa9f7e273e471b4a75a039e">SVF::MultiOpndStmt::getResID</a></div><div class="ttdeci">NodeID getResID() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8cpp_source.html#l00289">SVFStatements.cpp:289</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIR2ConsExeState_html_ae7720cdcb509ecfccbda141986643684"><div class="ttname"><a href="classSVF_1_1SVFIR2ConsExeState.html#ae7720cdcb509ecfccbda141986643684">SVF::SVFIR2ConsExeState::getGepOffset</a></div><div class="ttdeci">std::pair&lt; s32_t, s32_t &gt; getGepOffset(const GepStmt *gep)</div><div class="ttdoc">Return the offset expression of a GepStmt.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ConsExeState_8cpp_source.html#l00608">SVFIR2ConsExeState.cpp:608</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MemObj_html"><div class="ttname"><a href="classSVF_1_1MemObj.html">SVF::MemObj</a></div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00380">SymbolTableInfo.h:380</a></div></div>
-<div class="ttc" id="aclassSVF_1_1ExeState_html_a2f01e583abcdeb236a11e85c7a8aafdc"><div class="ttname"><a href="classSVF_1_1ExeState.html#a2f01e583abcdeb236a11e85c7a8aafdc">SVF::ExeState::getVirtualMemAddress</a></div><div class="ttdeci">static u32_t getVirtualMemAddress(u32_t idx)</div><div class="ttdoc">The physical address starts with 0x7f...... + idx.</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00258">ExeState.h:258</a></div></div>
+<div class="ttc" id="aclassSVF_1_1ExeState_html_a2f01e583abcdeb236a11e85c7a8aafdc"><div class="ttname"><a href="classSVF_1_1ExeState.html#a2f01e583abcdeb236a11e85c7a8aafdc">SVF::ExeState::getVirtualMemAddress</a></div><div class="ttdeci">static u32_t getVirtualMemAddress(u32_t idx)</div><div class="ttdoc">The physical address starts with 0x7f...... + idx.</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00271">ExeState.h:271</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFConstantInt_html_a73f04bdfc19261b65164b98787bc2ed4"><div class="ttname"><a href="classSVF_1_1SVFConstantInt.html#a73f04bdfc19261b65164b98787bc2ed4">SVF::SVFConstantInt::getSExtValue</a></div><div class="ttdeci">s64_t getSExtValue() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00994">SVFValue.h:994</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca8d59d9d7f39bb9c8b1e3dcebe0c5dc48"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca8d59d9d7f39bb9c8b1e3dcebe0c5dc48">SVF::CmpStmt::ICMP_UGT</a></div><div class="ttdeci">@ ICMP_UGT</div><div class="ttdoc">unsigned greater than</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00910">SVFStatements.h:910</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SingleAbsValue_html"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html">SVF::SingleAbsValue</a></div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00016">SingleAbsValue.h:16</a></div></div>