svf-tools 1.0.849 → 1.0.850

package/SVF-doxygen/html/classSVF_1_1ExeState.html

@@ -87,7 +87,8 @@ Inheritance diagram for SVF::ExeState:</div>
   <img src="classSVF_1_1ExeState.png" usemap="#SVF::ExeState_map" alt=""/>
   <map id="SVF::ExeState_map" name="SVF::ExeState_map">
 <area href="classSVF_1_1ConsExeState.html" alt="SVF::ConsExeState" shape="rect" coords="0,56,134,80"/>
-<area href="classSVF_1_1IntervalExeState.html" alt="SVF::IntervalExeState" shape="rect" coords="144,56,278,80"/>
+<area href="classSVF_1_1IntervalESBase.html" alt="SVF::IntervalESBase" shape="rect" coords="144,56,278,80"/>
+<area href="classSVF_1_1IntervalExeState.html" alt="SVF::IntervalExeState" shape="rect" coords="144,112,278,136"/>
   </map>
 </div></div>
 <table class="memberdecls">
@@ -488,7 +489,7 @@ Friends</h2></td></tr>
 
 <p>get memory addresses of variable </p>
 
-<p>Reimplemented in <a class="el" href="classSVF_1_1IntervalExeState.html#a056e0db56033ac4dc041e6d82d614dbd">SVF::IntervalExeState</a>, and <a class="el" href="classSVF_1_1ConsExeState.html#a17ba209c5045d53c7df66d5cf031f8a4">SVF::ConsExeState</a>.</p>
+<p>Reimplemented in <a class="el" href="classSVF_1_1IntervalExeState.html#a056e0db56033ac4dc041e6d82d614dbd">SVF::IntervalExeState</a>, <a class="el" href="classSVF_1_1IntervalESBase.html#a5b199cda24038f6f60fe4fa6b6d6bb76">SVF::IntervalESBase</a>, and <a class="el" href="classSVF_1_1ConsExeState.html#a17ba209c5045d53c7df66d5cf031f8a4">SVF::ConsExeState</a>.</p>
 
 <p class="definition">Definition at line <a class="el" href="ExeState_8h_source.html#l00101">101</a> of file <a class="el" href="ExeState_8h_source.html">ExeState.h</a>.</p>
 <div class="fragment"><div class="line"><a name="l00102"></a><span class="lineno">  102</span>&#160;    {</div>
@@ -706,7 +707,7 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p>Reimplemented in <a class="el" href="classSVF_1_1IntervalExeState.html#a85b0e711160d67ea84f426025b980dce">SVF::IntervalExeState</a>, and <a class="el" href="classSVF_1_1ConsExeState.html#a374e087ef40804ed00a631ed22e91590">SVF::ConsExeState</a>.</p>
+<p>Reimplemented in <a class="el" href="classSVF_1_1IntervalExeState.html#a85b0e711160d67ea84f426025b980dce">SVF::IntervalExeState</a>, <a class="el" href="classSVF_1_1IntervalESBase.html#a2ecbba4a55776562262b6ddc9f0d9101">SVF::IntervalESBase</a>, and <a class="el" href="classSVF_1_1ConsExeState.html#a374e087ef40804ed00a631ed22e91590">SVF::ConsExeState</a>.</p>
 
 <p class="definition">Definition at line <a class="el" href="ExeState_8cpp_source.html#l00102">102</a> of file <a class="el" href="ExeState_8cpp_source.html">ExeState.cpp</a>.</p>
 <div class="fragment"><div class="line"><a name="l00103"></a><span class="lineno">  103</span>&#160;{</div>
@@ -753,7 +754,7 @@ Friends</h2></td></tr>
 
 <p>whether the memory address stores memory addresses </p>
 
-<p>Reimplemented in <a class="el" href="classSVF_1_1IntervalExeState.html#af61110c081ca71f9348e8dfff5aa76e4">SVF::IntervalExeState</a>, and <a class="el" href="classSVF_1_1ConsExeState.html#a1effca0f87f2180e160600ee5528b12f">SVF::ConsExeState</a>.</p>
+<p>Reimplemented in <a class="el" href="classSVF_1_1IntervalExeState.html#af61110c081ca71f9348e8dfff5aa76e4">SVF::IntervalExeState</a>, <a class="el" href="classSVF_1_1IntervalESBase.html#a6c517028bddfa9f4617950a02f347ce8">SVF::IntervalESBase</a>, and <a class="el" href="classSVF_1_1ConsExeState.html#a1effca0f87f2180e160600ee5528b12f">SVF::ConsExeState</a>.</p>
 
 <p class="definition">Definition at line <a class="el" href="ExeState_8h_source.html#l00113">113</a> of file <a class="el" href="ExeState_8h_source.html">ExeState.h</a>.</p>
 <div class="fragment"><div class="line"><a name="l00114"></a><span class="lineno">  114</span>&#160;    {</div>
