npm - svf-tools - Versions diffs - 1.0.340 → 1.0.344 - Mend

svf-tools 1.0.340 → 1.0.344

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (487) hide show

package/SVF-doxygen/html/html/classSVF_1_1ICFGStat.html CHANGED Viewed

@@ -412,7 +412,7 @@ Additional Inherited Members</h2></td></tr>
 </div><div class="memdoc">
 <p class="definition">Definition at line <a class="el" href="ICFGStat_8h_source.html#l00105">105</a> of file <a class="el" href="ICFGStat_8h_source.html">ICFGStat.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00106"></a><span class="lineno">  106</span>&#160;    {</div><div class="line"><a name="l00107"></a><span class="lineno">  107</span>&#160;        ICFG::ICFGNodeIDToNodeMapTy::iterator it = <a class="code" href="classSVF_1_1ICFGStat.html#a03185827f7913a480523de5b8f911acb">icfg</a>-&gt;<a class="code" href="classSVF_1_1GenericGraph.html#a0d9744b1b0e7a09a6f7af29188e243b7">begin</a>();</div><div class="line"><a name="l00108"></a><span class="lineno">  108</span>&#160;        ICFG::ICFGNodeIDToNodeMapTy::iterator eit = <a class="code" href="classSVF_1_1ICFGStat.html#a03185827f7913a480523de5b8f911acb">icfg</a>-&gt;<a class="code" href="classSVF_1_1GenericGraph.html#a4bef15157423cef48dc7333a803cd27d">end</a>();</div><div class="line"><a name="l00109"></a><span class="lineno">  109</span>&#160;        <span class="keywordflow">for</span> (; it != eit; ++it)</div><div class="line"><a name="l00110"></a><span class="lineno">  110</span>&#160;        {</div><div class="line"><a name="l00111"></a><span class="lineno">  111</span>&#160;            <a class="code" href="classSVF_1_1ICFGStat.html#a8e71a19c266aacd7acb1fee6bb339788">numOfNodes</a>++;</div><div class="line"><a name="l00112"></a><span class="lineno">  112</span>&#160;</div><div class="line"><a name="l00113"></a><span class="lineno">  113</span>&#160;            ICFGNode *node = it-&gt;second;</div><div class="line"><a name="l00114"></a><span class="lineno">  114</span>&#160;</div><div class="line"><a name="l00115"></a><span class="lineno">  115</span>&#160;            <span class="keywordflow">if</span> (SVFUtil::isa&lt;IntraBlockNode&gt;(node))</div><div class="line"><a name="l00116"></a><span class="lineno">  116</span>&#160;                <a class="code" href="classSVF_1_1ICFGStat.html#ad88dbfaabae9b36f02a6e6e815d08e3e">numOfIntraNodes</a>++;</div><div class="line"><a name="l00117"></a><span class="lineno">  117</span>&#160;            <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;CallBlockNode&gt;(node))</div><div class="line"><a name="l00118"></a><span class="lineno">  118</span>&#160;                <a class="code" href="classSVF_1_1ICFGStat.html#a7f8d88b6d8d4892e85006320b39c7dc4">numOfCallNodes</a>++;</div><div class="line"><a name="l00119"></a><span class="lineno">  119</span>&#160;            <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;RetBlockNode&gt;(node))</div><div class="line"><a name="l00120"></a><span class="lineno">  120</span>&#160;                <a class="code" href="classSVF_1_1ICFGStat.html#ac9bfce40c058ed7ab178fe1f1818e9de">numOfRetNodes</a>++;</div><div class="line"><a name="l00121"></a><span class="lineno">  121</span>&#160;            <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;FunEntryBlockNode&gt;(node))</div><div class="line"><a name="l00122"></a><span class="lineno">  122</span>&#160;                <a class="code" href="classSVF_1_1ICFGStat.html#ad37793e64fe58a8faba201c18d876685">numOfEntryNodes</a>++;</div><div class="line"><a name="l00123"></a><span class="lineno">  123</span>&#160;            <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;FunExitBlockNode&gt;(node))</div><div class="line"><a name="l00124"></a><span class="lineno">  124</span>&#160;                <a class="code" href="classSVF_1_1ICFGStat.html#ad7e00680fb8ca31afbd166f9a4adc5ec">numOfExitNodes</a>++;</div><div class="line"><a name="l00125"></a><span class="lineno">  125</span>&#160;</div><div class="line"><a name="l00126"></a><span class="lineno">  126</span>&#160;</div><div class="line"><a name="l00127"></a><span class="lineno">  127</span>&#160;            ICFGEdge::ICFGEdgeSetTy::iterator edgeIt =</div><div class="line"><a name="l00128"></a><span class="lineno">  128</span>&#160;                it-&gt;second-&gt;OutEdgeBegin();</div><div class="line"><a name="l00129"></a><span class="lineno">  129</span>&#160;            ICFGEdge::ICFGEdgeSetTy::iterator edgeEit =</div><div class="line"><a name="l00130"></a><span class="lineno">  130</span>&#160;                it-&gt;second-&gt;OutEdgeEnd();</div><div class="line"><a name="l00131"></a><span class="lineno">  131</span>&#160;            <span class="keywordflow">for</span> (; edgeIt != edgeEit; ++edgeIt)</div><div class="line"><a name="l00132"></a><span class="lineno">  132</span>&#160;            {</div><div class="line"><a name="l00133"></a><span class="lineno">  133</span>&#160;                <span class="keyword">const</span> ICFGEdge *edge = *edgeIt;</div><div class="line"><a name="l00134"></a><span class="lineno">  134</span>&#160;                <a class="code" href="classSVF_1_1ICFGStat.html#a5e9bb5ae47aacba7c625a9fa3e349e82">numOfEdges</a>++;</div><div class="line"><a name="l00135"></a><span class="lineno">  135</span>&#160;                <span class="keywordflow">if</span> (edge-&gt;isCallCFGEdge())</div><div class="line"><a name="l00136"></a><span class="lineno">  136</span>&#160;                    <a class="code" href="classSVF_1_1ICFGStat.html#ab924988ff980c57a4e9155adaa5c0ff2">numOfCallEdges</a>++;</div><div class="line"><a name="l00137"></a><span class="lineno">  137</span>&#160;                <span class="keywordflow">else</span> <span class="keywordflow">if</span> (edge-&gt;isRetCFGEdge())</div><div class="line"><a name="l00138"></a><span class="lineno">  138</span>&#160;                    <a class="code" href="classSVF_1_1ICFGStat.html#a3bd1a0b0b206baadea52bfa88e029dfa">numOfRetEdges</a>++;</div><div class="line"><a name="l00139"></a><span class="lineno">  139</span>&#160;                <span class="keywordflow">else</span> <span class="keywordflow">if</span> (edge-&gt;isIntraCFGEdge())</div><div class="line"><a name="l00140"></a><span class="lineno">  140</span>&#160;                    <a class="code" href="classSVF_1_1ICFGStat.html#a3ddf933064f2a7f2efbd3a1af2ae7658">numOfIntraEdges</a>++;</div><div class="line"><a name="l00141"></a><span class="lineno">  141</span>&#160;            }</div><div class="line"><a name="l00142"></a><span class="lineno">  142</span>&#160;        }</div><div class="line"><a name="l00143"></a><span class="lineno">  143</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GenericGraph_html_a0d9744b1b0e7a09a6f7af29188e243b7"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a0d9744b1b0e7a09a6f7af29188e243b7">SVF::GenericGraph::begin</a></div><div class="ttdeci">iterator begin()</div><div class="ttdoc">Iterators. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00361">GenericGraph.h:361</a></div></div>
