svf-tools 1.0.874 → 1.0.875

package/SVF-doxygen/html/classSVF_1_1SVFIntegerType.html

@@ -169,7 +169,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
 <div class="textblock">
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00377">377</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00291">291</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
 </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
 <a id="a4caf4cef19b93e06dfa7108a1409c32a"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#a4caf4cef19b93e06dfa7108a1409c32a">&#9670;&nbsp;</a></span>SVFIntegerType()</h2>
@@ -195,8 +195,8 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00386">386</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00386"></a><span class="lineno">  386</span>&#160;: <a class="code" href="classSVF_1_1SVFType.html#aaaa5452f32227f5e44ac7665f2945202">SVFType</a>(<span class="keyword">true</span>, <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae2025d3e9d7943027c74ae6bba3fff22">SVFIntegerTy</a>, <a class="code" href="classSVF_1_1SVFType.html#a517f8bb64d3a2eb9d697e77191f718b6">byteSize</a>) {}</div>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00300">300</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00300"></a><span class="lineno">  300</span>&#160;: <a class="code" href="classSVF_1_1SVFType.html#aaaa5452f32227f5e44ac7665f2945202">SVFType</a>(<span class="keyword">true</span>, <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae2025d3e9d7943027c74ae6bba3fff22">SVFIntegerTy</a>, <a class="code" href="classSVF_1_1SVFType.html#a517f8bb64d3a2eb9d697e77191f718b6">byteSize</a>) {}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -225,10 +225,10 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00387">387</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00388"></a><span class="lineno">  388</span>&#160;    {</div>
-<div class="line"><a name="l00389"></a><span class="lineno">  389</span>&#160;        <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae2025d3e9d7943027c74ae6bba3fff22">SVFIntegerTy</a>;</div>
-<div class="line"><a name="l00390"></a><span class="lineno">  390</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00301">301</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00302"></a><span class="lineno">  302</span>&#160;    {</div>
+<div class="line"><a name="l00303"></a><span class="lineno">  303</span>&#160;        <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae2025d3e9d7943027c74ae6bba3fff22">SVFIntegerTy</a>;</div>
+<div class="line"><a name="l00304"></a><span class="lineno">  304</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -255,10 +255,10 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00399">399</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00400"></a><span class="lineno">  400</span>&#160;    {</div>
-<div class="line"><a name="l00401"></a><span class="lineno">  401</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFIntegerType.html#a887e8255bb19f85d80d737ac753f0a87">signAndWidth</a> &lt; 0;</div>
-<div class="line"><a name="l00402"></a><span class="lineno">  402</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00313">313</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00314"></a><span class="lineno">  314</span>&#160;    {</div>
+<div class="line"><a name="l00315"></a><span class="lineno">  315</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFIntegerType.html#a887e8255bb19f85d80d737ac753f0a87">signAndWidth</a> &lt; 0;</div>
+<div class="line"><a name="l00316"></a><span class="lineno">  316</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -322,10 +322,10 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00394">394</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
-<div class="fragment"><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;        <a class="code" href="classSVF_1_1SVFIntegerType.html#a887e8255bb19f85d80d737ac753f0a87">signAndWidth</a> = sw;</div>
-<div class="line"><a name="l00397"></a><span class="lineno">  397</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00308">308</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00309"></a><span class="lineno">  309</span>&#160;    {</div>
+<div class="line"><a name="l00310"></a><span class="lineno">  310</span>&#160;        <a class="code" href="classSVF_1_1SVFIntegerType.html#a887e8255bb19f85d80d737ac753f0a87">signAndWidth</a> = sw;</div>
+<div class="line"><a name="l00311"></a><span class="lineno">  311</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -350,7 +350,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00380">380</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00294">294</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
 
 </div>
 </div>
@@ -374,7 +374,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00379">379</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00293">293</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
 
 </div>
 </div>
@@ -401,7 +401,7 @@ Additional Inherited Members</h2></td></tr>
 
 <p>For printing. </p>
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00383">383</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00297">297</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
 
 </div>
 </div>
@@ -410,10 +410,10 @@ Additional Inherited Members</h2></td></tr>
 <li>/home/runner/work/SVF/SVF/svf/lib/SVFIR/<a class="el" href="SVFType_8cpp_source.html">SVFType.cpp</a></li>
 </ul>
 </div><!-- contents -->
-<div class="ttc" id="aclassSVF_1_1SVFIntegerType_html_a887e8255bb19f85d80d737ac753f0a87"><div class="ttname"><a href="classSVF_1_1SVFIntegerType.html#a887e8255bb19f85d80d737ac753f0a87">SVF::SVFIntegerType::signAndWidth</a></div><div class="ttdeci">short signAndWidth</div><div class="ttdoc">For printing.</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00383">SVFType.h:383</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFIntegerType_html_a887e8255bb19f85d80d737ac753f0a87"><div class="ttname"><a href="classSVF_1_1SVFIntegerType.html#a887e8255bb19f85d80d737ac753f0a87">SVF::SVFIntegerType::signAndWidth</a></div><div class="ttdeci">short signAndWidth</div><div class="ttdoc">For printing.</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00297">SVFType.h:297</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFType_html_aaaa5452f32227f5e44ac7665f2945202"><div class="ttname"><a href="classSVF_1_1SVFType.html#aaaa5452f32227f5e44ac7665f2945202">SVF::SVFType::SVFType</a></div><div class="ttdeci">SVFType(void)=delete</div></div>
-<div class="ttc" id="aclassSVF_1_1SVFType_html_a333e01a9c431c8f53bd2fc597bd5c40cae2025d3e9d7943027c74ae6bba3fff22"><div class="ttname"><a href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae2025d3e9d7943027c74ae6bba3fff22">SVF::SVFType::SVFIntegerTy</a></div><div class="ttdeci">@ SVFIntegerTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00255">SVFType.h:255</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFType_html_a517f8bb64d3a2eb9d697e77191f718b6"><div class="ttname"><a href="classSVF_1_1SVFType.html#a517f8bb64d3a2eb9d697e77191f718b6">SVF::SVFType::byteSize</a></div><div class="ttdeci">u32_t byteSize</div><div class="ttdoc">array</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00285">SVFType.h:285</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFType_html_a333e01a9c431c8f53bd2fc597bd5c40cae2025d3e9d7943027c74ae6bba3fff22"><div class="ttname"><a href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae2025d3e9d7943027c74ae6bba3fff22">SVF::SVFType::SVFIntegerTy</a></div><div class="ttdeci">@ SVFIntegerTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00169">SVFType.h:169</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFType_html_a517f8bb64d3a2eb9d697e77191f718b6"><div class="ttname"><a href="classSVF_1_1SVFType.html#a517f8bb64d3a2eb9d697e77191f718b6">SVF::SVFType::byteSize</a></div><div class="ttdeci">u32_t byteSize</div><div class="ttdoc">array</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00199">SVFType.h:199</a></div></div>
 <!-- start footer part -->
 <hr class="footer"/><address class="footer"><small>
 Generated by &#160;<a href="http://www.doxygen.org/index.html">

