svf-tools 1.0.409 → 1.0.412

package/SVF-doxygen/html/html/classSVF_1_1MemObj.html

@@ -78,9 +78,9 @@ Public Member Functions</h2></td></tr>
 <tr class="memitem:afc62b5dbcaf790e561c852f567ca5bd1"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MemObj.html#afc62b5dbcaf790e561c852f567ca5bd1">MemObj</a> (<a class="el" href="namespaceSVF.html#ad11fe2412b2182365a662ff0e4639b48">SymID</a> id, <a class="el" href="classSVF_1_1ObjTypeInfo.html">ObjTypeInfo</a> *ti, const <a class="el" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a> *val=nullptr)</td></tr>
 <tr class="memdesc:afc62b5dbcaf790e561c852f567ca5bd1"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructor.  <a href="#afc62b5dbcaf790e561c852f567ca5bd1">More...</a><br /></td></tr>
 <tr class="separator:afc62b5dbcaf790e561c852f567ca5bd1"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ad56f353dde7462dd54297e1b51e6eb05"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MemObj.html#ad56f353dde7462dd54297e1b51e6eb05">~MemObj</a> ()</td></tr>
-<tr class="memdesc:ad56f353dde7462dd54297e1b51e6eb05"><td class="mdescLeft">&#160;</td><td class="mdescRight">Destructor.  <a href="#ad56f353dde7462dd54297e1b51e6eb05">More...</a><br /></td></tr>
-<tr class="separator:ad56f353dde7462dd54297e1b51e6eb05"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a972e94158a18720642b1876fef5056cf"><td class="memItemLeft" align="right" valign="top">virtual&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MemObj.html#a972e94158a18720642b1876fef5056cf">~MemObj</a> ()</td></tr>
+<tr class="memdesc:a972e94158a18720642b1876fef5056cf"><td class="mdescLeft">&#160;</td><td class="mdescRight">Destructor.  <a href="#a972e94158a18720642b1876fef5056cf">More...</a><br /></td></tr>
+<tr class="separator:a972e94158a18720642b1876fef5056cf"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a614b26f4a3db926055a576b13842c1d7"><td class="memItemLeft" align="right" valign="top">virtual const std::string&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MemObj.html#a614b26f4a3db926055a576b13842c1d7">toString</a> () const</td></tr>
 <tr class="separator:a614b26f4a3db926055a576b13842c1d7"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a4da54ef60231d2e6c26669226b99d2f3"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MemObj.html#a4da54ef60231d2e6c26669226b99d2f3">getValue</a> () const</td></tr>
@@ -202,14 +202,14 @@ Private Attributes</h2></td></tr>
 <p>Constructor of a memory object </p>
 
 <p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8cpp_source.html#l00633">633</a> of file <a class="el" href="SymbolTableInfo_8cpp_source.html">SymbolTableInfo.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00633"></a><span class="lineno">  633</span>&#160;                                                          :</div><div class="line"><a name="l00634"></a><span class="lineno">  634</span>&#160;    <a class="code" href="classSVF_1_1MemObj.html#a37f4e34b7f7dd6bfd4379cf3552e9046">symId</a>(<span class="keywordtype">id</span>), <a class="code" href="classSVF_1_1MemObj.html#a011f324448f2796acaff6d2e388582e9">refVal</a>(val), <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>(ti)</div><div class="line"><a name="l00635"></a><span class="lineno">  635</span>&#160;{</div><div class="line"><a name="l00636"></a><span class="lineno">  636</span>&#160;}</div><div class="ttc" id="classSVF_1_1MemObj_html_a750770ea992d39b22c8b2dda9aff2eaf"><div class="ttname"><a href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">SVF::MemObj::typeInfo</a></div><div class="ttdeci">ObjTypeInfo * typeInfo</div><div class="ttdoc">Type information of this object. </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00409">SymbolTableInfo.h:409</a></div></div>
+<div class="fragment"><div class="line"><a name="l00633"></a><span class="lineno">  633</span>&#160;                                                          :</div><div class="line"><a name="l00634"></a><span class="lineno">  634</span>&#160;    <a class="code" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a>(ti), <a class="code" href="classSVF_1_1MemObj.html#a011f324448f2796acaff6d2e388582e9">refVal</a>(val), <a class="code" href="classSVF_1_1MemObj.html#a37f4e34b7f7dd6bfd4379cf3552e9046">symId</a>(<span class="keywordtype">id</span>)</div><div class="line"><a name="l00635"></a><span class="lineno">  635</span>&#160;{</div><div class="line"><a name="l00636"></a><span class="lineno">  636</span>&#160;}</div><div class="ttc" id="classSVF_1_1MemObj_html_a750770ea992d39b22c8b2dda9aff2eaf"><div class="ttname"><a href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">SVF::MemObj::typeInfo</a></div><div class="ttdeci">ObjTypeInfo * typeInfo</div><div class="ttdoc">Type information of this object. </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00409">SymbolTableInfo.h:409</a></div></div>
 <div class="ttc" id="classSVF_1_1MemObj_html_a37f4e34b7f7dd6bfd4379cf3552e9046"><div class="ttname"><a href="classSVF_1_1MemObj.html#a37f4e34b7f7dd6bfd4379cf3552e9046">SVF::MemObj::symId</a></div><div class="ttdeci">SymID symId</div><div class="ttdoc">The unique id to represent this symbol. </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00413">SymbolTableInfo.h:413</a></div></div>
 <div class="ttc" id="classSVF_1_1MemObj_html_a011f324448f2796acaff6d2e388582e9"><div class="ttname"><a href="classSVF_1_1MemObj.html#a011f324448f2796acaff6d2e388582e9">SVF::MemObj::refVal</a></div><div class="ttdeci">const Value * refVal</div><div class="ttdoc">The unique value of this symbol/variable. </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00411">SymbolTableInfo.h:411</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
-<a id="ad56f353dde7462dd54297e1b51e6eb05"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#ad56f353dde7462dd54297e1b51e6eb05">&#9670;&nbsp;</a></span>~MemObj()</h2>
+<a id="a972e94158a18720642b1876fef5056cf"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a972e94158a18720642b1876fef5056cf">&#9670;&nbsp;</a></span>~MemObj()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -218,7 +218,7 @@ Private Attributes</h2></td></tr>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">SVF::MemObj::~MemObj </td>
+          <td class="memname">virtual SVF::MemObj::~MemObj </td>
           <td>(</td>
           <td class="paramname"></td><td>)</td>
           <td></td>
@@ -226,7 +226,7 @@ Private Attributes</h2></td></tr>
       </table>
   </td>
   <td class="mlabels-right">
-<span class="mlabels"><span class="mlabel">inline</span></span>  </td>
+<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">virtual</span></span>  </td>
   </tr>
 </table>
 </div><div class="memdoc">

package/SVF-doxygen/html/html/classSVF_1_1MemSSA.html