+<div class="fragment"><div class="line"><a name="l00106"></a><span class="lineno">  106</span>&#160;    {</div><div class="line"><a name="l00107"></a><span class="lineno">  107</span>&#160;        ICFG::ICFGNodeIDToNodeMapTy::iterator it = <a class="code" href="classSVF_1_1ICFGStat.html#a03185827f7913a480523de5b8f911acb">icfg</a>-&gt;<a class="code" href="classSVF_1_1GenericGraph.html#a0d9744b1b0e7a09a6f7af29188e243b7">begin</a>();</div><div class="line"><a name="l00108"></a><span class="lineno">  108</span>&#160;        ICFG::ICFGNodeIDToNodeMapTy::iterator eit = <a class="code" href="classSVF_1_1ICFGStat.html#a03185827f7913a480523de5b8f911acb">icfg</a>-&gt;<a class="code" href="classSVF_1_1GenericGraph.html#a4bef15157423cef48dc7333a803cd27d">end</a>();</div><div class="line"><a name="l00109"></a><span class="lineno">  109</span>&#160;        <span class="keywordflow">for</span> (; it != eit; ++it)</div><div class="line"><a name="l00110"></a><span class="lineno">  110</span>&#160;        {</div><div class="line"><a name="l00111"></a><span class="lineno">  111</span>&#160;            <a class="code" href="classSVF_1_1ICFGStat.html#a8e71a19c266aacd7acb1fee6bb339788">numOfNodes</a>++;</div><div class="line"><a name="l00112"></a><span class="lineno">  112</span>&#160;</div><div class="line"><a name="l00113"></a><span class="lineno">  113</span>&#160;            ICFGNode *node = it-&gt;second;</div><div class="line"><a name="l00114"></a><span class="lineno">  114</span>&#160;</div><div class="line"><a name="l00115"></a><span class="lineno">  115</span>&#160;            <span class="keywordflow">if</span> (SVFUtil::isa&lt;IntraICFGNode&gt;(node))</div><div class="line"><a name="l00116"></a><span class="lineno">  116</span>&#160;                <a class="code" href="classSVF_1_1ICFGStat.html#ad88dbfaabae9b36f02a6e6e815d08e3e">numOfIntraNodes</a>++;</div><div class="line"><a name="l00117"></a><span class="lineno">  117</span>&#160;            <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;CallICFGNode&gt;(node))</div><div class="line"><a name="l00118"></a><span class="lineno">  118</span>&#160;                <a class="code" href="classSVF_1_1ICFGStat.html#a7f8d88b6d8d4892e85006320b39c7dc4">numOfCallNodes</a>++;</div><div class="line"><a name="l00119"></a><span class="lineno">  119</span>&#160;            <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;RetICFGNode&gt;(node))</div><div class="line"><a name="l00120"></a><span class="lineno">  120</span>&#160;                <a class="code" href="classSVF_1_1ICFGStat.html#ac9bfce40c058ed7ab178fe1f1818e9de">numOfRetNodes</a>++;</div><div class="line"><a name="l00121"></a><span class="lineno">  121</span>&#160;            <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;FunEntryICFGNode&gt;(node))</div><div class="line"><a name="l00122"></a><span class="lineno">  122</span>&#160;                <a class="code" href="classSVF_1_1ICFGStat.html#ad37793e64fe58a8faba201c18d876685">numOfEntryNodes</a>++;</div><div class="line"><a name="l00123"></a><span class="lineno">  123</span>&#160;            <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;FunExitICFGNode&gt;(node))</div><div class="line"><a name="l00124"></a><span class="lineno">  124</span>&#160;                <a class="code" href="classSVF_1_1ICFGStat.html#ad7e00680fb8ca31afbd166f9a4adc5ec">numOfExitNodes</a>++;</div><div class="line"><a name="l00125"></a><span class="lineno">  125</span>&#160;</div><div class="line"><a name="l00126"></a><span class="lineno">  126</span>&#160;</div><div class="line"><a name="l00127"></a><span class="lineno">  127</span>&#160;            ICFGEdge::ICFGEdgeSetTy::iterator edgeIt =</div><div class="line"><a name="l00128"></a><span class="lineno">  128</span>&#160;                it-&gt;second-&gt;OutEdgeBegin();</div><div class="line"><a name="l00129"></a><span class="lineno">  129</span>&#160;            ICFGEdge::ICFGEdgeSetTy::iterator edgeEit =</div><div class="line"><a name="l00130"></a><span class="lineno">  130</span>&#160;                it-&gt;second-&gt;OutEdgeEnd();</div><div class="line"><a name="l00131"></a><span class="lineno">  131</span>&#160;            <span class="keywordflow">for</span> (; edgeIt != edgeEit; ++edgeIt)</div><div class="line"><a name="l00132"></a><span class="lineno">  132</span>&#160;            {</div><div class="line"><a name="l00133"></a><span class="lineno">  133</span>&#160;                <span class="keyword">const</span> ICFGEdge *edge = *edgeIt;</div><div class="line"><a name="l00134"></a><span class="lineno">  134</span>&#160;                <a class="code" href="classSVF_1_1ICFGStat.html#a5e9bb5ae47aacba7c625a9fa3e349e82">numOfEdges</a>++;</div><div class="line"><a name="l00135"></a><span class="lineno">  135</span>&#160;                <span class="keywordflow">if</span> (edge-&gt;isCallCFGEdge())</div><div class="line"><a name="l00136"></a><span class="lineno">  136</span>&#160;                    <a class="code" href="classSVF_1_1ICFGStat.html#ab924988ff980c57a4e9155adaa5c0ff2">numOfCallEdges</a>++;</div><div class="line"><a name="l00137"></a><span class="lineno">  137</span>&#160;                <span class="keywordflow">else</span> <span class="keywordflow">if</span> (edge-&gt;isRetCFGEdge())</div><div class="line"><a name="l00138"></a><span class="lineno">  138</span>&#160;                    <a class="code" href="classSVF_1_1ICFGStat.html#a3bd1a0b0b206baadea52bfa88e029dfa">numOfRetEdges</a>++;</div><div class="line"><a name="l00139"></a><span class="lineno">  139</span>&#160;                <span class="keywordflow">else</span> <span class="keywordflow">if</span> (edge-&gt;isIntraCFGEdge())</div><div class="line"><a name="l00140"></a><span class="lineno">  140</span>&#160;                    <a class="code" href="classSVF_1_1ICFGStat.html#a3ddf933064f2a7f2efbd3a1af2ae7658">numOfIntraEdges</a>++;</div><div class="line"><a name="l00141"></a><span class="lineno">  141</span>&#160;            }</div><div class="line"><a name="l00142"></a><span class="lineno">  142</span>&#160;        }</div><div class="line"><a name="l00143"></a><span class="lineno">  143</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GenericGraph_html_a0d9744b1b0e7a09a6f7af29188e243b7"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a0d9744b1b0e7a09a6f7af29188e243b7">SVF::GenericGraph::begin</a></div><div class="ttdeci">iterator begin()</div><div class="ttdoc">Iterators. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00361">GenericGraph.h:361</a></div></div>
 <div class="ttc" id="classSVF_1_1ICFGStat_html_a5e9bb5ae47aacba7c625a9fa3e349e82"><div class="ttname"><a href="classSVF_1_1ICFGStat.html#a5e9bb5ae47aacba7c625a9fa3e349e82">SVF::ICFGStat::numOfEdges</a></div><div class="ttdeci">int numOfEdges</div><div class="ttdef"><b>Definition:</b> <a href="ICFGStat_8h_source.html#l00051">ICFGStat.h:51</a></div></div>
 <div class="ttc" id="classSVF_1_1ICFGStat_html_a3ddf933064f2a7f2efbd3a1af2ae7658"><div class="ttname"><a href="classSVF_1_1ICFGStat.html#a3ddf933064f2a7f2efbd3a1af2ae7658">SVF::ICFGStat::numOfIntraEdges</a></div><div class="ttdeci">int numOfIntraEdges</div><div class="ttdef"><b>Definition:</b> <a href="ICFGStat_8h_source.html#l00054">ICFGStat.h:54</a></div></div>
 <div class="ttc" id="classSVF_1_1ICFGStat_html_ad37793e64fe58a8faba201c18d876685"><div class="ttname"><a href="classSVF_1_1ICFGStat.html#ad37793e64fe58a8faba201c18d876685">SVF::ICFGStat::numOfEntryNodes</a></div><div class="ttdeci">int numOfEntryNodes</div><div class="ttdef"><b>Definition:</b> <a href="ICFGStat_8h_source.html#l00047">ICFGStat.h:47</a></div></div>