package/SVF-doxygen/html/classSVF_1_1SVFLoopAndDomInfo.html

@@ -1351,7 +1351,7 @@ Friends</h2></td></tr>
 <div class="ttc" id="aclassSVF_1_1SVFLoopAndDomInfo_html_ad07f95e790b5c3a50c864155aa20a083"><div class="ttname"><a href="classSVF_1_1SVFLoopAndDomInfo.html#ad07f95e790b5c3a50c864155aa20a083">SVF::SVFLoopAndDomInfo::getPostDomTreeMap</a></div><div class="ttdeci">const Map&lt; const SVFBasicBlock *, BBSet &gt; &amp; getPostDomTreeMap() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00108">SVFValue.h:108</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFLoopAndDomInfo_html_ad478ac88bc07cf4d6d0ad3517b2c4ab3"><div class="ttname"><a href="classSVF_1_1SVFLoopAndDomInfo.html#ad478ac88bc07cf4d6d0ad3517b2c4ab3">SVF::SVFLoopAndDomInfo::BBSet</a></div><div class="ttdeci">Set&lt; const SVFBasicBlock * &gt; BBSet</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00055">SVFValue.h:55</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFLoopAndDomInfo_html_ae191915ae746e30c8370ebf8fe733723"><div class="ttname"><a href="classSVF_1_1SVFLoopAndDomInfo.html#ae191915ae746e30c8370ebf8fe733723">SVF::SVFLoopAndDomInfo::dfBBsMap</a></div><div class="ttdeci">Map&lt; const SVFBasicBlock *, BBSet &gt; dfBBsMap</div><div class="ttdoc">map a BasicBlock to its Dominate Frontier BasicBlocks</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00063">SVFValue.h:63</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00102">SVFType.h:102</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00097">GeneralType.h:97</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFLoopAndDomInfo_html_ae5e2b154313b4330bb015050aec72a1f"><div class="ttname"><a href="classSVF_1_1SVFLoopAndDomInfo.html#ae5e2b154313b4330bb015050aec72a1f">SVF::SVFLoopAndDomInfo::LoopBBs</a></div><div class="ttdeci">BBList LoopBBs</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00057">SVFValue.h:57</a></div></div>
 <!-- start footer part -->
 <hr class="footer"/><address class="footer"><small>

package/SVF-doxygen/html/classSVF_1_1SVFOtherType.html

@@ -171,7 +171,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
 <div class="textblock">
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00503">503</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00417">417</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
 </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
 <a id="a8c87cc7640e4596333e46fa7749cf0b0"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#a8c87cc7640e4596333e46fa7749cf0b0">&#9670;&nbsp;</a></span>SVFOtherType()</h2>
@@ -209,8 +209,8 @@ Additional Inherited Members</h2></td></tr>
 
 <p>Field representation for printing. </p>
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00512">512</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00512"></a><span class="lineno">  512</span>&#160;: <a class="code" href="classSVF_1_1SVFType.html#aaaa5452f32227f5e44ac7665f2945202">SVFType</a>(isSingleValueTy, <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cac7de365c24c89f86bc6f6ab5ecafd8ef">SVFOtherTy</a>, <a class="code" href="classSVF_1_1SVFType.html#a517f8bb64d3a2eb9d697e77191f718b6">byteSize</a>) {}</div>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00426">426</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00426"></a><span class="lineno">  426</span>&#160;: <a class="code" href="classSVF_1_1SVFType.html#aaaa5452f32227f5e44ac7665f2945202">SVFType</a>(isSingleValueTy, <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cac7de365c24c89f86bc6f6ab5ecafd8ef">SVFOtherTy</a>, <a class="code" href="classSVF_1_1SVFType.html#a517f8bb64d3a2eb9d697e77191f718b6">byteSize</a>) {}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -239,10 +239,10 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00514">514</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00515"></a><span class="lineno">  515</span>&#160;    {</div>
-<div class="line"><a name="l00516"></a><span class="lineno">  516</span>&#160;        <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cac7de365c24c89f86bc6f6ab5ecafd8ef">SVFOtherTy</a>;</div>
-<div class="line"><a name="l00517"></a><span class="lineno">  517</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00428">428</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00429"></a><span class="lineno">  429</span>&#160;    {</div>
+<div class="line"><a name="l00430"></a><span class="lineno">  430</span>&#160;        <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cac7de365c24c89f86bc6f6ab5ecafd8ef">SVFOtherTy</a>;</div>
+<div class="line"><a name="l00431"></a><span class="lineno">  431</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -269,10 +269,10 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00519">519</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00520"></a><span class="lineno">  520</span>&#160;    {</div>
-<div class="line"><a name="l00521"></a><span class="lineno">  521</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFOtherType.html#aff34f4a447b923dbb524c30adcb4aef3">repr</a>;</div>
-<div class="line"><a name="l00522"></a><span class="lineno">  522</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00433">433</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00434"></a><span class="lineno">  434</span>&#160;    {</div>
+<div class="line"><a name="l00435"></a><span class="lineno">  435</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFOtherType.html#aff34f4a447b923dbb524c30adcb4aef3">repr</a>;</div>
+<div class="line"><a name="l00436"></a><span class="lineno">  436</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -333,10 +333,10 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00529">529</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00530"></a><span class="lineno">  530</span>&#160;    {</div>
-<div class="line"><a name="l00531"></a><span class="lineno">  531</span>&#160;        <a class="code" href="classSVF_1_1SVFOtherType.html#aff34f4a447b923dbb524c30adcb4aef3">repr</a> = r;</div>
-<div class="line"><a name="l00532"></a><span class="lineno">  532</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00443">443</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00444"></a><span class="lineno">  444</span>&#160;    {</div>
+<div class="line"><a name="l00445"></a><span class="lineno">  445</span>&#160;        <a class="code" href="classSVF_1_1SVFOtherType.html#aff34f4a447b923dbb524c30adcb4aef3">repr</a> = r;</div>
+<div class="line"><a name="l00446"></a><span class="lineno">  446</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -364,10 +364,10 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00524">524</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
-<div class="fragment"><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;        <a class="code" href="classSVF_1_1SVFOtherType.html#aff34f4a447b923dbb524c30adcb4aef3">repr</a> = <a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">std::move</a>(r);</div>
-<div class="line"><a name="l00527"></a><span class="lineno">  527</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00438">438</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<div class="fragment"><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;        <a class="code" href="classSVF_1_1SVFOtherType.html#aff34f4a447b923dbb524c30adcb4aef3">repr</a> = <a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">std::move</a>(r);</div>
+<div class="line"><a name="l00441"></a><span class="lineno">  441</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -392,7 +392,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00506">506</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00420">420</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
 
 </div>
 </div>
