svf-tools 1.0.281 → 1.0.285

package/SVF-doxygen/html/html/classSVF_1_1MemRegion.html

@@ -83,8 +83,6 @@ $(function() {
 Classes</h2></td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1MemRegion_1_1equalMemRegion.html">equalMemRegion</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1MemRegion_1_1equalPointsTo.html">equalPointsTo</a></td></tr>
-<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 </table><table class="memberdecls">
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-types"></a>
 Public Types</h2></td></tr>
@@ -93,23 +91,21 @@ Public Types</h2></td></tr>
 <tr><td colspan="2"><div class="groupHeader"></div></td></tr>
 <tr class="memitem:af0a0b4a5862a136ef4f203f19139da65"><td class="memItemLeft" align="right" valign="top">typedef struct <a class="el" href="structSVF_1_1MemRegion_1_1equalMemRegion.html">SVF::MemRegion::equalMemRegion</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MemRegion.html#af0a0b4a5862a136ef4f203f19139da65">equalMemRegion</a></td></tr>
 <tr class="separator:af0a0b4a5862a136ef4f203f19139da65"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a52b14094d018fb5d9f024c154ab61b8e"><td class="memItemLeft" align="right" valign="top">typedef struct <a class="el" href="structSVF_1_1MemRegion_1_1equalPointsTo.html">SVF::MemRegion::equalPointsTo</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MemRegion.html#a52b14094d018fb5d9f024c154ab61b8e">equalPointsTo</a></td></tr>
-<tr class="separator:a52b14094d018fb5d9f024c154ab61b8e"><td class="memSeparator" colspan="2">&#160;</td></tr>
 </table><table class="memberdecls">
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-methods"></a>
 Public Member Functions</h2></td></tr>
-<tr class="memitem:afa13fe7a084ff1f896b5d5294d14f880"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MemRegion.html#afa13fe7a084ff1f896b5d5294d14f880">MemRegion</a> (const <a class="el" href="namespaceSVF.html#a0c6594b4bae7924369bb61943c1da4fb">PointsTo</a> &amp;cp)</td></tr>
-<tr class="memdesc:afa13fe7a084ff1f896b5d5294d14f880"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructor.  <a href="#afa13fe7a084ff1f896b5d5294d14f880">More...</a><br /></td></tr>
-<tr class="separator:afa13fe7a084ff1f896b5d5294d14f880"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a1d8189977196da687f50cfa6df98394b"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MemRegion.html#a1d8189977196da687f50cfa6df98394b">MemRegion</a> (const <a class="el" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> &amp;cp)</td></tr>
+<tr class="memdesc:a1d8189977196da687f50cfa6df98394b"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructor.  <a href="#a1d8189977196da687f50cfa6df98394b">More...</a><br /></td></tr>
+<tr class="separator:a1d8189977196da687f50cfa6df98394b"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a2f680d13f4d983b1bc96967c930e8bd9"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MemRegion.html#a2f680d13f4d983b1bc96967c930e8bd9">~MemRegion</a> ()</td></tr>
 <tr class="memdesc:a2f680d13f4d983b1bc96967c930e8bd9"><td class="mdescLeft">&#160;</td><td class="mdescRight">Destructor.  <a href="#a2f680d13f4d983b1bc96967c930e8bd9">More...</a><br /></td></tr>
 <tr class="separator:a2f680d13f4d983b1bc96967c930e8bd9"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a7d38f6ef18106eb388b3a289aad79802"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a1ed5cfc8a00b2d3b90e74debabaa62a5">MRID</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MemRegion.html#a7d38f6ef18106eb388b3a289aad79802">getMRID</a> () const</td></tr>
 <tr class="memdesc:a7d38f6ef18106eb388b3a289aad79802"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return memory region ID.  <a href="#a7d38f6ef18106eb388b3a289aad79802">More...</a><br /></td></tr>
 <tr class="separator:a7d38f6ef18106eb388b3a289aad79802"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ad6d4a3ed0f7a118cc38fad0c37ecc54a"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="namespaceSVF.html#a0c6594b4bae7924369bb61943c1da4fb">PointsTo</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MemRegion.html#ad6d4a3ed0f7a118cc38fad0c37ecc54a">getPointsTo</a> () const</td></tr>
-<tr class="memdesc:ad6d4a3ed0f7a118cc38fad0c37ecc54a"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return points-to.  <a href="#ad6d4a3ed0f7a118cc38fad0c37ecc54a">More...</a><br /></td></tr>
-<tr class="separator:ad6d4a3ed0f7a118cc38fad0c37ecc54a"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a1e5befaa1a46943e101b33adaf141ca1"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MemRegion.html#a1e5befaa1a46943e101b33adaf141ca1">getPointsTo</a> () const</td></tr>
+<tr class="memdesc:a1e5befaa1a46943e101b33adaf141ca1"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return points-to.  <a href="#a1e5befaa1a46943e101b33adaf141ca1">More...</a><br /></td></tr>
+<tr class="separator:a1e5befaa1a46943e101b33adaf141ca1"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:affa3a8efd91faf5704e514f1e83fead9"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MemRegion.html#affa3a8efd91faf5704e514f1e83fead9">operator==</a> (const <a class="el" href="classSVF_1_1MemRegion.html">MemRegion</a> *rhs) const</td></tr>
 <tr class="memdesc:affa3a8efd91faf5704e514f1e83fead9"><td class="mdescLeft">&#160;</td><td class="mdescRight">Operator== overriding.  <a href="#affa3a8efd91faf5704e514f1e83fead9">More...</a><br /></td></tr>
 <tr class="separator:affa3a8efd91faf5704e514f1e83fead9"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -124,8 +120,8 @@ Public Member Functions</h2></td></tr>
 Private Attributes</h2></td></tr>
 <tr class="memitem:aeb8ba1e0c907aeb3de84d8bd899c98b4"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a1ed5cfc8a00b2d3b90e74debabaa62a5">MRID</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MemRegion.html#aeb8ba1e0c907aeb3de84d8bd899c98b4">rid</a></td></tr>
 <tr class="separator:aeb8ba1e0c907aeb3de84d8bd899c98b4"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a0bd542926951c4efe1c67244eeb89090"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="namespaceSVF.html#a0c6594b4bae7924369bb61943c1da4fb">PointsTo</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MemRegion.html#a0bd542926951c4efe1c67244eeb89090">cptsSet</a></td></tr>
-<tr class="separator:a0bd542926951c4efe1c67244eeb89090"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a77a18bcce56cf48d1c338e852a2be9bc"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MemRegion.html#a77a18bcce56cf48d1c338e852a2be9bc">cptsSet</a></td></tr>
+<tr class="separator:a77a18bcce56cf48d1c338e852a2be9bc"><td class="memSeparator" colspan="2">&#160;</td></tr>
 </table><table class="memberdecls">
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pri-static-attribs"></a>
 Static Private Attributes</h2></td></tr>
@@ -136,7 +132,7 @@ Static Private Attributes</h2></td></tr>
 <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
 <div class="textblock"><p>Memory Region class. </p>
 
-<p class="definition">Definition at line <a class="el" href="MemRegion_8h_source.html#l00048">48</a> of file <a class="el" href="MemRegion_8h_source.html">MemRegion.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="MemRegion_8h_source.html#l00050">50</a> of file <a class="el" href="MemRegion_8h_source.html">MemRegion.h</a>.</p>
 </div><h2 class="groupheader">Member Typedef Documentation</h2>
 <a id="a7ed54700c976f9738012bc051b7f41f5"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#a7ed54700c976f9738012bc051b7f41f5">&#9670;&nbsp;</a></span>Condition</h2>
@@ -150,7 +146,7 @@ Static Private Attributes</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="MemRegion_8h_source.html#l00052">52</a> of file <a class="el" href="MemRegion_8h_source.html">MemRegion.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="MemRegion_8h_source.html#l00054">54</a> of file <a class="el" href="MemRegion_8h_source.html">MemRegion.h</a>.</p>
 
 </div>
 </div>
@@ -167,25 +163,11 @@ Static Private Attributes</h2></td></tr>
 </div><div class="memdoc">
 <p>add the hash function here to sort elements and remove and remove duplicated element in the set (binary tree comparision) </p>
 
-</div>
-</div>
-<a id="a52b14094d018fb5d9f024c154ab61b8e"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a52b14094d018fb5d9f024c154ab61b8e">&#9670;&nbsp;</a></span>equalPointsTo</h2>
-
-<div class="memitem">
-<div class="memproto">
-      <table class="memname">
-        <tr>
-          <td class="memname">typedef struct <a class="el" href="structSVF_1_1MemRegion_1_1equalPointsTo.html">SVF::MemRegion::equalPointsTo</a>  <a class="el" href="structSVF_1_1MemRegion_1_1equalPointsTo.html">SVF::MemRegion::equalPointsTo</a></td>
-        </tr>
-      </table>
-</div><div class="memdoc">
-
 </div>
 </div>
 <h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
-<a id="afa13fe7a084ff1f896b5d5294d14f880"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#afa13fe7a084ff1f896b5d5294d14f880">&#9670;&nbsp;</a></span>MemRegion()</h2>
+<a id="a1d8189977196da687f50cfa6df98394b"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a1d8189977196da687f50cfa6df98394b">&#9670;&nbsp;</a></span>MemRegion()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -196,7 +178,7 @@ Static Private Attributes</h2></td></tr>
         <tr>
           <td class="memname">SVF::MemRegion::MemRegion </td>
           <td>(</td>
-          <td class="paramtype">const <a class="el" href="namespaceSVF.html#a0c6594b4bae7924369bb61943c1da4fb">PointsTo</a> &amp;&#160;</td>
+          <td class="paramtype">const <a class="el" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> &amp;&#160;</td>
           <td class="paramname"><em>cp</em></td><td>)</td>
           <td></td>
         </tr>
@@ -210,10 +192,10 @@ Static Private Attributes</h2></td></tr>
 
 <p>Constructor. </p>
 
-<p class="definition">Definition at line <a class="el" href="MemRegion_8h_source.html#l00061">61</a> of file <a class="el" href="MemRegion_8h_source.html">MemRegion.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00061"></a><span class="lineno">   61</span>&#160;                                  :</div><div class="line"><a name="l00062"></a><span class="lineno">   62</span>&#160;        <a class="code" href="classSVF_1_1MemRegion.html#aeb8ba1e0c907aeb3de84d8bd899c98b4">rid</a>(++<a class="code" href="classSVF_1_1MemRegion.html#a8556bee344c108815adad4a405ac0ffb">totalMRNum</a>), <a class="code" href="classSVF_1_1MemRegion.html#a0bd542926951c4efe1c67244eeb89090">cptsSet</a>(cp)</div><div class="line"><a name="l00063"></a><span class="lineno">   63</span>&#160;    {</div><div class="line"><a name="l00064"></a><span class="lineno">   64</span>&#160;    }</div><div class="ttc" id="classSVF_1_1MemRegion_html_a8556bee344c108815adad4a405ac0ffb"><div class="ttname"><a href="classSVF_1_1MemRegion.html#a8556bee344c108815adad4a405ac0ffb">SVF::MemRegion::totalMRNum</a></div><div class="ttdeci">static Size_t totalMRNum</div><div class="ttdoc">region ID 0 is reserved </div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00055">MemRegion.h:55</a></div></div>
-<div class="ttc" id="classSVF_1_1MemRegion_html_aeb8ba1e0c907aeb3de84d8bd899c98b4"><div class="ttname"><a href="classSVF_1_1MemRegion.html#aeb8ba1e0c907aeb3de84d8bd899c98b4">SVF::MemRegion::rid</a></div><div class="ttdeci">MRID rid</div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00056">MemRegion.h:56</a></div></div>
-<div class="ttc" id="classSVF_1_1MemRegion_html_a0bd542926951c4efe1c67244eeb89090"><div class="ttname"><a href="classSVF_1_1MemRegion.html#a0bd542926951c4efe1c67244eeb89090">SVF::MemRegion::cptsSet</a></div><div class="ttdeci">const PointsTo cptsSet</div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00057">MemRegion.h:57</a></div></div>
+<p class="definition">Definition at line <a class="el" href="MemRegion_8h_source.html#l00063">63</a> of file <a class="el" href="MemRegion_8h_source.html">MemRegion.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00063"></a><span class="lineno">   63</span>&#160;                                :</div><div class="line"><a name="l00064"></a><span class="lineno">   64</span>&#160;        <a class="code" href="classSVF_1_1MemRegion.html#aeb8ba1e0c907aeb3de84d8bd899c98b4">rid</a>(++<a class="code" href="classSVF_1_1MemRegion.html#a8556bee344c108815adad4a405ac0ffb">totalMRNum</a>), <a class="code" href="classSVF_1_1MemRegion.html#a77a18bcce56cf48d1c338e852a2be9bc">cptsSet</a>(cp)</div><div class="line"><a name="l00065"></a><span class="lineno">   65</span>&#160;    {</div><div class="line"><a name="l00066"></a><span class="lineno">   66</span>&#160;    }</div><div class="ttc" id="classSVF_1_1MemRegion_html_a8556bee344c108815adad4a405ac0ffb"><div class="ttname"><a href="classSVF_1_1MemRegion.html#a8556bee344c108815adad4a405ac0ffb">SVF::MemRegion::totalMRNum</a></div><div class="ttdeci">static Size_t totalMRNum</div><div class="ttdoc">region ID 0 is reserved </div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00057">MemRegion.h:57</a></div></div>
+<div class="ttc" id="classSVF_1_1MemRegion_html_aeb8ba1e0c907aeb3de84d8bd899c98b4"><div class="ttname"><a href="classSVF_1_1MemRegion.html#aeb8ba1e0c907aeb3de84d8bd899c98b4">SVF::MemRegion::rid</a></div><div class="ttdeci">MRID rid</div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00058">MemRegion.h:58</a></div></div>
+<div class="ttc" id="classSVF_1_1MemRegion_html_a77a18bcce56cf48d1c338e852a2be9bc"><div class="ttname"><a href="classSVF_1_1MemRegion.html#a77a18bcce56cf48d1c338e852a2be9bc">SVF::MemRegion::cptsSet</a></div><div class="ttdeci">const NodeBS cptsSet</div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00059">MemRegion.h:59</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -242,8 +224,8 @@ Static Private Attributes</h2></td></tr>
 
 <p>Destructor. </p>
 
-<p class="definition">Definition at line <a class="el" href="MemRegion_8h_source.html#l00066">66</a> of file <a class="el" href="MemRegion_8h_source.html">MemRegion.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00067"></a><span class="lineno">   67</span>&#160;    {</div><div class="line"><a name="l00068"></a><span class="lineno">   68</span>&#160;    }</div></div><!-- fragment -->
+<p class="definition">Definition at line <a class="el" href="MemRegion_8h_source.html#l00068">68</a> of file <a class="el" href="MemRegion_8h_source.html">MemRegion.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00069"></a><span class="lineno">   69</span>&#160;    {</div><div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;    }</div></div><!-- fragment -->
 </div>
 </div>
 <h2 class="groupheader">Member Function Documentation</h2>
@@ -272,8 +254,8 @@ Static Private Attributes</h2></td></tr>
 
 <p>Dump string. </p>
 
-<p class="definition">Definition at line <a class="el" href="MemRegion_8h_source.html#l00086">86</a> of file <a class="el" href="MemRegion_8h_source.html">MemRegion.h</a>.</p>
-<div class="fragment"><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;        std::string str;</div><div class="line"><a name="l00089"></a><span class="lineno">   89</span>&#160;        str += <span class="stringliteral">&quot;pts{&quot;</span>;</div><div class="line"><a name="l00090"></a><span class="lineno">   90</span>&#160;        <span class="keywordflow">for</span> (PointsTo::iterator ii = <a class="code" href="classSVF_1_1MemRegion.html#a0bd542926951c4efe1c67244eeb89090">cptsSet</a>.begin(), ie = <a class="code" href="classSVF_1_1MemRegion.html#a0bd542926951c4efe1c67244eeb89090">cptsSet</a>.end();</div><div class="line"><a name="l00091"></a><span class="lineno">   91</span>&#160;                ii != ie; ii++)</div><div class="line"><a name="l00092"></a><span class="lineno">   92</span>&#160;        {</div><div class="line"><a name="l00093"></a><span class="lineno">   93</span>&#160;            <span class="keywordtype">char</span> int2str[16];</div><div class="line"><a name="l00094"></a><span class="lineno">   94</span>&#160;            sprintf(int2str, <span class="stringliteral">&quot;%d&quot;</span>, *ii);</div><div class="line"><a name="l00095"></a><span class="lineno">   95</span>&#160;            str += int2str;</div><div class="line"><a name="l00096"></a><span class="lineno">   96</span>&#160;            str += <span class="stringliteral">&quot; &quot;</span>;</div><div class="line"><a name="l00097"></a><span class="lineno">   97</span>&#160;        }</div><div class="line"><a name="l00098"></a><span class="lineno">   98</span>&#160;        str += <span class="stringliteral">&quot;}&quot;</span>;</div><div class="line"><a name="l00099"></a><span class="lineno">   99</span>&#160;        <span class="keywordflow">return</span> str;</div><div class="line"><a name="l00100"></a><span class="lineno">  100</span>&#160;    }</div><div class="ttc" id="classSVF_1_1MemRegion_html_a0bd542926951c4efe1c67244eeb89090"><div class="ttname"><a href="classSVF_1_1MemRegion.html#a0bd542926951c4efe1c67244eeb89090">SVF::MemRegion::cptsSet</a></div><div class="ttdeci">const PointsTo cptsSet</div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00057">MemRegion.h:57</a></div></div>
+<p class="definition">Definition at line <a class="el" href="MemRegion_8h_source.html#l00088">88</a> of file <a class="el" href="MemRegion_8h_source.html">MemRegion.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00089"></a><span class="lineno">   89</span>&#160;    {</div><div class="line"><a name="l00090"></a><span class="lineno">   90</span>&#160;        std::string str;</div><div class="line"><a name="l00091"></a><span class="lineno">   91</span>&#160;        str += <span class="stringliteral">&quot;pts{&quot;</span>;</div><div class="line"><a name="l00092"></a><span class="lineno">   92</span>&#160;        <span class="keywordflow">for</span> (NodeBS::iterator ii = <a class="code" href="classSVF_1_1MemRegion.html#a77a18bcce56cf48d1c338e852a2be9bc">cptsSet</a>.begin(), ie = <a class="code" href="classSVF_1_1MemRegion.html#a77a18bcce56cf48d1c338e852a2be9bc">cptsSet</a>.end();</div><div class="line"><a name="l00093"></a><span class="lineno">   93</span>&#160;                ii != ie; ii++)</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;            <span class="keywordtype">char</span> int2str[16];</div><div class="line"><a name="l00096"></a><span class="lineno">   96</span>&#160;            sprintf(int2str, <span class="stringliteral">&quot;%d&quot;</span>, *ii);</div><div class="line"><a name="l00097"></a><span class="lineno">   97</span>&#160;            str += int2str;</div><div class="line"><a name="l00098"></a><span class="lineno">   98</span>&#160;            str += <span class="stringliteral">&quot; &quot;</span>;</div><div class="line"><a name="l00099"></a><span class="lineno">   99</span>&#160;        }</div><div class="line"><a name="l00100"></a><span class="lineno">  100</span>&#160;        str += <span class="stringliteral">&quot;}&quot;</span>;</div><div class="line"><a name="l00101"></a><span class="lineno">  101</span>&#160;        <span class="keywordflow">return</span> str;</div><div class="line"><a name="l00102"></a><span class="lineno">  102</span>&#160;    }</div><div class="ttc" id="classSVF_1_1MemRegion_html_a77a18bcce56cf48d1c338e852a2be9bc"><div class="ttname"><a href="classSVF_1_1MemRegion.html#a77a18bcce56cf48d1c338e852a2be9bc">SVF::MemRegion::cptsSet</a></div><div class="ttdeci">const NodeBS cptsSet</div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00059">MemRegion.h:59</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -302,13 +284,13 @@ Static Private Attributes</h2></td></tr>
 
 <p>Return memory region ID. </p>
 
-<p class="definition">Definition at line <a class="el" href="MemRegion_8h_source.html#l00071">71</a> of file <a class="el" href="MemRegion_8h_source.html">MemRegion.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00072"></a><span class="lineno">   72</span>&#160;    {</div><div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemRegion.html#aeb8ba1e0c907aeb3de84d8bd899c98b4">rid</a>;</div><div class="line"><a name="l00074"></a><span class="lineno">   74</span>&#160;    }</div><div class="ttc" id="classSVF_1_1MemRegion_html_aeb8ba1e0c907aeb3de84d8bd899c98b4"><div class="ttname"><a href="classSVF_1_1MemRegion.html#aeb8ba1e0c907aeb3de84d8bd899c98b4">SVF::MemRegion::rid</a></div><div class="ttdeci">MRID rid</div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00056">MemRegion.h:56</a></div></div>
+<p class="definition">Definition at line <a class="el" href="MemRegion_8h_source.html#l00073">73</a> of file <a class="el" href="MemRegion_8h_source.html">MemRegion.h</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;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemRegion.html#aeb8ba1e0c907aeb3de84d8bd899c98b4">rid</a>;</div><div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;    }</div><div class="ttc" id="classSVF_1_1MemRegion_html_aeb8ba1e0c907aeb3de84d8bd899c98b4"><div class="ttname"><a href="classSVF_1_1MemRegion.html#aeb8ba1e0c907aeb3de84d8bd899c98b4">SVF::MemRegion::rid</a></div><div class="ttdeci">MRID rid</div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00058">MemRegion.h:58</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
-<a id="ad6d4a3ed0f7a118cc38fad0c37ecc54a"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#ad6d4a3ed0f7a118cc38fad0c37ecc54a">&#9670;&nbsp;</a></span>getPointsTo()</h2>
+<a id="a1e5befaa1a46943e101b33adaf141ca1"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a1e5befaa1a46943e101b33adaf141ca1">&#9670;&nbsp;</a></span>getPointsTo()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -317,7 +299,7 @@ Static Private Attributes</h2></td></tr>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">const <a class="el" href="namespaceSVF.html#a0c6594b4bae7924369bb61943c1da4fb">PointsTo</a>&amp; SVF::MemRegion::getPointsTo </td>
+          <td class="memname">const <a class="el" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a>&amp; SVF::MemRegion::getPointsTo </td>
           <td>(</td>
           <td class="paramname"></td><td>)</td>
           <td> const</td>
@@ -332,8 +314,8 @@ Static Private Attributes</h2></td></tr>
 
 <p>Return points-to. </p>
 
-<p class="definition">Definition at line <a class="el" href="MemRegion_8h_source.html#l00076">76</a> of file <a class="el" href="MemRegion_8h_source.html">MemRegion.h</a>.</p>
-<div class="fragment"><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;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemRegion.html#a0bd542926951c4efe1c67244eeb89090">cptsSet</a>;</div><div class="line"><a name="l00079"></a><span class="lineno">   79</span>&#160;    }</div><div class="ttc" id="classSVF_1_1MemRegion_html_a0bd542926951c4efe1c67244eeb89090"><div class="ttname"><a href="classSVF_1_1MemRegion.html#a0bd542926951c4efe1c67244eeb89090">SVF::MemRegion::cptsSet</a></div><div class="ttdeci">const PointsTo cptsSet</div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00057">MemRegion.h:57</a></div></div>
+<p class="definition">Definition at line <a class="el" href="MemRegion_8h_source.html#l00078">78</a> of file <a class="el" href="MemRegion_8h_source.html">MemRegion.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00079"></a><span class="lineno">   79</span>&#160;    {</div><div class="line"><a name="l00080"></a><span class="lineno">   80</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemRegion.html#a77a18bcce56cf48d1c338e852a2be9bc">cptsSet</a>;</div><div class="line"><a name="l00081"></a><span class="lineno">   81</span>&#160;    }</div><div class="ttc" id="classSVF_1_1MemRegion_html_a77a18bcce56cf48d1c338e852a2be9bc"><div class="ttname"><a href="classSVF_1_1MemRegion.html#a77a18bcce56cf48d1c338e852a2be9bc">SVF::MemRegion::cptsSet</a></div><div class="ttdeci">const NodeBS cptsSet</div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00059">MemRegion.h:59</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -362,8 +344,8 @@ Static Private Attributes</h2></td></tr>
 
 <p>Return memory object number inside a region. </p>
 
-<p class="definition">Definition at line <a class="el" href="MemRegion_8h_source.html#l00123">123</a> of file <a class="el" href="MemRegion_8h_source.html">MemRegion.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00124"></a><span class="lineno">  124</span>&#160;    {</div><div class="line"><a name="l00125"></a><span class="lineno">  125</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemRegion.html#a0bd542926951c4efe1c67244eeb89090">cptsSet</a>.count();</div><div class="line"><a name="l00126"></a><span class="lineno">  126</span>&#160;    }</div><div class="ttc" id="classSVF_1_1MemRegion_html_a0bd542926951c4efe1c67244eeb89090"><div class="ttname"><a href="classSVF_1_1MemRegion.html#a0bd542926951c4efe1c67244eeb89090">SVF::MemRegion::cptsSet</a></div><div class="ttdeci">const PointsTo cptsSet</div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00057">MemRegion.h:57</a></div></div>
+<p class="definition">Definition at line <a class="el" href="MemRegion_8h_source.html#l00117">117</a> of file <a class="el" href="MemRegion_8h_source.html">MemRegion.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00118"></a><span class="lineno">  118</span>&#160;    {</div><div class="line"><a name="l00119"></a><span class="lineno">  119</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MemRegion.html#a77a18bcce56cf48d1c338e852a2be9bc">cptsSet</a>.count();</div><div class="line"><a name="l00120"></a><span class="lineno">  120</span>&#160;    }</div><div class="ttc" id="classSVF_1_1MemRegion_html_a77a18bcce56cf48d1c338e852a2be9bc"><div class="ttname"><a href="classSVF_1_1MemRegion.html#a77a18bcce56cf48d1c338e852a2be9bc">SVF::MemRegion::cptsSet</a></div><div class="ttdeci">const NodeBS cptsSet</div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00059">MemRegion.h:59</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -393,14 +375,14 @@ Static Private Attributes</h2></td></tr>
 
 <p>Operator== overriding. </p>
 
-<p class="definition">Definition at line <a class="el" href="MemRegion_8h_source.html#l00081">81</a> of file <a class="el" href="MemRegion_8h_source.html">MemRegion.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00082"></a><span class="lineno">   82</span>&#160;    {</div><div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;        <span class="keywordflow">return</span> this-&gt;<a class="code" href="classSVF_1_1MemRegion.html#ad6d4a3ed0f7a118cc38fad0c37ecc54a">getPointsTo</a>() == rhs-&gt;getPointsTo();</div><div class="line"><a name="l00084"></a><span class="lineno">   84</span>&#160;    }</div><div class="ttc" id="classSVF_1_1MemRegion_html_ad6d4a3ed0f7a118cc38fad0c37ecc54a"><div class="ttname"><a href="classSVF_1_1MemRegion.html#ad6d4a3ed0f7a118cc38fad0c37ecc54a">SVF::MemRegion::getPointsTo</a></div><div class="ttdeci">const PointsTo &amp; getPointsTo() const</div><div class="ttdoc">Return points-to. </div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00076">MemRegion.h:76</a></div></div>
+<p class="definition">Definition at line <a class="el" href="MemRegion_8h_source.html#l00083">83</a> of file <a class="el" href="MemRegion_8h_source.html">MemRegion.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00084"></a><span class="lineno">   84</span>&#160;    {</div><div class="line"><a name="l00085"></a><span class="lineno">   85</span>&#160;        <span class="keywordflow">return</span> this-&gt;<a class="code" href="classSVF_1_1MemRegion.html#a1e5befaa1a46943e101b33adaf141ca1">getPointsTo</a>() == rhs-&gt;getPointsTo();</div><div class="line"><a name="l00086"></a><span class="lineno">   86</span>&#160;    }</div><div class="ttc" id="classSVF_1_1MemRegion_html_a1e5befaa1a46943e101b33adaf141ca1"><div class="ttname"><a href="classSVF_1_1MemRegion.html#a1e5befaa1a46943e101b33adaf141ca1">SVF::MemRegion::getPointsTo</a></div><div class="ttdeci">const NodeBS &amp; getPointsTo() const</div><div class="ttdoc">Return points-to. </div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00078">MemRegion.h:78</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
 <h2 class="groupheader">Member Data Documentation</h2>
-<a id="a0bd542926951c4efe1c67244eeb89090"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a0bd542926951c4efe1c67244eeb89090">&#9670;&nbsp;</a></span>cptsSet</h2>
+<a id="a77a18bcce56cf48d1c338e852a2be9bc"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a77a18bcce56cf48d1c338e852a2be9bc">&#9670;&nbsp;</a></span>cptsSet</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -409,7 +391,7 @@ Static Private Attributes</h2></td></tr>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">const <a class="el" href="namespaceSVF.html#a0c6594b4bae7924369bb61943c1da4fb">PointsTo</a> SVF::MemRegion::cptsSet</td>
+          <td class="memname">const <a class="el" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> SVF::MemRegion::cptsSet</td>
         </tr>
       </table>
   </td>
@@ -419,7 +401,7 @@ Static Private Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="MemRegion_8h_source.html#l00057">57</a> of file <a class="el" href="MemRegion_8h_source.html">MemRegion.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="MemRegion_8h_source.html#l00059">59</a> of file <a class="el" href="MemRegion_8h_source.html">MemRegion.h</a>.</p>
 
 </div>
 </div>
@@ -443,7 +425,7 @@ Static Private Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="MemRegion_8h_source.html#l00056">56</a> of file <a class="el" href="MemRegion_8h_source.html">MemRegion.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="MemRegion_8h_source.html#l00058">58</a> of file <a class="el" href="MemRegion_8h_source.html">MemRegion.h</a>.</p>
 
 </div>
 </div>
@@ -469,7 +451,7 @@ Static Private Attributes</h2></td></tr>
 
 <p>region ID 0 is reserved </p>
 
-<p class="definition">Definition at line <a class="el" href="MemRegion_8h_source.html#l00055">55</a> of file <a class="el" href="MemRegion_8h_source.html">MemRegion.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="MemRegion_8h_source.html#l00057">57</a> of file <a class="el" href="MemRegion_8h_source.html">MemRegion.h</a>.</p>
 
 </div>
 </div>

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

@@ -126,7 +126,7 @@ $(function() {
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MemSSA.html#ab2dfdcf6fb50ba6cacad1254350a5b09">getMRGenerator</a>()</td><td class="entry"><a class="el" href="classSVF_1_1MemSSA.html">SVF::MemSSA</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1MemSSA.html#aea0fc1d2e5407f86e0211d8e253fa24e">getMUSet</a>(const LoadPE *ld)</td><td class="entry"><a class="el" href="classSVF_1_1MemSSA.html">SVF::MemSSA</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MemSSA.html#a59392ba4cc987f5fefa4eca0ebe411fe">getMUSet</a>(const CallBlockNode *cs)</td><td class="entry"><a class="el" href="classSVF_1_1MemSSA.html">SVF::MemSSA</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1MemSSA.html#a37ba6ead86bce47f97adeff1e8cdb564">getPAG</a>()</td><td class="entry"><a class="el" href="classSVF_1_1MemSSA.html">SVF::MemSSA</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1MemSSA.html#a1374ee572c9043d183f25bb96648cd7a">getPAG</a>()</td><td class="entry"><a class="el" href="classSVF_1_1MemSSA.html">SVF::MemSSA</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MemSSA.html#a964f3fe39ece9a7b8b2033428b75a274">getPHISet</a>(const BasicBlock *bb)</td><td class="entry"><a class="el" href="classSVF_1_1MemSSA.html">SVF::MemSSA</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1MemSSA.html#ad40617a1907b9a6b8cc24888ce54a0ac">getPTA</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1MemSSA.html">SVF::MemSSA</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MemSSA.html#af8c38a7ff8da4206f19c038024606d93">getReturnMuSet</a>(const SVFFunction *fun)</td><td class="entry"><a class="el" href="classSVF_1_1MemSSA.html">SVF::MemSSA</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>