svf-tools 1.0.812 → 1.0.813

package/SVF-doxygen/html/IntervalExeState_8cpp_source.html

@@ -257,8 +257,8 @@ $(function() {
 <div class="line"><a name="l00191"></a><span class="lineno">  191</span>&#160;    oss &lt;&lt; <span class="stringliteral">&quot;-----------Var and Value-----------\n&quot;</span>;</div>
 <div class="line"><a name="l00192"></a><span class="lineno">  192</span>&#160;    printTable(_varToItvVal, oss);</div>
 <div class="line"><a name="l00193"></a><span class="lineno">  193</span>&#160;    printTable(_locToItvVal, oss);</div>
-<div class="line"><a name="l00194"></a><span class="lineno">  194</span>&#160;    printTable(_varToVAddrs, oss);</div>
-<div class="line"><a name="l00195"></a><span class="lineno">  195</span>&#160;    printTable(_locToVAddrs, oss);</div>
+<div class="line"><a name="l00194"></a><span class="lineno">  194</span>&#160;    printTable(_varToAddrs, oss);</div>
+<div class="line"><a name="l00195"></a><span class="lineno">  195</span>&#160;    printTable(_locToAddrs, oss);</div>
 <div class="line"><a name="l00196"></a><span class="lineno">  196</span>&#160;    oss &lt;&lt; <span class="stringliteral">&quot;-----------------------------------------\n&quot;</span>;</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>
@@ -285,7 +285,7 @@ $(function() {
 <div class="line"><a name="l00219"></a><span class="lineno">  219</span>&#160;    }</div>
 <div class="line"><a name="l00220"></a><span class="lineno">  220</span>&#160;}</div>
 <div class="line"><a name="l00221"></a><span class="lineno">  221</span>&#160; </div>
-<div class="line"><a name="l00222"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalExeState.html#adbfb716c41fdc758f792e8ffb81a17fa">  222</a></span>&#160;<span class="keywordtype">void</span> <a class="code" href="classSVF_1_1IntervalExeState.html#abf57a44b95108e255242f630ba33f37b">IntervalExeState::printTable</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1ExeState.html#aab6dfbae3f5d743d5fff6bba3327f231">VarToVAddrs</a> &amp;table, std::ostream &amp;oss)<span class="keyword"> const</span></div>
+<div class="line"><a name="l00222"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalExeState.html#a4d22ccce6915c9fe8238e20433b9d5b8">  222</a></span>&#160;<span class="keywordtype">void</span> <a class="code" href="classSVF_1_1IntervalExeState.html#abf57a44b95108e255242f630ba33f37b">IntervalExeState::printTable</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1ExeState.html#a09f34aca79479221305769cae307feef">VarToAddrs</a> &amp;table, std::ostream &amp;oss)<span class="keyword"> const</span></div>
 <div class="line"><a name="l00223"></a><span class="lineno">  223</span>&#160;<span class="keyword"></span>{</div>
 <div class="line"><a name="l00224"></a><span class="lineno">  224</span>&#160;    oss.flags(std::ios::left);</div>
 <div class="line"><a name="l00225"></a><span class="lineno">  225</span>&#160;    std::set&lt;NodeID&gt; ordered;</div>
@@ -296,7 +296,7 @@ $(function() {
 <div class="line"><a name="l00230"></a><span class="lineno">  230</span>&#160;    <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &amp;<a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>: ordered)</div>
 <div class="line"><a name="l00231"></a><span class="lineno">  231</span>&#160;    {</div>
 <div class="line"><a name="l00232"></a><span class="lineno">  232</span>&#160;        oss &lt;&lt; <span class="stringliteral">&quot;Var&quot;</span> &lt;&lt; std::to_string(<a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>);</div>
-<div class="line"><a name="l00233"></a><span class="lineno">  233</span>&#160;        <a class="code" href="classSVF_1_1AddressValue.html">VAddrs</a> sim = table.at(<a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>);</div>
+<div class="line"><a name="l00233"></a><span class="lineno">  233</span>&#160;        <a class="code" href="classSVF_1_1AddressValue.html">Addrs</a> sim = table.at(<a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>);</div>
 <div class="line"><a name="l00234"></a><span class="lineno">  234</span>&#160;        oss &lt;&lt; <span class="stringliteral">&quot;\t Value: &quot;</span> &lt;&lt; std::hex &lt;&lt; <span class="stringliteral">&quot;[ &quot;</span>;</div>
 <div class="line"><a name="l00235"></a><span class="lineno">  235</span>&#160;        <span class="keywordflow">for</span> (<span class="keyword">auto</span> it = sim.<a class="code" href="classSVF_1_1AddressValue.html#aed0b4789beda4980e4e215a65350f323">begin</a>(); it != sim.<a class="code" href="classSVF_1_1AddressValue.html#a6f8186d1df43be4fbd0a48f724046372">end</a>(); ++it)</div>
 <div class="line"><a name="l00236"></a><span class="lineno">  236</span>&#160;        {</div>
@@ -307,6 +307,7 @@ $(function() {
 <div class="line"><a name="l00241"></a><span class="lineno">  241</span>&#160;}</div>
 </div><!-- fragment --></div><!-- contents -->
 <div class="ttc" id="aclassSVF_1_1ExeState_html_a60464bebe5f257bbe1356eee149524c0"><div class="ttname"><a href="classSVF_1_1ExeState.html#a60464bebe5f257bbe1356eee149524c0">SVF::ExeState::joinWith</a></div><div class="ttdeci">bool joinWith(const ExeState &amp;other)</div><div class="ttdoc">Make all value join with the other.</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8cpp_source.html#l00040">ExeState.cpp:40</a></div></div>
+<div class="ttc" id="aclassSVF_1_1ExeState_html_a09f34aca79479221305769cae307feef"><div class="ttname"><a href="classSVF_1_1ExeState.html#a09f34aca79479221305769cae307feef">SVF::ExeState::VarToAddrs</a></div><div class="ttdeci">Map&lt; u32_t, Addrs &gt; VarToAddrs</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00053">ExeState.h:53</a></div></div>
 <div class="ttc" id="anamespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00065">BasicTypes.h:65</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IntervalExeState_html_acfbe4dbb85e802a0456b7223a26280d3"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#acfbe4dbb85e802a0456b7223a26280d3">SVF::IntervalExeState::widenWith</a></div><div class="ttdeci">void widenWith(const IntervalExeState &amp;other)</div><div class="ttdoc">domain widen with other, important! other widen this.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8cpp_source.html#l00097">IntervalExeState.cpp:97</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ExeState_html_a2e63af0f29d04484c09cca217b799986"><div class="ttname"><a href="classSVF_1_1ExeState.html#a2e63af0f29d04484c09cca217b799986">SVF::ExeState::hash</a></div><div class="ttdeci">virtual u32_t hash() const</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8cpp_source.html#l00102">ExeState.cpp:102</a></div></div>
@@ -314,10 +315,10 @@ $(function() {
 <div class="ttc" id="astructSVF_1_1Hash_html"><div class="ttname"><a href="structSVF_1_1Hash.html">SVF::Hash</a></div><div class="ttdoc">provide extra hash function for std::pair handling</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00067">SVFType.h:67</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IntervalValue_html_a523826aede7ad22736beed0c8223b6b0"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#a523826aede7ad22736beed0c8223b6b0">SVF::IntervalValue::is_numeral</a></div><div class="ttdeci">bool is_numeral() const</div><div class="ttdoc">Return true if the IntervalValue is a number [num, num].</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00270">IntervalValue.h:270</a></div></div>
 <div class="ttc" id="aSVFUtil_8h_html"><div class="ttname"><a href="SVFUtil_8h.html">SVFUtil.h</a></div></div>
-<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a39dead4fe213e3d02b1613debbc86e71"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a39dead4fe213e3d02b1613debbc86e71">SVF::IntervalExeState::_locToItvVal</a></div><div class="ttdeci">LocToValMap _locToItvVal</div><div class="ttdoc">key: nodeID value: Domain Value</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00070">IntervalExeState.h:70</a></div></div>
+<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a39dead4fe213e3d02b1613debbc86e71"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a39dead4fe213e3d02b1613debbc86e71">SVF::IntervalExeState::_locToItvVal</a></div><div class="ttdeci">LocToValMap _locToItvVal</div><div class="ttdoc">Map a memory address to its stored interval value.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00151">IntervalExeState.h:151</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a3d6ccddf8ecfbd7b6348f8c441cceab9"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a3d6ccddf8ecfbd7b6348f8c441cceab9">SVF::IntervalExeState::narrowWith</a></div><div class="ttdeci">void narrowWith(const IntervalExeState &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#l00146">IntervalExeState.cpp:146</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a69f5125f14b129607fafb3717160f4c1"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a69f5125f14b129607fafb3717160f4c1">SVF::IntervalExeState::equals</a></div><div class="ttdeci">bool equals(const IntervalExeState &amp;other) const</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8cpp_source.html#l00037">IntervalExeState.cpp:37</a></div></div>
-<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_ac72e3ae77e06e0dfc7c2edd2bf765d77"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#ac72e3ae77e06e0dfc7c2edd2bf765d77">SVF::IntervalExeState::_varToItvVal</a></div><div class="ttdeci">VarToValMap _varToItvVal</div><div class="ttdoc">key: nodeID value: Domain Value</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00068">IntervalExeState.h:68</a></div></div>
+<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_ac72e3ae77e06e0dfc7c2edd2bf765d77"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#ac72e3ae77e06e0dfc7c2edd2bf765d77">SVF::IntervalExeState::_varToItvVal</a></div><div class="ttdeci">VarToValMap _varToItvVal</div><div class="ttdoc">Map a variable (symbol) to its interval value.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00150">IntervalExeState.h:150</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_1IntervalExeState_html_a92b1b163493a74a31d30a261128edd05"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a92b1b163493a74a31d30a261128edd05">SVF::IntervalExeState::globalES</a></div><div class="ttdeci">static IntervalExeState globalES</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00064">IntervalExeState.h:64</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>
@@ -325,8 +326,7 @@ $(function() {
 <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_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#l00059">IntervalExeState.cpp:59</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IntervalExeState_html_aa6adb9becbc2541198708823e3e35c9d"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#aa6adb9becbc2541198708823e3e35c9d">SVF::IntervalExeState::printExprValues</a></div><div class="ttdeci">void printExprValues(std::ostream &amp;oss) const override</div><div class="ttdoc">Print values of all expressions.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8cpp_source.html#l00189">IntervalExeState.cpp:189</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_1ExeState_html_aab6dfbae3f5d743d5fff6bba3327f231"><div class="ttname"><a href="classSVF_1_1ExeState.html#aab6dfbae3f5d743d5fff6bba3327f231">SVF::ExeState::VarToVAddrs</a></div><div class="ttdeci">Map&lt; u32_t, VAddrs &gt; VarToVAddrs</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00053">ExeState.h:53</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_1AddressValue_html"><div class="ttname"><a href="classSVF_1_1AddressValue.html">SVF::AddressValue</a></div><div class="ttdef"><b>Definition:</b> <a href="AddressValue_8h_source.html#l00041">AddressValue.h:41</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_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#l00077">IntervalExeState.cpp:77</a></div></div>