@@ -416,7 +416,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00505">505</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00419">419</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
 
 </div>
 </div>
@@ -441,7 +441,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00509">509</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00423">423</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
 
 </div>
 </div>
@@ -451,10 +451,10 @@ Additional Inherited Members</h2></td></tr>
 </ul>
 </div><!-- contents -->
 <div class="ttc" id="aclassSVF_1_1SVFType_html_aaaa5452f32227f5e44ac7665f2945202"><div class="ttname"><a href="classSVF_1_1SVFType.html#aaaa5452f32227f5e44ac7665f2945202">SVF::SVFType::SVFType</a></div><div class="ttdeci">SVFType(void)=delete</div></div>
-<div class="ttc" id="aclassSVF_1_1SVFType_html_a517f8bb64d3a2eb9d697e77191f718b6"><div class="ttname"><a href="classSVF_1_1SVFType.html#a517f8bb64d3a2eb9d697e77191f718b6">SVF::SVFType::byteSize</a></div><div class="ttdeci">u32_t byteSize</div><div class="ttdoc">array</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00285">SVFType.h:285</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFType_html_a517f8bb64d3a2eb9d697e77191f718b6"><div class="ttname"><a href="classSVF_1_1SVFType.html#a517f8bb64d3a2eb9d697e77191f718b6">SVF::SVFType::byteSize</a></div><div class="ttdeci">u32_t byteSize</div><div class="ttdoc">array</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00199">SVFType.h:199</a></div></div>
 <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a72502f7f536418621485e90ab98c2016"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVF::SVFUtil::move</a></div><div class="ttdeci">constexpr std::remove_reference&lt; T &gt;::type &amp;&amp; move(T &amp;&amp;t) noexcept</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00621">SVFUtil.h:621</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFType_html_a333e01a9c431c8f53bd2fc597bd5c40cac7de365c24c89f86bc6f6ab5ecafd8ef"><div class="ttname"><a href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cac7de365c24c89f86bc6f6ab5ecafd8ef">SVF::SVFType::SVFOtherTy</a></div><div class="ttdeci">@ SVFOtherTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00259">SVFType.h:259</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFOtherType_html_aff34f4a447b923dbb524c30adcb4aef3"><div class="ttname"><a href="classSVF_1_1SVFOtherType.html#aff34f4a447b923dbb524c30adcb4aef3">SVF::SVFOtherType::repr</a></div><div class="ttdeci">std::string repr</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00509">SVFType.h:509</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFType_html_a333e01a9c431c8f53bd2fc597bd5c40cac7de365c24c89f86bc6f6ab5ecafd8ef"><div class="ttname"><a href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cac7de365c24c89f86bc6f6ab5ecafd8ef">SVF::SVFType::SVFOtherTy</a></div><div class="ttdeci">@ SVFOtherTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00173">SVFType.h:173</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFOtherType_html_aff34f4a447b923dbb524c30adcb4aef3"><div class="ttname"><a href="classSVF_1_1SVFOtherType.html#aff34f4a447b923dbb524c30adcb4aef3">SVF::SVFOtherType::repr</a></div><div class="ttdeci">std::string repr</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00423">SVFType.h:423</a></div></div>
 <!-- start footer part -->
 <hr class="footer"/><address class="footer"><small>
 Generated by &#160;<a href="http://www.doxygen.org/index.html">

package/SVF-doxygen/html/classSVF_1_1SVFPointerType.html

@@ -158,7 +158,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
 <div class="textblock">
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00358">358</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00272">272</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
 </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
 <a id="a7e876e6f99182e5c5cb23bf2a65110f2"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#a7e876e6f99182e5c5cb23bf2a65110f2">&#9670;&nbsp;</a></span>SVFPointerType()</h2>
@@ -184,10 +184,10 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00364">364</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00365"></a><span class="lineno">  365</span>&#160;        : <a class="code" href="classSVF_1_1SVFType.html#aaaa5452f32227f5e44ac7665f2945202">SVFType</a>(<span class="keyword">true</span>, <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae8c18603570fa65fa5a9aabdf2f5d0a1">SVFPointerTy</a>, <a class="code" href="classSVF_1_1SVFType.html#a517f8bb64d3a2eb9d697e77191f718b6">byteSize</a>)</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;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00278">278</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00279"></a><span class="lineno">  279</span>&#160;        : <a class="code" href="classSVF_1_1SVFType.html#aaaa5452f32227f5e44ac7665f2945202">SVFType</a>(<span class="keyword">true</span>, <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae8c18603570fa65fa5a9aabdf2f5d0a1">SVFPointerTy</a>, <a class="code" href="classSVF_1_1SVFType.html#a517f8bb64d3a2eb9d697e77191f718b6">byteSize</a>)</div>
+<div class="line"><a name="l00280"></a><span class="lineno">  280</span>&#160;    {</div>
+<div class="line"><a name="l00281"></a><span class="lineno">  281</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -216,10 +216,10 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00369">369</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00370"></a><span class="lineno">  370</span>&#160;    {</div>
-<div class="line"><a name="l00371"></a><span class="lineno">  371</span>&#160;        <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae8c18603570fa65fa5a9aabdf2f5d0a1">SVFPointerTy</a>;</div>
-<div class="line"><a name="l00372"></a><span class="lineno">  372</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00283">283</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00284"></a><span class="lineno">  284</span>&#160;    {</div>
+<div class="line"><a name="l00285"></a><span class="lineno">  285</span>&#160;        <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae8c18603570fa65fa5a9aabdf2f5d0a1">SVFPointerTy</a>;</div>
+<div class="line"><a name="l00286"></a><span class="lineno">  286</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -277,7 +277,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00361">361</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00275">275</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
 
 </div>
 </div>