@@ -454,7 +454,7 @@ Additional Inherited Members</h2></td></tr>
 <p>Reimplemented from <a class="el" href="classSVF_1_1PTAStat.html#acfed70588cf921694db35990ec3c7497">SVF::PTAStat</a>.</p>
 <p class="definition">Definition at line <a class="el" href="ICFGStat_8h_source.html#l00075">75</a> of file <a class="el" href="ICFGStat_8h_source.html">ICFGStat.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;    {</div><div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;</div><div class="line"><a name="l00078"></a><span class="lineno">   78</span>&#160;        <a class="code" href="classSVF_1_1ICFGStat.html#a632f57db1f1e17f49289b5dfec048ef6">countStat</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">   80</span>&#160;        <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<span class="stringliteral">&quot;ICFGNode&quot;</span>] = <a class="code" href="classSVF_1_1ICFGStat.html#a8e71a19c266aacd7acb1fee6bb339788">numOfNodes</a>;</div><div class="line"><a name="l00081"></a><span class="lineno">   81</span>&#160;        <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<span class="stringliteral">&quot;IntraBlockNode&quot;</span>] = <a class="code" href="classSVF_1_1ICFGStat.html#ad88dbfaabae9b36f02a6e6e815d08e3e">numOfIntraNodes</a>;</div><div class="line"><a name="l00082"></a><span class="lineno">   82</span>&#160;        <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<span class="stringliteral">&quot;CallBlockNode&quot;</span>] = <a class="code" href="classSVF_1_1ICFGStat.html#a7f8d88b6d8d4892e85006320b39c7dc4">numOfCallNodes</a>;</div><div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;        <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<span class="stringliteral">&quot;RetBlockNode&quot;</span>] = <a class="code" href="classSVF_1_1ICFGStat.html#ac9bfce40c058ed7ab178fe1f1818e9de">numOfRetNodes</a>;</div><div class="line"><a name="l00084"></a><span class="lineno">   84</span>&#160;        <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<span class="stringliteral">&quot;FunEntryBlockNode&quot;</span>] = <a class="code" href="classSVF_1_1ICFGStat.html#ad37793e64fe58a8faba201c18d876685">numOfEntryNodes</a>;</div><div class="line"><a name="l00085"></a><span class="lineno">   85</span>&#160;        <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<span class="stringliteral">&quot;FunExitBlockNode&quot;</span>] = <a class="code" href="classSVF_1_1ICFGStat.html#ad7e00680fb8ca31afbd166f9a4adc5ec">numOfExitNodes</a>;</div><div class="line"><a name="l00086"></a><span class="lineno">   86</span>&#160;</div><div class="line"><a name="l00087"></a><span class="lineno">   87</span>&#160;        <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<span class="stringliteral">&quot;ICFGEdge&quot;</span>] = <a class="code" href="classSVF_1_1ICFGStat.html#a5e9bb5ae47aacba7c625a9fa3e349e82">numOfEdges</a>;</div><div class="line"><a name="l00088"></a><span class="lineno">   88</span>&#160;        <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<span class="stringliteral">&quot;CallCFGEdge&quot;</span>] = <a class="code" href="classSVF_1_1ICFGStat.html#ab924988ff980c57a4e9155adaa5c0ff2">numOfCallEdges</a>;</div><div class="line"><a name="l00089"></a><span class="lineno">   89</span>&#160;        <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<span class="stringliteral">&quot;RetCFGEdge&quot;</span>] = <a class="code" href="classSVF_1_1ICFGStat.html#a3bd1a0b0b206baadea52bfa88e029dfa">numOfRetEdges</a>;</div><div class="line"><a name="l00090"></a><span class="lineno">   90</span>&#160;        <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<span class="stringliteral">&quot;IntraCFGEdge&quot;</span>] = <a class="code" href="classSVF_1_1ICFGStat.html#a3ddf933064f2a7f2efbd3a1af2ae7658">numOfIntraEdges</a>;</div><div class="line"><a name="l00091"></a><span class="lineno">   91</span>&#160;</div><div class="line"><a name="l00092"></a><span class="lineno">   92</span>&#160;        <a class="code" href="classSVF_1_1ICFGStat.html#a2058c584a93cb6c90f165207dbdb01d6">printStat</a>(<span class="stringliteral">&quot;ICFG Stat&quot;</span>);</div><div class="line"><a name="l00093"></a><span class="lineno">   93</span>&#160;    }</div><div class="ttc" id="classSVF_1_1ICFGStat_html_a5e9bb5ae47aacba7c625a9fa3e349e82"><div class="ttname"><a href="classSVF_1_1ICFGStat.html#a5e9bb5ae47aacba7c625a9fa3e349e82">SVF::ICFGStat::numOfEdges</a></div><div class="ttdeci">int numOfEdges</div><div class="ttdef"><b>Definition:</b> <a href="ICFGStat_8h_source.html#l00051">ICFGStat.h:51</a></div></div>
+<div class="fragment"><div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;    {</div><div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;</div><div class="line"><a name="l00078"></a><span class="lineno">   78</span>&#160;        <a class="code" href="classSVF_1_1ICFGStat.html#a632f57db1f1e17f49289b5dfec048ef6">countStat</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">   80</span>&#160;        <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<span class="stringliteral">&quot;ICFGNode&quot;</span>] = <a class="code" href="classSVF_1_1ICFGStat.html#a8e71a19c266aacd7acb1fee6bb339788">numOfNodes</a>;</div><div class="line"><a name="l00081"></a><span class="lineno">   81</span>&#160;        <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<span class="stringliteral">&quot;IntraICFGNode&quot;</span>] = <a class="code" href="classSVF_1_1ICFGStat.html#ad88dbfaabae9b36f02a6e6e815d08e3e">numOfIntraNodes</a>;</div><div class="line"><a name="l00082"></a><span class="lineno">   82</span>&#160;        <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<span class="stringliteral">&quot;CallICFGNode&quot;</span>] = <a class="code" href="classSVF_1_1ICFGStat.html#a7f8d88b6d8d4892e85006320b39c7dc4">numOfCallNodes</a>;</div><div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;        <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<span class="stringliteral">&quot;RetICFGNode&quot;</span>] = <a class="code" href="classSVF_1_1ICFGStat.html#ac9bfce40c058ed7ab178fe1f1818e9de">numOfRetNodes</a>;</div><div class="line"><a name="l00084"></a><span class="lineno">   84</span>&#160;        <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<span class="stringliteral">&quot;FunEntryICFGNode&quot;</span>] = <a class="code" href="classSVF_1_1ICFGStat.html#ad37793e64fe58a8faba201c18d876685">numOfEntryNodes</a>;</div><div class="line"><a name="l00085"></a><span class="lineno">   85</span>&#160;        <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<span class="stringliteral">&quot;FunExitICFGNode&quot;</span>] = <a class="code" href="classSVF_1_1ICFGStat.html#ad7e00680fb8ca31afbd166f9a4adc5ec">numOfExitNodes</a>;</div><div class="line"><a name="l00086"></a><span class="lineno">   86</span>&#160;</div><div class="line"><a name="l00087"></a><span class="lineno">   87</span>&#160;        <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<span class="stringliteral">&quot;ICFGEdge&quot;</span>] = <a class="code" href="classSVF_1_1ICFGStat.html#a5e9bb5ae47aacba7c625a9fa3e349e82">numOfEdges</a>;</div><div class="line"><a name="l00088"></a><span class="lineno">   88</span>&#160;        <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<span class="stringliteral">&quot;CallCFGEdge&quot;</span>] = <a class="code" href="classSVF_1_1ICFGStat.html#ab924988ff980c57a4e9155adaa5c0ff2">numOfCallEdges</a>;</div><div class="line"><a name="l00089"></a><span class="lineno">   89</span>&#160;        <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<span class="stringliteral">&quot;RetCFGEdge&quot;</span>] = <a class="code" href="classSVF_1_1ICFGStat.html#a3bd1a0b0b206baadea52bfa88e029dfa">numOfRetEdges</a>;</div><div class="line"><a name="l00090"></a><span class="lineno">   90</span>&#160;        <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<span class="stringliteral">&quot;IntraCFGEdge&quot;</span>] = <a class="code" href="classSVF_1_1ICFGStat.html#a3ddf933064f2a7f2efbd3a1af2ae7658">numOfIntraEdges</a>;</div><div class="line"><a name="l00091"></a><span class="lineno">   91</span>&#160;</div><div class="line"><a name="l00092"></a><span class="lineno">   92</span>&#160;        <a class="code" href="classSVF_1_1ICFGStat.html#a2058c584a93cb6c90f165207dbdb01d6">printStat</a>(<span class="stringliteral">&quot;ICFG Stat&quot;</span>);</div><div class="line"><a name="l00093"></a><span class="lineno">   93</span>&#160;    }</div><div class="ttc" id="classSVF_1_1ICFGStat_html_a5e9bb5ae47aacba7c625a9fa3e349e82"><div class="ttname"><a href="classSVF_1_1ICFGStat.html#a5e9bb5ae47aacba7c625a9fa3e349e82">SVF::ICFGStat::numOfEdges</a></div><div class="ttdeci">int numOfEdges</div><div class="ttdef"><b>Definition:</b> <a href="ICFGStat_8h_source.html#l00051">ICFGStat.h:51</a></div></div>
 <div class="ttc" id="classSVF_1_1ICFGStat_html_a3ddf933064f2a7f2efbd3a1af2ae7658"><div class="ttname"><a href="classSVF_1_1ICFGStat.html#a3ddf933064f2a7f2efbd3a1af2ae7658">SVF::ICFGStat::numOfIntraEdges</a></div><div class="ttdeci">int numOfIntraEdges</div><div class="ttdef"><b>Definition:</b> <a href="ICFGStat_8h_source.html#l00054">ICFGStat.h:54</a></div></div>
 <div class="ttc" id="classSVF_1_1ICFGStat_html_ad37793e64fe58a8faba201c18d876685"><div class="ttname"><a href="classSVF_1_1ICFGStat.html#ad37793e64fe58a8faba201c18d876685">SVF::ICFGStat::numOfEntryNodes</a></div><div class="ttdeci">int numOfEntryNodes</div><div class="ttdef"><b>Definition:</b> <a href="ICFGStat_8h_source.html#l00047">ICFGStat.h:47</a></div></div>
 <div class="ttc" id="classSVF_1_1ICFGStat_html_ab924988ff980c57a4e9155adaa5c0ff2"><div class="ttname"><a href="classSVF_1_1ICFGStat.html#ab924988ff980c57a4e9155adaa5c0ff2">SVF::ICFGStat::numOfCallEdges</a></div><div class="ttdeci">int numOfCallEdges</div><div class="ttdef"><b>Definition:</b> <a href="ICFGStat_8h_source.html#l00052">ICFGStat.h:52</a></div></div>
@@ -494,7 +494,7 @@ Additional Inherited Members</h2></td></tr>
 </div><div class="memdoc">
 <p class="definition">Definition at line <a class="el" href="ICFGStat_8h_source.html#l00095">95</a> of file <a class="el" href="ICFGStat_8h_source.html">ICFGStat.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00096"></a><span class="lineno">   96</span>&#160;    {</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;        <a class="code" href="classSVF_1_1ICFGStat.html#a632f57db1f1e17f49289b5dfec048ef6">countStat</a>();</div><div class="line"><a name="l00099"></a><span class="lineno">   99</span>&#160;        <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<span class="stringliteral">&quot;ICFGNode(N)&quot;</span>] = <a class="code" href="classSVF_1_1ICFGStat.html#a8e71a19c266aacd7acb1fee6bb339788">numOfNodes</a>;</div><div class="line"><a name="l00100"></a><span class="lineno">  100</span>&#160;        <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<span class="stringliteral">&quot;CallBlockNode(Call)&quot;</span>] = <a class="code" href="classSVF_1_1ICFGStat.html#a7f8d88b6d8d4892e85006320b39c7dc4">numOfCallNodes</a>;</div><div class="line"><a name="l00101"></a><span class="lineno">  101</span>&#160;        <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<span class="stringliteral">&quot;ICFGEdge(E)&quot;</span>] = <a class="code" href="classSVF_1_1ICFGStat.html#a5e9bb5ae47aacba7c625a9fa3e349e82">numOfEdges</a>;</div><div class="line"><a name="l00102"></a><span class="lineno">  102</span>&#160;        <a class="code" href="classSVF_1_1ICFGStat.html#a2058c584a93cb6c90f165207dbdb01d6">printStat</a>(<span class="stringliteral">&quot;IFDS Stat&quot;</span>);</div><div class="line"><a name="l00103"></a><span class="lineno">  103</span>&#160;    }</div><div class="ttc" id="classSVF_1_1ICFGStat_html_a5e9bb5ae47aacba7c625a9fa3e349e82"><div class="ttname"><a href="classSVF_1_1ICFGStat.html#a5e9bb5ae47aacba7c625a9fa3e349e82">SVF::ICFGStat::numOfEdges</a></div><div class="ttdeci">int numOfEdges</div><div class="ttdef"><b>Definition:</b> <a href="ICFGStat_8h_source.html#l00051">ICFGStat.h:51</a></div></div>
+<div class="fragment"><div class="line"><a name="l00096"></a><span class="lineno">   96</span>&#160;    {</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;        <a class="code" href="classSVF_1_1ICFGStat.html#a632f57db1f1e17f49289b5dfec048ef6">countStat</a>();</div><div class="line"><a name="l00099"></a><span class="lineno">   99</span>&#160;        <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<span class="stringliteral">&quot;ICFGNode(N)&quot;</span>] = <a class="code" href="classSVF_1_1ICFGStat.html#a8e71a19c266aacd7acb1fee6bb339788">numOfNodes</a>;</div><div class="line"><a name="l00100"></a><span class="lineno">  100</span>&#160;        <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<span class="stringliteral">&quot;CallICFGNode(Call)&quot;</span>] = <a class="code" href="classSVF_1_1ICFGStat.html#a7f8d88b6d8d4892e85006320b39c7dc4">numOfCallNodes</a>;</div><div class="line"><a name="l00101"></a><span class="lineno">  101</span>&#160;        <a class="code" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a>[<span class="stringliteral">&quot;ICFGEdge(E)&quot;</span>] = <a class="code" href="classSVF_1_1ICFGStat.html#a5e9bb5ae47aacba7c625a9fa3e349e82">numOfEdges</a>;</div><div class="line"><a name="l00102"></a><span class="lineno">  102</span>&#160;        <a class="code" href="classSVF_1_1ICFGStat.html#a2058c584a93cb6c90f165207dbdb01d6">printStat</a>(<span class="stringliteral">&quot;IFDS Stat&quot;</span>);</div><div class="line"><a name="l00103"></a><span class="lineno">  103</span>&#160;    }</div><div class="ttc" id="classSVF_1_1ICFGStat_html_a5e9bb5ae47aacba7c625a9fa3e349e82"><div class="ttname"><a href="classSVF_1_1ICFGStat.html#a5e9bb5ae47aacba7c625a9fa3e349e82">SVF::ICFGStat::numOfEdges</a></div><div class="ttdeci">int numOfEdges</div><div class="ttdef"><b>Definition:</b> <a href="ICFGStat_8h_source.html#l00051">ICFGStat.h:51</a></div></div>
 <div class="ttc" id="classSVF_1_1ICFGStat_html_a8e71a19c266aacd7acb1fee6bb339788"><div class="ttname"><a href="classSVF_1_1ICFGStat.html#a8e71a19c266aacd7acb1fee6bb339788">SVF::ICFGStat::numOfNodes</a></div><div class="ttdeci">int numOfNodes</div><div class="ttdef"><b>Definition:</b> <a href="ICFGStat_8h_source.html#l00044">ICFGStat.h:44</a></div></div>
 <div class="ttc" id="classSVF_1_1ICFGStat_html_a632f57db1f1e17f49289b5dfec048ef6"><div class="ttname"><a href="classSVF_1_1ICFGStat.html#a632f57db1f1e17f49289b5dfec048ef6">SVF::ICFGStat::countStat</a></div><div class="ttdeci">void countStat()</div><div class="ttdef"><b>Definition:</b> <a href="ICFGStat_8h_source.html#l00105">ICFGStat.h:105</a></div></div>
 <div class="ttc" id="classSVF_1_1ICFGStat_html_a7f8d88b6d8d4892e85006320b39c7dc4"><div class="ttname"><a href="classSVF_1_1ICFGStat.html#a7f8d88b6d8d4892e85006320b39c7dc4">SVF::ICFGStat::numOfCallNodes</a></div><div class="ttdeci">int numOfCallNodes</div><div class="ttdef"><b>Definition:</b> <a href="ICFGStat_8h_source.html#l00045">ICFGStat.h:45</a></div></div>

package/SVF-doxygen/html/html/classSVF_1_1InterDisjointMRG-members.html CHANGED Viewed

@@ -69,17 +69,17 @@ $(function() {
 <p>This is the complete list of members for <a class="el" href="classSVF_1_1InterDisjointMRG.html">SVF::InterDisjointMRG</a>, including all inherited members.</p>
 <table class="directory">
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html#a3c9e58dee18cde9a6e1575e34955af78">addCPtsToCallSiteMods</a>(NodeBS &amp;cpts, const CallBlockNode *cs)</td><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html">SVF::MRGenerator</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html#a77cf2b1959581da2b0cdf88291664ff3">addCPtsToCallSiteRefs</a>(NodeBS &amp;cpts, const CallBlockNode *cs)</td><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html">SVF::MRGenerator</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html#ab5b92ca898739f613f965fc05f86f094">addCPtsToCallSiteMods</a>(NodeBS &amp;cpts, const CallICFGNode *cs)</td><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html">SVF::MRGenerator</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html#a94ce7ceff7cee90d672e9f3a4f3aa4e8">addCPtsToCallSiteRefs</a>(NodeBS &amp;cpts, const CallICFGNode *cs)</td><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html">SVF::MRGenerator</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html#a79a3032b50f7ef905213b770b12e0967">addCPtsToLoad</a>(NodeBS &amp;cpts, const LoadStmt *ld, const SVFFunction *fun)</td><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html">SVF::MRGenerator</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html#af50efed3af17806a3ba3f668e4466d3e">addCPtsToStore</a>(NodeBS &amp;cpts, const StoreStmt *st, const SVFFunction *fun)</td><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html">SVF::MRGenerator</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html#a8b00b46136ce2586b5f94248d0826a94">addModSideEffectOfCallSite</a>(const CallBlockNode *cs, const NodeBS &amp;mods)</td><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html">SVF::MRGenerator</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html#a915486be8b119c1f1cc87143a2a5180e">addModSideEffectOfCallSite</a>(const CallICFGNode *cs, const NodeBS &amp;mods)</td><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html">SVF::MRGenerator</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html#a39604645ca9ba10607ada3872b14705a">addModSideEffectOfFunction</a>(const SVFFunction *fun, const NodeBS &amp;mods)</td><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html">SVF::MRGenerator</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html#a4e02c3aee7eb0206f6d643b72e39d059">addRefSideEffectOfCallSite</a>(const CallBlockNode *cs, const NodeBS &amp;refs)</td><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html">SVF::MRGenerator</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html#a83f5087e84eb7a18976cbd3a446605ee">addRefSideEffectOfCallSite</a>(const CallICFGNode *cs, const NodeBS &amp;refs)</td><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html">SVF::MRGenerator</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html#a899c81db92c6bcf24f6f9b769e02e5bf">addRefSideEffectOfFunction</a>(const SVFFunction *fun, const NodeBS &amp;refs)</td><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html">SVF::MRGenerator</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html#a71b5ce2c754ffff5a84fdb0c3aa16819">CallSiteToMRsMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html">SVF::MRGenerator</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html#a55ca7850e00f57a8a4b83bc969493046">CallSiteToNodeBSMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html">SVF::MRGenerator</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html#a9d22e9d113393c536c5fe473fd76f388">CallSiteToPointsToMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html">SVF::MRGenerator</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html#af9872d1175874a920e6df10268518233">CallSiteToMRsMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html">SVF::MRGenerator</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html#a934a90164cc1364ea6aba5b4ae3cf2a9">CallSiteToNodeBSMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html">SVF::MRGenerator</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html#a255e42c2b2062bbc799517c77ec25336">CallSiteToPointsToMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html">SVF::MRGenerator</a></td><td class="entry"></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html#afdae3e11009966856736d9aa1e2ad5bd">collectGlobals</a>()</td><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html">SVF::MRGenerator</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html#a502f8379620378b36bc12d9a91b408d2">collectModRefForCall</a>()</td><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html">SVF::MRGenerator</a></td><td class="entry"><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html#a207dfa4c9f044764665478142c6e6b22">collectModRefForLoadStore</a>()</td><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html">SVF::MRGenerator</a></td><td class="entry"><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
@@ -95,17 +95,17 @@ $(function() {
   <tr><td class="entry"><a class="el" href="classSVF_1_1IntraDisjointMRG.html#a824dec1bb1df5052252e7fe0dd55a894">FunToPtsMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1IntraDisjointMRG.html">SVF::IntraDisjointMRG</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html#a4f65593325e4391333fa1b0bedbffc4a">generateMRs</a>()</td><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html">SVF::MRGenerator</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html#ad740188222439c089907fa6c6c951f02">getAliasMemRegions</a>(MRSet &amp;aliasMRs, const NodeBS &amp;cpts, const SVFFunction *fun)</td><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html">SVF::MRGenerator</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html#acb78098bf1fc8c3a80720a3dff3a0a1d">getCallSiteModMRSet</a>(const CallBlockNode *cs)</td><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html">SVF::MRGenerator</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html#a7ede01d58bb2490ded5895ca5bd45948">getCallSiteRefMRSet</a>(const CallBlockNode *cs)</td><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html">SVF::MRGenerator</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html#a4ee12b940608c34ee81b07cdc8d35538">getCallSiteModMRSet</a>(const CallICFGNode *cs)</td><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html">SVF::MRGenerator</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html#acd4694a030755b7491a6ef55d9ba2682">getCallSiteRefMRSet</a>(const CallICFGNode *cs)</td><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html">SVF::MRGenerator</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html#a3121380139c7ae96d2045d66203253b6">getFunction</a>(const PAGEdge *pagEdge) const</td><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html">SVF::MRGenerator</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html#a64ba36ddcd304f6543e416c552763879">getFunMRSet</a>(const SVFFunction *fun)</td><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html">SVF::MRGenerator</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html#a1331e6f0941838064d77a5adaa5c6303">getFunToPointsToList</a>()</td><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html">SVF::MRGenerator</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html#a19da5768681a21c52a6c43761814a157">getLoadMRSet</a>(const LoadStmt *load)</td><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html">SVF::MRGenerator</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html#af0d1a34ce38e9b20ee6fc7b27fcd5198">getModInfoForCall</a>(const CallBlockNode *cs)</td><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html">SVF::MRGenerator</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html#a455e0ba173141ac8ce76a655ac52205f">getModRefInfo</a>(const CallBlockNode *cs)</td><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html">SVF::MRGenerator</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html#a9f1d1604fb884e5c99702556915396f9">getModRefInfo</a>(const CallBlockNode *cs, const Value *V)</td><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html">SVF::MRGenerator</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html#a83f957962bf3c7621661ce87b095e841">getModRefInfo</a>(const CallBlockNode *cs1, const CallBlockNode *cs2)</td><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html">SVF::MRGenerator</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html#aebd6abbf574392abce426dc796d2ee56">getModSideEffectOfCallSite</a>(const CallBlockNode *cs)</td><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html">SVF::MRGenerator</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html#ae487d7b800d7536b578095c9f140ac80">getModInfoForCall</a>(const CallICFGNode *cs)</td><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html">SVF::MRGenerator</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html#ac14c99ee6064fc9cf30120a83c78e702">getModRefInfo</a>(const CallICFGNode *cs)</td><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html">SVF::MRGenerator</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html#a3a6c0f60c861b6d744225a40aea638d7">getModRefInfo</a>(const CallICFGNode *cs, const Value *V)</td><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html">SVF::MRGenerator</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html#a7e1c258e120d89d7b9d6e414f91c6e4a">getModRefInfo</a>(const CallICFGNode *cs1, const CallICFGNode *cs2)</td><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html">SVF::MRGenerator</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html#a1535832f5b1ae3178fea950bf71fdd99">getModSideEffectOfCallSite</a>(const CallICFGNode *cs)</td><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html">SVF::MRGenerator</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html#a7d47fbc3dbe8fd19ca5e4210bdecf914">getModSideEffectOfFunction</a>(const SVFFunction *fun)</td><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html">SVF::MRGenerator</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html#a55d38020bbece70847f7e72bb02bc4af">getMR</a>(const NodeBS &amp;cpts) const</td><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html">SVF::MRGenerator</a></td><td class="entry"></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html#ad34e796ebc49f5749de39e81374dc7a7">getMRNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html">SVF::MRGenerator</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
@@ -115,17 +115,17 @@ $(function() {
   <tr><td class="entry"><a class="el" href="classSVF_1_1IntraDisjointMRG.html#a8d390306f30e8b9736a3d1228ef5bf3a">getMRsForLoadFromInterList</a>(MRSet &amp;mrs, const NodeBS &amp;cpts, const PointsToList &amp;inters)</td><td class="entry"><a class="el" href="classSVF_1_1IntraDisjointMRG.html">SVF::IntraDisjointMRG</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html#acc78a116ca0be01a359d1313b2ae603c">getPAGEdgesFromInst</a>(const Instruction *inst)</td><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html">SVF::MRGenerator</a></td><td class="entry"></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html#a6d86c8ebe87cb54f39e52daa7ffb0e2e">getPointsToList</a>(const SVFFunction *fun)</td><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html">SVF::MRGenerator</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html#acbc431cc7fb72135e592d74709ea7a77">getRefInfoForCall</a>(const CallBlockNode *cs)</td><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html">SVF::MRGenerator</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html#ae2cc7d7d6ab427acb0352b388c7a4acc">getRefSideEffectOfCallSite</a>(const CallBlockNode *cs)</td><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html">SVF::MRGenerator</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html#a965a31712341b1fc02e667f325423ca2">getRefInfoForCall</a>(const CallICFGNode *cs)</td><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html">SVF::MRGenerator</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html#a62757aa995a6a01b484c60df2f51c53d">getRefSideEffectOfCallSite</a>(const CallICFGNode *cs)</td><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html">SVF::MRGenerator</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html#ac0007c8808654ca74feef0d8568378b9">getRefSideEffectOfFunction</a>(const SVFFunction *fun)</td><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html">SVF::MRGenerator</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html#a98b3481580be48cff7e93bf3c8a29dac">getRepPointsTo</a>(const NodeBS &amp;cpts) const</td><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html">SVF::MRGenerator</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html#a364ad1e34d09a92cdc0cfe530c84880f">getStoreMRSet</a>(const StoreStmt *store)</td><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html">SVF::MRGenerator</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html#a123a2ea51b04f1398b9ee66567f5014a">handleCallsiteModRef</a>(NodeBS &amp;mod, NodeBS &amp;ref, const CallBlockNode *cs, const SVFFunction *fun)</td><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html">SVF::MRGenerator</a></td><td class="entry"><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html#acbf0be131b1fc5d0366157d300d1aa68">handleCallsiteModRef</a>(NodeBS &amp;mod, NodeBS &amp;ref, const CallICFGNode *cs, const SVFFunction *fun)</td><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html">SVF::MRGenerator</a></td><td class="entry"><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html#a1cb94c8a0379eb30c99f0c3cb2bfebaf">hasCPtsList</a>(const SVFFunction *fun) const</td><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html">SVF::MRGenerator</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html#a8868281e5f5b5f3a83acf8568971ad40">hasModMRSet</a>(const CallBlockNode *cs)</td><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html">SVF::MRGenerator</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html#a07dc868039c5e2764b3cc34faff6d94a">hasModSideEffectOfCallSite</a>(const CallBlockNode *cs)</td><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html">SVF::MRGenerator</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html#aeed8bcf54d2a72c640e464e256249630">hasRefMRSet</a>(const CallBlockNode *cs)</td><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html">SVF::MRGenerator</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html#ac91b6f0f33a95ba35cc23e0e4657732a">hasRefSideEffectOfCallSite</a>(const CallBlockNode *cs)</td><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html">SVF::MRGenerator</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html#a7d66a341805af7ec4e4893e5a7e0bc2d">hasModMRSet</a>(const CallICFGNode *cs)</td><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html">SVF::MRGenerator</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html#a187d82895b2e1156c6dd5ae28795944f">hasModSideEffectOfCallSite</a>(const CallICFGNode *cs)</td><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html">SVF::MRGenerator</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html#af06e8ac43efdedb97a2008cd93fc32d6">hasRefMRSet</a>(const CallICFGNode *cs)</td><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html">SVF::MRGenerator</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html#a9718c9e8efc1e6f32441aa5f418711dd">hasRefSideEffectOfCallSite</a>(const CallICFGNode *cs)</td><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html">SVF::MRGenerator</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html#a6f631290f3da7c308395eb6a9472d7a5">hasSVFStmtList</a>(const Instruction *inst)</td><td class="entry"><a class="el" href="classSVF_1_1MRGenerator.html">SVF::MRGenerator</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1InterDisjointMRG.html#a91e89081103f451945baadaea370b428">InterDisjointMRG</a>(BVDataPTAImpl *p, bool ptrOnly)</td><td class="entry"><a class="el" href="classSVF_1_1InterDisjointMRG.html">SVF::InterDisjointMRG</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1InterDisjointMRG.html#a104134d0f7c8b16abe8f5f3899c3bbf0">inters</a></td><td class="entry"><a class="el" href="classSVF_1_1InterDisjointMRG.html">SVF::InterDisjointMRG</a></td><td class="entry"><span class="mlabel">private</span></td></tr>

package/SVF-doxygen/html/html/classSVF_1_1InterDisjointMRG.html CHANGED Viewed

@@ -128,25 +128,25 @@ Public Member Functions</h2></td></tr>
 <tr class="separator:a19da5768681a21c52a6c43761814a157 inherit pub_methods_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a364ad1e34d09a92cdc0cfe530c84880f inherit pub_methods_classSVF_1_1MRGenerator"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1MRGenerator.html#a98ac3bf264e6a85d172c2c4264ea908f">MRSet</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRGenerator.html#a364ad1e34d09a92cdc0cfe530c84880f">getStoreMRSet</a> (const <a class="el" href="classSVF_1_1StoreStmt.html">StoreStmt</a> *store)</td></tr>
 <tr class="separator:a364ad1e34d09a92cdc0cfe530c84880f inherit pub_methods_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:aeed8bcf54d2a72c640e464e256249630 inherit pub_methods_classSVF_1_1MRGenerator"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRGenerator.html#aeed8bcf54d2a72c640e464e256249630">hasRefMRSet</a> (const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a> *cs)</td></tr>
-<tr class="separator:aeed8bcf54d2a72c640e464e256249630 inherit pub_methods_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a8868281e5f5b5f3a83acf8568971ad40 inherit pub_methods_classSVF_1_1MRGenerator"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRGenerator.html#a8868281e5f5b5f3a83acf8568971ad40">hasModMRSet</a> (const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a> *cs)</td></tr>
-<tr class="separator:a8868281e5f5b5f3a83acf8568971ad40 inherit pub_methods_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a7ede01d58bb2490ded5895ca5bd45948 inherit pub_methods_classSVF_1_1MRGenerator"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1MRGenerator.html#a98ac3bf264e6a85d172c2c4264ea908f">MRSet</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRGenerator.html#a7ede01d58bb2490ded5895ca5bd45948">getCallSiteRefMRSet</a> (const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a> *cs)</td></tr>
-<tr class="separator:a7ede01d58bb2490ded5895ca5bd45948 inherit pub_methods_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:acb78098bf1fc8c3a80720a3dff3a0a1d inherit pub_methods_classSVF_1_1MRGenerator"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1MRGenerator.html#a98ac3bf264e6a85d172c2c4264ea908f">MRSet</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRGenerator.html#acb78098bf1fc8c3a80720a3dff3a0a1d">getCallSiteModMRSet</a> (const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a> *cs)</td></tr>
-<tr class="separator:acb78098bf1fc8c3a80720a3dff3a0a1d inherit pub_methods_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:af0d1a34ce38e9b20ee6fc7b27fcd5198 inherit pub_methods_classSVF_1_1MRGenerator"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRGenerator.html#af0d1a34ce38e9b20ee6fc7b27fcd5198">getModInfoForCall</a> (const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a> *cs)</td></tr>
-<tr class="memdesc:af0d1a34ce38e9b20ee6fc7b27fcd5198 inherit pub_methods_classSVF_1_1MRGenerator"><td class="mdescLeft">&#160;</td><td class="mdescRight">getModRefInfo APIs  <a href="classSVF_1_1MRGenerator.html#af0d1a34ce38e9b20ee6fc7b27fcd5198">More...</a><br /></td></tr>
-<tr class="separator:af0d1a34ce38e9b20ee6fc7b27fcd5198 inherit pub_methods_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:acbc431cc7fb72135e592d74709ea7a77 inherit pub_methods_classSVF_1_1MRGenerator"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRGenerator.html#acbc431cc7fb72135e592d74709ea7a77">getRefInfoForCall</a> (const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a> *cs)</td></tr>
-<tr class="separator:acbc431cc7fb72135e592d74709ea7a77 inherit pub_methods_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a455e0ba173141ac8ce76a655ac52205f inherit pub_methods_classSVF_1_1MRGenerator"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a7e833aa9feaf931fb44fb1e3fd502a6c">ModRefInfo</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRGenerator.html#a455e0ba173141ac8ce76a655ac52205f">getModRefInfo</a> (const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a> *cs)</td></tr>
-<tr class="separator:a455e0ba173141ac8ce76a655ac52205f inherit pub_methods_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a9f1d1604fb884e5c99702556915396f9 inherit pub_methods_classSVF_1_1MRGenerator"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a7e833aa9feaf931fb44fb1e3fd502a6c">ModRefInfo</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRGenerator.html#a9f1d1604fb884e5c99702556915396f9">getModRefInfo</a> (const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a> *cs, const <a class="el" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a> *V)</td></tr>
-<tr class="separator:a9f1d1604fb884e5c99702556915396f9 inherit pub_methods_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a83f957962bf3c7621661ce87b095e841 inherit pub_methods_classSVF_1_1MRGenerator"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a7e833aa9feaf931fb44fb1e3fd502a6c">ModRefInfo</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRGenerator.html#a83f957962bf3c7621661ce87b095e841">getModRefInfo</a> (const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a> *cs1, const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a> *cs2)</td></tr>
-<tr class="separator:a83f957962bf3c7621661ce87b095e841 inherit pub_methods_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:af06e8ac43efdedb97a2008cd93fc32d6 inherit pub_methods_classSVF_1_1MRGenerator"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRGenerator.html#af06e8ac43efdedb97a2008cd93fc32d6">hasRefMRSet</a> (const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *cs)</td></tr>
+<tr class="separator:af06e8ac43efdedb97a2008cd93fc32d6 inherit pub_methods_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a7d66a341805af7ec4e4893e5a7e0bc2d inherit pub_methods_classSVF_1_1MRGenerator"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRGenerator.html#a7d66a341805af7ec4e4893e5a7e0bc2d">hasModMRSet</a> (const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *cs)</td></tr>
+<tr class="separator:a7d66a341805af7ec4e4893e5a7e0bc2d inherit pub_methods_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:acd4694a030755b7491a6ef55d9ba2682 inherit pub_methods_classSVF_1_1MRGenerator"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1MRGenerator.html#a98ac3bf264e6a85d172c2c4264ea908f">MRSet</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRGenerator.html#acd4694a030755b7491a6ef55d9ba2682">getCallSiteRefMRSet</a> (const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *cs)</td></tr>
+<tr class="separator:acd4694a030755b7491a6ef55d9ba2682 inherit pub_methods_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a4ee12b940608c34ee81b07cdc8d35538 inherit pub_methods_classSVF_1_1MRGenerator"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1MRGenerator.html#a98ac3bf264e6a85d172c2c4264ea908f">MRSet</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRGenerator.html#a4ee12b940608c34ee81b07cdc8d35538">getCallSiteModMRSet</a> (const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *cs)</td></tr>
+<tr class="separator:a4ee12b940608c34ee81b07cdc8d35538 inherit pub_methods_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ae487d7b800d7536b578095c9f140ac80 inherit pub_methods_classSVF_1_1MRGenerator"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRGenerator.html#ae487d7b800d7536b578095c9f140ac80">getModInfoForCall</a> (const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *cs)</td></tr>
+<tr class="memdesc:ae487d7b800d7536b578095c9f140ac80 inherit pub_methods_classSVF_1_1MRGenerator"><td class="mdescLeft">&#160;</td><td class="mdescRight">getModRefInfo APIs  <a href="classSVF_1_1MRGenerator.html#ae487d7b800d7536b578095c9f140ac80">More...</a><br /></td></tr>
+<tr class="separator:ae487d7b800d7536b578095c9f140ac80 inherit pub_methods_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a965a31712341b1fc02e667f325423ca2 inherit pub_methods_classSVF_1_1MRGenerator"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRGenerator.html#a965a31712341b1fc02e667f325423ca2">getRefInfoForCall</a> (const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *cs)</td></tr>
+<tr class="separator:a965a31712341b1fc02e667f325423ca2 inherit pub_methods_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ac14c99ee6064fc9cf30120a83c78e702 inherit pub_methods_classSVF_1_1MRGenerator"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a7e833aa9feaf931fb44fb1e3fd502a6c">ModRefInfo</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRGenerator.html#ac14c99ee6064fc9cf30120a83c78e702">getModRefInfo</a> (const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *cs)</td></tr>
+<tr class="separator:ac14c99ee6064fc9cf30120a83c78e702 inherit pub_methods_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a3a6c0f60c861b6d744225a40aea638d7 inherit pub_methods_classSVF_1_1MRGenerator"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a7e833aa9feaf931fb44fb1e3fd502a6c">ModRefInfo</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRGenerator.html#a3a6c0f60c861b6d744225a40aea638d7">getModRefInfo</a> (const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *cs, const <a class="el" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a> *V)</td></tr>
+<tr class="separator:a3a6c0f60c861b6d744225a40aea638d7 inherit pub_methods_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a7e1c258e120d89d7b9d6e414f91c6e4a inherit pub_methods_classSVF_1_1MRGenerator"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a7e833aa9feaf931fb44fb1e3fd502a6c">ModRefInfo</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRGenerator.html#a7e1c258e120d89d7b9d6e414f91c6e4a">getModRefInfo</a> (const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *cs1, const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *cs2)</td></tr>
+<tr class="separator:a7e1c258e120d89d7b9d6e414f91c6e4a inherit pub_methods_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
 </table><table class="memberdecls">
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pro-methods"></a>
 Protected Member Functions</h2></td></tr>
@@ -197,18 +197,18 @@ Protected Member Functions</h2></td></tr>
 <tr class="memitem:adc9d530e6f010596d91cd3711dc1358b inherit pro_methods_classSVF_1_1MRGenerator"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRGenerator.html#adc9d530e6f010596d91cd3711dc1358b">modRefAnalysis</a> (<a class="el" href="classSVF_1_1PTACallGraphNode.html">PTACallGraphNode</a> *callGraphNode, <a class="el" href="classSVF_1_1MRGenerator.html#a68d50c752252bd40c402c7b99b95f0fc">WorkList</a> &amp;worklist)</td></tr>
 <tr class="memdesc:adc9d530e6f010596d91cd3711dc1358b inherit pro_methods_classSVF_1_1MRGenerator"><td class="mdescLeft">&#160;</td><td class="mdescRight">Mod-Ref analysis for callsite invoking this callGraphNode.  <a href="classSVF_1_1MRGenerator.html#adc9d530e6f010596d91cd3711dc1358b">More...</a><br /></td></tr>
 <tr class="separator:adc9d530e6f010596d91cd3711dc1358b inherit pro_methods_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a123a2ea51b04f1398b9ee66567f5014a inherit pro_methods_classSVF_1_1MRGenerator"><td class="memItemLeft" align="right" valign="top">virtual bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRGenerator.html#a123a2ea51b04f1398b9ee66567f5014a">handleCallsiteModRef</a> (<a class="el" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> &amp;mod, <a class="el" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> &amp;ref, const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a> *cs, const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *fun)</td></tr>
-<tr class="memdesc:a123a2ea51b04f1398b9ee66567f5014a inherit pro_methods_classSVF_1_1MRGenerator"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get Mod-Ref of a callee function.  <a href="classSVF_1_1MRGenerator.html#a123a2ea51b04f1398b9ee66567f5014a">More...</a><br /></td></tr>
-<tr class="separator:a123a2ea51b04f1398b9ee66567f5014a inherit pro_methods_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:acbf0be131b1fc5d0366157d300d1aa68 inherit pro_methods_classSVF_1_1MRGenerator"><td class="memItemLeft" align="right" valign="top">virtual bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRGenerator.html#acbf0be131b1fc5d0366157d300d1aa68">handleCallsiteModRef</a> (<a class="el" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> &amp;mod, <a class="el" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> &amp;ref, const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *cs, const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *fun)</td></tr>
+<tr class="memdesc:acbf0be131b1fc5d0366157d300d1aa68 inherit pro_methods_classSVF_1_1MRGenerator"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get Mod-Ref of a callee function.  <a href="classSVF_1_1MRGenerator.html#acbf0be131b1fc5d0366157d300d1aa68">More...</a><br /></td></tr>
+<tr class="separator:acbf0be131b1fc5d0366157d300d1aa68 inherit pro_methods_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:af50efed3af17806a3ba3f668e4466d3e inherit pro_methods_classSVF_1_1MRGenerator"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRGenerator.html#af50efed3af17806a3ba3f668e4466d3e">addCPtsToStore</a> (<a class="el" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> &amp;cpts, const <a class="el" href="classSVF_1_1StoreStmt.html">StoreStmt</a> *st, const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *fun)</td></tr>
 <tr class="memdesc:af50efed3af17806a3ba3f668e4466d3e inherit pro_methods_classSVF_1_1MRGenerator"><td class="mdescLeft">&#160;</td><td class="mdescRight">Add cpts to store/load.  <a href="classSVF_1_1MRGenerator.html#af50efed3af17806a3ba3f668e4466d3e">More...</a><br /></td></tr>
 <tr class="separator:af50efed3af17806a3ba3f668e4466d3e inherit pro_methods_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a79a3032b50f7ef905213b770b12e0967 inherit pro_methods_classSVF_1_1MRGenerator"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRGenerator.html#a79a3032b50f7ef905213b770b12e0967">addCPtsToLoad</a> (<a class="el" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> &amp;cpts, const <a class="el" href="classSVF_1_1LoadStmt.html">LoadStmt</a> *ld, const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *fun)</td></tr>
 <tr class="separator:a79a3032b50f7ef905213b770b12e0967 inherit pro_methods_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a77cf2b1959581da2b0cdf88291664ff3 inherit pro_methods_classSVF_1_1MRGenerator"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRGenerator.html#a77cf2b1959581da2b0cdf88291664ff3">addCPtsToCallSiteRefs</a> (<a class="el" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> &amp;cpts, const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a> *cs)</td></tr>
-<tr class="separator:a77cf2b1959581da2b0cdf88291664ff3 inherit pro_methods_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a3c9e58dee18cde9a6e1575e34955af78 inherit pro_methods_classSVF_1_1MRGenerator"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRGenerator.html#a3c9e58dee18cde9a6e1575e34955af78">addCPtsToCallSiteMods</a> (<a class="el" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> &amp;cpts, const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a> *cs)</td></tr>
-<tr class="separator:a3c9e58dee18cde9a6e1575e34955af78 inherit pro_methods_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a94ce7ceff7cee90d672e9f3a4f3aa4e8 inherit pro_methods_classSVF_1_1MRGenerator"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRGenerator.html#a94ce7ceff7cee90d672e9f3a4f3aa4e8">addCPtsToCallSiteRefs</a> (<a class="el" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> &amp;cpts, const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *cs)</td></tr>
+<tr class="separator:a94ce7ceff7cee90d672e9f3a4f3aa4e8 inherit pro_methods_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ab5b92ca898739f613f965fc05f86f094 inherit pro_methods_classSVF_1_1MRGenerator"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRGenerator.html#ab5b92ca898739f613f965fc05f86f094">addCPtsToCallSiteMods</a> (<a class="el" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> &amp;cpts, const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *cs)</td></tr>
+<tr class="separator:ab5b92ca898739f613f965fc05f86f094 inherit pro_methods_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a1cb94c8a0379eb30c99f0c3cb2bfebaf inherit pro_methods_classSVF_1_1MRGenerator"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRGenerator.html#a1cb94c8a0379eb30c99f0c3cb2bfebaf">hasCPtsList</a> (const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *fun) const</td></tr>
 <tr class="separator:a1cb94c8a0379eb30c99f0c3cb2bfebaf inherit pro_methods_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a6d86c8ebe87cb54f39e52daa7ffb0e2e inherit pro_methods_classSVF_1_1MRGenerator"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1MRGenerator.html#a8b254a0c5063e25f297d1b00fb0b515e">PointsToList</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRGenerator.html#a6d86c8ebe87cb54f39e52daa7ffb0e2e">getPointsToList</a> (const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *fun)</td></tr>
@@ -221,30 +221,30 @@ Protected Member Functions</h2></td></tr>
 <tr class="memitem:a39604645ca9ba10607ada3872b14705a inherit pro_methods_classSVF_1_1MRGenerator"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRGenerator.html#a39604645ca9ba10607ada3872b14705a">addModSideEffectOfFunction</a> (const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *fun, const <a class="el" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> &amp;mods)</td></tr>
 <tr class="memdesc:a39604645ca9ba10607ada3872b14705a inherit pro_methods_classSVF_1_1MRGenerator"><td class="mdescLeft">&#160;</td><td class="mdescRight">Add indirect def an memory object in the function.  <a href="classSVF_1_1MRGenerator.html#a39604645ca9ba10607ada3872b14705a">More...</a><br /></td></tr>
 <tr class="separator:a39604645ca9ba10607ada3872b14705a inherit pro_methods_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a4e02c3aee7eb0206f6d643b72e39d059 inherit pro_methods_classSVF_1_1MRGenerator"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRGenerator.html#a4e02c3aee7eb0206f6d643b72e39d059">addRefSideEffectOfCallSite</a> (const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a> *cs, const <a class="el" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> &amp;refs)</td></tr>
-<tr class="memdesc:a4e02c3aee7eb0206f6d643b72e39d059 inherit pro_methods_classSVF_1_1MRGenerator"><td class="mdescLeft">&#160;</td><td class="mdescRight">Add indirect uses an memory object in the function.  <a href="classSVF_1_1MRGenerator.html#a4e02c3aee7eb0206f6d643b72e39d059">More...</a><br /></td></tr>
-<tr class="separator:a4e02c3aee7eb0206f6d643b72e39d059 inherit pro_methods_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a8b00b46136ce2586b5f94248d0826a94 inherit pro_methods_classSVF_1_1MRGenerator"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRGenerator.html#a8b00b46136ce2586b5f94248d0826a94">addModSideEffectOfCallSite</a> (const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a> *cs, const <a class="el" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> &amp;mods)</td></tr>
-<tr class="memdesc:a8b00b46136ce2586b5f94248d0826a94 inherit pro_methods_classSVF_1_1MRGenerator"><td class="mdescLeft">&#160;</td><td class="mdescRight">Add indirect def an memory object in the function.  <a href="classSVF_1_1MRGenerator.html#a8b00b46136ce2586b5f94248d0826a94">More...</a><br /></td></tr>
-<tr class="separator:a8b00b46136ce2586b5f94248d0826a94 inherit pro_methods_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a83f5087e84eb7a18976cbd3a446605ee inherit pro_methods_classSVF_1_1MRGenerator"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRGenerator.html#a83f5087e84eb7a18976cbd3a446605ee">addRefSideEffectOfCallSite</a> (const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *cs, const <a class="el" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> &amp;refs)</td></tr>
+<tr class="memdesc:a83f5087e84eb7a18976cbd3a446605ee inherit pro_methods_classSVF_1_1MRGenerator"><td class="mdescLeft">&#160;</td><td class="mdescRight">Add indirect uses an memory object in the function.  <a href="classSVF_1_1MRGenerator.html#a83f5087e84eb7a18976cbd3a446605ee">More...</a><br /></td></tr>
+<tr class="separator:a83f5087e84eb7a18976cbd3a446605ee inherit pro_methods_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a915486be8b119c1f1cc87143a2a5180e inherit pro_methods_classSVF_1_1MRGenerator"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRGenerator.html#a915486be8b119c1f1cc87143a2a5180e">addModSideEffectOfCallSite</a> (const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *cs, const <a class="el" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> &amp;mods)</td></tr>
+<tr class="memdesc:a915486be8b119c1f1cc87143a2a5180e inherit pro_methods_classSVF_1_1MRGenerator"><td class="mdescLeft">&#160;</td><td class="mdescRight">Add indirect def an memory object in the function.  <a href="classSVF_1_1MRGenerator.html#a915486be8b119c1f1cc87143a2a5180e">More...</a><br /></td></tr>
+<tr class="separator:a915486be8b119c1f1cc87143a2a5180e inherit pro_methods_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ac0007c8808654ca74feef0d8568378b9 inherit pro_methods_classSVF_1_1MRGenerator"><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_1MRGenerator.html#ac0007c8808654ca74feef0d8568378b9">getRefSideEffectOfFunction</a> (const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *fun)</td></tr>
 <tr class="memdesc:ac0007c8808654ca74feef0d8568378b9 inherit pro_methods_classSVF_1_1MRGenerator"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get indirect refs of a function.  <a href="classSVF_1_1MRGenerator.html#ac0007c8808654ca74feef0d8568378b9">More...</a><br /></td></tr>
 <tr class="separator:ac0007c8808654ca74feef0d8568378b9 inherit pro_methods_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a7d47fbc3dbe8fd19ca5e4210bdecf914 inherit pro_methods_classSVF_1_1MRGenerator"><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_1MRGenerator.html#a7d47fbc3dbe8fd19ca5e4210bdecf914">getModSideEffectOfFunction</a> (const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *fun)</td></tr>
 <tr class="memdesc:a7d47fbc3dbe8fd19ca5e4210bdecf914 inherit pro_methods_classSVF_1_1MRGenerator"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get indirect mods of a function.  <a href="classSVF_1_1MRGenerator.html#a7d47fbc3dbe8fd19ca5e4210bdecf914">More...</a><br /></td></tr>
 <tr class="separator:a7d47fbc3dbe8fd19ca5e4210bdecf914 inherit pro_methods_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ae2cc7d7d6ab427acb0352b388c7a4acc inherit pro_methods_classSVF_1_1MRGenerator"><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_1MRGenerator.html#ae2cc7d7d6ab427acb0352b388c7a4acc">getRefSideEffectOfCallSite</a> (const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a> *cs)</td></tr>
-<tr class="memdesc:ae2cc7d7d6ab427acb0352b388c7a4acc inherit pro_methods_classSVF_1_1MRGenerator"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get indirect refs of a callsite.  <a href="classSVF_1_1MRGenerator.html#ae2cc7d7d6ab427acb0352b388c7a4acc">More...</a><br /></td></tr>
-<tr class="separator:ae2cc7d7d6ab427acb0352b388c7a4acc inherit pro_methods_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:aebd6abbf574392abce426dc796d2ee56 inherit pro_methods_classSVF_1_1MRGenerator"><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_1MRGenerator.html#aebd6abbf574392abce426dc796d2ee56">getModSideEffectOfCallSite</a> (const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a> *cs)</td></tr>
-<tr class="memdesc:aebd6abbf574392abce426dc796d2ee56 inherit pro_methods_classSVF_1_1MRGenerator"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get indirect mods of a callsite.  <a href="classSVF_1_1MRGenerator.html#aebd6abbf574392abce426dc796d2ee56">More...</a><br /></td></tr>
-<tr class="separator:aebd6abbf574392abce426dc796d2ee56 inherit pro_methods_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ac91b6f0f33a95ba35cc23e0e4657732a inherit pro_methods_classSVF_1_1MRGenerator"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRGenerator.html#ac91b6f0f33a95ba35cc23e0e4657732a">hasRefSideEffectOfCallSite</a> (const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a> *cs)</td></tr>
-<tr class="memdesc:ac91b6f0f33a95ba35cc23e0e4657732a inherit pro_methods_classSVF_1_1MRGenerator"><td class="mdescLeft">&#160;</td><td class="mdescRight">Has indirect refs of a callsite.  <a href="classSVF_1_1MRGenerator.html#ac91b6f0f33a95ba35cc23e0e4657732a">More...</a><br /></td></tr>
-<tr class="separator:ac91b6f0f33a95ba35cc23e0e4657732a inherit pro_methods_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a07dc868039c5e2764b3cc34faff6d94a inherit pro_methods_classSVF_1_1MRGenerator"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRGenerator.html#a07dc868039c5e2764b3cc34faff6d94a">hasModSideEffectOfCallSite</a> (const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a> *cs)</td></tr>
-<tr class="memdesc:a07dc868039c5e2764b3cc34faff6d94a inherit pro_methods_classSVF_1_1MRGenerator"><td class="mdescLeft">&#160;</td><td class="mdescRight">Has indirect mods of a callsite.  <a href="classSVF_1_1MRGenerator.html#a07dc868039c5e2764b3cc34faff6d94a">More...</a><br /></td></tr>
-<tr class="separator:a07dc868039c5e2764b3cc34faff6d94a inherit pro_methods_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a62757aa995a6a01b484c60df2f51c53d inherit pro_methods_classSVF_1_1MRGenerator"><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_1MRGenerator.html#a62757aa995a6a01b484c60df2f51c53d">getRefSideEffectOfCallSite</a> (const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *cs)</td></tr>
+<tr class="memdesc:a62757aa995a6a01b484c60df2f51c53d inherit pro_methods_classSVF_1_1MRGenerator"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get indirect refs of a callsite.  <a href="classSVF_1_1MRGenerator.html#a62757aa995a6a01b484c60df2f51c53d">More...</a><br /></td></tr>
+<tr class="separator:a62757aa995a6a01b484c60df2f51c53d inherit pro_methods_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a1535832f5b1ae3178fea950bf71fdd99 inherit pro_methods_classSVF_1_1MRGenerator"><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_1MRGenerator.html#a1535832f5b1ae3178fea950bf71fdd99">getModSideEffectOfCallSite</a> (const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *cs)</td></tr>
+<tr class="memdesc:a1535832f5b1ae3178fea950bf71fdd99 inherit pro_methods_classSVF_1_1MRGenerator"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get indirect mods of a callsite.  <a href="classSVF_1_1MRGenerator.html#a1535832f5b1ae3178fea950bf71fdd99">More...</a><br /></td></tr>
+<tr class="separator:a1535832f5b1ae3178fea950bf71fdd99 inherit pro_methods_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a9718c9e8efc1e6f32441aa5f418711dd inherit pro_methods_classSVF_1_1MRGenerator"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRGenerator.html#a9718c9e8efc1e6f32441aa5f418711dd">hasRefSideEffectOfCallSite</a> (const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *cs)</td></tr>
+<tr class="memdesc:a9718c9e8efc1e6f32441aa5f418711dd inherit pro_methods_classSVF_1_1MRGenerator"><td class="mdescLeft">&#160;</td><td class="mdescRight">Has indirect refs of a callsite.  <a href="classSVF_1_1MRGenerator.html#a9718c9e8efc1e6f32441aa5f418711dd">More...</a><br /></td></tr>
+<tr class="separator:a9718c9e8efc1e6f32441aa5f418711dd inherit pro_methods_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a187d82895b2e1156c6dd5ae28795944f inherit pro_methods_classSVF_1_1MRGenerator"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRGenerator.html#a187d82895b2e1156c6dd5ae28795944f">hasModSideEffectOfCallSite</a> (const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *cs)</td></tr>
+<tr class="memdesc:a187d82895b2e1156c6dd5ae28795944f inherit pro_methods_classSVF_1_1MRGenerator"><td class="mdescLeft">&#160;</td><td class="mdescRight">Has indirect mods of a callsite.  <a href="classSVF_1_1MRGenerator.html#a187d82895b2e1156c6dd5ae28795944f">More...</a><br /></td></tr>
+<tr class="separator:a187d82895b2e1156c6dd5ae28795944f inherit pro_methods_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
 </table><table class="memberdecls">
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pri-attribs"></a>
 Private Attributes</h2></td></tr>
@@ -291,21 +291,21 @@ Additional Inherited Members</h2></td></tr>
 <tr class="separator:a273b2634adcfa10a08924517e8d51175 inherit pub_types_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:afacb458ca832ef459e873b7d90134a8c inherit pub_types_classSVF_1_1MRGenerator"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; const <a class="el" href="classSVF_1_1StoreStmt.html">StoreStmt</a> *, <a class="el" href="classSVF_1_1MRGenerator.html#a98ac3bf264e6a85d172c2c4264ea908f">MRSet</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRGenerator.html#afacb458ca832ef459e873b7d90134a8c">StoresToMRsMap</a></td></tr>
 <tr class="separator:afacb458ca832ef459e873b7d90134a8c inherit pub_types_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a71b5ce2c754ffff5a84fdb0c3aa16819 inherit pub_types_classSVF_1_1MRGenerator"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a> *, <a class="el" href="classSVF_1_1MRGenerator.html#a98ac3bf264e6a85d172c2c4264ea908f">MRSet</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRGenerator.html#a71b5ce2c754ffff5a84fdb0c3aa16819">CallSiteToMRsMap</a></td></tr>
-<tr class="separator:a71b5ce2c754ffff5a84fdb0c3aa16819 inherit pub_types_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:af9872d1175874a920e6df10268518233 inherit pub_types_classSVF_1_1MRGenerator"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *, <a class="el" href="classSVF_1_1MRGenerator.html#a98ac3bf264e6a85d172c2c4264ea908f">MRSet</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRGenerator.html#af9872d1175874a920e6df10268518233">CallSiteToMRsMap</a></td></tr>
+<tr class="separator:af9872d1175874a920e6df10268518233 inherit pub_types_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:acfadd565b5c978c9417e059b3ea7588c inherit pub_types_classSVF_1_1MRGenerator"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; const <a class="el" href="classSVF_1_1LoadStmt.html">LoadStmt</a> *, <a class="el" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRGenerator.html#acfadd565b5c978c9417e059b3ea7588c">LoadsToPointsToMap</a></td></tr>
 <tr class="memdesc:acfadd565b5c978c9417e059b3ea7588c inherit pub_types_classSVF_1_1MRGenerator"><td class="mdescLeft">&#160;</td><td class="mdescRight">Map loads/stores/callsites to their cpts set.  <a href="classSVF_1_1MRGenerator.html#acfadd565b5c978c9417e059b3ea7588c">More...</a><br /></td></tr>
 <tr class="separator:acfadd565b5c978c9417e059b3ea7588c inherit pub_types_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a357e1654e30b2f91f6ea30ea5a52e91d inherit pub_types_classSVF_1_1MRGenerator"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; const <a class="el" href="classSVF_1_1StoreStmt.html">StoreStmt</a> *, <a class="el" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRGenerator.html#a357e1654e30b2f91f6ea30ea5a52e91d">StoresToPointsToMap</a></td></tr>
 <tr class="separator:a357e1654e30b2f91f6ea30ea5a52e91d inherit pub_types_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a9d22e9d113393c536c5fe473fd76f388 inherit pub_types_classSVF_1_1MRGenerator"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a> *, <a class="el" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRGenerator.html#a9d22e9d113393c536c5fe473fd76f388">CallSiteToPointsToMap</a></td></tr>
-<tr class="separator:a9d22e9d113393c536c5fe473fd76f388 inherit pub_types_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a255e42c2b2062bbc799517c77ec25336 inherit pub_types_classSVF_1_1MRGenerator"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *, <a class="el" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRGenerator.html#a255e42c2b2062bbc799517c77ec25336">CallSiteToPointsToMap</a></td></tr>
+<tr class="separator:a255e42c2b2062bbc799517c77ec25336 inherit pub_types_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ab01e492f002c73e2c89eb0b4c8f9647d inherit pub_types_classSVF_1_1MRGenerator"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *, <a class="el" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRGenerator.html#ab01e492f002c73e2c89eb0b4c8f9647d">FunToNodeBSMap</a></td></tr>
 <tr class="memdesc:ab01e492f002c73e2c89eb0b4c8f9647d inherit pub_types_classSVF_1_1MRGenerator"><td class="mdescLeft">&#160;</td><td class="mdescRight">Maps Mod-Ref analysis.  <a href="classSVF_1_1MRGenerator.html#ab01e492f002c73e2c89eb0b4c8f9647d">More...</a><br /></td></tr>
 <tr class="separator:ab01e492f002c73e2c89eb0b4c8f9647d inherit pub_types_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a55ca7850e00f57a8a4b83bc969493046 inherit pub_types_classSVF_1_1MRGenerator"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a> *, <a class="el" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRGenerator.html#a55ca7850e00f57a8a4b83bc969493046">CallSiteToNodeBSMap</a></td></tr>
-<tr class="memdesc:a55ca7850e00f57a8a4b83bc969493046 inherit pub_types_classSVF_1_1MRGenerator"><td class="mdescLeft">&#160;</td><td class="mdescRight">Map a callsite to its indirect refs/mods of memory objects.  <a href="classSVF_1_1MRGenerator.html#a55ca7850e00f57a8a4b83bc969493046">More...</a><br /></td></tr>
-<tr class="separator:a55ca7850e00f57a8a4b83bc969493046 inherit pub_types_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a934a90164cc1364ea6aba5b4ae3cf2a9 inherit pub_types_classSVF_1_1MRGenerator"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *, <a class="el" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRGenerator.html#a934a90164cc1364ea6aba5b4ae3cf2a9">CallSiteToNodeBSMap</a></td></tr>
+<tr class="memdesc:a934a90164cc1364ea6aba5b4ae3cf2a9 inherit pub_types_classSVF_1_1MRGenerator"><td class="mdescLeft">&#160;</td><td class="mdescRight">Map a callsite to its indirect refs/mods of memory objects.  <a href="classSVF_1_1MRGenerator.html#a934a90164cc1364ea6aba5b4ae3cf2a9">More...</a><br /></td></tr>
+<tr class="separator:a934a90164cc1364ea6aba5b4ae3cf2a9 inherit pub_types_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="inherit_header pro_attribs_classSVF_1_1MRGenerator"><td colspan="2" onclick="javascript:toggleInherit('pro_attribs_classSVF_1_1MRGenerator')"><img src="closed.png" alt="-"/>&#160;Protected Attributes inherited from <a class="el" href="classSVF_1_1MRGenerator.html">SVF::MRGenerator</a></td></tr>
 <tr class="memitem:af94bd8155a23273aab2396334d905119 inherit pro_attribs_classSVF_1_1MRGenerator"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1MRGenerator.html#a98ac3bf264e6a85d172c2c4264ea908f">MRSet</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRGenerator.html#af94bd8155a23273aab2396334d905119">memRegSet</a></td></tr>
 <tr class="memdesc:af94bd8155a23273aab2396334d905119 inherit pro_attribs_classSVF_1_1MRGenerator"><td class="mdescLeft">&#160;</td><td class="mdescRight">A set of All memory regions.  <a href="classSVF_1_1MRGenerator.html#af94bd8155a23273aab2396334d905119">More...</a><br /></td></tr>