@@ -788,7 +789,7 @@ Friends</h2></td></tr>
 
 <p>whether the variable is in varToAddrs table </p>
 
-<p>Reimplemented in <a class="el" href="classSVF_1_1IntervalExeState.html#ad485a35730353c0e945bc84a034d9e45">SVF::IntervalExeState</a>, and <a class="el" href="classSVF_1_1ConsExeState.html#a755fbe99c6d02b6a7897dad86f46c580">SVF::ConsExeState</a>.</p>
+<p>Reimplemented in <a class="el" href="classSVF_1_1IntervalExeState.html#ad485a35730353c0e945bc84a034d9e45">SVF::IntervalExeState</a>, <a class="el" href="classSVF_1_1IntervalESBase.html#a551d07983a89971d4e2422e6be850d4f">SVF::IntervalESBase</a>, and <a class="el" href="classSVF_1_1ConsExeState.html#a755fbe99c6d02b6a7897dad86f46c580">SVF::ConsExeState</a>.</p>
 
 <p class="definition">Definition at line <a class="el" href="ExeState_8h_source.html#l00107">107</a> of file <a class="el" href="ExeState_8h_source.html">ExeState.h</a>.</p>
 <div class="fragment"><div class="line"><a name="l00108"></a><span class="lineno">  108</span>&#160;    {</div>
@@ -941,7 +942,7 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p>Reimplemented in <a class="el" href="classSVF_1_1IntervalExeState.html#ad17ceaf8058043151ae0f23b3415458a">SVF::IntervalExeState</a>, and <a class="el" href="classSVF_1_1ConsExeState.html#a865998aed7e292ebd15532506eadea55">SVF::ConsExeState</a>.</p>
+<p>Reimplemented in <a class="el" href="classSVF_1_1IntervalExeState.html#ad17ceaf8058043151ae0f23b3415458a">SVF::IntervalExeState</a>, <a class="el" href="classSVF_1_1IntervalESBase.html#a1a012a83e3c2808e24ba8d5da4fbd85b">SVF::IntervalESBase</a>, and <a class="el" href="classSVF_1_1ConsExeState.html#a865998aed7e292ebd15532506eadea55">SVF::ConsExeState</a>.</p>
 
 <p class="definition">Definition at line <a class="el" href="ExeState_8h_source.html#l00162">162</a> of file <a class="el" href="ExeState_8h_source.html">ExeState.h</a>.</p>
 <div class="fragment"><div class="line"><a name="l00163"></a><span class="lineno">  163</span>&#160;    {</div>
@@ -1214,7 +1215,7 @@ Friends</h2></td></tr>
 
 <p>Print values of all expressions. </p>
 
-<p>Reimplemented in <a class="el" href="classSVF_1_1IntervalExeState.html#aa6adb9becbc2541198708823e3e35c9d">SVF::IntervalExeState</a>, and <a class="el" href="classSVF_1_1ConsExeState.html#ab172f00fe38fbef532d97da5e7285535">SVF::ConsExeState</a>.</p>
+<p>Reimplemented in <a class="el" href="classSVF_1_1IntervalESBase.html#a4c0ede557a333bfea3f5d4a9a4dc8a9e">SVF::IntervalESBase</a>, and <a class="el" href="classSVF_1_1ConsExeState.html#ab172f00fe38fbef532d97da5e7285535">SVF::ConsExeState</a>.</p>
 
 <p class="definition">Definition at line <a class="el" href="ExeState_8h_source.html#l00139">139</a> of file <a class="el" href="ExeState_8h_source.html">ExeState.h</a>.</p>
 <div class="fragment"><div class="line"><a name="l00139"></a><span class="lineno">  139</span>&#160;{}</div>
@@ -1288,7 +1289,7 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p>Reimplemented in <a class="el" href="classSVF_1_1IntervalExeState.html#a3a8f8b09df0befa318cbcd43d191d37a">SVF::IntervalExeState</a>, and <a class="el" href="classSVF_1_1ConsExeState.html#a4553e0d059ea66f9a0287454686eb558">SVF::ConsExeState</a>.</p>
+<p>Reimplemented in <a class="el" href="classSVF_1_1IntervalESBase.html#ab5d7ac23f8334fa32ae0a78c8f1d9fa9">SVF::IntervalESBase</a>, and <a class="el" href="classSVF_1_1ConsExeState.html#a4553e0d059ea66f9a0287454686eb558">SVF::ConsExeState</a>.</p>
 
 <p class="definition">Definition at line <a class="el" href="ExeState_8h_source.html#l00141">141</a> of file <a class="el" href="ExeState_8h_source.html">ExeState.h</a>.</p>
 <div class="fragment"><div class="line"><a name="l00142"></a><span class="lineno">  142</span>&#160;    {</div>

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