@@ -301,7 +301,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00360">360</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00274">274</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
 
 </div>
 </div>
@@ -311,8 +311,8 @@ Additional Inherited Members</h2></td></tr>
 </ul>
 </div><!-- contents -->
 <div class="ttc" id="aclassSVF_1_1SVFType_html_aaaa5452f32227f5e44ac7665f2945202"><div class="ttname"><a href="classSVF_1_1SVFType.html#aaaa5452f32227f5e44ac7665f2945202">SVF::SVFType::SVFType</a></div><div class="ttdeci">SVFType(void)=delete</div></div>
-<div class="ttc" id="aclassSVF_1_1SVFType_html_a517f8bb64d3a2eb9d697e77191f718b6"><div class="ttname"><a href="classSVF_1_1SVFType.html#a517f8bb64d3a2eb9d697e77191f718b6">SVF::SVFType::byteSize</a></div><div class="ttdeci">u32_t byteSize</div><div class="ttdoc">array</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00285">SVFType.h:285</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFType_html_a333e01a9c431c8f53bd2fc597bd5c40cae8c18603570fa65fa5a9aabdf2f5d0a1"><div class="ttname"><a href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae8c18603570fa65fa5a9aabdf2f5d0a1">SVF::SVFType::SVFPointerTy</a></div><div class="ttdeci">@ SVFPointerTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00254">SVFType.h:254</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFType_html_a517f8bb64d3a2eb9d697e77191f718b6"><div class="ttname"><a href="classSVF_1_1SVFType.html#a517f8bb64d3a2eb9d697e77191f718b6">SVF::SVFType::byteSize</a></div><div class="ttdeci">u32_t byteSize</div><div class="ttdoc">array</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00199">SVFType.h:199</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFType_html_a333e01a9c431c8f53bd2fc597bd5c40cae8c18603570fa65fa5a9aabdf2f5d0a1"><div class="ttname"><a href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae8c18603570fa65fa5a9aabdf2f5d0a1">SVF::SVFType::SVFPointerTy</a></div><div class="ttdeci">@ SVFPointerTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00168">SVFType.h:168</a></div></div>
 <!-- start footer part -->
 <hr class="footer"/><address class="footer"><small>
 Generated by &#160;<a href="http://www.doxygen.org/index.html">

package/SVF-doxygen/html/classSVF_1_1SVFStat.html

@@ -86,16 +86,17 @@ Inheritance diagram for SVF::SVFStat:</div>
  <div class="center">
   <img src="classSVF_1_1SVFStat.png" usemap="#SVF::SVFStat_map" alt=""/>
   <map id="SVF::SVFStat_map" name="SVF::SVFStat_map">
-<area href="classSVF_1_1PTAStat.html" alt="SVF::PTAStat" shape="rect" coords="0,56,200,80"/>
-<area href="classSVF_1_1AndersenStat.html" alt="SVF::AndersenStat" shape="rect" coords="210,112,410,136"/>
-<area href="classSVF_1_1CFLStat.html" alt="SVF::CFLStat" shape="rect" coords="210,168,410,192"/>
-<area href="classSVF_1_1DDAStat.html" alt="SVF::DDAStat" shape="rect" coords="210,224,410,248"/>
-<area href="classSVF_1_1FlowSensitiveStat.html" alt="SVF::FlowSensitiveStat" shape="rect" coords="210,280,410,304"/>
-<area href="classSVF_1_1ICFGStat.html" alt="SVF::ICFGStat" shape="rect" coords="210,336,410,360"/>
-<area href="classSVF_1_1MemSSAStat.html" alt="SVF::MemSSAStat" shape="rect" coords="210,392,410,416"/>
-<area href="classSVF_1_1MTAStat.html" alt="SVF::MTAStat" shape="rect" coords="210,448,410,472"/>
-<area href="classSVF_1_1SVFGStat.html" alt="SVF::SVFGStat" shape="rect" coords="210,504,410,528"/>
-<area href="classSVF_1_1VersionedFlowSensitiveStat.html" alt="SVF::VersionedFlowSensitiveStat" shape="rect" coords="210,560,410,584"/>
+<area href="classSVF_1_1AEStat.html" title="AEStat: Statistic for AE." alt="SVF::AEStat" shape="rect" coords="0,56,200,80"/>
+<area href="classSVF_1_1PTAStat.html" alt="SVF::PTAStat" shape="rect" coords="210,56,410,80"/>
+<area href="classSVF_1_1AndersenStat.html" alt="SVF::AndersenStat" shape="rect" coords="420,112,620,136"/>
+<area href="classSVF_1_1CFLStat.html" alt="SVF::CFLStat" shape="rect" coords="420,168,620,192"/>
+<area href="classSVF_1_1DDAStat.html" alt="SVF::DDAStat" shape="rect" coords="420,224,620,248"/>
+<area href="classSVF_1_1FlowSensitiveStat.html" alt="SVF::FlowSensitiveStat" shape="rect" coords="420,280,620,304"/>
+<area href="classSVF_1_1ICFGStat.html" alt="SVF::ICFGStat" shape="rect" coords="420,336,620,360"/>
+<area href="classSVF_1_1MemSSAStat.html" alt="SVF::MemSSAStat" shape="rect" coords="420,392,620,416"/>
+<area href="classSVF_1_1MTAStat.html" alt="SVF::MTAStat" shape="rect" coords="420,448,620,472"/>
+<area href="classSVF_1_1SVFGStat.html" alt="SVF::SVFGStat" shape="rect" coords="420,504,620,528"/>
+<area href="classSVF_1_1VersionedFlowSensitiveStat.html" alt="SVF::VersionedFlowSensitiveStat" shape="rect" coords="420,560,620,584"/>
   </map>
 </div></div>
 <table class="memberdecls">
