svf-tools 1.0.284 → 1.0.285

package/SVF-doxygen/html/html/MemPartition_8h_source.html

@@ -66,40 +66,40 @@ $(function() {
 <div class="title">MemPartition.h</div>  </div>
 </div><!--header-->
 <div class="contents">
-<a href="MemPartition_8h.html">Go to the documentation of this file.</a><div class="fragment"><div class="line"><a name="l00001"></a><span class="lineno">    1</span>&#160;<span class="comment">//===- MemPartition.h -- Memory region partition-----------------------------//</span></div><div class="line"><a name="l00002"></a><span class="lineno">    2</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00003"></a><span class="lineno">    3</span>&#160;<span class="comment">//                     SVF: Static Value-Flow Analysis</span></div><div class="line"><a name="l00004"></a><span class="lineno">    4</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00005"></a><span class="lineno">    5</span>&#160;<span class="comment">// Copyright (C) &lt;2013-2017&gt;  &lt;Yulei Sui&gt;</span></div><div class="line"><a name="l00006"></a><span class="lineno">    6</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00007"></a><span class="lineno">    7</span>&#160;</div><div class="line"><a name="l00008"></a><span class="lineno">    8</span>&#160;<span class="comment">// This program is free software: you can redistribute it and/or modify</span></div><div class="line"><a name="l00009"></a><span class="lineno">    9</span>&#160;<span class="comment">// it under the terms of the GNU General Public License as published by</span></div><div class="line"><a name="l00010"></a><span class="lineno">   10</span>&#160;<span class="comment">// the Free Software Foundation, either version 3 of the License, or</span></div><div class="line"><a name="l00011"></a><span class="lineno">   11</span>&#160;<span class="comment">// (at your option) any later version.</span></div><div class="line"><a name="l00012"></a><span class="lineno">   12</span>&#160;</div><div class="line"><a name="l00013"></a><span class="lineno">   13</span>&#160;<span class="comment">// This program is distributed in the hope that it will be useful,</span></div><div class="line"><a name="l00014"></a><span class="lineno">   14</span>&#160;<span class="comment">// but WITHOUT ANY WARRANTY; without even the implied warranty of</span></div><div class="line"><a name="l00015"></a><span class="lineno">   15</span>&#160;<span class="comment">// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the</span></div><div class="line"><a name="l00016"></a><span class="lineno">   16</span>&#160;<span class="comment">// GNU General Public License for more details.</span></div><div class="line"><a name="l00017"></a><span class="lineno">   17</span>&#160;</div><div class="line"><a name="l00018"></a><span class="lineno">   18</span>&#160;<span class="comment">// You should have received a copy of the GNU General Public License</span></div><div class="line"><a name="l00019"></a><span class="lineno">   19</span>&#160;<span class="comment">// along with this program.  If not, see &lt;http://www.gnu.org/licenses/&gt;.</span></div><div class="line"><a name="l00020"></a><span class="lineno">   20</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00021"></a><span class="lineno">   21</span>&#160;<span class="comment">//===----------------------------------------------------------------------===//</span></div><div class="line"><a name="l00022"></a><span class="lineno">   22</span>&#160;</div><div class="line"><a name="l00023"></a><span class="lineno">   23</span>&#160;<span class="comment">/*</span></div><div class="line"><a name="l00024"></a><span class="lineno">   24</span>&#160;<span class="comment"> * @file: DisnctMRGenerator.h</span></div><div class="line"><a name="l00025"></a><span class="lineno">   25</span>&#160;<span class="comment"> * @author: yesen</span></div><div class="line"><a name="l00026"></a><span class="lineno">   26</span>&#160;<span class="comment"> * @date: 07/12/2013</span></div><div class="line"><a name="l00027"></a><span class="lineno">   27</span>&#160;<span class="comment"> * @version: 1.0</span></div><div class="line"><a name="l00028"></a><span class="lineno">   28</span>&#160;<span class="comment"> *</span></div><div class="line"><a name="l00029"></a><span class="lineno">   29</span>&#160;<span class="comment"> * @section LICENSE</span></div><div class="line"><a name="l00030"></a><span class="lineno">   30</span>&#160;<span class="comment"> *</span></div><div class="line"><a name="l00031"></a><span class="lineno">   31</span>&#160;<span class="comment"> * @section DESCRIPTION</span></div><div class="line"><a name="l00032"></a><span class="lineno">   32</span>&#160;<span class="comment"> *</span></div><div class="line"><a name="l00033"></a><span class="lineno">   33</span>&#160;<span class="comment"> */</span></div><div class="line"><a name="l00034"></a><span class="lineno">   34</span>&#160;</div><div class="line"><a name="l00035"></a><span class="lineno">   35</span>&#160;</div><div class="line"><a name="l00036"></a><span class="lineno">   36</span>&#160;<span class="preprocessor">#ifndef DISNCTMRGENERATOR_H_</span></div><div class="line"><a name="l00037"></a><span class="lineno">   37</span>&#160;<span class="preprocessor">#define DISNCTMRGENERATOR_H_</span></div><div class="line"><a name="l00038"></a><span class="lineno">   38</span>&#160;</div><div class="line"><a name="l00039"></a><span class="lineno">   39</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="MemRegion_8h.html">MSSA/MemRegion.h</a>&quot;</span></div><div class="line"><a name="l00040"></a><span class="lineno">   40</span>&#160;</div><div class="line"><a name="l00041"></a><span class="lineno">   41</span>&#160;<span class="keyword">namespace </span><a class="code" href="namespaceSVF.html">SVF</a></div><div class="line"><a name="l00042"></a><span class="lineno">   42</span>&#160;{</div><div class="line"><a name="l00043"></a><span class="lineno">   43</span>&#160;</div><div class="line"><a name="l00047"></a><span class="lineno"><a class="line" href="classSVF_1_1DistinctMRG.html">   47</a></span>&#160;<span class="keyword">class </span><a class="code" href="classSVF_1_1DistinctMRG.html">DistinctMRG</a> : <span class="keyword">public</span> <a class="code" href="classSVF_1_1MRGenerator.html">MRGenerator</a></div><div class="line"><a name="l00048"></a><span class="lineno">   48</span>&#160;{</div><div class="line"><a name="l00049"></a><span class="lineno">   49</span>&#160;<span class="keyword">public</span>:</div><div class="line"><a name="l00050"></a><span class="lineno"><a class="line" href="classSVF_1_1DistinctMRG.html#ad7e4959327aa45932fd788bacca0de01">   50</a></span>&#160;    <a class="code" href="classSVF_1_1DistinctMRG.html#ad7e4959327aa45932fd788bacca0de01">DistinctMRG</a>(<a class="code" href="classSVF_1_1BVDataPTAImpl.html">BVDataPTAImpl</a>* p, <span class="keywordtype">bool</span> ptrOnly) : <a class="code" href="classSVF_1_1MRGenerator.html">MRGenerator</a>(p, ptrOnly)</div><div class="line"><a name="l00051"></a><span class="lineno">   51</span>&#160;    {}</div><div class="line"><a name="l00052"></a><span class="lineno">   52</span>&#160;</div><div class="line"><a name="l00053"></a><span class="lineno"><a class="line" href="classSVF_1_1DistinctMRG.html#abeb93eb39a51280afd9d55e8a09b1d9a">   53</a></span>&#160;    <a class="code" href="classSVF_1_1DistinctMRG.html#abeb93eb39a51280afd9d55e8a09b1d9a">~DistinctMRG</a>() {}</div><div class="line"><a name="l00054"></a><span class="lineno">   54</span>&#160;</div><div class="line"><a name="l00055"></a><span class="lineno">   55</span>&#160;<span class="keyword">protected</span>:</div><div class="line"><a name="l00057"></a><span class="lineno">   57</span>&#160;    <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1DistinctMRG.html#a4512ef21fa83988ad4d588831bfba482">partitionMRs</a>();</div><div class="line"><a name="l00058"></a><span class="lineno">   58</span>&#160;</div><div class="line"><a name="l00060"></a><span class="lineno">   60</span>&#160;    <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1DistinctMRG.html#ad877dd9e21c3e1d5a1437b12e68ff993">getMRsForLoad</a>(<a class="code" href="classSVF_1_1MRGenerator.html#a98ac3bf264e6a85d172c2c4264ea908f">MRSet</a>&amp; aliasMRs, <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a0c6594b4bae7924369bb61943c1da4fb">PointsTo</a>&amp; cpts, <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* fun);</div><div class="line"><a name="l00061"></a><span class="lineno">   61</span>&#160;</div><div class="line"><a name="l00063"></a><span class="lineno">   63</span>&#160;    <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1DistinctMRG.html#a2b3e57a20079b28fb9ec389bdc4f37f3">getMRsForCallSiteRef</a>(<a class="code" href="classSVF_1_1MRGenerator.html#a98ac3bf264e6a85d172c2c4264ea908f">MRSet</a>&amp; aliasMRs, <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a0c6594b4bae7924369bb61943c1da4fb">PointsTo</a>&amp; cpts, <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* fun);</div><div class="line"><a name="l00064"></a><span class="lineno">   64</span>&#160;<span class="keyword">private</span>:</div><div class="line"><a name="l00066"></a><span class="lineno">   66</span>&#160;    <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1DistinctMRG.html#a610cc0e35fb01260a92afffee6f271ac">createDistinctMR</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* func, <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a0c6594b4bae7924369bb61943c1da4fb">PointsTo</a>&amp; cpts);</div><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 class="line"><a name="l00069"></a><span class="lineno">   69</span>&#160;</div><div class="line"><a name="l00073"></a><span class="lineno"><a class="line" href="classSVF_1_1IntraDisjointMRG.html">   73</a></span>&#160;<span class="keyword">class </span><a class="code" href="classSVF_1_1IntraDisjointMRG.html">IntraDisjointMRG</a> : <span class="keyword">public</span> <a class="code" href="classSVF_1_1MRGenerator.html">MRGenerator</a></div><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="keyword">public</span>:</div><div class="line"><a name="l00076"></a><span class="lineno"><a class="line" href="classSVF_1_1IntraDisjointMRG.html#a95e5cc07c8e1838f9336c6a2f0aa941a">   76</a></span>&#160;    <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6">OrderedMap&lt;PointsTo, PointsToList&gt;</a> <a class="code" href="classSVF_1_1IntraDisjointMRG.html#a95e5cc07c8e1838f9336c6a2f0aa941a">PtsToSubPtsMap</a>;</div><div class="line"><a name="l00077"></a><span class="lineno"><a class="line" href="classSVF_1_1IntraDisjointMRG.html#a824dec1bb1df5052252e7fe0dd55a894">   77</a></span>&#160;    <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map&lt;const SVFFunction*, PtsToSubPtsMap&gt;</a> <a class="code" href="classSVF_1_1IntraDisjointMRG.html#a824dec1bb1df5052252e7fe0dd55a894">FunToPtsMap</a>;</div><div class="line"><a name="l00078"></a><span class="lineno"><a class="line" href="classSVF_1_1IntraDisjointMRG.html#ad59c11753db0b310246418df4c62f639">   78</a></span>&#160;    <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map&lt;const SVFFunction*, PointsToList&gt;</a> <a class="code" href="classSVF_1_1IntraDisjointMRG.html#ad59c11753db0b310246418df4c62f639">FunToInterMap</a>;</div><div class="line"><a name="l00079"></a><span class="lineno">   79</span>&#160;</div><div class="line"><a name="l00080"></a><span class="lineno"><a class="line" href="classSVF_1_1IntraDisjointMRG.html#ae4bc9b653e15ce876579741e91a463ae">   80</a></span>&#160;    <a class="code" href="classSVF_1_1IntraDisjointMRG.html#ae4bc9b653e15ce876579741e91a463ae">IntraDisjointMRG</a>(<a class="code" href="classSVF_1_1BVDataPTAImpl.html">BVDataPTAImpl</a>* p, <span class="keywordtype">bool</span> ptrOnly) : <a class="code" href="classSVF_1_1MRGenerator.html">MRGenerator</a>(p, ptrOnly)</div><div class="line"><a name="l00081"></a><span class="lineno">   81</span>&#160;    {}</div><div class="line"><a name="l00082"></a><span class="lineno">   82</span>&#160;</div><div class="line"><a name="l00083"></a><span class="lineno"><a class="line" href="classSVF_1_1IntraDisjointMRG.html#ad92695f6ff2cb62f58b48d68b0b6fb0e">   83</a></span>&#160;    <a class="code" href="classSVF_1_1IntraDisjointMRG.html#ad92695f6ff2cb62f58b48d68b0b6fb0e">~IntraDisjointMRG</a>() {}</div><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="keyword">protected</span>:</div><div class="line"><a name="l00086"></a><span class="lineno">   86</span>&#160;</div><div class="line"><a name="l00088"></a><span class="lineno">   88</span>&#160;    <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1DistinctMRG.html#a4512ef21fa83988ad4d588831bfba482">partitionMRs</a>();</div><div class="line"><a name="l00089"></a><span class="lineno">   89</span>&#160;</div><div class="line"><a name="l00096"></a><span class="lineno"><a class="line" href="classSVF_1_1IntraDisjointMRG.html#aa1395f921e2a6e2607a6887f134cb63f">   96</a></span>&#160;    <span class="keyword">virtual</span> <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1IntraDisjointMRG.html#aa1395f921e2a6e2607a6887f134cb63f">getMRsForLoad</a>(<a class="code" href="classSVF_1_1MRGenerator.html#a98ac3bf264e6a85d172c2c4264ea908f">MRSet</a>&amp; aliasMRs, <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a0c6594b4bae7924369bb61943c1da4fb">PointsTo</a>&amp; cpts,</div><div class="line"><a name="l00097"></a><span class="lineno">   97</span>&#160;                                      <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* fun)</div><div class="line"><a name="l00098"></a><span class="lineno">   98</span>&#160;    {</div><div class="line"><a name="l00099"></a><span class="lineno">   99</span>&#160;        <span class="keyword">const</span> <a class="code" href="classSVF_1_1MRGenerator.html#a2a9b87b7b9a567a7fd94e9267f3eb054">PointsToList</a>&amp; inters = getIntersList(fun);</div><div class="line"><a name="l00100"></a><span class="lineno">  100</span>&#160;        getMRsForLoadFromInterList(aliasMRs, cpts, inters);</div><div class="line"><a name="l00101"></a><span class="lineno">  101</span>&#160;    }</div><div class="line"><a name="l00102"></a><span class="lineno">  102</span>&#160;</div><div class="line"><a name="l00103"></a><span class="lineno">  103</span>&#160;    <span class="keywordtype">void</span> getMRsForLoadFromInterList(<a class="code" href="classSVF_1_1MRGenerator.html#a98ac3bf264e6a85d172c2c4264ea908f">MRSet</a>&amp; mrs, <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a0c6594b4bae7924369bb61943c1da4fb">PointsTo</a>&amp; cpts, <span class="keyword">const</span> <a class="code" href="classSVF_1_1MRGenerator.html#a2a9b87b7b9a567a7fd94e9267f3eb054">PointsToList</a>&amp; inters);</div><div class="line"><a name="l00104"></a><span class="lineno">  104</span>&#160;</div><div class="line"><a name="l00106"></a><span class="lineno">  106</span>&#160;    <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1DistinctMRG.html#a2b3e57a20079b28fb9ec389bdc4f37f3">getMRsForCallSiteRef</a>(<a class="code" href="classSVF_1_1MRGenerator.html#a98ac3bf264e6a85d172c2c4264ea908f">MRSet</a>&amp; aliasMRs, <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a0c6594b4bae7924369bb61943c1da4fb">PointsTo</a>&amp; cpts, <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* fun);</div><div class="line"><a name="l00107"></a><span class="lineno">  107</span>&#160;</div><div class="line"><a name="l00109"></a><span class="lineno">  109</span>&#160;    <span class="keywordtype">void</span> createDisjointMR(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* func, <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a0c6594b4bae7924369bb61943c1da4fb">PointsTo</a>&amp; cpts);</div><div class="line"><a name="l00110"></a><span class="lineno">  110</span>&#160;</div><div class="line"><a name="l00112"></a><span class="lineno">  112</span>&#160;    <span class="keywordtype">void</span> computeIntersections(<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a0c6594b4bae7924369bb61943c1da4fb">PointsTo</a>&amp; cpts, <a class="code" href="classSVF_1_1MRGenerator.html#a2a9b87b7b9a567a7fd94e9267f3eb054">PointsToList</a>&amp; inters);</div><div class="line"><a name="l00113"></a><span class="lineno">  113</span>&#160;</div><div class="line"><a name="l00114"></a><span class="lineno">  114</span>&#160;<span class="keyword">private</span>:</div><div class="line"><a name="l00115"></a><span class="lineno"><a class="line" href="classSVF_1_1IntraDisjointMRG.html#ae3c857c056f4e6e863843bafba7fdea1">  115</a></span>&#160;    <span class="keyword">inline</span> PtsToSubPtsMap&amp; <a class="code" href="classSVF_1_1IntraDisjointMRG.html#ae3c857c056f4e6e863843bafba7fdea1">getPtsSubSetMap</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* func)</div><div class="line"><a name="l00116"></a><span class="lineno">  116</span>&#160;    {</div><div class="line"><a name="l00117"></a><span class="lineno">  117</span>&#160;        <span class="keywordflow">return</span> funcToPtsMap[func];</div><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;</div><div class="line"><a name="l00120"></a><span class="lineno"><a class="line" href="classSVF_1_1IntraDisjointMRG.html#aa8c653e895ff0889615cdbf349be7652">  120</a></span>&#160;    <span class="keyword">inline</span> <a class="code" href="classSVF_1_1MRGenerator.html#a2a9b87b7b9a567a7fd94e9267f3eb054">PointsToList</a>&amp; <a class="code" href="classSVF_1_1IntraDisjointMRG.html#aa8c653e895ff0889615cdbf349be7652">getIntersList</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* func)</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;        <span class="keywordflow">return</span> funcToInterMap[func];</div><div class="line"><a name="l00123"></a><span class="lineno">  123</span>&#160;    }</div><div class="line"><a name="l00124"></a><span class="lineno">  124</span>&#160;</div><div class="line"><a name="l00125"></a><span class="lineno"><a class="line" href="classSVF_1_1IntraDisjointMRG.html#ad0640ef6e02d9a90964ca495c0fd8f53">  125</a></span>&#160;    <span class="keyword">inline</span> <span class="keyword">const</span> PtsToSubPtsMap&amp; <a class="code" href="classSVF_1_1IntraDisjointMRG.html#ad0640ef6e02d9a90964ca495c0fd8f53">getPtsSubSetMap</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* func)<span class="keyword"> const</span></div><div class="line"><a name="l00126"></a><span class="lineno">  126</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00127"></a><span class="lineno">  127</span>&#160;        FunToPtsMap::const_iterator it = funcToPtsMap.find(func);</div><div class="line"><a name="l00128"></a><span class="lineno">  128</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(it != funcToPtsMap.end() &amp;&amp; <span class="stringliteral">&quot;can not find pts map for specified function&quot;</span>);</div><div class="line"><a name="l00129"></a><span class="lineno">  129</span>&#160;        <span class="keywordflow">return</span> it-&gt;second;</div><div class="line"><a name="l00130"></a><span class="lineno">  130</span>&#160;    }</div><div class="line"><a name="l00131"></a><span class="lineno">  131</span>&#160;</div><div class="line"><a name="l00132"></a><span class="lineno"><a class="line" href="classSVF_1_1IntraDisjointMRG.html#a4b05180c942c1d049e70f8050f4186f6">  132</a></span>&#160;    FunToPtsMap <a class="code" href="classSVF_1_1IntraDisjointMRG.html#a4b05180c942c1d049e70f8050f4186f6">funcToPtsMap</a>;</div><div class="line"><a name="l00133"></a><span class="lineno"><a class="line" href="classSVF_1_1IntraDisjointMRG.html#ac3873b9ae1339e8d502e85c217638078">  133</a></span>&#160;    FunToInterMap <a class="code" href="classSVF_1_1IntraDisjointMRG.html#ac3873b9ae1339e8d502e85c217638078">funcToInterMap</a>;</div><div class="line"><a name="l00134"></a><span class="lineno">  134</span>&#160;};</div><div class="line"><a name="l00135"></a><span class="lineno">  135</span>&#160;</div><div class="line"><a name="l00139"></a><span class="lineno"><a class="line" href="classSVF_1_1InterDisjointMRG.html">  139</a></span>&#160;<span class="keyword">class </span><a class="code" href="classSVF_1_1InterDisjointMRG.html">InterDisjointMRG</a> : <span class="keyword">public</span> <a class="code" href="classSVF_1_1IntraDisjointMRG.html">IntraDisjointMRG</a></div><div class="line"><a name="l00140"></a><span class="lineno">  140</span>&#160;{</div><div class="line"><a name="l00141"></a><span class="lineno">  141</span>&#160;<span class="keyword">public</span>:</div><div class="line"><a name="l00142"></a><span class="lineno"><a class="line" href="classSVF_1_1InterDisjointMRG.html#a91e89081103f451945baadaea370b428">  142</a></span>&#160;    <a class="code" href="classSVF_1_1InterDisjointMRG.html#a91e89081103f451945baadaea370b428">InterDisjointMRG</a>(<a class="code" href="classSVF_1_1BVDataPTAImpl.html">BVDataPTAImpl</a>* p, <span class="keywordtype">bool</span> ptrOnly) : <a class="code" href="classSVF_1_1IntraDisjointMRG.html">IntraDisjointMRG</a>(p, ptrOnly)</div><div class="line"><a name="l00143"></a><span class="lineno">  143</span>&#160;    {}</div><div class="line"><a name="l00144"></a><span class="lineno">  144</span>&#160;</div><div class="line"><a name="l00145"></a><span class="lineno"><a class="line" href="classSVF_1_1InterDisjointMRG.html#a664e831aa98e3c894e794273fbb78591">  145</a></span>&#160;    <a class="code" href="classSVF_1_1InterDisjointMRG.html#a664e831aa98e3c894e794273fbb78591">~InterDisjointMRG</a>() {}</div><div class="line"><a name="l00146"></a><span class="lineno">  146</span>&#160;</div><div class="line"><a name="l00147"></a><span class="lineno">  147</span>&#160;<span class="keyword">protected</span>:</div><div class="line"><a name="l00149"></a><span class="lineno">  149</span>&#160;    <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1DistinctMRG.html#a4512ef21fa83988ad4d588831bfba482">partitionMRs</a>();</div><div class="line"><a name="l00150"></a><span class="lineno">  150</span>&#160;</div><div class="line"><a name="l00157"></a><span class="lineno"><a class="line" href="classSVF_1_1InterDisjointMRG.html#affab79ce9b1ef9ec7bc04af8ad2954dc">  157</a></span>&#160;    <span class="keyword">virtual</span> <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1InterDisjointMRG.html#affab79ce9b1ef9ec7bc04af8ad2954dc">getMRsForLoad</a>(<a class="code" href="classSVF_1_1MRGenerator.html#a98ac3bf264e6a85d172c2c4264ea908f">MRSet</a>&amp; aliasMRs, <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a0c6594b4bae7924369bb61943c1da4fb">PointsTo</a>&amp; cpts,</div><div class="line"><a name="l00158"></a><span class="lineno">  158</span>&#160;                                      <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>*)</div><div class="line"><a name="l00159"></a><span class="lineno">  159</span>&#160;    {</div><div class="line"><a name="l00160"></a><span class="lineno">  160</span>&#160;        getMRsForLoadFromInterList(aliasMRs, cpts, inters);</div><div class="line"><a name="l00161"></a><span class="lineno">  161</span>&#160;    }</div><div class="line"><a name="l00162"></a><span class="lineno">  162</span>&#160;</div><div class="line"><a name="l00163"></a><span class="lineno">  163</span>&#160;<span class="keyword">private</span>:</div><div class="line"><a name="l00164"></a><span class="lineno"><a class="line" href="classSVF_1_1InterDisjointMRG.html#a104134d0f7c8b16abe8f5f3899c3bbf0">  164</a></span>&#160;    <a class="code" href="classSVF_1_1MRGenerator.html#a2a9b87b7b9a567a7fd94e9267f3eb054">PointsToList</a> <a class="code" href="classSVF_1_1InterDisjointMRG.html#a104134d0f7c8b16abe8f5f3899c3bbf0">inters</a>;</div><div class="line"><a name="l00165"></a><span class="lineno">  165</span>&#160;};</div><div class="line"><a name="l00166"></a><span class="lineno">  166</span>&#160;</div><div class="line"><a name="l00167"></a><span class="lineno">  167</span>&#160;} <span class="comment">// End namespace SVF</span></div><div class="line"><a name="l00168"></a><span class="lineno">  168</span>&#160;</div><div class="line"><a name="l00169"></a><span class="lineno">  169</span>&#160;<span class="preprocessor">#endif </span><span class="comment">/* DISNCTMRGENERATOR_H_ */</span><span class="preprocessor"></span></div><div class="ttc" id="classSVF_1_1BVDataPTAImpl_html"><div class="ttname"><a href="classSVF_1_1BVDataPTAImpl.html">SVF::BVDataPTAImpl</a></div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysisImpl_8h_source.html#l00042">PointerAnalysisImpl.h:42</a></div></div>
+<a href="MemPartition_8h.html">Go to the documentation of this file.</a><div class="fragment"><div class="line"><a name="l00001"></a><span class="lineno">    1</span>&#160;<span class="comment">//===- MemPartition.h -- Memory region partition-----------------------------//</span></div><div class="line"><a name="l00002"></a><span class="lineno">    2</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00003"></a><span class="lineno">    3</span>&#160;<span class="comment">//                     SVF: Static Value-Flow Analysis</span></div><div class="line"><a name="l00004"></a><span class="lineno">    4</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00005"></a><span class="lineno">    5</span>&#160;<span class="comment">// Copyright (C) &lt;2013-2017&gt;  &lt;Yulei Sui&gt;</span></div><div class="line"><a name="l00006"></a><span class="lineno">    6</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00007"></a><span class="lineno">    7</span>&#160;</div><div class="line"><a name="l00008"></a><span class="lineno">    8</span>&#160;<span class="comment">// This program is free software: you can redistribute it and/or modify</span></div><div class="line"><a name="l00009"></a><span class="lineno">    9</span>&#160;<span class="comment">// it under the terms of the GNU General Public License as published by</span></div><div class="line"><a name="l00010"></a><span class="lineno">   10</span>&#160;<span class="comment">// the Free Software Foundation, either version 3 of the License, or</span></div><div class="line"><a name="l00011"></a><span class="lineno">   11</span>&#160;<span class="comment">// (at your option) any later version.</span></div><div class="line"><a name="l00012"></a><span class="lineno">   12</span>&#160;</div><div class="line"><a name="l00013"></a><span class="lineno">   13</span>&#160;<span class="comment">// This program is distributed in the hope that it will be useful,</span></div><div class="line"><a name="l00014"></a><span class="lineno">   14</span>&#160;<span class="comment">// but WITHOUT ANY WARRANTY; without even the implied warranty of</span></div><div class="line"><a name="l00015"></a><span class="lineno">   15</span>&#160;<span class="comment">// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the</span></div><div class="line"><a name="l00016"></a><span class="lineno">   16</span>&#160;<span class="comment">// GNU General Public License for more details.</span></div><div class="line"><a name="l00017"></a><span class="lineno">   17</span>&#160;</div><div class="line"><a name="l00018"></a><span class="lineno">   18</span>&#160;<span class="comment">// You should have received a copy of the GNU General Public License</span></div><div class="line"><a name="l00019"></a><span class="lineno">   19</span>&#160;<span class="comment">// along with this program.  If not, see &lt;http://www.gnu.org/licenses/&gt;.</span></div><div class="line"><a name="l00020"></a><span class="lineno">   20</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00021"></a><span class="lineno">   21</span>&#160;<span class="comment">//===----------------------------------------------------------------------===//</span></div><div class="line"><a name="l00022"></a><span class="lineno">   22</span>&#160;</div><div class="line"><a name="l00023"></a><span class="lineno">   23</span>&#160;<span class="comment">/*</span></div><div class="line"><a name="l00024"></a><span class="lineno">   24</span>&#160;<span class="comment"> * @file: DisnctMRGenerator.h</span></div><div class="line"><a name="l00025"></a><span class="lineno">   25</span>&#160;<span class="comment"> * @author: yesen</span></div><div class="line"><a name="l00026"></a><span class="lineno">   26</span>&#160;<span class="comment"> * @date: 07/12/2013</span></div><div class="line"><a name="l00027"></a><span class="lineno">   27</span>&#160;<span class="comment"> * @version: 1.0</span></div><div class="line"><a name="l00028"></a><span class="lineno">   28</span>&#160;<span class="comment"> *</span></div><div class="line"><a name="l00029"></a><span class="lineno">   29</span>&#160;<span class="comment"> * @section LICENSE</span></div><div class="line"><a name="l00030"></a><span class="lineno">   30</span>&#160;<span class="comment"> *</span></div><div class="line"><a name="l00031"></a><span class="lineno">   31</span>&#160;<span class="comment"> * @section DESCRIPTION</span></div><div class="line"><a name="l00032"></a><span class="lineno">   32</span>&#160;<span class="comment"> *</span></div><div class="line"><a name="l00033"></a><span class="lineno">   33</span>&#160;<span class="comment"> */</span></div><div class="line"><a name="l00034"></a><span class="lineno">   34</span>&#160;</div><div class="line"><a name="l00035"></a><span class="lineno">   35</span>&#160;</div><div class="line"><a name="l00036"></a><span class="lineno">   36</span>&#160;<span class="preprocessor">#ifndef DISNCTMRGENERATOR_H_</span></div><div class="line"><a name="l00037"></a><span class="lineno">   37</span>&#160;<span class="preprocessor">#define DISNCTMRGENERATOR_H_</span></div><div class="line"><a name="l00038"></a><span class="lineno">   38</span>&#160;</div><div class="line"><a name="l00039"></a><span class="lineno">   39</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="MemRegion_8h.html">MSSA/MemRegion.h</a>&quot;</span></div><div class="line"><a name="l00040"></a><span class="lineno">   40</span>&#160;</div><div class="line"><a name="l00041"></a><span class="lineno">   41</span>&#160;<span class="keyword">namespace </span><a class="code" href="namespaceSVF.html">SVF</a></div><div class="line"><a name="l00042"></a><span class="lineno">   42</span>&#160;{</div><div class="line"><a name="l00043"></a><span class="lineno">   43</span>&#160;</div><div class="line"><a name="l00047"></a><span class="lineno"><a class="line" href="classSVF_1_1DistinctMRG.html">   47</a></span>&#160;<span class="keyword">class </span><a class="code" href="classSVF_1_1DistinctMRG.html">DistinctMRG</a> : <span class="keyword">public</span> <a class="code" href="classSVF_1_1MRGenerator.html">MRGenerator</a></div><div class="line"><a name="l00048"></a><span class="lineno">   48</span>&#160;{</div><div class="line"><a name="l00049"></a><span class="lineno">   49</span>&#160;<span class="keyword">public</span>:</div><div class="line"><a name="l00050"></a><span class="lineno"><a class="line" href="classSVF_1_1DistinctMRG.html#ad7e4959327aa45932fd788bacca0de01">   50</a></span>&#160;    <a class="code" href="classSVF_1_1DistinctMRG.html#ad7e4959327aa45932fd788bacca0de01">DistinctMRG</a>(<a class="code" href="classSVF_1_1BVDataPTAImpl.html">BVDataPTAImpl</a>* p, <span class="keywordtype">bool</span> ptrOnly) : <a class="code" href="classSVF_1_1MRGenerator.html">MRGenerator</a>(p, ptrOnly)</div><div class="line"><a name="l00051"></a><span class="lineno">   51</span>&#160;    {}</div><div class="line"><a name="l00052"></a><span class="lineno">   52</span>&#160;</div><div class="line"><a name="l00053"></a><span class="lineno"><a class="line" href="classSVF_1_1DistinctMRG.html#abeb93eb39a51280afd9d55e8a09b1d9a">   53</a></span>&#160;    <a class="code" href="classSVF_1_1DistinctMRG.html#abeb93eb39a51280afd9d55e8a09b1d9a">~DistinctMRG</a>() {}</div><div class="line"><a name="l00054"></a><span class="lineno">   54</span>&#160;</div><div class="line"><a name="l00055"></a><span class="lineno">   55</span>&#160;<span class="keyword">protected</span>:</div><div class="line"><a name="l00057"></a><span class="lineno">   57</span>&#160;    <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1DistinctMRG.html#a4512ef21fa83988ad4d588831bfba482">partitionMRs</a>();</div><div class="line"><a name="l00058"></a><span class="lineno">   58</span>&#160;</div><div class="line"><a name="l00060"></a><span class="lineno">   60</span>&#160;    <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1DistinctMRG.html#a1a4fa7e9fb42a59fac2104b208a1e66b">getMRsForLoad</a>(<a class="code" href="classSVF_1_1MRGenerator.html#a98ac3bf264e6a85d172c2c4264ea908f">MRSet</a>&amp; aliasMRs, <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a>&amp; cpts, <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* fun);</div><div class="line"><a name="l00061"></a><span class="lineno">   61</span>&#160;</div><div class="line"><a name="l00063"></a><span class="lineno">   63</span>&#160;    <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1DistinctMRG.html#a74c36d4c98b95c2d40c9970e5f6aecc1">getMRsForCallSiteRef</a>(<a class="code" href="classSVF_1_1MRGenerator.html#a98ac3bf264e6a85d172c2c4264ea908f">MRSet</a>&amp; aliasMRs, <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a>&amp; cpts, <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* fun);</div><div class="line"><a name="l00064"></a><span class="lineno">   64</span>&#160;<span class="keyword">private</span>:</div><div class="line"><a name="l00066"></a><span class="lineno">   66</span>&#160;    <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1DistinctMRG.html#a7a6ffa1c8dc8e624e3b42f97e6e4b393">createDistinctMR</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* func, <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a>&amp; cpts);</div><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 class="line"><a name="l00069"></a><span class="lineno">   69</span>&#160;</div><div class="line"><a name="l00073"></a><span class="lineno"><a class="line" href="classSVF_1_1IntraDisjointMRG.html">   73</a></span>&#160;<span class="keyword">class </span><a class="code" href="classSVF_1_1IntraDisjointMRG.html">IntraDisjointMRG</a> : <span class="keyword">public</span> <a class="code" href="classSVF_1_1MRGenerator.html">MRGenerator</a></div><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="keyword">public</span>:</div><div class="line"><a name="l00076"></a><span class="lineno"><a class="line" href="classSVF_1_1IntraDisjointMRG.html#a5ff8d1cade33445ef7c17f0aedd6a4d1">   76</a></span>&#160;    <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6">OrderedMap&lt;NodeBS, PointsToList&gt;</a> <a class="code" href="classSVF_1_1IntraDisjointMRG.html#a5ff8d1cade33445ef7c17f0aedd6a4d1">PtsToSubPtsMap</a>;</div><div class="line"><a name="l00077"></a><span class="lineno"><a class="line" href="classSVF_1_1IntraDisjointMRG.html#a824dec1bb1df5052252e7fe0dd55a894">   77</a></span>&#160;    <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map&lt;const SVFFunction*, PtsToSubPtsMap&gt;</a> <a class="code" href="classSVF_1_1IntraDisjointMRG.html#a824dec1bb1df5052252e7fe0dd55a894">FunToPtsMap</a>;</div><div class="line"><a name="l00078"></a><span class="lineno"><a class="line" href="classSVF_1_1IntraDisjointMRG.html#ad59c11753db0b310246418df4c62f639">   78</a></span>&#160;    <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map&lt;const SVFFunction*, PointsToList&gt;</a> <a class="code" href="classSVF_1_1IntraDisjointMRG.html#ad59c11753db0b310246418df4c62f639">FunToInterMap</a>;</div><div class="line"><a name="l00079"></a><span class="lineno">   79</span>&#160;</div><div class="line"><a name="l00080"></a><span class="lineno"><a class="line" href="classSVF_1_1IntraDisjointMRG.html#ae4bc9b653e15ce876579741e91a463ae">   80</a></span>&#160;    <a class="code" href="classSVF_1_1IntraDisjointMRG.html#ae4bc9b653e15ce876579741e91a463ae">IntraDisjointMRG</a>(<a class="code" href="classSVF_1_1BVDataPTAImpl.html">BVDataPTAImpl</a>* p, <span class="keywordtype">bool</span> ptrOnly) : <a class="code" href="classSVF_1_1MRGenerator.html">MRGenerator</a>(p, ptrOnly)</div><div class="line"><a name="l00081"></a><span class="lineno">   81</span>&#160;    {}</div><div class="line"><a name="l00082"></a><span class="lineno">   82</span>&#160;</div><div class="line"><a name="l00083"></a><span class="lineno"><a class="line" href="classSVF_1_1IntraDisjointMRG.html#ad92695f6ff2cb62f58b48d68b0b6fb0e">   83</a></span>&#160;    <a class="code" href="classSVF_1_1IntraDisjointMRG.html#ad92695f6ff2cb62f58b48d68b0b6fb0e">~IntraDisjointMRG</a>() {}</div><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="keyword">protected</span>:</div><div class="line"><a name="l00086"></a><span class="lineno">   86</span>&#160;</div><div class="line"><a name="l00088"></a><span class="lineno">   88</span>&#160;    <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1DistinctMRG.html#a4512ef21fa83988ad4d588831bfba482">partitionMRs</a>();</div><div class="line"><a name="l00089"></a><span class="lineno">   89</span>&#160;</div><div class="line"><a name="l00096"></a><span class="lineno"><a class="line" href="classSVF_1_1IntraDisjointMRG.html#ae577d4d6f3a6e6fb62f6eff49ca6be88">   96</a></span>&#160;    <span class="keyword">virtual</span> <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1IntraDisjointMRG.html#ae577d4d6f3a6e6fb62f6eff49ca6be88">getMRsForLoad</a>(<a class="code" href="classSVF_1_1MRGenerator.html#a98ac3bf264e6a85d172c2c4264ea908f">MRSet</a>&amp; aliasMRs, <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a>&amp; cpts,</div><div class="line"><a name="l00097"></a><span class="lineno">   97</span>&#160;                                      <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* fun)</div><div class="line"><a name="l00098"></a><span class="lineno">   98</span>&#160;    {</div><div class="line"><a name="l00099"></a><span class="lineno">   99</span>&#160;        <span class="keyword">const</span> <a class="code" href="classSVF_1_1MRGenerator.html#a8b254a0c5063e25f297d1b00fb0b515e">PointsToList</a>&amp; inters = getIntersList(fun);</div><div class="line"><a name="l00100"></a><span class="lineno">  100</span>&#160;        getMRsForLoadFromInterList(aliasMRs, cpts, inters);</div><div class="line"><a name="l00101"></a><span class="lineno">  101</span>&#160;    }</div><div class="line"><a name="l00102"></a><span class="lineno">  102</span>&#160;</div><div class="line"><a name="l00103"></a><span class="lineno">  103</span>&#160;    <span class="keywordtype">void</span> getMRsForLoadFromInterList(<a class="code" href="classSVF_1_1MRGenerator.html#a98ac3bf264e6a85d172c2c4264ea908f">MRSet</a>&amp; mrs, <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a>&amp; cpts, <span class="keyword">const</span> <a class="code" href="classSVF_1_1MRGenerator.html#a8b254a0c5063e25f297d1b00fb0b515e">PointsToList</a>&amp; inters);</div><div class="line"><a name="l00104"></a><span class="lineno">  104</span>&#160;</div><div class="line"><a name="l00106"></a><span class="lineno">  106</span>&#160;    <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1DistinctMRG.html#a74c36d4c98b95c2d40c9970e5f6aecc1">getMRsForCallSiteRef</a>(<a class="code" href="classSVF_1_1MRGenerator.html#a98ac3bf264e6a85d172c2c4264ea908f">MRSet</a>&amp; aliasMRs, <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a>&amp; cpts, <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* fun);</div><div class="line"><a name="l00107"></a><span class="lineno">  107</span>&#160;</div><div class="line"><a name="l00109"></a><span class="lineno">  109</span>&#160;    <span class="keywordtype">void</span> createDisjointMR(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* func, <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a>&amp; cpts);</div><div class="line"><a name="l00110"></a><span class="lineno">  110</span>&#160;</div><div class="line"><a name="l00112"></a><span class="lineno">  112</span>&#160;    <span class="keywordtype">void</span> computeIntersections(<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a>&amp; cpts, <a class="code" href="classSVF_1_1MRGenerator.html#a8b254a0c5063e25f297d1b00fb0b515e">PointsToList</a>&amp; inters);</div><div class="line"><a name="l00113"></a><span class="lineno">  113</span>&#160;</div><div class="line"><a name="l00114"></a><span class="lineno">  114</span>&#160;<span class="keyword">private</span>:</div><div class="line"><a name="l00115"></a><span class="lineno"><a class="line" href="classSVF_1_1IntraDisjointMRG.html#ae3c857c056f4e6e863843bafba7fdea1">  115</a></span>&#160;    <span class="keyword">inline</span> PtsToSubPtsMap&amp; <a class="code" href="classSVF_1_1IntraDisjointMRG.html#ae3c857c056f4e6e863843bafba7fdea1">getPtsSubSetMap</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* func)</div><div class="line"><a name="l00116"></a><span class="lineno">  116</span>&#160;    {</div><div class="line"><a name="l00117"></a><span class="lineno">  117</span>&#160;        <span class="keywordflow">return</span> funcToPtsMap[func];</div><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;</div><div class="line"><a name="l00120"></a><span class="lineno"><a class="line" href="classSVF_1_1IntraDisjointMRG.html#aa8c653e895ff0889615cdbf349be7652">  120</a></span>&#160;    <span class="keyword">inline</span> <a class="code" href="classSVF_1_1MRGenerator.html#a8b254a0c5063e25f297d1b00fb0b515e">PointsToList</a>&amp; <a class="code" href="classSVF_1_1IntraDisjointMRG.html#aa8c653e895ff0889615cdbf349be7652">getIntersList</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* func)</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;        <span class="keywordflow">return</span> funcToInterMap[func];</div><div class="line"><a name="l00123"></a><span class="lineno">  123</span>&#160;    }</div><div class="line"><a name="l00124"></a><span class="lineno">  124</span>&#160;</div><div class="line"><a name="l00125"></a><span class="lineno"><a class="line" href="classSVF_1_1IntraDisjointMRG.html#ad0640ef6e02d9a90964ca495c0fd8f53">  125</a></span>&#160;    <span class="keyword">inline</span> <span class="keyword">const</span> PtsToSubPtsMap&amp; <a class="code" href="classSVF_1_1IntraDisjointMRG.html#ad0640ef6e02d9a90964ca495c0fd8f53">getPtsSubSetMap</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* func)<span class="keyword"> const</span></div><div class="line"><a name="l00126"></a><span class="lineno">  126</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00127"></a><span class="lineno">  127</span>&#160;        FunToPtsMap::const_iterator it = funcToPtsMap.find(func);</div><div class="line"><a name="l00128"></a><span class="lineno">  128</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(it != funcToPtsMap.end() &amp;&amp; <span class="stringliteral">&quot;can not find pts map for specified function&quot;</span>);</div><div class="line"><a name="l00129"></a><span class="lineno">  129</span>&#160;        <span class="keywordflow">return</span> it-&gt;second;</div><div class="line"><a name="l00130"></a><span class="lineno">  130</span>&#160;    }</div><div class="line"><a name="l00131"></a><span class="lineno">  131</span>&#160;</div><div class="line"><a name="l00132"></a><span class="lineno"><a class="line" href="classSVF_1_1IntraDisjointMRG.html#a4b05180c942c1d049e70f8050f4186f6">  132</a></span>&#160;    FunToPtsMap <a class="code" href="classSVF_1_1IntraDisjointMRG.html#a4b05180c942c1d049e70f8050f4186f6">funcToPtsMap</a>;</div><div class="line"><a name="l00133"></a><span class="lineno"><a class="line" href="classSVF_1_1IntraDisjointMRG.html#ac3873b9ae1339e8d502e85c217638078">  133</a></span>&#160;    FunToInterMap <a class="code" href="classSVF_1_1IntraDisjointMRG.html#ac3873b9ae1339e8d502e85c217638078">funcToInterMap</a>;</div><div class="line"><a name="l00134"></a><span class="lineno">  134</span>&#160;};</div><div class="line"><a name="l00135"></a><span class="lineno">  135</span>&#160;</div><div class="line"><a name="l00139"></a><span class="lineno"><a class="line" href="classSVF_1_1InterDisjointMRG.html">  139</a></span>&#160;<span class="keyword">class </span><a class="code" href="classSVF_1_1InterDisjointMRG.html">InterDisjointMRG</a> : <span class="keyword">public</span> <a class="code" href="classSVF_1_1IntraDisjointMRG.html">IntraDisjointMRG</a></div><div class="line"><a name="l00140"></a><span class="lineno">  140</span>&#160;{</div><div class="line"><a name="l00141"></a><span class="lineno">  141</span>&#160;<span class="keyword">public</span>:</div><div class="line"><a name="l00142"></a><span class="lineno"><a class="line" href="classSVF_1_1InterDisjointMRG.html#a91e89081103f451945baadaea370b428">  142</a></span>&#160;    <a class="code" href="classSVF_1_1InterDisjointMRG.html#a91e89081103f451945baadaea370b428">InterDisjointMRG</a>(<a class="code" href="classSVF_1_1BVDataPTAImpl.html">BVDataPTAImpl</a>* p, <span class="keywordtype">bool</span> ptrOnly) : <a class="code" href="classSVF_1_1IntraDisjointMRG.html">IntraDisjointMRG</a>(p, ptrOnly)</div><div class="line"><a name="l00143"></a><span class="lineno">  143</span>&#160;    {}</div><div class="line"><a name="l00144"></a><span class="lineno">  144</span>&#160;</div><div class="line"><a name="l00145"></a><span class="lineno"><a class="line" href="classSVF_1_1InterDisjointMRG.html#a664e831aa98e3c894e794273fbb78591">  145</a></span>&#160;    <a class="code" href="classSVF_1_1InterDisjointMRG.html#a664e831aa98e3c894e794273fbb78591">~InterDisjointMRG</a>() {}</div><div class="line"><a name="l00146"></a><span class="lineno">  146</span>&#160;</div><div class="line"><a name="l00147"></a><span class="lineno">  147</span>&#160;<span class="keyword">protected</span>:</div><div class="line"><a name="l00149"></a><span class="lineno">  149</span>&#160;    <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1DistinctMRG.html#a4512ef21fa83988ad4d588831bfba482">partitionMRs</a>();</div><div class="line"><a name="l00150"></a><span class="lineno">  150</span>&#160;</div><div class="line"><a name="l00157"></a><span class="lineno"><a class="line" href="classSVF_1_1InterDisjointMRG.html#ae7846579fc473ae5eb6c9a8fac712d9a">  157</a></span>&#160;    <span class="keyword">virtual</span> <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1InterDisjointMRG.html#ae7846579fc473ae5eb6c9a8fac712d9a">getMRsForLoad</a>(<a class="code" href="classSVF_1_1MRGenerator.html#a98ac3bf264e6a85d172c2c4264ea908f">MRSet</a>&amp; aliasMRs, <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a>&amp; cpts,</div><div class="line"><a name="l00158"></a><span class="lineno">  158</span>&#160;                                      <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>*)</div><div class="line"><a name="l00159"></a><span class="lineno">  159</span>&#160;    {</div><div class="line"><a name="l00160"></a><span class="lineno">  160</span>&#160;        getMRsForLoadFromInterList(aliasMRs, cpts, inters);</div><div class="line"><a name="l00161"></a><span class="lineno">  161</span>&#160;    }</div><div class="line"><a name="l00162"></a><span class="lineno">  162</span>&#160;</div><div class="line"><a name="l00163"></a><span class="lineno">  163</span>&#160;<span class="keyword">private</span>:</div><div class="line"><a name="l00164"></a><span class="lineno"><a class="line" href="classSVF_1_1InterDisjointMRG.html#a104134d0f7c8b16abe8f5f3899c3bbf0">  164</a></span>&#160;    <a class="code" href="classSVF_1_1MRGenerator.html#a8b254a0c5063e25f297d1b00fb0b515e">PointsToList</a> <a class="code" href="classSVF_1_1InterDisjointMRG.html#a104134d0f7c8b16abe8f5f3899c3bbf0">inters</a>;</div><div class="line"><a name="l00165"></a><span class="lineno">  165</span>&#160;};</div><div class="line"><a name="l00166"></a><span class="lineno">  166</span>&#160;</div><div class="line"><a name="l00167"></a><span class="lineno">  167</span>&#160;} <span class="comment">// End namespace SVF</span></div><div class="line"><a name="l00168"></a><span class="lineno">  168</span>&#160;</div><div class="line"><a name="l00169"></a><span class="lineno">  169</span>&#160;<span class="preprocessor">#endif </span><span class="comment">/* DISNCTMRGENERATOR_H_ */</span><span class="preprocessor"></span></div><div class="ttc" id="classSVF_1_1BVDataPTAImpl_html"><div class="ttname"><a href="classSVF_1_1BVDataPTAImpl.html">SVF::BVDataPTAImpl</a></div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysisImpl_8h_source.html#l00042">PointerAnalysisImpl.h:42</a></div></div>
 <div class="ttc" id="classSVF_1_1IntraDisjointMRG_html"><div class="ttname"><a href="classSVF_1_1IntraDisjointMRG.html">SVF::IntraDisjointMRG</a></div><div class="ttdef"><b>Definition:</b> <a href="MemPartition_8h_source.html#l00073">MemPartition.h:73</a></div></div>
-<div class="ttc" id="classSVF_1_1IntraDisjointMRG_html_a95e5cc07c8e1838f9336c6a2f0aa941a"><div class="ttname"><a href="classSVF_1_1IntraDisjointMRG.html#a95e5cc07c8e1838f9336c6a2f0aa941a">SVF::IntraDisjointMRG::PtsToSubPtsMap</a></div><div class="ttdeci">OrderedMap&lt; PointsTo, PointsToList &gt; PtsToSubPtsMap</div><div class="ttdef"><b>Definition:</b> <a href="MemPartition_8h_source.html#l00076">MemPartition.h:76</a></div></div>
-<div class="ttc" id="classSVF_1_1DistinctMRG_html_a610cc0e35fb01260a92afffee6f271ac"><div class="ttname"><a href="classSVF_1_1DistinctMRG.html#a610cc0e35fb01260a92afffee6f271ac">SVF::DistinctMRG::createDistinctMR</a></div><div class="ttdeci">void createDistinctMR(const SVFFunction *func, const PointsTo &amp;cpts)</div><div class="ttdoc">Create memory regions for each points-to target. </div><div class="ttdef"><b>Definition:</b> <a href="MemPartition_8cpp_source.html#l00064">MemPartition.cpp:64</a></div></div>
+<div class="ttc" id="classSVF_1_1InterDisjointMRG_html_ae7846579fc473ae5eb6c9a8fac712d9a"><div class="ttname"><a href="classSVF_1_1InterDisjointMRG.html#ae7846579fc473ae5eb6c9a8fac712d9a">SVF::InterDisjointMRG::getMRsForLoad</a></div><div class="ttdeci">virtual void getMRsForLoad(MRSet &amp;aliasMRs, const NodeBS &amp;cpts, const SVFFunction *)</div><div class="ttdef"><b>Definition:</b> <a href="MemPartition_8h_source.html#l00157">MemPartition.h:157</a></div></div>
 <div class="ttc" id="MemRegion_8h_html"><div class="ttname"><a href="MemRegion_8h.html">MemRegion.h</a></div></div>
-<div class="ttc" id="classSVF_1_1DistinctMRG_html_ad877dd9e21c3e1d5a1437b12e68ff993"><div class="ttname"><a href="classSVF_1_1DistinctMRG.html#ad877dd9e21c3e1d5a1437b12e68ff993">SVF::DistinctMRG::getMRsForLoad</a></div><div class="ttdeci">virtual void getMRsForLoad(MRSet &amp;aliasMRs, const PointsTo &amp;cpts, const SVFFunction *fun)</div><div class="ttdoc">Get memory region at a load. </div><div class="ttdef"><b>Definition:</b> <a href="MemPartition_8cpp_source.html#l00091">MemPartition.cpp:91</a></div></div>
 <div class="ttc" id="util_8h_html_a07d17d6d5d1074c0969bc5d3c3d1d84a"><div class="ttname"><a href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a></div><div class="ttdeci">#define assert(ex)</div><div class="ttdef"><b>Definition:</b> <a href="util_8h_source.html#l00141">util.h:141</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFFunction_html"><div class="ttname"><a href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00233">BasicTypes.h:233</a></div></div>
 <div class="ttc" id="classSVF_1_1InterDisjointMRG_html_a104134d0f7c8b16abe8f5f3899c3bbf0"><div class="ttname"><a href="classSVF_1_1InterDisjointMRG.html#a104134d0f7c8b16abe8f5f3899c3bbf0">SVF::InterDisjointMRG::inters</a></div><div class="ttdeci">PointsToList inters</div><div class="ttdef"><b>Definition:</b> <a href="MemPartition_8h_source.html#l00164">MemPartition.h:164</a></div></div>
 <div class="ttc" id="classSVF_1_1InterDisjointMRG_html_a664e831aa98e3c894e794273fbb78591"><div class="ttname"><a href="classSVF_1_1InterDisjointMRG.html#a664e831aa98e3c894e794273fbb78591">SVF::InterDisjointMRG::~InterDisjointMRG</a></div><div class="ttdeci">~InterDisjointMRG()</div><div class="ttdef"><b>Definition:</b> <a href="MemPartition_8h_source.html#l00145">MemPartition.h:145</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00099">SVFBasicTypes.h:99</a></div></div>
-<div class="ttc" id="classSVF_1_1DistinctMRG_html_a2b3e57a20079b28fb9ec389bdc4f37f3"><div class="ttname"><a href="classSVF_1_1DistinctMRG.html#a2b3e57a20079b28fb9ec389bdc4f37f3">SVF::DistinctMRG::getMRsForCallSiteRef</a></div><div class="ttdeci">virtual void getMRsForCallSiteRef(MRSet &amp;aliasMRs, const PointsTo &amp;cpts, const SVFFunction *fun)</div><div class="ttdoc">Get memory regions to be inserted at a load statement. </div><div class="ttdef"><b>Definition:</b> <a href="MemPartition_8cpp_source.html#l00115">MemPartition.cpp:115</a></div></div>
+<div class="ttc" id="classSVF_1_1DistinctMRG_html_a7a6ffa1c8dc8e624e3b42f97e6e4b393"><div class="ttname"><a href="classSVF_1_1DistinctMRG.html#a7a6ffa1c8dc8e624e3b42f97e6e4b393">SVF::DistinctMRG::createDistinctMR</a></div><div class="ttdeci">void createDistinctMR(const SVFFunction *func, const NodeBS &amp;cpts)</div><div class="ttdoc">Create memory regions for each points-to target. </div><div class="ttdef"><b>Definition:</b> <a href="MemPartition_8cpp_source.html#l00064">MemPartition.cpp:64</a></div></div>
 <div class="ttc" id="classSVF_1_1IntraDisjointMRG_html_ad59c11753db0b310246418df4c62f639"><div class="ttname"><a href="classSVF_1_1IntraDisjointMRG.html#ad59c11753db0b310246418df4c62f639">SVF::IntraDisjointMRG::FunToInterMap</a></div><div class="ttdeci">Map&lt; const SVFFunction *, PointsToList &gt; FunToInterMap</div><div class="ttdef"><b>Definition:</b> <a href="MemPartition_8h_source.html#l00078">MemPartition.h:78</a></div></div>
 <div class="ttc" id="classSVF_1_1IntraDisjointMRG_html_ad92695f6ff2cb62f58b48d68b0b6fb0e"><div class="ttname"><a href="classSVF_1_1IntraDisjointMRG.html#ad92695f6ff2cb62f58b48d68b0b6fb0e">SVF::IntraDisjointMRG::~IntraDisjointMRG</a></div><div class="ttdeci">~IntraDisjointMRG()</div><div class="ttdef"><b>Definition:</b> <a href="MemPartition_8h_source.html#l00083">MemPartition.h:83</a></div></div>
 <div class="ttc" id="classSVF_1_1IntraDisjointMRG_html_ad0640ef6e02d9a90964ca495c0fd8f53"><div class="ttname"><a href="classSVF_1_1IntraDisjointMRG.html#ad0640ef6e02d9a90964ca495c0fd8f53">SVF::IntraDisjointMRG::getPtsSubSetMap</a></div><div class="ttdeci">const PtsToSubPtsMap &amp; getPtsSubSetMap(const SVFFunction *func) const</div><div class="ttdef"><b>Definition:</b> <a href="MemPartition_8h_source.html#l00125">MemPartition.h:125</a></div></div>
+<div class="ttc" id="classSVF_1_1IntraDisjointMRG_html_ae577d4d6f3a6e6fb62f6eff49ca6be88"><div class="ttname"><a href="classSVF_1_1IntraDisjointMRG.html#ae577d4d6f3a6e6fb62f6eff49ca6be88">SVF::IntraDisjointMRG::getMRsForLoad</a></div><div class="ttdeci">virtual void getMRsForLoad(MRSet &amp;aliasMRs, const NodeBS &amp;cpts, const SVFFunction *fun)</div><div class="ttdef"><b>Definition:</b> <a href="MemPartition_8h_source.html#l00096">MemPartition.h:96</a></div></div>
 <div class="ttc" id="classSVF_1_1IntraDisjointMRG_html_ac3873b9ae1339e8d502e85c217638078"><div class="ttname"><a href="classSVF_1_1IntraDisjointMRG.html#ac3873b9ae1339e8d502e85c217638078">SVF::IntraDisjointMRG::funcToInterMap</a></div><div class="ttdeci">FunToInterMap funcToInterMap</div><div class="ttdef"><b>Definition:</b> <a href="MemPartition_8h_source.html#l00133">MemPartition.h:133</a></div></div>
-<div class="ttc" id="classSVF_1_1MRGenerator_html"><div class="ttname"><a href="classSVF_1_1MRGenerator.html">SVF::MRGenerator</a></div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00132">MemRegion.h:132</a></div></div>
+<div class="ttc" id="classSVF_1_1MRGenerator_html"><div class="ttname"><a href="classSVF_1_1MRGenerator.html">SVF::MRGenerator</a></div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00126">MemRegion.h:126</a></div></div>
 <div class="ttc" id="classSVF_1_1InterDisjointMRG_html_a91e89081103f451945baadaea370b428"><div class="ttname"><a href="classSVF_1_1InterDisjointMRG.html#a91e89081103f451945baadaea370b428">SVF::InterDisjointMRG::InterDisjointMRG</a></div><div class="ttdeci">InterDisjointMRG(BVDataPTAImpl *p, bool ptrOnly)</div><div class="ttdef"><b>Definition:</b> <a href="MemPartition_8h_source.html#l00142">MemPartition.h:142</a></div></div>
 <div class="ttc" id="classSVF_1_1IntraDisjointMRG_html_ae3c857c056f4e6e863843bafba7fdea1"><div class="ttname"><a href="classSVF_1_1IntraDisjointMRG.html#ae3c857c056f4e6e863843bafba7fdea1">SVF::IntraDisjointMRG::getPtsSubSetMap</a></div><div class="ttdeci">PtsToSubPtsMap &amp; getPtsSubSetMap(const SVFFunction *func)</div><div class="ttdef"><b>Definition:</b> <a href="MemPartition_8h_source.html#l00115">MemPartition.h:115</a></div></div>
+<div class="ttc" id="classSVF_1_1MRGenerator_html_a8b254a0c5063e25f297d1b00fb0b515e"><div class="ttname"><a href="classSVF_1_1MRGenerator.html#a8b254a0c5063e25f297d1b00fb0b515e">SVF::MRGenerator::PointsToList</a></div><div class="ttdeci">OrderedSet&lt; NodeBS, SVFUtil::equalNodeBS &gt; PointsToList</div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00138">MemRegion.h:138</a></div></div>
 <div class="ttc" id="classSVF_1_1DistinctMRG_html"><div class="ttname"><a href="classSVF_1_1DistinctMRG.html">SVF::DistinctMRG</a></div><div class="ttdef"><b>Definition:</b> <a href="MemPartition_8h_source.html#l00047">MemPartition.h:47</a></div></div>
 <div class="ttc" id="classSVF_1_1DistinctMRG_html_abeb93eb39a51280afd9d55e8a09b1d9a"><div class="ttname"><a href="classSVF_1_1DistinctMRG.html#abeb93eb39a51280afd9d55e8a09b1d9a">SVF::DistinctMRG::~DistinctMRG</a></div><div class="ttdeci">~DistinctMRG()</div><div class="ttdef"><b>Definition:</b> <a href="MemPartition_8h_source.html#l00053">MemPartition.h:53</a></div></div>
-<div class="ttc" id="classSVF_1_1IntraDisjointMRG_html_aa1395f921e2a6e2607a6887f134cb63f"><div class="ttname"><a href="classSVF_1_1IntraDisjointMRG.html#aa1395f921e2a6e2607a6887f134cb63f">SVF::IntraDisjointMRG::getMRsForLoad</a></div><div class="ttdeci">virtual void getMRsForLoad(MRSet &amp;aliasMRs, const PointsTo &amp;cpts, const SVFFunction *fun)</div><div class="ttdef"><b>Definition:</b> <a href="MemPartition_8h_source.html#l00096">MemPartition.h:96</a></div></div>
 <div class="ttc" id="classSVF_1_1DistinctMRG_html_a4512ef21fa83988ad4d588831bfba482"><div class="ttname"><a href="classSVF_1_1DistinctMRG.html#a4512ef21fa83988ad4d588831bfba482">SVF::DistinctMRG::partitionMRs</a></div><div class="ttdeci">virtual void partitionMRs()</div><div class="ttdoc">Partition regions. </div><div class="ttdef"><b>Definition:</b> <a href="MemPartition_8cpp_source.html#l00042">MemPartition.cpp:42</a></div></div>
+<div class="ttc" id="classSVF_1_1IntraDisjointMRG_html_a5ff8d1cade33445ef7c17f0aedd6a4d1"><div class="ttname"><a href="classSVF_1_1IntraDisjointMRG.html#a5ff8d1cade33445ef7c17f0aedd6a4d1">SVF::IntraDisjointMRG::PtsToSubPtsMap</a></div><div class="ttdeci">OrderedMap&lt; NodeBS, PointsToList &gt; PtsToSubPtsMap</div><div class="ttdef"><b>Definition:</b> <a href="MemPartition_8h_source.html#l00076">MemPartition.h:76</a></div></div>
 <div class="ttc" id="namespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode </div><div class="ttdef"><b>Definition:</b> <a href="ContextDDA_8h_source.html#l00016">ContextDDA.h:16</a></div></div>
 <div class="ttc" id="classSVF_1_1IntraDisjointMRG_html_aa8c653e895ff0889615cdbf349be7652"><div class="ttname"><a href="classSVF_1_1IntraDisjointMRG.html#aa8c653e895ff0889615cdbf349be7652">SVF::IntraDisjointMRG::getIntersList</a></div><div class="ttdeci">PointsToList &amp; getIntersList(const SVFFunction *func)</div><div class="ttdef"><b>Definition:</b> <a href="MemPartition_8h_source.html#l00120">MemPartition.h:120</a></div></div>
-<div class="ttc" id="classSVF_1_1InterDisjointMRG_html_affab79ce9b1ef9ec7bc04af8ad2954dc"><div class="ttname"><a href="classSVF_1_1InterDisjointMRG.html#affab79ce9b1ef9ec7bc04af8ad2954dc">SVF::InterDisjointMRG::getMRsForLoad</a></div><div class="ttdeci">virtual void getMRsForLoad(MRSet &amp;aliasMRs, const PointsTo &amp;cpts, const SVFFunction *)</div><div class="ttdef"><b>Definition:</b> <a href="MemPartition_8h_source.html#l00157">MemPartition.h:157</a></div></div>
+<div class="ttc" id="classSVF_1_1DistinctMRG_html_a74c36d4c98b95c2d40c9970e5f6aecc1"><div class="ttname"><a href="classSVF_1_1DistinctMRG.html#a74c36d4c98b95c2d40c9970e5f6aecc1">SVF::DistinctMRG::getMRsForCallSiteRef</a></div><div class="ttdeci">virtual void getMRsForCallSiteRef(MRSet &amp;aliasMRs, const NodeBS &amp;cpts, const SVFFunction *fun)</div><div class="ttdoc">Get memory regions to be inserted at a load statement. </div><div class="ttdef"><b>Definition:</b> <a href="MemPartition_8cpp_source.html#l00115">MemPartition.cpp:115</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a740396763e377643790c8b803ab3e4ea"><div class="ttname"><a href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">SVF::NodeBS</a></div><div class="ttdeci">llvm::SparseBitVector NodeBS</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00087">SVFBasicTypes.h:87</a></div></div>
 <div class="ttc" id="classSVF_1_1DistinctMRG_html_ad7e4959327aa45932fd788bacca0de01"><div class="ttname"><a href="classSVF_1_1DistinctMRG.html#ad7e4959327aa45932fd788bacca0de01">SVF::DistinctMRG::DistinctMRG</a></div><div class="ttdeci">DistinctMRG(BVDataPTAImpl *p, bool ptrOnly)</div><div class="ttdef"><b>Definition:</b> <a href="MemPartition_8h_source.html#l00050">MemPartition.h:50</a></div></div>
 <div class="ttc" id="classSVF_1_1IntraDisjointMRG_html_a824dec1bb1df5052252e7fe0dd55a894"><div class="ttname"><a href="classSVF_1_1IntraDisjointMRG.html#a824dec1bb1df5052252e7fe0dd55a894">SVF::IntraDisjointMRG::FunToPtsMap</a></div><div class="ttdeci">Map&lt; const SVFFunction *, PtsToSubPtsMap &gt; FunToPtsMap</div><div class="ttdef"><b>Definition:</b> <a href="MemPartition_8h_source.html#l00077">MemPartition.h:77</a></div></div>
-<div class="ttc" id="classSVF_1_1MRGenerator_html_a2a9b87b7b9a567a7fd94e9267f3eb054"><div class="ttname"><a href="classSVF_1_1MRGenerator.html#a2a9b87b7b9a567a7fd94e9267f3eb054">SVF::MRGenerator::PointsToList</a></div><div class="ttdeci">OrderedSet&lt; PointsTo, SVFUtil::equalPointsTo &gt; PointsToList</div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00144">MemRegion.h:144</a></div></div>
 <div class="ttc" id="classSVF_1_1InterDisjointMRG_html"><div class="ttname"><a href="classSVF_1_1InterDisjointMRG.html">SVF::InterDisjointMRG</a></div><div class="ttdef"><b>Definition:</b> <a href="MemPartition_8h_source.html#l00139">MemPartition.h:139</a></div></div>
+<div class="ttc" id="classSVF_1_1DistinctMRG_html_a1a4fa7e9fb42a59fac2104b208a1e66b"><div class="ttname"><a href="classSVF_1_1DistinctMRG.html#a1a4fa7e9fb42a59fac2104b208a1e66b">SVF::DistinctMRG::getMRsForLoad</a></div><div class="ttdeci">virtual void getMRsForLoad(MRSet &amp;aliasMRs, const NodeBS &amp;cpts, const SVFFunction *fun)</div><div class="ttdoc">Get memory region at a load. </div><div class="ttdef"><b>Definition:</b> <a href="MemPartition_8cpp_source.html#l00091">MemPartition.cpp:91</a></div></div>
 <div class="ttc" id="classSVF_1_1IntraDisjointMRG_html_ae4bc9b653e15ce876579741e91a463ae"><div class="ttname"><a href="classSVF_1_1IntraDisjointMRG.html#ae4bc9b653e15ce876579741e91a463ae">SVF::IntraDisjointMRG::IntraDisjointMRG</a></div><div class="ttdeci">IntraDisjointMRG(BVDataPTAImpl *p, bool ptrOnly)</div><div class="ttdef"><b>Definition:</b> <a href="MemPartition_8h_source.html#l00080">MemPartition.h:80</a></div></div>
-<div class="ttc" id="namespaceSVF_html_a0c6594b4bae7924369bb61943c1da4fb"><div class="ttname"><a href="namespaceSVF.html#a0c6594b4bae7924369bb61943c1da4fb">SVF::PointsTo</a></div><div class="ttdeci">NodeBS PointsTo</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00088">SVFBasicTypes.h:88</a></div></div>
 <div class="ttc" id="classSVF_1_1IntraDisjointMRG_html_a4b05180c942c1d049e70f8050f4186f6"><div class="ttname"><a href="classSVF_1_1IntraDisjointMRG.html#a4b05180c942c1d049e70f8050f4186f6">SVF::IntraDisjointMRG::funcToPtsMap</a></div><div class="ttdeci">FunToPtsMap funcToPtsMap</div><div class="ttdef"><b>Definition:</b> <a href="MemPartition_8h_source.html#l00132">MemPartition.h:132</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#l00142">MemRegion.h:142</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#l00136">MemRegion.h:136</a></div></div>
 <div class="ttc" id="namespaceSVF_html_aedf0d6718ca176e0b9e17ab4b30729c6"><div class="ttname"><a href="namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6">SVF::OrderedMap</a></div><div class="ttdeci">std::map&lt; Key, Value, Compare, Allocator &gt; OrderedMap</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00106">SVFBasicTypes.h:106</a></div></div>
 </div><!-- fragment --></div><!-- contents -->
 <!-- start footer part -->