@@ -0,0 +1,168 @@
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "https://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<html xmlns="http://www.w3.org/1999/xhtml">
+<head>
+<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
+<meta http-equiv="X-UA-Compatible" content="IE=9"/>
+<meta name="generator" content="Doxygen 1.8.17"/>
+<meta name="viewport" content="width=device-width, initial-scale=1"/>
+<title>Static Value-Flow Analysis: Member List</title>
+<link href="tabs.css" rel="stylesheet" type="text/css"/>
+<script type="text/javascript" src="jquery.js"></script>
+<script type="text/javascript" src="dynsections.js"></script>
+<link href="search/search.css" rel="stylesheet" type="text/css"/>
+<script type="text/javascript" src="search/searchdata.js"></script>
+<script type="text/javascript" src="search/search.js"></script>
+<link href="doxygen.css" rel="stylesheet" type="text/css" />
+</head>
+<body>
+<div id="top"><!-- do not remove this div, it is closed by doxygen! -->
+<div id="titlearea">
+<table cellspacing="0" cellpadding="0">
+ <tbody>
+ <tr style="height: 56px;">
+  <td id="projectalign" style="padding-left: 0.5em;">
+   <div id="projectname">Static Value-Flow Analysis
+   </div>
+  </td>
+ </tr>
+ </tbody>
+</table>
+</div>
+<!-- end header part -->
+<!-- Generated by Doxygen 1.8.17 -->
+<script type="text/javascript">
+/* @license magnet:?xt=urn:btih:cf05388f2679ee054f2beb29a391d25f4e673ac3&amp;dn=gpl-2.0.txt GPL-v2 */
+var searchBox = new SearchBox("searchBox", "search",false,'Search');
+/* @license-end */
+</script>
+<script type="text/javascript" src="menudata.js"></script>
+<script type="text/javascript" src="menu.js"></script>
+<script type="text/javascript">
+/* @license magnet:?xt=urn:btih:cf05388f2679ee054f2beb29a391d25f4e673ac3&amp;dn=gpl-2.0.txt GPL-v2 */
+$(function() {
+  initMenu('',true,false,'search.php','Search');
+  $(document).ready(function() { init_search(); });
+});
+/* @license-end */</script>
+<div id="main-nav"></div>
+<!-- window showing the filter options -->
+<div id="MSearchSelectWindow"
+     onmouseover="return searchBox.OnSearchSelectShow()"
+     onmouseout="return searchBox.OnSearchSelectHide()"
+     onkeydown="return searchBox.OnSearchSelectKey(event)">
+</div>
+
+<!-- iframe showing the search results (closed by default) -->
+<div id="MSearchResultsWindow">
+<iframe src="javascript:void(0)" frameborder="0" 
+        name="MSearchResults" id="MSearchResults">
+</iframe>
+</div>
+
+<div id="nav-path" class="navpath">
+  <ul>
+<li class="navelem"><a class="el" href="namespaceSVF.html">SVF</a></li><li class="navelem"><a class="el" href="classSVF_1_1IntervalESBase.html">IntervalESBase</a></li>  </ul>
+</div>
+</div><!-- top -->
+<div class="header">
+  <div class="headertitle">
+<div class="title">SVF::IntervalESBase Member List</div>  </div>
+</div><!--header-->
+<div class="contents">
+
+<p>This is the complete list of members for <a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a>, including all inherited members.</p>
+<table class="directory">
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a2545017305d54f6416ba48cb45e43cb8">_kind</a></td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a79866a547dc4805d3fefdfd528d2df2a">_locToAddrs</a></td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#acba74693030fca248521412c552e3dcc">_locToItvVal</a></td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#ad317f2ae2e599a131a6fd9f415f5d712">_varToAddrs</a></td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#ad2288306aed7301ccd30e55410c7b428">_varToItvVal</a></td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a78038dd4884a501cfc94f073021eac96">Addrs</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#a839e8ee927c1cad86aef3059b41ba2eb">bottom</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#a4849103f97f0c03e434882c32e8d695b">clear</a>()</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#a080484bdcd9287e95d0ced0fa474fd05">createIntervalValue</a>(double lb, double ub, NodeID id)</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#a9133df5ab00e7c2918a8047fd0bdfb08">equals</a>(const IntervalESBase &amp;other) const</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a45be8c439528b7560024fa51f36a8ffb">SVF::ExeState::equals</a>(const ExeState *other) const</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a0a24ad3ced48b6755b7fc917d0f0fbb9">eqVarToAddrs</a>(const VarToAddrs &amp;lhs, const VarToAddrs &amp;rhs)</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">static</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#a5fbb3e0a06cb36f020a6de20ebd04ad1">eqVarToValMap</a>(const VarToValMap &amp;lhs, const VarToValMap &amp;rhs)</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#af1b6335e3ca95d491b0d8dfb95cf3c9b">ExeState</a>(ExeState_TYPE kind)</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a62bef487b31f2a4ca27b4e9b183bdef5">ExeState</a>(const ExeState &amp;rhs)</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a2e79702693c4fce03ab9fc03d1ceb2b8">ExeState</a>(ExeState &amp;&amp;rhs) noexcept</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a259b93247e06141077b2c1ae15efcbb8">ExeState_TYPE</a> enum name</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#a7f8254581235c03a3fad17e51d00db0c">geqVarToValMap</a>(const VarToValMap &amp;lhs, const VarToValMap &amp;rhs)</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#a5b199cda24038f6f60fe4fa6b6d6bb76">getAddrs</a>(u32_t id) override</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a35a28ef0a8acd14f44e6755eff424d9d">getContext</a>()</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#ab7f7de02202838bb9e3da5410983cfb1">getExeStateKind</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#ab72f3bc855feeda75e11768ab03ad84e">getInternalID</a>(u32_t idx)</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#a04145be14d0b0f60eb0f357e0ec7a92c">getLocAddrs</a>(u32_t id)</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#aa7b897b107d722909f9de9dcbabad7cf">getLocToAddrs</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#af7451ea87d5117a90b5912a1e6f34e10">getLocToVal</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#a46a305a70ec53c6bda50caafec38791a">getLocToVal</a>(u32_t id)</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a0710c9cc1a3c40c95cd362d49bea459b">getVarToAddrs</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#a903797577ba99ef57879774a3849bbfe">getVarToVal</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a2f01e583abcdeb236a11e85c7a8aafdc">getVirtualMemAddress</a>(u32_t idx)</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#a2387b671954d5c1fdd4b08b71ffa0e6c">has_bottom</a>()</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#a2ecbba4a55776562262b6ddc9f0d9101">hash</a>() const override</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#a6c517028bddfa9f4617950a02f347ce8">inLocToAddrsTable</a>(u32_t id) const override</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#a8926e8fe328e3a3596fee42e06130da7">inLocToValTable</a>(u32_t id) const</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#a2ff42e1ba569614cc86f8a3af65b7c41">Interval2NumValue</a>(const IntervalValue &amp;e) const</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#a2da3f0da084f66f5b82c86e6650fd903">IntervalESBase</a>()</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#a989bf2c55925d29790c4272aa31c3bb6">IntervalESBase</a>(VarToValMap &amp;_varToValMap, LocToValMap &amp;_locToValMap)</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#a317d19f98d43b05963b5649fc402eed4">IntervalESBase</a>(const IntervalESBase &amp;rhs)</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#a2906309f1b7691be20b8d3a3968dfe91">IntervalESBase</a>(IntervalESBase &amp;&amp;rhs)</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a259b93247e06141077b2c1ae15efcbb8a39d5fb8ca9906072253f8af46b916351">IntervalK</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#a551d07983a89971d4e2422e6be850d4f">inVarToAddrsTable</a>(u32_t id) const override</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#aa240089b9af05b9a0406451b94ed41e0">inVarToValTable</a>(u32_t id) const</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a8edd5f30ab971ce893ffdb39d8b6a265">isNullPtr</a>(u32_t addr)</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#abfaad70395d9f4416f297887c84f7df4">isVirtualMemAddress</a>(u32_t val)</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#adc0db607e4c0f117760535df67b91fbd">joinWith</a>(const IntervalESBase &amp;other)</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a60464bebe5f257bbe1356eee149524c0">SVF::ExeState::joinWith</a>(const ExeState &amp;other)</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#af1837e907961eb3594b817b62b9ea9a3">lessThanVarToValMap</a>(const VarToValMap &amp;lhs, const VarToValMap &amp;rhs)</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#a93c2088eacb3859d5e54899d3fa6b45f">load</a>(u32_t addr)</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#a1a012a83e3c2808e24ba8d5da4fbd85b">loadAddrs</a>(u32_t addr) override</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#ad2f921623e41209c6702534c98431403">locToAddrs</a>(u32_t objId) const</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#a2c8cf00ffaa36fed2e634adbaff7b412">LocToValMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#a92a8531c7f12cc6f9117596aa5e534b6">meetWith</a>(const IntervalESBase &amp;other)</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a80bcce9b4303d651b27332c2fc0d3bdc">SVF::ExeState::meetWith</a>(const ExeState &amp;other)</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#a3f8da19a79bfdc37c38e659a94371aba">narrowing</a>(const IntervalESBase &amp;other)</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#a52b590dc437bc01ce116255e699c3c55">narrowWith</a>(const IntervalESBase &amp;other)</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#ab3d0a23befaf69fac553e6e3ae3a42e0">operator!=</a>(const IntervalESBase &amp;rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#ab828094e1026046814c1e3d44d3f084c">operator!=</a>(const ExeState &amp;rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#ab828094e1026046814c1e3d44d3f084c">SVF::ExeState::operator!=</a>(const ExeState &amp;rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#aaafb882ca79738d39697d1461bd2032f">operator&lt;</a>(const IntervalESBase &amp;rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#a926025a01239d163e59582824ceb0580">operator=</a>(const IntervalESBase &amp;rhs)</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#ab4d2297eb82611a3198ba3befeda5e54">operator=</a>(IntervalESBase &amp;&amp;rhs)</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#aebeb2054a8118fd33df9fef31bacda03">SVF::ExeState::operator=</a>(const ExeState &amp;rhs)</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#ad706a7c5d1e4b198a74a0b5a8a89be8f">SVF::ExeState::operator=</a>(ExeState &amp;&amp;rhs) noexcept</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#a6f6ba2a615f1227cf8397345d1d0f25d">operator==</a>(const IntervalESBase &amp;rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#a0e4c8a41aa861ff2862d8b620c902f21">operator==</a>(const ExeState &amp;rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a0e4c8a41aa861ff2862d8b620c902f21">SVF::ExeState::operator==</a>(const ExeState &amp;rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#a8722234ba6bea5223e79174ff1d095c7">operator&gt;=</a>(const IntervalESBase &amp;rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#af00c9267eb35bf16c88e321ca3009151">operator[]</a>(u32_t varId)</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#a4c0ede557a333bfea3f5d4a9a4dc8a9e">printExprValues</a>(std::ostream &amp;oss) const override</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#a14e210bd24b2104afb36ad50a0899c09">printTable</a>(const VarToValMap &amp;table, std::ostream &amp;oss) const</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#a2b5821a3dd16e98687768b51cf05b789">printTable</a>(const VarToAddrs &amp;table, std::ostream &amp;oss) const</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#a44841fb4ad23542383ea77bf1ffda65f">RelationSolver</a> class</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a259b93247e06141077b2c1ae15efcbb8acb163848414937d2331958216330a20e">SingleValueK</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#a2c15de9b10a74fbcb171ff2f328ce7f2">sliceState</a>(Set&lt; u32_t &gt; &amp;sl)</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#adb26b186ee31bce7449a7b36faa24cc2">store</a>(u32_t addr, const IntervalValue &amp;val)</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a99f4437a7e350fec131d48f52082d672">storeAddrs</a>(u32_t addr, const Addrs &amp;vaddrs)</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#af1ac478aba3f3858d5f6f4b15a9f73a6">SVFIR2ItvExeState</a> class</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#a33fd0e4a654dd4f5b7762b0088e11674">top</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#ab5d7ac23f8334fa32ae0a78c8f1d9fa9">toString</a>() const override</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a09f34aca79479221305769cae307feef">VarToAddrs</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#aa01e978f41f4134257b380994e3b8409">varToAddrs</a>(u32_t varId) const</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#a02e3d5f7074c4f77338edc9a7add95d8">VarToValMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#a9a167f67476d2e080cc6e31d127ee715">widening</a>(const IntervalESBase &amp;other)</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#a2db6b5360cf8e90dbd4174ad0382ec56">widenWith</a>(const IntervalESBase &amp;other)</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a56dc11162e701d8d48ea354f9d380167">~ExeState</a>()=default</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html#a765e98325842f6df15255af9a8036e8c">~IntervalESBase</a>()=default</td><td class="entry"><a class="el" href="classSVF_1_1IntervalESBase.html">SVF::IntervalESBase</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
+</table></div><!-- contents -->
+<!-- start footer part -->
+<hr class="footer"/><address class="footer"><small>
+Generated by &#160;<a href="http://www.doxygen.org/index.html">
+<img class="footer" src="doxygen.png" alt="doxygen"/>
+</a> 1.8.17
+</small></address>
+</body>
+</html>