@@ -313,8 +314,8 @@ Private Attributes</h2></td></tr>
 <p class="definition">Definition at line <a class="el" href="SVFStat_8cpp_source.html#l00215">215</a> of file <a class="el" href="SVFStat_8cpp_source.html">SVFStat.cpp</a>.</p>
 <div class="fragment"><div class="line"><a name="l00216"></a><span class="lineno">  216</span>&#160;{</div>
 <div class="line"><a name="l00217"></a><span class="lineno">  217</span>&#160;    <a class="code" href="classSVF_1_1SVFModule.html">SVFModule</a>* module = <a class="code" href="classSVF_1_1SVFIR.html#a37cfa2aa4e7b98ef9dc8179f581a2362">SVFIR::getPAG</a>()-&gt;<a class="code" href="classSVF_1_1SVFIR.html#ad6e18f520f6b559f2304002792f6b701">getModule</a>();</div>
-<div class="line"><a name="l00218"></a><span class="lineno">  218</span>&#160;    <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> numOfBB_2Succ = 0;</div>
-<div class="line"><a name="l00219"></a><span class="lineno">  219</span>&#160;    <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> numOfBB_3Succ = 0;</div>
+<div class="line"><a name="l00218"></a><span class="lineno">  218</span>&#160;    <a class="code" href="CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da">u32_t</a> numOfBB_2Succ = 0;</div>
+<div class="line"><a name="l00219"></a><span class="lineno">  219</span>&#160;    <a class="code" href="CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da">u32_t</a> numOfBB_3Succ = 0;</div>
 <div class="line"><a name="l00220"></a><span class="lineno">  220</span>&#160;    <span class="keywordflow">for</span> (<a class="code" href="classSVF_1_1SVFModule.html#afcf2978f32e15127fb093405dc17d7f1">SVFModule::const_iterator</a> funIter = module-&gt;<a class="code" href="classSVF_1_1SVFModule.html#a5486697889c6cca4f9f426650defc255">begin</a>(), funEiter = module-&gt;<a class="code" href="classSVF_1_1SVFModule.html#a58d03edb6ff85f4943135478f113df31">end</a>();</div>
 <div class="line"><a name="l00221"></a><span class="lineno">  221</span>&#160;            funIter != funEiter; ++funIter)</div>
 <div class="line"><a name="l00222"></a><span class="lineno">  222</span>&#160;    {</div>
@@ -323,7 +324,7 @@ Private Attributes</h2></td></tr>
 <div class="line"><a name="l00225"></a><span class="lineno">  225</span>&#160;                bbIt != bbEit; ++bbIt)</div>
 <div class="line"><a name="l00226"></a><span class="lineno">  226</span>&#160;        {</div>
 <div class="line"><a name="l00227"></a><span class="lineno">  227</span>&#160;            <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a>* bb = *bbIt;</div>
-<div class="line"><a name="l00228"></a><span class="lineno">  228</span>&#160;            <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> numOfSucc = bb-&gt;<a class="code" href="classSVF_1_1SVFBasicBlock.html#aebc0d1aa674dec207a99c7fc148c9c36">getNumSuccessors</a>();</div>
+<div class="line"><a name="l00228"></a><span class="lineno">  228</span>&#160;            <a class="code" href="CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da">u32_t</a> numOfSucc = bb-&gt;<a class="code" href="classSVF_1_1SVFBasicBlock.html#aebc0d1aa674dec207a99c7fc148c9c36">getNumSuccessors</a>();</div>
 <div class="line"><a name="l00229"></a><span class="lineno">  229</span>&#160;            <span class="keywordflow">if</span> (numOfSucc == 2)</div>
 <div class="line"><a name="l00230"></a><span class="lineno">  230</span>&#160;                numOfBB_2Succ++;</div>
 <div class="line"><a name="l00231"></a><span class="lineno">  231</span>&#160;            <span class="keywordflow">else</span> <span class="keywordflow">if</span> (numOfSucc &gt; 2)</div>
@@ -467,7 +468,7 @@ Private Attributes</h2></td></tr>
 </div><div class="memdoc">
 <p><a class="el" href="namespaceSVF.html" title="for isBitcode">SVF</a>'s general statistics are only printed once even if you run multiple anayses</p>
 
-<p>Implemented in <a class="el" href="classSVF_1_1SVFGStat.html#a037600bfff11659542f8595d8700dec4">SVF::SVFGStat</a>, <a class="el" href="classSVF_1_1MemSSAStat.html#a8b4b9466a676d2391c71d38e8be16bc9">SVF::MemSSAStat</a>, <a class="el" href="classSVF_1_1DDAStat.html#a6055573ae1844cfc559ff81b3b9c325c">SVF::DDAStat</a>, <a class="el" href="classSVF_1_1PTAStat.html#ad6de9d3f25c20705768000c987af0eb6">SVF::PTAStat</a>, <a class="el" href="classSVF_1_1VersionedFlowSensitiveStat.html#af202623692135ad746aed1be995c55fb">SVF::VersionedFlowSensitiveStat</a>, <a class="el" href="classSVF_1_1FlowSensitiveStat.html#a059047d05e9873a624e333162a460571">SVF::FlowSensitiveStat</a>, <a class="el" href="classSVF_1_1ICFGStat.html#aabe0779dc44ddc4e06300ea912cca39f">SVF::ICFGStat</a>, <a class="el" href="classSVF_1_1AndersenStat.html#a66fee1c0ee5781152a2d489f8857ad43">SVF::AndersenStat</a>, and <a class="el" href="classSVF_1_1CFLStat.html#a1d85a7c4b2c22d3d8e0115212362d83b">SVF::CFLStat</a>.</p>
+<p>Implemented in <a class="el" href="classSVF_1_1SVFGStat.html#a037600bfff11659542f8595d8700dec4">SVF::SVFGStat</a>, <a class="el" href="classSVF_1_1MemSSAStat.html#a8b4b9466a676d2391c71d38e8be16bc9">SVF::MemSSAStat</a>, <a class="el" href="classSVF_1_1DDAStat.html#a6055573ae1844cfc559ff81b3b9c325c">SVF::DDAStat</a>, <a class="el" href="classSVF_1_1AEStat.html#a798d07cc0a36ce0d9010ab86d1ec216f">SVF::AEStat</a>, <a class="el" href="classSVF_1_1PTAStat.html#ad6de9d3f25c20705768000c987af0eb6">SVF::PTAStat</a>, <a class="el" href="classSVF_1_1VersionedFlowSensitiveStat.html#af202623692135ad746aed1be995c55fb">SVF::VersionedFlowSensitiveStat</a>, <a class="el" href="classSVF_1_1FlowSensitiveStat.html#a059047d05e9873a624e333162a460571">SVF::FlowSensitiveStat</a>, <a class="el" href="classSVF_1_1ICFGStat.html#aabe0779dc44ddc4e06300ea912cca39f">SVF::ICFGStat</a>, <a class="el" href="classSVF_1_1AndersenStat.html#a66fee1c0ee5781152a2d489f8857ad43">SVF::AndersenStat</a>, and <a class="el" href="classSVF_1_1CFLStat.html#a1d85a7c4b2c22d3d8e0115212362d83b">SVF::CFLStat</a>.</p>
 
 <p class="definition">Definition at line <a class="el" href="SVFStat_8cpp_source.html#l00109">109</a> of file <a class="el" href="SVFStat_8cpp_source.html">SVFStat.cpp</a>.</p>
 <div class="fragment"><div class="line"><a name="l00110"></a><span class="lineno">  110</span>&#160;{</div>