@@ -2777,10 +2777,10 @@ Private Attributes</h2></td></tr>
 <p>Perform statistics </p>
 
 <p class="definition">Definition at line <a class="el" href="MemSSA_8cpp_source.html#l00468">468</a> of file <a class="el" href="MemSSA_8cpp_source.html">MemSSA.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00469"></a><span class="lineno">  469</span>&#160;{</div><div class="line"><a name="l00470"></a><span class="lineno">  470</span>&#160;    <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1MemSSA.html#a468e1481926df6865678b7232bb79bf3">pta</a>-&gt;<a class="code" href="classSVF_1_1PointerAnalysis.html#a4880571f57542afc50da506dfe273183">printStat</a>())</div><div class="line"><a name="l00471"></a><span class="lineno">  471</span>&#160;        <a class="code" href="classSVF_1_1MemSSA.html#a4fc930040ec54eb60629da18fb6a4d04">stat</a>-&gt;<a class="code" href="classSVF_1_1MemSSAStat.html#abf3825b642cf115259ea21e5f7e28878">performStat</a>();</div><div class="line"><a name="l00472"></a><span class="lineno">  472</span>&#160;}</div><div class="ttc" id="classSVF_1_1MemSSA_html_a4fc930040ec54eb60629da18fb6a4d04"><div class="ttname"><a href="classSVF_1_1MemSSA.html#a4fc930040ec54eb60629da18fb6a4d04">SVF::MemSSA::stat</a></div><div class="ttdeci">MemSSAStat * stat</div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8h_source.html#l00119">MemSSA.h:119</a></div></div>
-<div class="ttc" id="classSVF_1_1PointerAnalysis_html_a4880571f57542afc50da506dfe273183"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a4880571f57542afc50da506dfe273183">SVF::PointerAnalysis::printStat</a></div><div class="ttdeci">bool printStat()</div><div class="ttdoc">Whether print statistics. </div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00375">PointerAnalysis.h:375</a></div></div>
+<div class="fragment"><div class="line"><a name="l00469"></a><span class="lineno">  469</span>&#160;{</div><div class="line"><a name="l00470"></a><span class="lineno">  470</span>&#160;    <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1MemSSA.html#a468e1481926df6865678b7232bb79bf3">pta</a>-&gt;<a class="code" href="classSVF_1_1PointerAnalysis.html#a4880571f57542afc50da506dfe273183">printStat</a>())</div><div class="line"><a name="l00471"></a><span class="lineno">  471</span>&#160;        <a class="code" href="classSVF_1_1MemSSA.html#a4fc930040ec54eb60629da18fb6a4d04">stat</a>-&gt;<a class="code" href="classSVF_1_1MemSSAStat.html#a8b4b9466a676d2391c71d38e8be16bc9">performStat</a>();</div><div class="line"><a name="l00472"></a><span class="lineno">  472</span>&#160;}</div><div class="ttc" id="classSVF_1_1MemSSAStat_html_a8b4b9466a676d2391c71d38e8be16bc9"><div class="ttname"><a href="classSVF_1_1MemSSAStat.html#a8b4b9466a676d2391c71d38e8be16bc9">SVF::MemSSAStat::performStat</a></div><div class="ttdeci">virtual void performStat() override</div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8cpp_source.html#l00073">SVFGStat.cpp:73</a></div></div>
+<div class="ttc" id="classSVF_1_1MemSSA_html_a4fc930040ec54eb60629da18fb6a4d04"><div class="ttname"><a href="classSVF_1_1MemSSA.html#a4fc930040ec54eb60629da18fb6a4d04">SVF::MemSSA::stat</a></div><div class="ttdeci">MemSSAStat * stat</div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8h_source.html#l00119">MemSSA.h:119</a></div></div>
+<div class="ttc" id="classSVF_1_1PointerAnalysis_html_a4880571f57542afc50da506dfe273183"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a4880571f57542afc50da506dfe273183">SVF::PointerAnalysis::printStat</a></div><div class="ttdeci">bool printStat()</div><div class="ttdoc">Whether print statistics. </div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00370">PointerAnalysis.h:370</a></div></div>
 <div class="ttc" id="classSVF_1_1MemSSA_html_a468e1481926df6865678b7232bb79bf3"><div class="ttname"><a href="classSVF_1_1MemSSA.html#a468e1481926df6865678b7232bb79bf3">SVF::MemSSA::pta</a></div><div class="ttdeci">BVDataPTAImpl * pta</div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8h_source.html#l00115">MemSSA.h:115</a></div></div>
-<div class="ttc" id="classSVF_1_1MemSSAStat_html_abf3825b642cf115259ea21e5f7e28878"><div class="ttname"><a href="classSVF_1_1MemSSAStat.html#abf3825b642cf115259ea21e5f7e28878">SVF::MemSSAStat::performStat</a></div><div class="ttdeci">virtual void performStat()</div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8cpp_source.html#l00073">SVFGStat.cpp:73</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>

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