@@ -476,18 +477,18 @@ Private Attributes</h2></td></tr>
 <div class="line"><a name="l00114"></a><span class="lineno">  114</span>&#160;        <span class="keywordflow">return</span>;</div>
 <div class="line"><a name="l00115"></a><span class="lineno">  115</span>&#160; </div>
 <div class="line"><a name="l00116"></a><span class="lineno">  116</span>&#160;    <a class="code" href="classSVF_1_1SVFIR.html">SVFIR</a>* pag = <a class="code" href="classSVF_1_1SVFIR.html#a37cfa2aa4e7b98ef9dc8179f581a2362">SVFIR::getPAG</a>();</div>
-<div class="line"><a name="l00117"></a><span class="lineno">  117</span>&#160;    <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> numOfFunction = 0;</div>
-<div class="line"><a name="l00118"></a><span class="lineno">  118</span>&#160;    <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> numOfGlobal = 0;</div>
-<div class="line"><a name="l00119"></a><span class="lineno">  119</span>&#160;    <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> numOfStack = 0;</div>
-<div class="line"><a name="l00120"></a><span class="lineno">  120</span>&#160;    <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> numOfHeap = 0;</div>
-<div class="line"><a name="l00121"></a><span class="lineno">  121</span>&#160;    <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> numOfHasVarArray = 0;</div>
-<div class="line"><a name="l00122"></a><span class="lineno">  122</span>&#160;    <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> numOfHasVarStruct = 0;</div>
-<div class="line"><a name="l00123"></a><span class="lineno">  123</span>&#160;    <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> numOfHasConstArray = 0;</div>
-<div class="line"><a name="l00124"></a><span class="lineno">  124</span>&#160;    <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> numOfHasConstStruct = 0;</div>
-<div class="line"><a name="l00125"></a><span class="lineno">  125</span>&#160;    <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> numOfScalar = 0;</div>
-<div class="line"><a name="l00126"></a><span class="lineno">  126</span>&#160;    <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> numOfConstant = 0;</div>
-<div class="line"><a name="l00127"></a><span class="lineno">  127</span>&#160;    <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> fiObjNumber = 0;</div>
-<div class="line"><a name="l00128"></a><span class="lineno">  128</span>&#160;    <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> fsObjNumber = 0;</div>
+<div class="line"><a name="l00117"></a><span class="lineno">  117</span>&#160;    <a class="code" href="CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da">u32_t</a> numOfFunction = 0;</div>
+<div class="line"><a name="l00118"></a><span class="lineno">  118</span>&#160;    <a class="code" href="CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da">u32_t</a> numOfGlobal = 0;</div>
+<div class="line"><a name="l00119"></a><span class="lineno">  119</span>&#160;    <a class="code" href="CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da">u32_t</a> numOfStack = 0;</div>
+<div class="line"><a name="l00120"></a><span class="lineno">  120</span>&#160;    <a class="code" href="CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da">u32_t</a> numOfHeap = 0;</div>
+<div class="line"><a name="l00121"></a><span class="lineno">  121</span>&#160;    <a class="code" href="CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da">u32_t</a> numOfHasVarArray = 0;</div>
+<div class="line"><a name="l00122"></a><span class="lineno">  122</span>&#160;    <a class="code" href="CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da">u32_t</a> numOfHasVarStruct = 0;</div>
+<div class="line"><a name="l00123"></a><span class="lineno">  123</span>&#160;    <a class="code" href="CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da">u32_t</a> numOfHasConstArray = 0;</div>
+<div class="line"><a name="l00124"></a><span class="lineno">  124</span>&#160;    <a class="code" href="CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da">u32_t</a> numOfHasConstStruct = 0;</div>
+<div class="line"><a name="l00125"></a><span class="lineno">  125</span>&#160;    <a class="code" href="CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da">u32_t</a> numOfScalar = 0;</div>
+<div class="line"><a name="l00126"></a><span class="lineno">  126</span>&#160;    <a class="code" href="CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da">u32_t</a> numOfConstant = 0;</div>
+<div class="line"><a name="l00127"></a><span class="lineno">  127</span>&#160;    <a class="code" href="CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da">u32_t</a> fiObjNumber = 0;</div>
+<div class="line"><a name="l00128"></a><span class="lineno">  128</span>&#160;    <a class="code" href="CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da">u32_t</a> fsObjNumber = 0;</div>
 <div class="line"><a name="l00129"></a><span class="lineno">  129</span>&#160;    <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set&lt;SymID&gt;</a> memObjSet;</div>
 <div class="line"><a name="l00130"></a><span class="lineno">  130</span>&#160;    <span class="keywordflow">for</span>(<a class="code" href="classSVF_1_1GenericGraph.html#ac213302cf5c7cdf3b66f7b18649d0fbc">SVFIR::iterator</a> it = pag-&gt;<a class="code" href="classSVF_1_1GenericGraph.html#a0d9744b1b0e7a09a6f7af29188e243b7">begin</a>(), eit = pag-&gt;<a class="code" href="classSVF_1_1GenericGraph.html#a4bef15157423cef48dc7333a803cd27d">end</a>(); it!=eit; ++it)</div>
 <div class="line"><a name="l00131"></a><span class="lineno">  131</span>&#160;    {</div>
@@ -959,11 +960,12 @@ Private Attributes</h2></td></tr>
 <div class="ttc" id="aclassSVF_1_1SVFStat_html_a218fc579a41983cad3f17f90e656ee72"><div class="ttname"><a href="classSVF_1_1SVFStat.html#a218fc579a41983cad3f17f90e656ee72">SVF::SVFStat::printGeneralStats</a></div><div class="ttdeci">static bool printGeneralStats</div><div class="ttdoc">SVF's general statistics are only printed once even if you run multiple anayses.</div><div class="ttdef"><b>Definition:</b> <a href="SVFStat_8h_source.html#l00074">SVFStat.h:74</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MemObj_html_a41d85883d44ad77832b020455951c6fc"><div class="ttname"><a href="classSVF_1_1MemObj.html#a41d85883d44ad77832b020455951c6fc">SVF::MemObj::isFieldInsensitive</a></div><div class="ttdeci">bool isFieldInsensitive() const</div><div class="ttdoc">Return true if its field limit is 0.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00435">SymbolTableInfo.cpp:435</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIR_html_a2d2131128ceb3362b5dc89317cfd88a0"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a2d2131128ceb3362b5dc89317cfd88a0">SVF::SVFIR::getIndirectCallsites</a></div><div class="ttdeci">const CallSiteToFunPtrMap &amp; getIndirectCallsites() const</div><div class="ttdoc">Add/get indirect callsites.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00337">SVFIR.h:337</a></div></div>
+<div class="ttc" id="aCommandLine_8h_html_a2429346d37bd4c40889bd7c6d319d9da"><div class="ttname"><a href="CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da">u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="CommandLine_8h_source.html#l00018">CommandLine.h:18</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericGraph_html_a4bef15157423cef48dc7333a803cd27d"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a4bef15157423cef48dc7333a803cd27d">SVF::GenericGraph::end</a></div><div class="ttdeci">iterator end()</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00384">GenericGraph.h:384</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9a97ca16eba4c5f92e16388f0cdbcfcc00"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a97ca16eba4c5f92e16388f0cdbcfcc00">SVF::SVFStmt::Call</a></div><div class="ttdeci">@ Call</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00067">SVFStatements.h:67</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9a0a9a0f650e864e89b7cbb3dc8c8aa197"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a0a9a0f650e864e89b7cbb3dc8c8aa197">SVF::SVFStmt::Addr</a></div><div class="ttdeci">@ Addr</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00063">SVFStatements.h:63</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFStat_html_abd7a79d1fe50110a0c1d448027492669"><div class="ttname"><a href="classSVF_1_1SVFStat.html#abd7a79d1fe50110a0c1d448027492669">SVF::SVFStat::startTime</a></div><div class="ttdeci">double startTime</div><div class="ttdef"><b>Definition:</b> <a href="SVFStat_8h_source.html#l00080">SVFStat.h:80</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00097">SVFType.h:97</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00092">GeneralType.h:92</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ObjVar_html"><div class="ttname"><a href="classSVF_1_1ObjVar.html">SVF::ObjVar</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00315">SVFVariables.h:315</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MemObj_html_ad1966c52f95775ac7d65c0ba6632c3cf"><div class="ttname"><a href="classSVF_1_1MemObj.html#ad1966c52f95775ac7d65c0ba6632c3cf">SVF::MemObj::isVarStruct</a></div><div class="ttdeci">bool isVarStruct() const</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00481">SymbolTableInfo.cpp:481</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIR_html_a3bbaafd80dfcae6ccc82c3d8b9d303ea"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a3bbaafd80dfcae6ccc82c3d8b9d303ea">SVF::SVFIR::getFieldObjNodeNum</a></div><div class="ttdeci">u32_t getFieldObjNodeNum() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00325">SVFIR.h:325</a></div></div>
@@ -1000,7 +1002,7 @@ Private Attributes</h2></td></tr>
 <div class="ttc" id="aclassSVF_1_1SVFModule_html_a5486697889c6cca4f9f426650defc255"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a5486697889c6cca4f9f426650defc255">SVF::SVFModule::begin</a></div><div class="ttdeci">iterator begin()</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00133">SVFModule.h:133</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#l00080">SymbolTableInfo.cpp:80</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFModule_html_afcf2978f32e15127fb093405dc17d7f1"><div class="ttname"><a href="classSVF_1_1SVFModule.html#afcf2978f32e15127fb093405dc17d7f1">SVF::SVFModule::const_iterator</a></div><div class="ttdeci">FunctionSetType::const_iterator const_iterator</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00054">SVFModule.h:54</a></div></div>