@@ -140,9 +140,9 @@ $(function() {
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MemSSAStat.html#a3bc14307bd0f986cbd8ba5970f1abf0f">NumOfStoreHasChi</a></td><td class="entry"><a class="el" href="classSVF_1_1MemSSAStat.html">SVF::MemSSAStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#a656ad9980ff05af396ed6754c50916e7">NumOfStores</a></td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#a7e8f9f9c1662822f3f8bd016db84e1e6">NUMStatMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1MemSSAStat.html#abf3825b642cf115259ea21e5f7e28878">performStat</a>()</td><td class="entry"><a class="el" href="classSVF_1_1MemSSAStat.html">SVF::MemSSAStat</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1MemSSAStat.html#a8b4b9466a676d2391c71d38e8be16bc9">performStat</a>() override</td><td class="entry"><a class="el" href="classSVF_1_1MemSSAStat.html">SVF::MemSSAStat</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#adef061d4454a1b1fb46efa4013d9a956">performStatPerQuery</a>(NodeID)</td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</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_1MemSSAStat.html#a6d57200d65d86cf575ede71bd5be7a29">printStat</a>()</td><td class="entry"><a class="el" href="classSVF_1_1MemSSAStat.html">SVF::MemSSAStat</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1MemSSAStat.html#ad5fbe23c3374e5b3a45ac5fa4900441a">printStat</a>(std::string str=&quot;&quot;) override</td><td class="entry"><a class="el" href="classSVF_1_1MemSSAStat.html">SVF::MemSSAStat</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#aa5f455bfa79743b8e263431593d29bbf">SVF::PTAStat::printStat</a>(string str=&quot;&quot;)</td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#a7ce0630cfe41448bec002f03a176175d">printStatPerQuery</a>(NodeID, const PointsTo &amp;)</td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</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_1PTAStat.html#a95a0a7861731072baeaf75354531875f">ProcessCopyGepTime</a></td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>

package/SVF-doxygen/html/html/classSVF_1_1MemSSAStat.html

@@ -89,10 +89,10 @@ Public Member Functions</h2></td></tr>
 <tr class="separator:a53f3d85a8eb63676d3dc47ee648efb66"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a7fa4428b4ec4d82de7ed4c8c4984bd86"><td class="memItemLeft" align="right" valign="top">virtual&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MemSSAStat.html#a7fa4428b4ec4d82de7ed4c8c4984bd86">~MemSSAStat</a> ()</td></tr>
 <tr class="separator:a7fa4428b4ec4d82de7ed4c8c4984bd86"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:abf3825b642cf115259ea21e5f7e28878"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MemSSAStat.html#abf3825b642cf115259ea21e5f7e28878">performStat</a> ()</td></tr>
-<tr class="separator:abf3825b642cf115259ea21e5f7e28878"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a6d57200d65d86cf575ede71bd5be7a29"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MemSSAStat.html#a6d57200d65d86cf575ede71bd5be7a29">printStat</a> ()</td></tr>
-<tr class="separator:a6d57200d65d86cf575ede71bd5be7a29"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a8b4b9466a676d2391c71d38e8be16bc9"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MemSSAStat.html#a8b4b9466a676d2391c71d38e8be16bc9">performStat</a> () override</td></tr>
+<tr class="separator:a8b4b9466a676d2391c71d38e8be16bc9"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ad5fbe23c3374e5b3a45ac5fa4900441a"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MemSSAStat.html#ad5fbe23c3374e5b3a45ac5fa4900441a">printStat</a> (std::string str=&quot;&quot;) override</td></tr>
+<tr class="separator:ad5fbe23c3374e5b3a45ac5fa4900441a"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="inherit_header pub_methods_classSVF_1_1PTAStat"><td colspan="2" onclick="javascript:toggleInherit('pub_methods_classSVF_1_1PTAStat')"><img src="closed.png" alt="-"/>&#160;Public Member Functions inherited from <a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td></tr>
 <tr class="memitem:ac9b65b591200c16c420fbd26710b448f inherit pub_methods_classSVF_1_1PTAStat"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PTAStat.html#ac9b65b591200c16c420fbd26710b448f">PTAStat</a> (<a class="el" href="classSVF_1_1PointerAnalysis.html">PointerAnalysis</a> *p)</td></tr>
 <tr class="separator:ac9b65b591200c16c420fbd26710b448f inherit pub_methods_classSVF_1_1PTAStat"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -426,8 +426,8 @@ Additional Inherited Members</h2></td></tr>
 </div>
 </div>
 <h2 class="groupheader">Member Function Documentation</h2>
-<a id="abf3825b642cf115259ea21e5f7e28878"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#abf3825b642cf115259ea21e5f7e28878">&#9670;&nbsp;</a></span>performStat()</h2>
+<a id="a8b4b9466a676d2391c71d38e8be16bc9"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a8b4b9466a676d2391c71d38e8be16bc9">&#9670;&nbsp;</a></span>performStat()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -444,7 +444,7 @@ Additional Inherited Members</h2></td></tr>
       </table>
   </td>
   <td class="mlabels-right">
-<span class="mlabels"><span class="mlabel">virtual</span></span>  </td>
+<span class="mlabels"><span class="mlabel">override</span><span class="mlabel">virtual</span></span>  </td>
   </tr>
 </table>
 </div><div class="memdoc">
@@ -453,7 +453,7 @@ Additional Inherited Members</h2></td></tr>
 <p>Reimplemented from <a class="el" href="classSVF_1_1PTAStat.html#acfed70588cf921694db35990ec3c7497">SVF::PTAStat</a>.</p>
 
 <p class="definition">Definition at line <a class="el" href="SVFGStat_8cpp_source.html#l00073">73</a> of file <a class="el" href="SVFGStat_8cpp_source.html">SVFGStat.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00074"></a><span class="lineno">   74</span>&#160;{</div><div class="line"><a name="l00075"></a><span class="lineno">   75</span>&#160;</div><div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;    <a class="code" href="classSVF_1_1PTAStat.html#afe854f7416ea408104721a083ee9fee0">endClk</a>();</div><div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;</div><div class="line"><a name="l00078"></a><span class="lineno">   78</span>&#160;    <a class="code" href="classSVF_1_1MRGenerator.html">MRGenerator</a>* mrGenerator = <a class="code" href="classSVF_1_1MemSSAStat.html#ab29515f4e5b1f090c06a6e39761d3394">mssa</a>-&gt;<a class="code" href="classSVF_1_1MemSSA.html#ab2dfdcf6fb50ba6cacad1254350a5b09">getMRGenerator</a>();</div><div class="line"><a name="l00079"></a><span class="lineno">   79</span>&#160;    <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> regionNumber = mrGenerator-&gt;<a class="code" href="classSVF_1_1MRGenerator.html#aff53860ef2b0effb9250dc7348640085">getMRNum</a>();</div><div class="line"><a name="l00080"></a><span class="lineno">   80</span>&#160;</div><div class="line"><a name="l00081"></a><span class="lineno">   81</span>&#160;    <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> maxRegionSize = 0;</div><div class="line"><a name="l00082"></a><span class="lineno">   82</span>&#160;    <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> totalRegionPtsNum = 0;</div><div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;    <a class="code" href="classSVF_1_1MRGenerator.html#a98ac3bf264e6a85d172c2c4264ea908f">MRGenerator::MRSet</a> &amp; mrSet = mrGenerator-&gt;<a class="code" href="classSVF_1_1MRGenerator.html#a1f69924c587c4e68a029fd4e86cffacf">getMRSet</a>();</div><div class="line"><a name="l00084"></a><span class="lineno">   84</span>&#160;    MRGenerator::MRSet::const_iterator it = mrSet.begin();</div><div class="line"><a name="l00085"></a><span class="lineno">   85</span>&#160;    MRGenerator::MRSet::const_iterator eit = mrSet.end();</div><div class="line"><a name="l00086"></a><span class="lineno">   86</span>&#160;    <span class="keywordflow">for</span> (; it != eit; it++)</div><div class="line"><a name="l00087"></a><span class="lineno">   87</span>&#160;    {</div><div class="line"><a name="l00088"></a><span class="lineno">   88</span>&#160;        <span class="keyword">const</span> <a class="code" href="classSVF_1_1MemRegion.html">MemRegion</a>* region = *it;</div><div class="line"><a name="l00089"></a><span class="lineno">   89</span>&#160;        <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> regionSize = region-&gt;<a class="code" href="classSVF_1_1MemRegion.html#a99f106d47fd67f1ae53e144d72a223c9">getRegionSize</a>();</div><div class="line"><a name="l00090"></a><span class="lineno">   90</span>&#160;        <span class="keywordflow">if</span> (regionSize &gt; maxRegionSize)</div><div class="line"><a name="l00091"></a><span class="lineno">   91</span>&#160;            maxRegionSize = regionSize;</div><div class="line"><a name="l00092"></a><span class="lineno">   92</span>&#160;        totalRegionPtsNum += regionSize;</div><div class="line"><a name="l00093"></a><span class="lineno">   93</span>&#160;    }</div><div class="line"><a name="l00094"></a><span class="lineno">   94</span>&#160;</div><div class="line"><a name="l00095"></a><span class="lineno">   95</span>&#160;    <a class="code" href="classSVF_1_1PTAStat.html#a3724756ac0527ba3d199be32e38c6337">timeStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#a7dd7e6af850b9d724ea580450bfd3afd">TotalTimeOfConstructMemSSA</a>] = (<a class="code" href="classSVF_1_1PTAStat.html#a267ba4aac2e7ceb65f008f9486d3d9f7">endTime</a> - <a class="code" href="classSVF_1_1PTAStat.html#a59e0fe6fa506f1cf319b5acaf9d28be9">startTime</a>)/<a class="code" href="SVFBasicTypes_8h.html#a1aeda3370621dc00e9a0fe8e7aabc736">TIMEINTERVAL</a>;</div><div class="line"><a name="l00096"></a><span class="lineno">   96</span>&#160;    <a class="code" href="classSVF_1_1PTAStat.html#a3724756ac0527ba3d199be32e38c6337">timeStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#a74c36654b7452aa94aa241881f0a83c5">TimeOfGeneratingMemRegions</a>] = <a class="code" href="classSVF_1_1MemSSA.html#a37dca8a7d155de4870358146d219b5e5">MemSSA::timeOfGeneratingMemRegions</a>;</div><div class="line"><a name="l00097"></a><span class="lineno">   97</span>&#160;    <a class="code" href="classSVF_1_1PTAStat.html#a3724756ac0527ba3d199be32e38c6337">timeStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#a48c70f0ed1c7d031a3cd528035162e52">TimeOfCreateMUCHI</a>] =  <a class="code" href="classSVF_1_1MemSSA.html#a4d2418b7df74f23d8fd328f66e29f198">MemSSA::timeOfCreateMUCHI</a>;</div><div class="line"><a name="l00098"></a><span class="lineno">   98</span>&#160;    <a class="code" href="classSVF_1_1PTAStat.html#a3724756ac0527ba3d199be32e38c6337">timeStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#a0c24822c8549af6a96e82312954fab9b">TimeOfInsertingPHI</a>] =  <a class="code" href="classSVF_1_1MemSSA.html#a3c7b5fa73fdc7c805ee3673fbe812b44">MemSSA::timeOfInsertingPHI</a>;</div><div class="line"><a name="l00099"></a><span class="lineno">   99</span>&#160;    <a class="code" href="classSVF_1_1PTAStat.html#a3724756ac0527ba3d199be32e38c6337">timeStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#a887ff23a7ea1a18f08b1744ff30da773">TimeOfSSARenaming</a>] =  <a class="code" href="classSVF_1_1MemSSA.html#a97ccd5e0b9ab6144415e26bdf95cbabd">MemSSA::timeOfSSARenaming</a>;</div><div class="line"><a name="l00100"></a><span class="lineno">  100</span>&#160;</div><div class="line"><a name="l00101"></a><span class="lineno">  101</span>&#160;    <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#acf3732557238de882bf7f34c49bd6cee">NumOfMaxRegion</a>] = maxRegionSize;</div><div class="line"><a name="l00102"></a><span class="lineno">  102</span>&#160;    <a class="code" href="classSVF_1_1PTAStat.html#a3724756ac0527ba3d199be32e38c6337">timeStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#a6e29fa9c935de324441c765e40faa2a5">NumOfAveragePtsInRegion</a>] = (regionNumber == 0) ? 0 : ((<span class="keywordtype">double</span>)totalRegionPtsNum / regionNumber);</div><div class="line"><a name="l00103"></a><span class="lineno">  103</span>&#160;    <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#a95695aa32886776804e192b4c4ddcc1d">NumOfMemRegions</a>] = regionNumber;</div><div class="line"><a name="l00104"></a><span class="lineno">  104</span>&#160;    <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#ad96437d0c28f8088c711a718d2f2730e">NumOfEntryChi</a>] = <a class="code" href="classSVF_1_1MemSSAStat.html#ab29515f4e5b1f090c06a6e39761d3394">mssa</a>-&gt;<a class="code" href="classSVF_1_1MemSSA.html#a15272a4ed019d1c323d1826c1bedb70f">getFunEntryChiNum</a>();</div><div class="line"><a name="l00105"></a><span class="lineno">  105</span>&#160;    <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#a1459465f0a76c09b5dd7d777467ac2e4">NumOfRetMu</a>] = <a class="code" href="classSVF_1_1MemSSAStat.html#ab29515f4e5b1f090c06a6e39761d3394">mssa</a>-&gt;<a class="code" href="classSVF_1_1MemSSA.html#a67175188232e08f5c5374f92ff61810f">getFunRetMuNum</a>();</div><div class="line"><a name="l00106"></a><span class="lineno">  106</span>&#160;    <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#a921a0f4eba4b891ab9b7699ea0d3f91c">NumOfCSChi</a>] = <a class="code" href="classSVF_1_1MemSSAStat.html#ab29515f4e5b1f090c06a6e39761d3394">mssa</a>-&gt;<a class="code" href="classSVF_1_1MemSSA.html#a2c65795ca63a53c833f5ac17a752b6dc">getCallSiteChiNum</a>();</div><div class="line"><a name="l00107"></a><span class="lineno">  107</span>&#160;    <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#a7b07190a20361e30999cd9107749599d">NumOfCSMu</a>] = <a class="code" href="classSVF_1_1MemSSAStat.html#ab29515f4e5b1f090c06a6e39761d3394">mssa</a>-&gt;<a class="code" href="classSVF_1_1MemSSA.html#a9e8c5b85957485635d0f72c2f48bb8b5">getCallSiteMuNum</a>();</div><div class="line"><a name="l00108"></a><span class="lineno">  108</span>&#160;    <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#a284dbb01e051945a40179b315bdb112f">NumOfLoadMu</a>] = <a class="code" href="classSVF_1_1MemSSAStat.html#ab29515f4e5b1f090c06a6e39761d3394">mssa</a>-&gt;<a class="code" href="classSVF_1_1MemSSA.html#aafc83f7f22ebf3b3683607440c488bef">getLoadMuNum</a>();</div><div class="line"><a name="l00109"></a><span class="lineno">  109</span>&#160;    <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#a810965c025da84c58575c8066bc84056">NumOfStoreChi</a>] = <a class="code" href="classSVF_1_1MemSSAStat.html#ab29515f4e5b1f090c06a6e39761d3394">mssa</a>-&gt;<a class="code" href="classSVF_1_1MemSSA.html#aa8c45b455e6fc60cab955534c3e50bfa">getStoreChiNum</a>();</div><div class="line"><a name="l00110"></a><span class="lineno">  110</span>&#160;    <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#a4b598cb1d06c4c0963787036862b1c3d">NumOfMSSAPhi</a>] = <a class="code" href="classSVF_1_1MemSSAStat.html#ab29515f4e5b1f090c06a6e39761d3394">mssa</a>-&gt;<a class="code" href="classSVF_1_1MemSSA.html#a9bb6512999cbf9c7c03153be77c8af20">getBBPhiNum</a>();</div><div class="line"><a name="l00111"></a><span class="lineno">  111</span>&#160;</div><div class="line"><a name="l00112"></a><span class="lineno">  112</span>&#160;    <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#aee2e0df55c40745a9b9aac415aa7a399">NumOfFunHasEntryChi</a>] = <a class="code" href="classSVF_1_1MemSSAStat.html#ab29515f4e5b1f090c06a6e39761d3394">mssa</a>-&gt;<a class="code" href="classSVF_1_1MemSSA.html#afd4787df4466c24948d8384e3a756198">getFunToEntryChiSetMap</a>().size();</div><div class="line"><a name="l00113"></a><span class="lineno">  113</span>&#160;    <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#ab1cdbd2ebe54dc5bb752a89d069423b7">NumOfFunHasRetMu</a>] = <a class="code" href="classSVF_1_1MemSSAStat.html#ab29515f4e5b1f090c06a6e39761d3394">mssa</a>-&gt;<a class="code" href="classSVF_1_1MemSSA.html#a44cbdb1231c2709c24d19ad2bae2475a">getFunToRetMuSetMap</a>().size();</div><div class="line"><a name="l00114"></a><span class="lineno">  114</span>&#160;    <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#ae57c6e5b97581150b7561c93e0887569">NumOfCSHasChi</a>] = <a class="code" href="classSVF_1_1MemSSAStat.html#ab29515f4e5b1f090c06a6e39761d3394">mssa</a>-&gt;<a class="code" href="classSVF_1_1MemSSA.html#a8f88acad31782bfa962e4349d8f4185d">getCallSiteToChiSetMap</a>().size();</div><div class="line"><a name="l00115"></a><span class="lineno">  115</span>&#160;    <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#af5855348e45f50d16cd41cfa9c28f67c">NumOfCSHasMu</a>] = <a class="code" href="classSVF_1_1MemSSAStat.html#ab29515f4e5b1f090c06a6e39761d3394">mssa</a>-&gt;<a class="code" href="classSVF_1_1MemSSA.html#a06081aa029b1fe3f9427f85a0261fd43">getCallSiteToMuSetMap</a>().size();</div><div class="line"><a name="l00116"></a><span class="lineno">  116</span>&#160;    <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#ad3139d2643f5e79dcd4ca9569ebbe7df">NumOfLoadHasMu</a>] = <a class="code" href="classSVF_1_1MemSSAStat.html#ab29515f4e5b1f090c06a6e39761d3394">mssa</a>-&gt;<a class="code" href="classSVF_1_1MemSSA.html#a70dd35ef458c452330dfebcdde17b84c">getLoadToMUSetMap</a>().size();</div><div class="line"><a name="l00117"></a><span class="lineno">  117</span>&#160;    <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#a3bc14307bd0f986cbd8ba5970f1abf0f">NumOfStoreHasChi</a>] = <a class="code" href="classSVF_1_1MemSSAStat.html#ab29515f4e5b1f090c06a6e39761d3394">mssa</a>-&gt;<a class="code" href="classSVF_1_1MemSSA.html#a97166aa7102816a16734d7e2f1c130b0">getStoreToChiSetMap</a>().size();</div><div class="line"><a name="l00118"></a><span class="lineno">  118</span>&#160;    <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#a67d9c55f52cb59168e89320c3264a15a">NumOfBBHasMSSAPhi</a>] = <a class="code" href="classSVF_1_1MemSSAStat.html#ab29515f4e5b1f090c06a6e39761d3394">mssa</a>-&gt;<a class="code" href="classSVF_1_1MemSSA.html#a966477062a453901da3631015fcf737d">getBBToPhiSetMap</a>().size();</div><div class="line"><a name="l00119"></a><span class="lineno">  119</span>&#160;</div><div class="line"><a name="l00120"></a><span class="lineno">  120</span>&#160;    <a class="code" href="classSVF_1_1MemSSAStat.html#a6d57200d65d86cf575ede71bd5be7a29">printStat</a>();</div><div class="line"><a name="l00121"></a><span class="lineno">  121</span>&#160;</div><div class="line"><a name="l00122"></a><span class="lineno">  122</span>&#160;}</div><div class="ttc" id="classSVF_1_1MemSSAStat_html_a95695aa32886776804e192b4c4ddcc1d"><div class="ttname"><a href="classSVF_1_1MemSSAStat.html#a95695aa32886776804e192b4c4ddcc1d">SVF::MemSSAStat::NumOfMemRegions</a></div><div class="ttdeci">static const char * NumOfMemRegions</div><div class="ttdoc">Number of memory regions. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00060">SVFGStat.h:60</a></div></div>
+<div class="fragment"><div class="line"><a name="l00074"></a><span class="lineno">   74</span>&#160;{</div><div class="line"><a name="l00075"></a><span class="lineno">   75</span>&#160;</div><div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;    <a class="code" href="classSVF_1_1PTAStat.html#afe854f7416ea408104721a083ee9fee0">endClk</a>();</div><div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;</div><div class="line"><a name="l00078"></a><span class="lineno">   78</span>&#160;    <a class="code" href="classSVF_1_1MRGenerator.html">MRGenerator</a>* mrGenerator = <a class="code" href="classSVF_1_1MemSSAStat.html#ab29515f4e5b1f090c06a6e39761d3394">mssa</a>-&gt;<a class="code" href="classSVF_1_1MemSSA.html#ab2dfdcf6fb50ba6cacad1254350a5b09">getMRGenerator</a>();</div><div class="line"><a name="l00079"></a><span class="lineno">   79</span>&#160;    <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> regionNumber = mrGenerator-&gt;<a class="code" href="classSVF_1_1MRGenerator.html#aff53860ef2b0effb9250dc7348640085">getMRNum</a>();</div><div class="line"><a name="l00080"></a><span class="lineno">   80</span>&#160;</div><div class="line"><a name="l00081"></a><span class="lineno">   81</span>&#160;    <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> maxRegionSize = 0;</div><div class="line"><a name="l00082"></a><span class="lineno">   82</span>&#160;    <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> totalRegionPtsNum = 0;</div><div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;    <a class="code" href="classSVF_1_1MRGenerator.html#a98ac3bf264e6a85d172c2c4264ea908f">MRGenerator::MRSet</a> &amp; mrSet = mrGenerator-&gt;<a class="code" href="classSVF_1_1MRGenerator.html#a1f69924c587c4e68a029fd4e86cffacf">getMRSet</a>();</div><div class="line"><a name="l00084"></a><span class="lineno">   84</span>&#160;    MRGenerator::MRSet::const_iterator it = mrSet.begin();</div><div class="line"><a name="l00085"></a><span class="lineno">   85</span>&#160;    MRGenerator::MRSet::const_iterator eit = mrSet.end();</div><div class="line"><a name="l00086"></a><span class="lineno">   86</span>&#160;    <span class="keywordflow">for</span> (; it != eit; it++)</div><div class="line"><a name="l00087"></a><span class="lineno">   87</span>&#160;    {</div><div class="line"><a name="l00088"></a><span class="lineno">   88</span>&#160;        <span class="keyword">const</span> <a class="code" href="classSVF_1_1MemRegion.html">MemRegion</a>* region = *it;</div><div class="line"><a name="l00089"></a><span class="lineno">   89</span>&#160;        <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> regionSize = region-&gt;<a class="code" href="classSVF_1_1MemRegion.html#a99f106d47fd67f1ae53e144d72a223c9">getRegionSize</a>();</div><div class="line"><a name="l00090"></a><span class="lineno">   90</span>&#160;        <span class="keywordflow">if</span> (regionSize &gt; maxRegionSize)</div><div class="line"><a name="l00091"></a><span class="lineno">   91</span>&#160;            maxRegionSize = regionSize;</div><div class="line"><a name="l00092"></a><span class="lineno">   92</span>&#160;        totalRegionPtsNum += regionSize;</div><div class="line"><a name="l00093"></a><span class="lineno">   93</span>&#160;    }</div><div class="line"><a name="l00094"></a><span class="lineno">   94</span>&#160;</div><div class="line"><a name="l00095"></a><span class="lineno">   95</span>&#160;    <a class="code" href="classSVF_1_1PTAStat.html#a3724756ac0527ba3d199be32e38c6337">timeStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#a7dd7e6af850b9d724ea580450bfd3afd">TotalTimeOfConstructMemSSA</a>] = (<a class="code" href="classSVF_1_1PTAStat.html#a267ba4aac2e7ceb65f008f9486d3d9f7">endTime</a> - <a class="code" href="classSVF_1_1PTAStat.html#a59e0fe6fa506f1cf319b5acaf9d28be9">startTime</a>)/<a class="code" href="SVFBasicTypes_8h.html#a1aeda3370621dc00e9a0fe8e7aabc736">TIMEINTERVAL</a>;</div><div class="line"><a name="l00096"></a><span class="lineno">   96</span>&#160;    <a class="code" href="classSVF_1_1PTAStat.html#a3724756ac0527ba3d199be32e38c6337">timeStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#a74c36654b7452aa94aa241881f0a83c5">TimeOfGeneratingMemRegions</a>] = <a class="code" href="classSVF_1_1MemSSA.html#a37dca8a7d155de4870358146d219b5e5">MemSSA::timeOfGeneratingMemRegions</a>;</div><div class="line"><a name="l00097"></a><span class="lineno">   97</span>&#160;    <a class="code" href="classSVF_1_1PTAStat.html#a3724756ac0527ba3d199be32e38c6337">timeStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#a48c70f0ed1c7d031a3cd528035162e52">TimeOfCreateMUCHI</a>] =  <a class="code" href="classSVF_1_1MemSSA.html#a4d2418b7df74f23d8fd328f66e29f198">MemSSA::timeOfCreateMUCHI</a>;</div><div class="line"><a name="l00098"></a><span class="lineno">   98</span>&#160;    <a class="code" href="classSVF_1_1PTAStat.html#a3724756ac0527ba3d199be32e38c6337">timeStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#a0c24822c8549af6a96e82312954fab9b">TimeOfInsertingPHI</a>] =  <a class="code" href="classSVF_1_1MemSSA.html#a3c7b5fa73fdc7c805ee3673fbe812b44">MemSSA::timeOfInsertingPHI</a>;</div><div class="line"><a name="l00099"></a><span class="lineno">   99</span>&#160;    <a class="code" href="classSVF_1_1PTAStat.html#a3724756ac0527ba3d199be32e38c6337">timeStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#a887ff23a7ea1a18f08b1744ff30da773">TimeOfSSARenaming</a>] =  <a class="code" href="classSVF_1_1MemSSA.html#a97ccd5e0b9ab6144415e26bdf95cbabd">MemSSA::timeOfSSARenaming</a>;</div><div class="line"><a name="l00100"></a><span class="lineno">  100</span>&#160;</div><div class="line"><a name="l00101"></a><span class="lineno">  101</span>&#160;    <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#acf3732557238de882bf7f34c49bd6cee">NumOfMaxRegion</a>] = maxRegionSize;</div><div class="line"><a name="l00102"></a><span class="lineno">  102</span>&#160;    <a class="code" href="classSVF_1_1PTAStat.html#a3724756ac0527ba3d199be32e38c6337">timeStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#a6e29fa9c935de324441c765e40faa2a5">NumOfAveragePtsInRegion</a>] = (regionNumber == 0) ? 0 : ((<span class="keywordtype">double</span>)totalRegionPtsNum / regionNumber);</div><div class="line"><a name="l00103"></a><span class="lineno">  103</span>&#160;    <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#a95695aa32886776804e192b4c4ddcc1d">NumOfMemRegions</a>] = regionNumber;</div><div class="line"><a name="l00104"></a><span class="lineno">  104</span>&#160;    <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#ad96437d0c28f8088c711a718d2f2730e">NumOfEntryChi</a>] = <a class="code" href="classSVF_1_1MemSSAStat.html#ab29515f4e5b1f090c06a6e39761d3394">mssa</a>-&gt;<a class="code" href="classSVF_1_1MemSSA.html#a15272a4ed019d1c323d1826c1bedb70f">getFunEntryChiNum</a>();</div><div class="line"><a name="l00105"></a><span class="lineno">  105</span>&#160;    <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#a1459465f0a76c09b5dd7d777467ac2e4">NumOfRetMu</a>] = <a class="code" href="classSVF_1_1MemSSAStat.html#ab29515f4e5b1f090c06a6e39761d3394">mssa</a>-&gt;<a class="code" href="classSVF_1_1MemSSA.html#a67175188232e08f5c5374f92ff61810f">getFunRetMuNum</a>();</div><div class="line"><a name="l00106"></a><span class="lineno">  106</span>&#160;    <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#a921a0f4eba4b891ab9b7699ea0d3f91c">NumOfCSChi</a>] = <a class="code" href="classSVF_1_1MemSSAStat.html#ab29515f4e5b1f090c06a6e39761d3394">mssa</a>-&gt;<a class="code" href="classSVF_1_1MemSSA.html#a2c65795ca63a53c833f5ac17a752b6dc">getCallSiteChiNum</a>();</div><div class="line"><a name="l00107"></a><span class="lineno">  107</span>&#160;    <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#a7b07190a20361e30999cd9107749599d">NumOfCSMu</a>] = <a class="code" href="classSVF_1_1MemSSAStat.html#ab29515f4e5b1f090c06a6e39761d3394">mssa</a>-&gt;<a class="code" href="classSVF_1_1MemSSA.html#a9e8c5b85957485635d0f72c2f48bb8b5">getCallSiteMuNum</a>();</div><div class="line"><a name="l00108"></a><span class="lineno">  108</span>&#160;    <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#a284dbb01e051945a40179b315bdb112f">NumOfLoadMu</a>] = <a class="code" href="classSVF_1_1MemSSAStat.html#ab29515f4e5b1f090c06a6e39761d3394">mssa</a>-&gt;<a class="code" href="classSVF_1_1MemSSA.html#aafc83f7f22ebf3b3683607440c488bef">getLoadMuNum</a>();</div><div class="line"><a name="l00109"></a><span class="lineno">  109</span>&#160;    <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#a810965c025da84c58575c8066bc84056">NumOfStoreChi</a>] = <a class="code" href="classSVF_1_1MemSSAStat.html#ab29515f4e5b1f090c06a6e39761d3394">mssa</a>-&gt;<a class="code" href="classSVF_1_1MemSSA.html#aa8c45b455e6fc60cab955534c3e50bfa">getStoreChiNum</a>();</div><div class="line"><a name="l00110"></a><span class="lineno">  110</span>&#160;    <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#a4b598cb1d06c4c0963787036862b1c3d">NumOfMSSAPhi</a>] = <a class="code" href="classSVF_1_1MemSSAStat.html#ab29515f4e5b1f090c06a6e39761d3394">mssa</a>-&gt;<a class="code" href="classSVF_1_1MemSSA.html#a9bb6512999cbf9c7c03153be77c8af20">getBBPhiNum</a>();</div><div class="line"><a name="l00111"></a><span class="lineno">  111</span>&#160;</div><div class="line"><a name="l00112"></a><span class="lineno">  112</span>&#160;    <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#aee2e0df55c40745a9b9aac415aa7a399">NumOfFunHasEntryChi</a>] = <a class="code" href="classSVF_1_1MemSSAStat.html#ab29515f4e5b1f090c06a6e39761d3394">mssa</a>-&gt;<a class="code" href="classSVF_1_1MemSSA.html#afd4787df4466c24948d8384e3a756198">getFunToEntryChiSetMap</a>().size();</div><div class="line"><a name="l00113"></a><span class="lineno">  113</span>&#160;    <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#ab1cdbd2ebe54dc5bb752a89d069423b7">NumOfFunHasRetMu</a>] = <a class="code" href="classSVF_1_1MemSSAStat.html#ab29515f4e5b1f090c06a6e39761d3394">mssa</a>-&gt;<a class="code" href="classSVF_1_1MemSSA.html#a44cbdb1231c2709c24d19ad2bae2475a">getFunToRetMuSetMap</a>().size();</div><div class="line"><a name="l00114"></a><span class="lineno">  114</span>&#160;    <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#ae57c6e5b97581150b7561c93e0887569">NumOfCSHasChi</a>] = <a class="code" href="classSVF_1_1MemSSAStat.html#ab29515f4e5b1f090c06a6e39761d3394">mssa</a>-&gt;<a class="code" href="classSVF_1_1MemSSA.html#a8f88acad31782bfa962e4349d8f4185d">getCallSiteToChiSetMap</a>().size();</div><div class="line"><a name="l00115"></a><span class="lineno">  115</span>&#160;    <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#af5855348e45f50d16cd41cfa9c28f67c">NumOfCSHasMu</a>] = <a class="code" href="classSVF_1_1MemSSAStat.html#ab29515f4e5b1f090c06a6e39761d3394">mssa</a>-&gt;<a class="code" href="classSVF_1_1MemSSA.html#a06081aa029b1fe3f9427f85a0261fd43">getCallSiteToMuSetMap</a>().size();</div><div class="line"><a name="l00116"></a><span class="lineno">  116</span>&#160;    <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#ad3139d2643f5e79dcd4ca9569ebbe7df">NumOfLoadHasMu</a>] = <a class="code" href="classSVF_1_1MemSSAStat.html#ab29515f4e5b1f090c06a6e39761d3394">mssa</a>-&gt;<a class="code" href="classSVF_1_1MemSSA.html#a70dd35ef458c452330dfebcdde17b84c">getLoadToMUSetMap</a>().size();</div><div class="line"><a name="l00117"></a><span class="lineno">  117</span>&#160;    <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#a3bc14307bd0f986cbd8ba5970f1abf0f">NumOfStoreHasChi</a>] = <a class="code" href="classSVF_1_1MemSSAStat.html#ab29515f4e5b1f090c06a6e39761d3394">mssa</a>-&gt;<a class="code" href="classSVF_1_1MemSSA.html#a97166aa7102816a16734d7e2f1c130b0">getStoreToChiSetMap</a>().size();</div><div class="line"><a name="l00118"></a><span class="lineno">  118</span>&#160;    <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<a class="code" href="classSVF_1_1MemSSAStat.html#a67d9c55f52cb59168e89320c3264a15a">NumOfBBHasMSSAPhi</a>] = <a class="code" href="classSVF_1_1MemSSAStat.html#ab29515f4e5b1f090c06a6e39761d3394">mssa</a>-&gt;<a class="code" href="classSVF_1_1MemSSA.html#a966477062a453901da3631015fcf737d">getBBToPhiSetMap</a>().size();</div><div class="line"><a name="l00119"></a><span class="lineno">  119</span>&#160;</div><div class="line"><a name="l00120"></a><span class="lineno">  120</span>&#160;    <a class="code" href="classSVF_1_1MemSSAStat.html#ad5fbe23c3374e5b3a45ac5fa4900441a">printStat</a>();</div><div class="line"><a name="l00121"></a><span class="lineno">  121</span>&#160;</div><div class="line"><a name="l00122"></a><span class="lineno">  122</span>&#160;}</div><div class="ttc" id="classSVF_1_1MemSSAStat_html_a95695aa32886776804e192b4c4ddcc1d"><div class="ttname"><a href="classSVF_1_1MemSSAStat.html#a95695aa32886776804e192b4c4ddcc1d">SVF::MemSSAStat::NumOfMemRegions</a></div><div class="ttdeci">static const char * NumOfMemRegions</div><div class="ttdoc">Number of memory regions. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00060">SVFGStat.h:60</a></div></div>
 <div class="ttc" id="classSVF_1_1MemSSA_html_a37dca8a7d155de4870358146d219b5e5"><div class="ttname"><a href="classSVF_1_1MemSSA.html#a37dca8a7d155de4870358146d219b5e5">SVF::MemSSA::timeOfGeneratingMemRegions</a></div><div class="ttdeci">static double timeOfGeneratingMemRegions</div><div class="ttdoc">Statistics. </div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8h_source.html#l00101">MemSSA.h:101</a></div></div>
 <div class="ttc" id="classSVF_1_1MemSSAStat_html_a284dbb01e051945a40179b315bdb112f"><div class="ttname"><a href="classSVF_1_1MemSSAStat.html#a284dbb01e051945a40179b315bdb112f">SVF::MemSSAStat::NumOfLoadMu</a></div><div class="ttdeci">static const char * NumOfLoadMu</div><div class="ttdoc">Number of load mu. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00065">SVFGStat.h:65</a></div></div>
 <div class="ttc" id="classSVF_1_1MemSSAStat_html_a887ff23a7ea1a18f08b1744ff30da773"><div class="ttname"><a href="classSVF_1_1MemSSAStat.html#a887ff23a7ea1a18f08b1744ff30da773">SVF::MemSSAStat::TimeOfSSARenaming</a></div><div class="ttdeci">static const char * TimeOfSSARenaming</div><div class="ttdoc">Time for SSA rename. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00056">SVFGStat.h:56</a></div></div>
@@ -498,12 +498,12 @@ Additional Inherited Members</h2></td></tr>
 <div class="ttc" id="classSVF_1_1MemSSA_html_a06081aa029b1fe3f9427f85a0261fd43"><div class="ttname"><a href="classSVF_1_1MemSSA.html#a06081aa029b1fe3f9427f85a0261fd43">SVF::MemSSA::getCallSiteToMuSetMap</a></div><div class="ttdeci">CallSiteToMUSetMap &amp; getCallSiteToMuSetMap()</div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8h_source.html#l00428">MemSSA.h:428</a></div></div>
 <div class="ttc" id="classSVF_1_1MemSSAStat_html_a7b07190a20361e30999cd9107749599d"><div class="ttname"><a href="classSVF_1_1MemSSAStat.html#a7b07190a20361e30999cd9107749599d">SVF::MemSSAStat::NumOfCSMu</a></div><div class="ttdeci">static const char * NumOfCSMu</div><div class="ttdoc">Number of call site mu. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00064">SVFGStat.h:64</a></div></div>
 <div class="ttc" id="classSVF_1_1MemSSA_html_afd4787df4466c24948d8384e3a756198"><div class="ttname"><a href="classSVF_1_1MemSSA.html#afd4787df4466c24948d8384e3a756198">SVF::MemSSA::getFunToEntryChiSetMap</a></div><div class="ttdeci">FunToEntryChiSetMap &amp; getFunToEntryChiSetMap()</div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8h_source.html#l00424">MemSSA.h:424</a></div></div>
-<div class="ttc" id="classSVF_1_1MemSSAStat_html_a6d57200d65d86cf575ede71bd5be7a29"><div class="ttname"><a href="classSVF_1_1MemSSAStat.html#a6d57200d65d86cf575ede71bd5be7a29">SVF::MemSSAStat::printStat</a></div><div class="ttdeci">virtual void printStat()</div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8cpp_source.html#l00127">SVFGStat.cpp:127</a></div></div>
 <div class="ttc" id="classSVF_1_1MemRegion_html"><div class="ttname"><a href="classSVF_1_1MemRegion.html">SVF::MemRegion</a></div><div class="ttdoc">Memory Region class. </div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00051">MemRegion.h:51</a></div></div>
 <div class="ttc" id="classSVF_1_1MemSSAStat_html_aee2e0df55c40745a9b9aac415aa7a399"><div class="ttname"><a href="classSVF_1_1MemSSAStat.html#aee2e0df55c40745a9b9aac415aa7a399">SVF::MemSSAStat::NumOfFunHasEntryChi</a></div><div class="ttdeci">static const char * NumOfFunHasEntryChi</div><div class="ttdoc">Number of functions which have entry chi. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00069">SVFGStat.h:69</a></div></div>
 <div class="ttc" id="classSVF_1_1MemSSA_html_a67175188232e08f5c5374f92ff61810f"><div class="ttname"><a href="classSVF_1_1MemSSA.html#a67175188232e08f5c5374f92ff61810f">SVF::MemSSA::getFunRetMuNum</a></div><div class="ttdeci">u32_t getFunRetMuNum() const</div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8cpp_source.html#l00528">MemSSA.cpp:528</a></div></div>
 <div class="ttc" id="classSVF_1_1MemSSAStat_html_a0c24822c8549af6a96e82312954fab9b"><div class="ttname"><a href="classSVF_1_1MemSSAStat.html#a0c24822c8549af6a96e82312954fab9b">SVF::MemSSAStat::TimeOfInsertingPHI</a></div><div class="ttdeci">static const char * TimeOfInsertingPHI</div><div class="ttdoc">Time for inserting phis. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00055">SVFGStat.h:55</a></div></div>
 <div class="ttc" id="classSVF_1_1MemSSA_html_aafc83f7f22ebf3b3683607440c488bef"><div class="ttname"><a href="classSVF_1_1MemSSA.html#aafc83f7f22ebf3b3683607440c488bef">SVF::MemSSA::getLoadMuNum</a></div><div class="ttdeci">u32_t getLoadMuNum() const</div><div class="ttdoc">Stat methods. </div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8cpp_source.html#l00477">MemSSA.cpp:477</a></div></div>
+<div class="ttc" id="classSVF_1_1MemSSAStat_html_ad5fbe23c3374e5b3a45ac5fa4900441a"><div class="ttname"><a href="classSVF_1_1MemSSAStat.html#ad5fbe23c3374e5b3a45ac5fa4900441a">SVF::MemSSAStat::printStat</a></div><div class="ttdeci">virtual void printStat(std::string str=&quot;&quot;) override</div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8cpp_source.html#l00127">SVFGStat.cpp:127</a></div></div>
 <div class="ttc" id="classSVF_1_1MemSSA_html_a3c7b5fa73fdc7c805ee3673fbe812b44"><div class="ttname"><a href="classSVF_1_1MemSSA.html#a3c7b5fa73fdc7c805ee3673fbe812b44">SVF::MemSSA::timeOfInsertingPHI</a></div><div class="ttdeci">static double timeOfInsertingPHI</div><div class="ttdoc">Time for inserting phis. </div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8h_source.html#l00103">MemSSA.h:103</a></div></div>
 <div class="ttc" id="classSVF_1_1PTAStat_html_afdb975520329be0c33cc7bdd51ba7031"><div class="ttname"><a href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">SVF::PTAStat::PTNumStatMap</a></div><div class="ttdeci">NUMStatMap PTNumStatMap</div><div class="ttdef"><b>Definition:</b> <a href="PTAStat_8h_source.html#l00148">PTAStat.h:148</a></div></div>
 <div class="ttc" id="classSVF_1_1MRGenerator_html_a98ac3bf264e6a85d172c2c4264ea908f"><div class="ttname"><a href="classSVF_1_1MRGenerator.html#a98ac3bf264e6a85d172c2c4264ea908f">SVF::MRGenerator::MRSet</a></div><div class="ttdeci">OrderedSet&lt; const MemRegion *, MemRegion::equalMemRegion &gt; MRSet</div><div class="ttdoc">Get typedef from Pointer Analysis. </div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00137">MemRegion.h:137</a></div></div>
@@ -512,8 +512,8 @@ Additional Inherited Members</h2></td></tr>
 </div><!-- fragment -->
 </div>
 </div>
-<a id="a6d57200d65d86cf575ede71bd5be7a29"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a6d57200d65d86cf575ede71bd5be7a29">&#9670;&nbsp;</a></span>printStat()</h2>
+<a id="ad5fbe23c3374e5b3a45ac5fa4900441a"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#ad5fbe23c3374e5b3a45ac5fa4900441a">&#9670;&nbsp;</a></span>printStat()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -524,20 +524,21 @@ Additional Inherited Members</h2></td></tr>
         <tr>
           <td class="memname">void MemSSAStat::printStat </td>
           <td>(</td>
-          <td class="paramname"></td><td>)</td>
+          <td class="paramtype">std::string&#160;</td>
+          <td class="paramname"><em>str</em> = <code>&quot;&quot;</code></td><td>)</td>
           <td></td>
         </tr>
       </table>
   </td>
   <td class="mlabels-right">
-<span class="mlabels"><span class="mlabel">virtual</span></span>  </td>
+<span class="mlabels"><span class="mlabel">override</span><span class="mlabel">virtual</span></span>  </td>
   </tr>
 </table>
 </div><div class="memdoc">
 <p>Print statistics </p>
 
 <p class="definition">Definition at line <a class="el" href="SVFGStat_8cpp_source.html#l00127">127</a> of file <a class="el" href="SVFGStat_8cpp_source.html">SVFGStat.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00128"></a><span class="lineno">  128</span>&#160;{</div><div class="line"><a name="l00129"></a><span class="lineno">  129</span>&#160;</div><div class="line"><a name="l00130"></a><span class="lineno">  130</span>&#160;    <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVFUtil::outs</a>() &lt;&lt; <span class="stringliteral">&quot;\n****Memory SSA Statistics****\n&quot;</span>;</div><div class="line"><a name="l00131"></a><span class="lineno">  131</span>&#160;    <a class="code" href="classSVF_1_1PTAStat.html#aa5f455bfa79743b8e263431593d29bbf">PTAStat::printStat</a>();</div><div class="line"><a name="l00132"></a><span class="lineno">  132</span>&#160;}</div><div class="ttc" id="namespaceSVF_1_1SVFUtil_html_aed0b0b9f035057552a6a82154fd88e61"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVF::SVFUtil::outs</a></div><div class="ttdeci">std::ostream &amp; outs()</div><div class="ttdoc">Overwrite llvm::outs() </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00049">SVFUtil.h:49</a></div></div>
+<div class="fragment"><div class="line"><a name="l00128"></a><span class="lineno">  128</span>&#160;{</div><div class="line"><a name="l00129"></a><span class="lineno">  129</span>&#160;</div><div class="line"><a name="l00130"></a><span class="lineno">  130</span>&#160;    <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVFUtil::outs</a>() &lt;&lt; <span class="stringliteral">&quot;\n****Memory SSA Statistics****\n&quot;</span>;</div><div class="line"><a name="l00131"></a><span class="lineno">  131</span>&#160;    <a class="code" href="classSVF_1_1PTAStat.html#aa5f455bfa79743b8e263431593d29bbf">PTAStat::printStat</a>(str);</div><div class="line"><a name="l00132"></a><span class="lineno">  132</span>&#160;}</div><div class="ttc" id="namespaceSVF_1_1SVFUtil_html_aed0b0b9f035057552a6a82154fd88e61"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVF::SVFUtil::outs</a></div><div class="ttdeci">std::ostream &amp; outs()</div><div class="ttdoc">Overwrite llvm::outs() </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00049">SVFUtil.h:49</a></div></div>
 <div class="ttc" id="classSVF_1_1PTAStat_html_aa5f455bfa79743b8e263431593d29bbf"><div class="ttname"><a href="classSVF_1_1PTAStat.html#aa5f455bfa79743b8e263431593d29bbf">SVF::PTAStat::printStat</a></div><div class="ttdeci">virtual void printStat(string str=&quot;&quot;)</div><div class="ttdef"><b>Definition:</b> <a href="PTAStat_8cpp_source.html#l00290">PTAStat.cpp:290</a></div></div>
 </div><!-- fragment -->
 </div>