-<div class="ttc" id="aSVFType_8h_html_af091e361d7961cb895ff2101eceed953"><div class="ttname"><a href="SVFType_8h.html#af091e361d7961cb895ff2101eceed953">CLOCK_IN_MS</a></div><div class="ttdeci">#define CLOCK_IN_MS()</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00599">SVFType.h:599</a></div></div>
+<div class="ttc" id="aSVFType_8h_html_af091e361d7961cb895ff2101eceed953"><div class="ttname"><a href="SVFType_8h.html#af091e361d7961cb895ff2101eceed953">CLOCK_IN_MS</a></div><div class="ttdeci">#define CLOCK_IN_MS()</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00513">SVFType.h:513</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIR_html_ad6e18f520f6b559f2304002792f6b701"><div class="ttname"><a href="classSVF_1_1SVFIR.html#ad6e18f520f6b559f2304002792f6b701">SVF::SVFIR::getModule</a></div><div class="ttdeci">SVFModule * getModule()</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00160">SVFIR.h:160</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MemObj_html_af7316c697eafc71d5fc93108da4e2cee"><div class="ttname"><a href="classSVF_1_1MemObj.html#af7316c697eafc71d5fc93108da4e2cee">SVF::MemObj::isStack</a></div><div class="ttdeci">bool isStack() const</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00461">SymbolTableInfo.cpp:461</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericGraph_html_a0d9744b1b0e7a09a6f7af29188e243b7"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a0d9744b1b0e7a09a6f7af29188e243b7">SVF::GenericGraph::begin</a></div><div class="ttdeci">iterator begin()</div><div class="ttdoc">Iterators.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00380">GenericGraph.h:380</a></div></div>
@@ -1020,14 +1022,13 @@ Private Attributes</h2></td></tr>
 <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a2f274c3af098ae6a5919246b1b88e7b7"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a2f274c3af098ae6a5919246b1b88e7b7">SVF::SVFFunction::end</a></div><div class="ttdeci">const_iterator end() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00441">SVFValue.h:441</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MemObj_html_ae1d14e2bf0be36cdadebf119822f607b"><div class="ttname"><a href="classSVF_1_1MemObj.html#ae1d14e2bf0be36cdadebf119822f607b">SVF::MemObj::isFunction</a></div><div class="ttdeci">bool isFunction() const</div><div class="ttdoc">object attributes methods</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00446">SymbolTableInfo.cpp:446</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9aa0f700b514c431ec5329aec49df56dcc"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9aa0f700b514c431ec5329aec49df56dcc">SVF::SVFStmt::Store</a></div><div class="ttdeci">@ Store</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00065">SVFStatements.h:65</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#l00335">SVFType.h:335</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#l00249">SVFType.h:249</a></div></div>
 <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_ae18227f257c9881541b84ca186680dfd"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#ae18227f257c9881541b84ca186680dfd">SVF::SVFUtil::split</a></div><div class="ttdeci">std::vector&lt; std::string &gt; split(const std::string &amp;s, char separator)</div><div class="ttdoc">Split into two substrings around the first occurrence of a separator string.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00218">SVFUtil.h:218</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFStat_html_a4f47da512cfa8f94fddaddc65334b454a4daec28631d54e09b587e78707ab54fc"><div class="ttname"><a href="classSVF_1_1SVFStat.html#a4f47da512cfa8f94fddaddc65334b454a4daec28631d54e09b587e78707ab54fc">SVF::SVFStat::Wall</a></div><div class="ttdeci">@ Wall</div><div class="ttdef"><b>Definition:</b> <a href="SVFStat_8h_source.html#l00050">SVFStat.h:50</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_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9a20d960c19118d1ed319e0dbea94405e8"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a20d960c19118d1ed319e0dbea94405e8">SVF::SVFStmt::Gep</a></div><div class="ttdeci">@ Gep</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00069">SVFStatements.h:69</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9a62ac8480c43fcc657c631ec0003b15d5"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a62ac8480c43fcc657c631ec0003b15d5">SVF::SVFStmt::Load</a></div><div class="ttdeci">@ Load</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00066">SVFStatements.h:66</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_abcb6796d45722562546f33b2745a0418"><div class="ttname"><a href="classSVF_1_1Options.html#abcb6796d45722562546f33b2745a0418">SVF::Options::MarkedClocksOnly</a></div><div class="ttdeci">static const Option&lt; bool &gt; MarkedClocksOnly</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00031">Options.h:31</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00051">SVFType.h:51</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_abc7e567209010286a68634c700d76cca"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#abc7e567209010286a68634c700d76cca">SVF::SymbolTableInfo::getMaxStructSize</a></div><div class="ttdeci">u32_t getMaxStructSize() const</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00252">SymbolTableInfo.h:252</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MemObj_html_a019a77516c403f1f3cc72917b810a41f"><div class="ttname"><a href="classSVF_1_1MemObj.html#a019a77516c403f1f3cc72917b810a41f">SVF::MemObj::isConstantStruct</a></div><div class="ttdeci">bool isConstantStruct() const</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00491">SymbolTableInfo.cpp:491</a></div></div>
 <!-- start footer part -->

package/SVF-doxygen/html/classSVF_1_1SVFStmt.html

@@ -1469,7 +1469,7 @@ Additional Inherited Members</h2></td></tr>
 <div class="ttc" id="anamespaceSVF_html_ab502ff5e204678640c1081d104f60971"><div class="ttname"><a href="namespaceSVF.html#ab502ff5e204678640c1081d104f60971">SVF::GenericPAGEdgeTy</a></div><div class="ttdeci">GenericEdge&lt; SVFVar &gt; GenericPAGEdgeTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00045">SVFStatements.h:45</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9ad2a5e6fe0f2b5fefb53abb9e91c57688"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad2a5e6fe0f2b5fefb53abb9e91c57688">SVF::SVFStmt::UnaryOp</a></div><div class="ttdeci">@ UnaryOp</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00074">SVFStatements.h:74</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFStmt_html_a24227d7f1dd472f47bf94cb5db8505c4"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a24227d7f1dd472f47bf94cb5db8505c4">SVF::SVFStmt::callEdgeLabelCounter</a></div><div class="ttdeci">static u64_t callEdgeLabelCounter</div><div class="ttdoc">Call site Instruction counter.</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00227">SVFStatements.h:227</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a366625858f450a1ea5f985a3c83e0f14"><div class="ttname"><a href="namespaceSVF.html#a366625858f450a1ea5f985a3c83e0f14">SVF::u64_t</a></div><div class="ttdeci">unsigned long long u64_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00053">SVFType.h:53</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a366625858f450a1ea5f985a3c83e0f14"><div class="ttname"><a href="namespaceSVF.html#a366625858f450a1ea5f985a3c83e0f14">SVF::u64_t</a></div><div class="ttdeci">unsigned long long u64_t</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00048">GeneralType.h:48</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFStmt_html_a9ea22adbfc307dddee42ffec07cc88ed"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a9ea22adbfc307dddee42ffec07cc88ed">SVF::SVFStmt::multiOpndLabelCounter</a></div><div class="ttdeci">static u64_t multiOpndLabelCounter</div><div class="ttdoc">MultiOpndStmt counter.</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00229">SVFStatements.h:229</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericEdge_html_ad9edb45e74ae675d9da82f5acf02d56e"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#ad9edb45e74ae675d9da82f5acf02d56e">SVF::GenericEdge::getDstID</a></div><div class="ttdeci">NodeID getDstID() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00085">GenericGraph.h:85</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFStmt_html_a53b7e0d8666e37c23dc2c7d0fc931f27"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a53b7e0d8666e37c23dc2c7d0fc931f27">SVF::SVFStmt::storeEdgeLabelCounter</a></div><div class="ttdeci">static u64_t storeEdgeLabelCounter</div><div class="ttdoc">Store Instruction counter.</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00228">SVFStatements.h:228</a></div></div>