svf-tools 1.0.281 → 1.0.285

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

@@ -98,12 +98,12 @@ Public Member Functions</h2></td></tr>
 <tr class="inherit_header pub_methods_classSVF_1_1MRGenerator"><td colspan="2" onclick="javascript:toggleInherit('pub_methods_classSVF_1_1MRGenerator')"><img src="closed.png" alt="-"/>&#160;Public Member Functions inherited from <a class="el" href="classSVF_1_1MRGenerator.html">SVF::MRGenerator</a></td></tr>
 <tr class="memitem:a1f69924c587c4e68a029fd4e86cffacf 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#a1f69924c587c4e68a029fd4e86cffacf">getMRSet</a> ()</td></tr>
 <tr class="separator:a1f69924c587c4e68a029fd4e86cffacf inherit pub_methods_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a2e039a855c8e421e80cc7b015211a192 inherit pub_methods_classSVF_1_1MRGenerator"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="namespaceSVF.html#a0c6594b4bae7924369bb61943c1da4fb">PointsTo</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRGenerator.html#a2e039a855c8e421e80cc7b015211a192">getRepPointsTo</a> (const <a class="el" href="namespaceSVF.html#a0c6594b4bae7924369bb61943c1da4fb">PointsTo</a> &amp;cpts) const</td></tr>
-<tr class="memdesc:a2e039a855c8e421e80cc7b015211a192 inherit pub_methods_classSVF_1_1MRGenerator"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get superset cpts set.  <a href="classSVF_1_1MRGenerator.html#a2e039a855c8e421e80cc7b015211a192">More...</a><br /></td></tr>
-<tr class="separator:a2e039a855c8e421e80cc7b015211a192 inherit pub_methods_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a7ecde80ed05d425a19bf7fe0c5feff84 inherit pub_methods_classSVF_1_1MRGenerator"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1MemRegion.html">MemRegion</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRGenerator.html#a7ecde80ed05d425a19bf7fe0c5feff84">getMR</a> (const <a class="el" href="namespaceSVF.html#a0c6594b4bae7924369bb61943c1da4fb">PointsTo</a> &amp;cpts) const</td></tr>
-<tr class="memdesc:a7ecde80ed05d425a19bf7fe0c5feff84 inherit pub_methods_classSVF_1_1MRGenerator"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get a memory region according to cpts.  <a href="classSVF_1_1MRGenerator.html#a7ecde80ed05d425a19bf7fe0c5feff84">More...</a><br /></td></tr>
-<tr class="separator:a7ecde80ed05d425a19bf7fe0c5feff84 inherit pub_methods_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a98b3481580be48cff7e93bf3c8a29dac inherit pub_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#a98b3481580be48cff7e93bf3c8a29dac">getRepPointsTo</a> (const <a class="el" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> &amp;cpts) const</td></tr>
+<tr class="memdesc:a98b3481580be48cff7e93bf3c8a29dac inherit pub_methods_classSVF_1_1MRGenerator"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get superset cpts set.  <a href="classSVF_1_1MRGenerator.html#a98b3481580be48cff7e93bf3c8a29dac">More...</a><br /></td></tr>
+<tr class="separator:a98b3481580be48cff7e93bf3c8a29dac inherit pub_methods_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a55d38020bbece70847f7e72bb02bc4af inherit pub_methods_classSVF_1_1MRGenerator"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1MemRegion.html">MemRegion</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRGenerator.html#a55d38020bbece70847f7e72bb02bc4af">getMR</a> (const <a class="el" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> &amp;cpts) const</td></tr>
+<tr class="memdesc:a55d38020bbece70847f7e72bb02bc4af inherit pub_methods_classSVF_1_1MRGenerator"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get a memory region according to cpts.  <a href="classSVF_1_1MRGenerator.html#a55d38020bbece70847f7e72bb02bc4af">More...</a><br /></td></tr>
+<tr class="separator:a55d38020bbece70847f7e72bb02bc4af inherit pub_methods_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ad34e796ebc49f5749de39e81374dc7a7 inherit pub_methods_classSVF_1_1MRGenerator"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a2db29836a72e8d86e9baa6d8d55d2978">Size_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRGenerator.html#ad34e796ebc49f5749de39e81374dc7a7">getMRNum</a> () const</td></tr>
 <tr class="separator:ad34e796ebc49f5749de39e81374dc7a7 inherit pub_methods_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a46e08638c8b5e6f6755de045c94862c4 inherit pub_methods_classSVF_1_1MRGenerator"><td class="memItemLeft" align="right" valign="top">virtual&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRGenerator.html#a46e08638c8b5e6f6755de045c94862c4">~MRGenerator</a> ()</td></tr>
@@ -115,12 +115,12 @@ Public Member Functions</h2></td></tr>
 <tr class="memitem:a3121380139c7ae96d2045d66203253b6 inherit pub_methods_classSVF_1_1MRGenerator"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRGenerator.html#a3121380139c7ae96d2045d66203253b6">getFunction</a> (const <a class="el" href="classSVF_1_1PAGEdge.html">PAGEdge</a> *pagEdge) const</td></tr>
 <tr class="memdesc:a3121380139c7ae96d2045d66203253b6 inherit pub_methods_classSVF_1_1MRGenerator"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get the function which <a class="el" href="classSVF_1_1PAG.html">PAG</a> Edge located.  <a href="classSVF_1_1MRGenerator.html#a3121380139c7ae96d2045d66203253b6">More...</a><br /></td></tr>
 <tr class="separator:a3121380139c7ae96d2045d66203253b6 inherit pub_methods_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:abe76a16b9eedc9f8ffca6bc39cfb5c7e 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#abe76a16b9eedc9f8ffca6bc39cfb5c7e">hasPAGEdgeList</a> (const <a class="el" href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">Instruction</a> *inst)</td></tr>
-<tr class="memdesc:abe76a16b9eedc9f8ffca6bc39cfb5c7e inherit pub_methods_classSVF_1_1MRGenerator"><td class="mdescLeft">&#160;</td><td class="mdescRight">Whether this instruction has <a class="el" href="classSVF_1_1PAG.html">PAG</a> Edge.  <a href="classSVF_1_1MRGenerator.html#abe76a16b9eedc9f8ffca6bc39cfb5c7e">More...</a><br /></td></tr>
-<tr class="separator:abe76a16b9eedc9f8ffca6bc39cfb5c7e inherit pub_methods_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a2eda764e59d9b5e7620d2cf26562615a inherit pub_methods_classSVF_1_1MRGenerator"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1MRGenerator.html#a1715322c61a3f41f1a093098591869d4">PAGEdgeList</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRGenerator.html#a2eda764e59d9b5e7620d2cf26562615a">getPAGEdgesFromInst</a> (const <a class="el" href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">Instruction</a> *inst)</td></tr>
-<tr class="memdesc:a2eda764e59d9b5e7620d2cf26562615a inherit pub_methods_classSVF_1_1MRGenerator"><td class="mdescLeft">&#160;</td><td class="mdescRight">Given an instruction, get all its the <a class="el" href="classSVF_1_1PAGEdge.html">PAGEdge</a> (statement) in sequence.  <a href="classSVF_1_1MRGenerator.html#a2eda764e59d9b5e7620d2cf26562615a">More...</a><br /></td></tr>
-<tr class="separator:a2eda764e59d9b5e7620d2cf26562615a inherit pub_methods_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a8832a53d8f6a5eb0a07551ca19c5513d 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#a8832a53d8f6a5eb0a07551ca19c5513d">hasPAGEdgeList</a> (const <a class="el" href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">Instruction</a> *inst)</td></tr>
+<tr class="memdesc:a8832a53d8f6a5eb0a07551ca19c5513d inherit pub_methods_classSVF_1_1MRGenerator"><td class="mdescLeft">&#160;</td><td class="mdescRight">Whether this instruction has <a class="el" href="classSVF_1_1PAG.html">PAG</a> Edge.  <a href="classSVF_1_1MRGenerator.html#a8832a53d8f6a5eb0a07551ca19c5513d">More...</a><br /></td></tr>
+<tr class="separator:a8832a53d8f6a5eb0a07551ca19c5513d inherit pub_methods_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a5875a7f064e468d5eceba737eeb44791 inherit pub_methods_classSVF_1_1MRGenerator"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1MRGenerator.html#a1715322c61a3f41f1a093098591869d4">PAGEdgeList</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRGenerator.html#a5875a7f064e468d5eceba737eeb44791">getPAGEdgesFromInst</a> (const <a class="el" href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">Instruction</a> *inst)</td></tr>
+<tr class="memdesc:a5875a7f064e468d5eceba737eeb44791 inherit pub_methods_classSVF_1_1MRGenerator"><td class="mdescLeft">&#160;</td><td class="mdescRight">Given an instruction, get all its the <a class="el" href="classSVF_1_1PAGEdge.html">PAGEdge</a> (statement) in sequence.  <a href="classSVF_1_1MRGenerator.html#a5875a7f064e468d5eceba737eeb44791">More...</a><br /></td></tr>
+<tr class="separator:a5875a7f064e468d5eceba737eeb44791 inherit pub_methods_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a64ba36ddcd304f6543e416c552763879 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#a64ba36ddcd304f6543e416c552763879">getFunMRSet</a> (const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *fun)</td></tr>
 <tr class="memdesc:a64ba36ddcd304f6543e416c552763879 inherit pub_methods_classSVF_1_1MRGenerator"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get Memory Region set.  <a href="classSVF_1_1MRGenerator.html#a64ba36ddcd304f6543e416c552763879">More...</a><br /></td></tr>
 <tr class="separator:a64ba36ddcd304f6543e416c552763879 inherit pub_methods_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -136,11 +136,11 @@ Public Member Functions</h2></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:a1658aacb68aacb4785266263c1641a6a inherit pub_methods_classSVF_1_1MRGenerator"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a0c6594b4bae7924369bb61943c1da4fb">PointsTo</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRGenerator.html#a1658aacb68aacb4785266263c1641a6a">getModInfoForCall</a> (const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a> *cs)</td></tr>
-<tr class="memdesc:a1658aacb68aacb4785266263c1641a6a inherit pub_methods_classSVF_1_1MRGenerator"><td class="mdescLeft">&#160;</td><td class="mdescRight">getModRefInfo APIs  <a href="classSVF_1_1MRGenerator.html#a1658aacb68aacb4785266263c1641a6a">More...</a><br /></td></tr>
-<tr class="separator:a1658aacb68aacb4785266263c1641a6a inherit pub_methods_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:afc17f566f57656cf17c08665602b4849 inherit pub_methods_classSVF_1_1MRGenerator"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a0c6594b4bae7924369bb61943c1da4fb">PointsTo</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRGenerator.html#afc17f566f57656cf17c08665602b4849">getRefInfoForCall</a> (const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a> *cs)</td></tr>
-<tr class="separator:afc17f566f57656cf17c08665602b4849 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>
@@ -153,26 +153,26 @@ Protected Member Functions</h2></td></tr>
 <tr class="memitem:a807cf159e53c2fb2903296207185dda0"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1InterDisjointMRG.html#a807cf159e53c2fb2903296207185dda0">partitionMRs</a> ()</td></tr>
 <tr class="memdesc:a807cf159e53c2fb2903296207185dda0"><td class="mdescLeft">&#160;</td><td class="mdescRight">Partition regions.  <a href="#a807cf159e53c2fb2903296207185dda0">More...</a><br /></td></tr>
 <tr class="separator:a807cf159e53c2fb2903296207185dda0"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:affab79ce9b1ef9ec7bc04af8ad2954dc"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1InterDisjointMRG.html#affab79ce9b1ef9ec7bc04af8ad2954dc">getMRsForLoad</a> (<a class="el" href="classSVF_1_1MRGenerator.html#a98ac3bf264e6a85d172c2c4264ea908f">MRSet</a> &amp;aliasMRs, const <a class="el" href="namespaceSVF.html#a0c6594b4bae7924369bb61943c1da4fb">PointsTo</a> &amp;cpts, const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *)</td></tr>
-<tr class="separator:affab79ce9b1ef9ec7bc04af8ad2954dc"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ae7846579fc473ae5eb6c9a8fac712d9a"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1InterDisjointMRG.html#ae7846579fc473ae5eb6c9a8fac712d9a">getMRsForLoad</a> (<a class="el" href="classSVF_1_1MRGenerator.html#a98ac3bf264e6a85d172c2c4264ea908f">MRSet</a> &amp;aliasMRs, const <a class="el" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> &amp;cpts, const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *)</td></tr>
+<tr class="separator:ae7846579fc473ae5eb6c9a8fac712d9a"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="inherit_header pro_methods_classSVF_1_1IntraDisjointMRG"><td colspan="2" onclick="javascript:toggleInherit('pro_methods_classSVF_1_1IntraDisjointMRG')"><img src="closed.png" alt="-"/>&#160;Protected Member Functions inherited from <a class="el" href="classSVF_1_1IntraDisjointMRG.html">SVF::IntraDisjointMRG</a></td></tr>
-<tr class="memitem:a9caabaac320e8a28bb7176f8da285f1f inherit pro_methods_classSVF_1_1IntraDisjointMRG"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IntraDisjointMRG.html#a9caabaac320e8a28bb7176f8da285f1f">getMRsForLoadFromInterList</a> (<a class="el" href="classSVF_1_1MRGenerator.html#a98ac3bf264e6a85d172c2c4264ea908f">MRSet</a> &amp;mrs, const <a class="el" href="namespaceSVF.html#a0c6594b4bae7924369bb61943c1da4fb">PointsTo</a> &amp;cpts, const <a class="el" href="classSVF_1_1MRGenerator.html#a2a9b87b7b9a567a7fd94e9267f3eb054">PointsToList</a> &amp;inters)</td></tr>
-<tr class="separator:a9caabaac320e8a28bb7176f8da285f1f inherit pro_methods_classSVF_1_1IntraDisjointMRG"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a8a1c8f676758ba6193bc683d10126175 inherit pro_methods_classSVF_1_1IntraDisjointMRG"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IntraDisjointMRG.html#a8a1c8f676758ba6193bc683d10126175">getMRsForCallSiteRef</a> (<a class="el" href="classSVF_1_1MRGenerator.html#a98ac3bf264e6a85d172c2c4264ea908f">MRSet</a> &amp;aliasMRs, const <a class="el" href="namespaceSVF.html#a0c6594b4bae7924369bb61943c1da4fb">PointsTo</a> &amp;cpts, const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *fun)</td></tr>
-<tr class="memdesc:a8a1c8f676758ba6193bc683d10126175 inherit pro_methods_classSVF_1_1IntraDisjointMRG"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get memory regions to be inserted at a load statement.  <a href="classSVF_1_1IntraDisjointMRG.html#a8a1c8f676758ba6193bc683d10126175">More...</a><br /></td></tr>
-<tr class="separator:a8a1c8f676758ba6193bc683d10126175 inherit pro_methods_classSVF_1_1IntraDisjointMRG"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a25480ff3297b8e6037d62809aee81a79 inherit pro_methods_classSVF_1_1IntraDisjointMRG"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IntraDisjointMRG.html#a25480ff3297b8e6037d62809aee81a79">createDisjointMR</a> (const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *func, const <a class="el" href="namespaceSVF.html#a0c6594b4bae7924369bb61943c1da4fb">PointsTo</a> &amp;cpts)</td></tr>
-<tr class="memdesc:a25480ff3297b8e6037d62809aee81a79 inherit pro_methods_classSVF_1_1IntraDisjointMRG"><td class="mdescLeft">&#160;</td><td class="mdescRight">Create disjoint memory region.  <a href="classSVF_1_1IntraDisjointMRG.html#a25480ff3297b8e6037d62809aee81a79">More...</a><br /></td></tr>
-<tr class="separator:a25480ff3297b8e6037d62809aee81a79 inherit pro_methods_classSVF_1_1IntraDisjointMRG"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a8e40dbd57f40172ca5356122874c0978 inherit pro_methods_classSVF_1_1IntraDisjointMRG"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IntraDisjointMRG.html#a8e40dbd57f40172ca5356122874c0978">computeIntersections</a> (const <a class="el" href="namespaceSVF.html#a0c6594b4bae7924369bb61943c1da4fb">PointsTo</a> &amp;cpts, <a class="el" href="classSVF_1_1MRGenerator.html#a2a9b87b7b9a567a7fd94e9267f3eb054">PointsToList</a> &amp;inters)</td></tr>
-<tr class="memdesc:a8e40dbd57f40172ca5356122874c0978 inherit pro_methods_classSVF_1_1IntraDisjointMRG"><td class="mdescLeft">&#160;</td><td class="mdescRight">Compute intersections between cpts and computed cpts intersections before.  <a href="classSVF_1_1IntraDisjointMRG.html#a8e40dbd57f40172ca5356122874c0978">More...</a><br /></td></tr>
-<tr class="separator:a8e40dbd57f40172ca5356122874c0978 inherit pro_methods_classSVF_1_1IntraDisjointMRG"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a8d390306f30e8b9736a3d1228ef5bf3a inherit pro_methods_classSVF_1_1IntraDisjointMRG"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IntraDisjointMRG.html#a8d390306f30e8b9736a3d1228ef5bf3a">getMRsForLoadFromInterList</a> (<a class="el" href="classSVF_1_1MRGenerator.html#a98ac3bf264e6a85d172c2c4264ea908f">MRSet</a> &amp;mrs, const <a class="el" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> &amp;cpts, const <a class="el" href="classSVF_1_1MRGenerator.html#a8b254a0c5063e25f297d1b00fb0b515e">PointsToList</a> &amp;inters)</td></tr>
+<tr class="separator:a8d390306f30e8b9736a3d1228ef5bf3a inherit pro_methods_classSVF_1_1IntraDisjointMRG"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a89ca36aaf82f17963abaa67c88415272 inherit pro_methods_classSVF_1_1IntraDisjointMRG"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IntraDisjointMRG.html#a89ca36aaf82f17963abaa67c88415272">getMRsForCallSiteRef</a> (<a class="el" href="classSVF_1_1MRGenerator.html#a98ac3bf264e6a85d172c2c4264ea908f">MRSet</a> &amp;aliasMRs, const <a class="el" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> &amp;cpts, const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *fun)</td></tr>
+<tr class="memdesc:a89ca36aaf82f17963abaa67c88415272 inherit pro_methods_classSVF_1_1IntraDisjointMRG"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get memory regions to be inserted at a load statement.  <a href="classSVF_1_1IntraDisjointMRG.html#a89ca36aaf82f17963abaa67c88415272">More...</a><br /></td></tr>
+<tr class="separator:a89ca36aaf82f17963abaa67c88415272 inherit pro_methods_classSVF_1_1IntraDisjointMRG"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a17d0ad0c62982d2b03121e935469e7b2 inherit pro_methods_classSVF_1_1IntraDisjointMRG"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IntraDisjointMRG.html#a17d0ad0c62982d2b03121e935469e7b2">createDisjointMR</a> (const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *func, const <a class="el" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> &amp;cpts)</td></tr>
+<tr class="memdesc:a17d0ad0c62982d2b03121e935469e7b2 inherit pro_methods_classSVF_1_1IntraDisjointMRG"><td class="mdescLeft">&#160;</td><td class="mdescRight">Create disjoint memory region.  <a href="classSVF_1_1IntraDisjointMRG.html#a17d0ad0c62982d2b03121e935469e7b2">More...</a><br /></td></tr>
+<tr class="separator:a17d0ad0c62982d2b03121e935469e7b2 inherit pro_methods_classSVF_1_1IntraDisjointMRG"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:adb3ed119aee3f1bc62b9679ee095580d inherit pro_methods_classSVF_1_1IntraDisjointMRG"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IntraDisjointMRG.html#adb3ed119aee3f1bc62b9679ee095580d">computeIntersections</a> (const <a class="el" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> &amp;cpts, <a class="el" href="classSVF_1_1MRGenerator.html#a8b254a0c5063e25f297d1b00fb0b515e">PointsToList</a> &amp;inters)</td></tr>
+<tr class="memdesc:adb3ed119aee3f1bc62b9679ee095580d inherit pro_methods_classSVF_1_1IntraDisjointMRG"><td class="mdescLeft">&#160;</td><td class="mdescRight">Compute intersections between cpts and computed cpts intersections before.  <a href="classSVF_1_1IntraDisjointMRG.html#adb3ed119aee3f1bc62b9679ee095580d">More...</a><br /></td></tr>
+<tr class="separator:adb3ed119aee3f1bc62b9679ee095580d inherit pro_methods_classSVF_1_1IntraDisjointMRG"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="inherit_header pro_methods_classSVF_1_1MRGenerator"><td colspan="2" onclick="javascript:toggleInherit('pro_methods_classSVF_1_1MRGenerator')"><img src="closed.png" alt="-"/>&#160;Protected Member Functions inherited from <a class="el" href="classSVF_1_1MRGenerator.html">SVF::MRGenerator</a></td></tr>
-<tr class="memitem:a1023eb17f1a46eee9a948490a4c8fdd5 inherit pro_methods_classSVF_1_1MRGenerator"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRGenerator.html#a1023eb17f1a46eee9a948490a4c8fdd5">MRGenerator</a> (<a class="el" href="classSVF_1_1BVDataPTAImpl.html">BVDataPTAImpl</a> *p, bool ptrOnly)</td></tr>
-<tr class="separator:a1023eb17f1a46eee9a948490a4c8fdd5 inherit pro_methods_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a42708b4ce8b5548e156a0e6d01602cc2 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#a42708b4ce8b5548e156a0e6d01602cc2">createMR</a> (const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *fun, const <a class="el" href="namespaceSVF.html#a0c6594b4bae7924369bb61943c1da4fb">PointsTo</a> &amp;cpts)</td></tr>
-<tr class="memdesc:a42708b4ce8b5548e156a0e6d01602cc2 inherit pro_methods_classSVF_1_1MRGenerator"><td class="mdescLeft">&#160;</td><td class="mdescRight">Generate a memory region and put in into functions which use it.  <a href="classSVF_1_1MRGenerator.html#a42708b4ce8b5548e156a0e6d01602cc2">More...</a><br /></td></tr>
-<tr class="separator:a42708b4ce8b5548e156a0e6d01602cc2 inherit pro_methods_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ac8fedbb65a582135354c939183d48f46 inherit pro_methods_classSVF_1_1MRGenerator"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRGenerator.html#ac8fedbb65a582135354c939183d48f46">MRGenerator</a> (<a class="el" href="classSVF_1_1BVDataPTAImpl.html">BVDataPTAImpl</a> *p, bool ptrOnly)</td></tr>
+<tr class="separator:ac8fedbb65a582135354c939183d48f46 inherit pro_methods_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ac18324bd2b862c3cdbf65494bf69ecb5 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#ac18324bd2b862c3cdbf65494bf69ecb5">createMR</a> (const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *fun, const <a class="el" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> &amp;cpts)</td></tr>
+<tr class="memdesc:ac18324bd2b862c3cdbf65494bf69ecb5 inherit pro_methods_classSVF_1_1MRGenerator"><td class="mdescLeft">&#160;</td><td class="mdescRight">Generate a memory region and put in into functions which use it.  <a href="classSVF_1_1MRGenerator.html#ac18324bd2b862c3cdbf65494bf69ecb5">More...</a><br /></td></tr>
+<tr class="separator:ac18324bd2b862c3cdbf65494bf69ecb5 inherit pro_methods_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:afdae3e11009966856736d9aa1e2ad5bd 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#afdae3e11009966856736d9aa1e2ad5bd">collectGlobals</a> ()</td></tr>
 <tr class="memdesc:afdae3e11009966856736d9aa1e2ad5bd inherit pro_methods_classSVF_1_1MRGenerator"><td class="mdescLeft">&#160;</td><td class="mdescRight">Collect all global variables for later escape analysis.  <a href="classSVF_1_1MRGenerator.html#afdae3e11009966856736d9aa1e2ad5bd">More...</a><br /></td></tr>
 <tr class="separator:afdae3e11009966856736d9aa1e2ad5bd inherit pro_methods_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -185,36 +185,36 @@ Protected Member Functions</h2></td></tr>
 <tr class="memitem:a9c1da53188729eb743e1a33bbad87af7 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#a9c1da53188729eb743e1a33bbad87af7">updateAliasMRs</a> ()</td></tr>
 <tr class="memdesc:a9c1da53188729eb743e1a33bbad87af7 inherit pro_methods_classSVF_1_1MRGenerator"><td class="mdescLeft">&#160;</td><td class="mdescRight">Update aliased regions for loads/stores/callsites.  <a href="classSVF_1_1MRGenerator.html#a9c1da53188729eb743e1a33bbad87af7">More...</a><br /></td></tr>
 <tr class="separator:a9c1da53188729eb743e1a33bbad87af7 inherit pro_methods_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a4d20ddfe5cb90d91fd86276a3f010b87 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#a4d20ddfe5cb90d91fd86276a3f010b87">sortPointsTo</a> (const <a class="el" href="namespaceSVF.html#a0c6594b4bae7924369bb61943c1da4fb">PointsTo</a> &amp;cpts)</td></tr>
-<tr class="memdesc:a4d20ddfe5cb90d91fd86276a3f010b87 inherit pro_methods_classSVF_1_1MRGenerator"><td class="mdescLeft">&#160;</td><td class="mdescRight">Given a condition pts, insert into cptsToRepCPtsMap for region generation.  <a href="classSVF_1_1MRGenerator.html#a4d20ddfe5cb90d91fd86276a3f010b87">More...</a><br /></td></tr>
-<tr class="separator:a4d20ddfe5cb90d91fd86276a3f010b87 inherit pro_methods_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:acd1759ce72edc748e6628d7e82458473 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#acd1759ce72edc748e6628d7e82458473">isAliasedMR</a> (const <a class="el" href="namespaceSVF.html#a0c6594b4bae7924369bb61943c1da4fb">PointsTo</a> &amp;cpts, const <a class="el" href="classSVF_1_1MemRegion.html">MemRegion</a> *mr)</td></tr>
-<tr class="memdesc:acd1759ce72edc748e6628d7e82458473 inherit pro_methods_classSVF_1_1MRGenerator"><td class="mdescLeft">&#160;</td><td class="mdescRight">Whether a region is aliased with a conditional points-to.  <a href="classSVF_1_1MRGenerator.html#acd1759ce72edc748e6628d7e82458473">More...</a><br /></td></tr>
-<tr class="separator:acd1759ce72edc748e6628d7e82458473 inherit pro_methods_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a6426e7a9a6324b8b2f8a9bcf4aab1fc1 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#a6426e7a9a6324b8b2f8a9bcf4aab1fc1">getAliasMemRegions</a> (<a class="el" href="classSVF_1_1MRGenerator.html#a98ac3bf264e6a85d172c2c4264ea908f">MRSet</a> &amp;aliasMRs, const <a class="el" href="namespaceSVF.html#a0c6594b4bae7924369bb61943c1da4fb">PointsTo</a> &amp;cpts, const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *fun)</td></tr>
-<tr class="memdesc:a6426e7a9a6324b8b2f8a9bcf4aab1fc1 inherit pro_methods_classSVF_1_1MRGenerator"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get all aliased mem regions from function fun according to cpts.  <a href="classSVF_1_1MRGenerator.html#a6426e7a9a6324b8b2f8a9bcf4aab1fc1">More...</a><br /></td></tr>
-<tr class="separator:a6426e7a9a6324b8b2f8a9bcf4aab1fc1 inherit pro_methods_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a66d94d15fb94e90a771f6b3dd7c0ecdd 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#a66d94d15fb94e90a771f6b3dd7c0ecdd">sortPointsTo</a> (const <a class="el" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> &amp;cpts)</td></tr>
+<tr class="memdesc:a66d94d15fb94e90a771f6b3dd7c0ecdd inherit pro_methods_classSVF_1_1MRGenerator"><td class="mdescLeft">&#160;</td><td class="mdescRight">Given a condition pts, insert into cptsToRepCPtsMap for region generation.  <a href="classSVF_1_1MRGenerator.html#a66d94d15fb94e90a771f6b3dd7c0ecdd">More...</a><br /></td></tr>
+<tr class="separator:a66d94d15fb94e90a771f6b3dd7c0ecdd inherit pro_methods_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a28130cc55ab317d383ba6593f323b12a 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#a28130cc55ab317d383ba6593f323b12a">isAliasedMR</a> (const <a class="el" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> &amp;cpts, const <a class="el" href="classSVF_1_1MemRegion.html">MemRegion</a> *mr)</td></tr>
+<tr class="memdesc:a28130cc55ab317d383ba6593f323b12a inherit pro_methods_classSVF_1_1MRGenerator"><td class="mdescLeft">&#160;</td><td class="mdescRight">Whether a region is aliased with a conditional points-to.  <a href="classSVF_1_1MRGenerator.html#a28130cc55ab317d383ba6593f323b12a">More...</a><br /></td></tr>
+<tr class="separator:a28130cc55ab317d383ba6593f323b12a inherit pro_methods_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ad740188222439c089907fa6c6c951f02 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#ad740188222439c089907fa6c6c951f02">getAliasMemRegions</a> (<a class="el" href="classSVF_1_1MRGenerator.html#a98ac3bf264e6a85d172c2c4264ea908f">MRSet</a> &amp;aliasMRs, const <a class="el" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> &amp;cpts, const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *fun)</td></tr>
+<tr class="memdesc:ad740188222439c089907fa6c6c951f02 inherit pro_methods_classSVF_1_1MRGenerator"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get all aliased mem regions from function fun according to cpts.  <a href="classSVF_1_1MRGenerator.html#ad740188222439c089907fa6c6c951f02">More...</a><br /></td></tr>
+<tr class="separator:ad740188222439c089907fa6c6c951f02 inherit pro_methods_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</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:ae439967f24dbb6dbc11287592eb0d30c 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#ae439967f24dbb6dbc11287592eb0d30c">addCPtsToStore</a> (<a class="el" href="namespaceSVF.html#a0c6594b4bae7924369bb61943c1da4fb">PointsTo</a> &amp;cpts, const <a class="el" href="classSVF_1_1StorePE.html">StorePE</a> *st, const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *fun)</td></tr>
-<tr class="memdesc:ae439967f24dbb6dbc11287592eb0d30c 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#ae439967f24dbb6dbc11287592eb0d30c">More...</a><br /></td></tr>
-<tr class="separator:ae439967f24dbb6dbc11287592eb0d30c inherit pro_methods_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a4d71379ec4350d6fde0c12336c1b92d8 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#a4d71379ec4350d6fde0c12336c1b92d8">addCPtsToLoad</a> (<a class="el" href="namespaceSVF.html#a0c6594b4bae7924369bb61943c1da4fb">PointsTo</a> &amp;cpts, const <a class="el" href="classSVF_1_1LoadPE.html">LoadPE</a> *ld, const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *fun)</td></tr>
-<tr class="separator:a4d71379ec4350d6fde0c12336c1b92d8 inherit pro_methods_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a2416e15c41fce38dfa63318a8f64e11f 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#a2416e15c41fce38dfa63318a8f64e11f">addCPtsToCallSiteRefs</a> (<a class="el" href="namespaceSVF.html#a0c6594b4bae7924369bb61943c1da4fb">PointsTo</a> &amp;cpts, const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a> *cs)</td></tr>
-<tr class="separator:a2416e15c41fce38dfa63318a8f64e11f inherit pro_methods_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ae2594115874771c93963846f3276e1fb 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#ae2594115874771c93963846f3276e1fb">addCPtsToCallSiteMods</a> (<a class="el" href="namespaceSVF.html#a0c6594b4bae7924369bb61943c1da4fb">PointsTo</a> &amp;cpts, const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a> *cs)</td></tr>
-<tr class="separator:ae2594115874771c93963846f3276e1fb inherit pro_methods_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:aa9900773ce82da953385df2e6487200e 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#aa9900773ce82da953385df2e6487200e">addCPtsToStore</a> (<a class="el" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> &amp;cpts, const <a class="el" href="classSVF_1_1StorePE.html">StorePE</a> *st, const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *fun)</td></tr>
+<tr class="memdesc:aa9900773ce82da953385df2e6487200e 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#aa9900773ce82da953385df2e6487200e">More...</a><br /></td></tr>
+<tr class="separator:aa9900773ce82da953385df2e6487200e inherit pro_methods_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a4cd3d3af2cfad7b5c086f00ab8e68169 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#a4cd3d3af2cfad7b5c086f00ab8e68169">addCPtsToLoad</a> (<a class="el" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> &amp;cpts, const <a class="el" href="classSVF_1_1LoadPE.html">LoadPE</a> *ld, const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *fun)</td></tr>
+<tr class="separator:a4cd3d3af2cfad7b5c086f00ab8e68169 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: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#a2a9b87b7b9a567a7fd94e9267f3eb054">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>
+<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>
 <tr class="separator:a6d86c8ebe87cb54f39e52daa7ffb0e2e inherit pro_methods_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ad8333efeda532f0d403352ad6a4987e9 inherit pro_methods_classSVF_1_1MRGenerator"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1MRGenerator.html#a71b584c7e0feb3014ad5f74eb31467bb">FunToPointsToMap</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRGenerator.html#ad8333efeda532f0d403352ad6a4987e9">getFunToPointsToList</a> ()</td></tr>
-<tr class="separator:ad8333efeda532f0d403352ad6a4987e9 inherit pro_methods_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a1331e6f0941838064d77a5adaa5c6303 inherit pro_methods_classSVF_1_1MRGenerator"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1MRGenerator.html#a6b8bbb60126105cc77c1a6a4c46677fd">FunToPointsTosMap</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRGenerator.html#a1331e6f0941838064d77a5adaa5c6303">getFunToPointsToList</a> ()</td></tr>
+<tr class="separator:a1331e6f0941838064d77a5adaa5c6303 inherit pro_methods_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a899c81db92c6bcf24f6f9b769e02e5bf 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#a899c81db92c6bcf24f6f9b769e02e5bf">addRefSideEffectOfFunction</a> (const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *fun, const <a class="el" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> &amp;refs)</td></tr>
 <tr class="memdesc:a899c81db92c6bcf24f6f9b769e02e5bf inherit pro_methods_classSVF_1_1MRGenerator"><td class="mdescLeft">&#160;</td><td class="mdescRight">Add/Get methods for side-effect of functions and callsites.  <a href="classSVF_1_1MRGenerator.html#a899c81db92c6bcf24f6f9b769e02e5bf">More...</a><br /></td></tr>
 <tr class="separator:a899c81db92c6bcf24f6f9b769e02e5bf inherit pro_methods_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -248,17 +248,17 @@ Protected Member Functions</h2></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>
-<tr class="memitem:a104134d0f7c8b16abe8f5f3899c3bbf0"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1MRGenerator.html#a2a9b87b7b9a567a7fd94e9267f3eb054">PointsToList</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1InterDisjointMRG.html#a104134d0f7c8b16abe8f5f3899c3bbf0">inters</a></td></tr>
+<tr class="memitem:a104134d0f7c8b16abe8f5f3899c3bbf0"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1MRGenerator.html#a8b254a0c5063e25f297d1b00fb0b515e">PointsToList</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1InterDisjointMRG.html#a104134d0f7c8b16abe8f5f3899c3bbf0">inters</a></td></tr>
 <tr class="separator:a104134d0f7c8b16abe8f5f3899c3bbf0"><td class="memSeparator" colspan="2">&#160;</td></tr>
 </table><table class="memberdecls">
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="inherited"></a>
 Additional Inherited Members</h2></td></tr>
 <tr class="inherit_header pub_types_classSVF_1_1IntraDisjointMRG"><td colspan="2" onclick="javascript:toggleInherit('pub_types_classSVF_1_1IntraDisjointMRG')"><img src="closed.png" alt="-"/>&#160;Public Types inherited from <a class="el" href="classSVF_1_1IntraDisjointMRG.html">SVF::IntraDisjointMRG</a></td></tr>
-<tr class="memitem:a95e5cc07c8e1838f9336c6a2f0aa941a inherit pub_types_classSVF_1_1IntraDisjointMRG"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6">OrderedMap</a>&lt; <a class="el" href="namespaceSVF.html#a0c6594b4bae7924369bb61943c1da4fb">PointsTo</a>, <a class="el" href="classSVF_1_1MRGenerator.html#a2a9b87b7b9a567a7fd94e9267f3eb054">PointsToList</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IntraDisjointMRG.html#a95e5cc07c8e1838f9336c6a2f0aa941a">PtsToSubPtsMap</a></td></tr>
-<tr class="separator:a95e5cc07c8e1838f9336c6a2f0aa941a inherit pub_types_classSVF_1_1IntraDisjointMRG"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a824dec1bb1df5052252e7fe0dd55a894 inherit pub_types_classSVF_1_1IntraDisjointMRG"><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="classSVF_1_1IntraDisjointMRG.html#a95e5cc07c8e1838f9336c6a2f0aa941a">PtsToSubPtsMap</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IntraDisjointMRG.html#a824dec1bb1df5052252e7fe0dd55a894">FunToPtsMap</a></td></tr>
+<tr class="memitem:a5ff8d1cade33445ef7c17f0aedd6a4d1 inherit pub_types_classSVF_1_1IntraDisjointMRG"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6">OrderedMap</a>&lt; <a class="el" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a>, <a class="el" href="classSVF_1_1MRGenerator.html#a8b254a0c5063e25f297d1b00fb0b515e">PointsToList</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IntraDisjointMRG.html#a5ff8d1cade33445ef7c17f0aedd6a4d1">PtsToSubPtsMap</a></td></tr>
+<tr class="separator:a5ff8d1cade33445ef7c17f0aedd6a4d1 inherit pub_types_classSVF_1_1IntraDisjointMRG"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a824dec1bb1df5052252e7fe0dd55a894 inherit pub_types_classSVF_1_1IntraDisjointMRG"><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="classSVF_1_1IntraDisjointMRG.html#a5ff8d1cade33445ef7c17f0aedd6a4d1">PtsToSubPtsMap</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IntraDisjointMRG.html#a824dec1bb1df5052252e7fe0dd55a894">FunToPtsMap</a></td></tr>
 <tr class="separator:a824dec1bb1df5052252e7fe0dd55a894 inherit pub_types_classSVF_1_1IntraDisjointMRG"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ad59c11753db0b310246418df4c62f639 inherit pub_types_classSVF_1_1IntraDisjointMRG"><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="classSVF_1_1MRGenerator.html#a2a9b87b7b9a567a7fd94e9267f3eb054">PointsToList</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IntraDisjointMRG.html#ad59c11753db0b310246418df4c62f639">FunToInterMap</a></td></tr>
+<tr class="memitem:ad59c11753db0b310246418df4c62f639 inherit pub_types_classSVF_1_1IntraDisjointMRG"><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="classSVF_1_1MRGenerator.html#a8b254a0c5063e25f297d1b00fb0b515e">PointsToList</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IntraDisjointMRG.html#ad59c11753db0b310246418df4c62f639">FunToInterMap</a></td></tr>
 <tr class="separator:ad59c11753db0b310246418df4c62f639 inherit pub_types_classSVF_1_1IntraDisjointMRG"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="inherit_header pub_types_classSVF_1_1MRGenerator"><td colspan="2" onclick="javascript:toggleInherit('pub_types_classSVF_1_1MRGenerator')"><img src="closed.png" alt="-"/>&#160;Public Types inherited from <a class="el" href="classSVF_1_1MRGenerator.html">SVF::MRGenerator</a></td></tr>
 <tr class="memitem:a68d50c752252bd40c402c7b99b95f0fc inherit pub_types_classSVF_1_1MRGenerator"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1FIFOWorkList.html">FIFOWorkList</a>&lt; <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRGenerator.html#a68d50c752252bd40c402c7b99b95f0fc">WorkList</a></td></tr>
@@ -268,12 +268,14 @@ Additional Inherited Members</h2></td></tr>
 <tr class="separator:a98ac3bf264e6a85d172c2c4264ea908f inherit pub_types_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a82be01b460a498c07fb6a8aba853ed31 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_1PAGEdge.html">PAGEdge</a> *, const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> * &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRGenerator.html#a82be01b460a498c07fb6a8aba853ed31">PAGEdgeToFunMap</a></td></tr>
 <tr class="separator:a82be01b460a498c07fb6a8aba853ed31 inherit pub_types_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a2a9b87b7b9a567a7fd94e9267f3eb054 inherit pub_types_classSVF_1_1MRGenerator"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#a4f21e91ff8eaea5207afe5c60dbd78d7">OrderedSet</a>&lt; <a class="el" href="namespaceSVF.html#a0c6594b4bae7924369bb61943c1da4fb">PointsTo</a>, <a class="el" href="structSVF_1_1SVFUtil_1_1equalPointsTo.html">SVFUtil::equalPointsTo</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRGenerator.html#a2a9b87b7b9a567a7fd94e9267f3eb054">PointsToList</a></td></tr>
-<tr class="separator:a2a9b87b7b9a567a7fd94e9267f3eb054 inherit pub_types_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a71b584c7e0feb3014ad5f74eb31467bb 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="classSVF_1_1MRGenerator.html#a2a9b87b7b9a567a7fd94e9267f3eb054">PointsToList</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRGenerator.html#a71b584c7e0feb3014ad5f74eb31467bb">FunToPointsToMap</a></td></tr>
-<tr class="separator:a71b584c7e0feb3014ad5f74eb31467bb inherit pub_types_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a429b45a55b948d6d1ffd73ea0ac6c04c inherit pub_types_classSVF_1_1MRGenerator"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6">OrderedMap</a>&lt; <a class="el" href="namespaceSVF.html#a0c6594b4bae7924369bb61943c1da4fb">PointsTo</a>, <a class="el" href="namespaceSVF.html#a0c6594b4bae7924369bb61943c1da4fb">PointsTo</a>, <a class="el" href="structSVF_1_1SVFUtil_1_1equalPointsTo.html">SVFUtil::equalPointsTo</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRGenerator.html#a429b45a55b948d6d1ffd73ea0ac6c04c">PtsToRepPtsSetMap</a></td></tr>
-<tr class="separator:a429b45a55b948d6d1ffd73ea0ac6c04c inherit pub_types_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a8b254a0c5063e25f297d1b00fb0b515e inherit pub_types_classSVF_1_1MRGenerator"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#a4f21e91ff8eaea5207afe5c60dbd78d7">OrderedSet</a>&lt; <a class="el" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a>, <a class="el" href="structSVF_1_1SVFUtil_1_1equalNodeBS.html">SVFUtil::equalNodeBS</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRGenerator.html#a8b254a0c5063e25f297d1b00fb0b515e">PointsToList</a></td></tr>
+<tr class="separator:a8b254a0c5063e25f297d1b00fb0b515e inherit pub_types_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ad492e2940936fc7df06127f0cb94d47a 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#ad492e2940936fc7df06127f0cb94d47a">FunToPointsToMap</a></td></tr>
+<tr class="separator:ad492e2940936fc7df06127f0cb94d47a inherit pub_types_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a6b8bbb60126105cc77c1a6a4c46677fd 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="classSVF_1_1MRGenerator.html#a8b254a0c5063e25f297d1b00fb0b515e">PointsToList</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRGenerator.html#a6b8bbb60126105cc77c1a6a4c46677fd">FunToPointsTosMap</a></td></tr>
+<tr class="separator:a6b8bbb60126105cc77c1a6a4c46677fd inherit pub_types_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a665836fd866c6393fc4a251eb4929dae inherit pub_types_classSVF_1_1MRGenerator"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6">OrderedMap</a>&lt; <a class="el" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a>, <a class="el" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a>, <a class="el" href="structSVF_1_1SVFUtil_1_1equalNodeBS.html">SVFUtil::equalNodeBS</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRGenerator.html#a665836fd866c6393fc4a251eb4929dae">PtsToRepPtsSetMap</a></td></tr>
+<tr class="separator:a665836fd866c6393fc4a251eb4929dae inherit pub_types_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a090070379a09460aef0c07270d32d27b 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="classSVF_1_1MRGenerator.html#a98ac3bf264e6a85d172c2c4264ea908f">MRSet</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRGenerator.html#a090070379a09460aef0c07270d32d27b">FunToMRsMap</a></td></tr>
 <tr class="memdesc:a090070379a09460aef0c07270d32d27b inherit pub_types_classSVF_1_1MRGenerator"><td class="mdescLeft">&#160;</td><td class="mdescRight">Map a function to its region set.  <a href="classSVF_1_1MRGenerator.html#a090070379a09460aef0c07270d32d27b">More...</a><br /></td></tr>
 <tr class="separator:a090070379a09460aef0c07270d32d27b inherit pub_types_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -291,13 +293,13 @@ Additional Inherited Members</h2></td></tr>
 <tr class="separator:a9d2221818297a7abeb8d8736093105d0 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:af500450901135fd31ceb2ab497ca1086 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_1LoadPE.html">LoadPE</a> *, <a class="el" href="namespaceSVF.html#a0c6594b4bae7924369bb61943c1da4fb">PointsTo</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRGenerator.html#af500450901135fd31ceb2ab497ca1086">LoadsToPointsToMap</a></td></tr>
-<tr class="memdesc:af500450901135fd31ceb2ab497ca1086 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#af500450901135fd31ceb2ab497ca1086">More...</a><br /></td></tr>
-<tr class="separator:af500450901135fd31ceb2ab497ca1086 inherit pub_types_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a4e246650818afd8be99a5ed6e23c4cd7 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_1StorePE.html">StorePE</a> *, <a class="el" href="namespaceSVF.html#a0c6594b4bae7924369bb61943c1da4fb">PointsTo</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRGenerator.html#a4e246650818afd8be99a5ed6e23c4cd7">StoresToPointsToMap</a></td></tr>
-<tr class="separator:a4e246650818afd8be99a5ed6e23c4cd7 inherit pub_types_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ae73349361642cbc0c5f4be0b8bf96090 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#a0c6594b4bae7924369bb61943c1da4fb">PointsTo</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRGenerator.html#ae73349361642cbc0c5f4be0b8bf96090">CallSiteToPointsToMap</a></td></tr>
-<tr class="separator:ae73349361642cbc0c5f4be0b8bf96090 inherit pub_types_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a7b9b1c326d075a9be473680fef6a9616 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_1LoadPE.html">LoadPE</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#a7b9b1c326d075a9be473680fef6a9616">LoadsToPointsToMap</a></td></tr>
+<tr class="memdesc:a7b9b1c326d075a9be473680fef6a9616 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#a7b9b1c326d075a9be473680fef6a9616">More...</a><br /></td></tr>
+<tr class="separator:a7b9b1c326d075a9be473680fef6a9616 inherit pub_types_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a45e786ca09aa6cbfcf17d8e5a166a801 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_1StorePE.html">StorePE</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#a45e786ca09aa6cbfcf17d8e5a166a801">StoresToPointsToMap</a></td></tr>
+<tr class="separator:a45e786ca09aa6cbfcf17d8e5a166a801 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: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>
@@ -308,7 +310,7 @@ Additional Inherited Members</h2></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>
 <tr class="separator:af94bd8155a23273aab2396334d905119 inherit pro_attribs_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ab4d1ff0357d389a65ff1c2112ce631a1 inherit pro_attribs_classSVF_1_1MRGenerator"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1MRGenerator.html#a429b45a55b948d6d1ffd73ea0ac6c04c">PtsToRepPtsSetMap</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRGenerator.html#ab4d1ff0357d389a65ff1c2112ce631a1">cptsToRepCPtsMap</a></td></tr>
+<tr class="memitem:ab4d1ff0357d389a65ff1c2112ce631a1 inherit pro_attribs_classSVF_1_1MRGenerator"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1MRGenerator.html#a665836fd866c6393fc4a251eb4929dae">PtsToRepPtsSetMap</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRGenerator.html#ab4d1ff0357d389a65ff1c2112ce631a1">cptsToRepCPtsMap</a></td></tr>
 <tr class="memdesc:ab4d1ff0357d389a65ff1c2112ce631a1 inherit pro_attribs_classSVF_1_1MRGenerator"><td class="mdescLeft">&#160;</td><td class="mdescRight">Map a condition pts to its rep conditional pts (super set points-to)  <a href="classSVF_1_1MRGenerator.html#ab4d1ff0357d389a65ff1c2112ce631a1">More...</a><br /></td></tr>
 <tr class="separator:ab4d1ff0357d389a65ff1c2112ce631a1 inherit pro_attribs_classSVF_1_1MRGenerator"><td class="memSeparator" colspan="2">&#160;</td></tr>
 </table>
@@ -384,8 +386,8 @@ Additional Inherited Members</h2></td></tr>
 </div>
 </div>
 <h2 class="groupheader">Member Function Documentation</h2>
-<a id="affab79ce9b1ef9ec7bc04af8ad2954dc"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#affab79ce9b1ef9ec7bc04af8ad2954dc">&#9670;&nbsp;</a></span>getMRsForLoad()</h2>
+<a id="ae7846579fc473ae5eb6c9a8fac712d9a"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#ae7846579fc473ae5eb6c9a8fac712d9a">&#9670;&nbsp;</a></span>getMRsForLoad()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -402,7 +404,7 @@ Additional Inherited Members</h2></td></tr>
         <tr>
           <td class="paramkey"></td>
           <td></td>
-          <td class="paramtype">const <a class="el" href="namespaceSVF.html#a0c6594b4bae7924369bb61943c1da4fb">PointsTo</a> &amp;&#160;</td>
+          <td class="paramtype">const <a class="el" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> &amp;&#160;</td>
           <td class="paramname"><em>cpts</em>, </td>
         </tr>
         <tr>
@@ -432,10 +434,10 @@ Additional Inherited Members</h2></td></tr>
   </dd>
 </dl>
 
-<p>Reimplemented from <a class="el" href="classSVF_1_1IntraDisjointMRG.html#aa1395f921e2a6e2607a6887f134cb63f">SVF::IntraDisjointMRG</a>.</p>
+<p>Reimplemented from <a class="el" href="classSVF_1_1IntraDisjointMRG.html#ae577d4d6f3a6e6fb62f6eff49ca6be88">SVF::IntraDisjointMRG</a>.</p>
 
 <p class="definition">Definition at line <a class="el" href="MemPartition_8h_source.html#l00157">157</a> of file <a class="el" href="MemPartition_8h_source.html">MemPartition.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00159"></a><span class="lineno">  159</span>&#160;    {</div><div class="line"><a name="l00160"></a><span class="lineno">  160</span>&#160;        <a class="code" href="classSVF_1_1IntraDisjointMRG.html#a9caabaac320e8a28bb7176f8da285f1f">getMRsForLoadFromInterList</a>(aliasMRs, cpts, <a class="code" href="classSVF_1_1InterDisjointMRG.html#a104134d0f7c8b16abe8f5f3899c3bbf0">inters</a>);</div><div class="line"><a name="l00161"></a><span class="lineno">  161</span>&#160;    }</div><div class="ttc" id="classSVF_1_1IntraDisjointMRG_html_a9caabaac320e8a28bb7176f8da285f1f"><div class="ttname"><a href="classSVF_1_1IntraDisjointMRG.html#a9caabaac320e8a28bb7176f8da285f1f">SVF::IntraDisjointMRG::getMRsForLoadFromInterList</a></div><div class="ttdeci">void getMRsForLoadFromInterList(MRSet &amp;mrs, const PointsTo &amp;cpts, const PointsToList &amp;inters)</div><div class="ttdef"><b>Definition:</b> <a href="MemPartition_8cpp_source.html#l00241">MemPartition.cpp:241</a></div></div>
+<div class="fragment"><div class="line"><a name="l00159"></a><span class="lineno">  159</span>&#160;    {</div><div class="line"><a name="l00160"></a><span class="lineno">  160</span>&#160;        <a class="code" href="classSVF_1_1IntraDisjointMRG.html#a8d390306f30e8b9736a3d1228ef5bf3a">getMRsForLoadFromInterList</a>(aliasMRs, cpts, <a class="code" href="classSVF_1_1InterDisjointMRG.html#a104134d0f7c8b16abe8f5f3899c3bbf0">inters</a>);</div><div class="line"><a name="l00161"></a><span class="lineno">  161</span>&#160;    }</div><div class="ttc" id="classSVF_1_1IntraDisjointMRG_html_a8d390306f30e8b9736a3d1228ef5bf3a"><div class="ttname"><a href="classSVF_1_1IntraDisjointMRG.html#a8d390306f30e8b9736a3d1228ef5bf3a">SVF::IntraDisjointMRG::getMRsForLoadFromInterList</a></div><div class="ttdeci">void getMRsForLoadFromInterList(MRSet &amp;mrs, const NodeBS &amp;cpts, const PointsToList &amp;inters)</div><div class="ttdef"><b>Definition:</b> <a href="MemPartition_8cpp_source.html#l00241">MemPartition.cpp:241</a></div></div>
 <div class="ttc" id="classSVF_1_1InterDisjointMRG_html_a104134d0f7c8b16abe8f5f3899c3bbf0"><div class="ttname"><a href="classSVF_1_1InterDisjointMRG.html#a104134d0f7c8b16abe8f5f3899c3bbf0">SVF::InterDisjointMRG::inters</a></div><div class="ttdeci">PointsToList inters</div><div class="ttdef"><b>Definition:</b> <a href="MemPartition_8h_source.html#l00164">MemPartition.h:164</a></div></div>
 </div><!-- fragment -->
 </div>
@@ -470,12 +472,12 @@ Additional Inherited Members</h2></td></tr>
 <p>Reimplemented from <a class="el" href="classSVF_1_1IntraDisjointMRG.html#a6d2434f0e3a318b89b7b9fa4f5613b64">SVF::IntraDisjointMRG</a>.</p>
 
 <p class="definition">Definition at line <a class="el" href="MemPartition_8cpp_source.html#l00269">269</a> of file <a class="el" href="MemPartition_8cpp_source.html">MemPartition.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00270"></a><span class="lineno">  270</span>&#160;{</div><div class="line"><a name="l00272"></a><span class="lineno">  272</span>&#160;    <span class="keywordflow">for</span>(FunToPointsToMap::iterator it = <a class="code" href="classSVF_1_1MRGenerator.html#ad8333efeda532f0d403352ad6a4987e9">getFunToPointsToList</a>().begin(),</div><div class="line"><a name="l00273"></a><span class="lineno">  273</span>&#160;            eit = <a class="code" href="classSVF_1_1MRGenerator.html#ad8333efeda532f0d403352ad6a4987e9">getFunToPointsToList</a>().end(); it!=eit; ++it)</div><div class="line"><a name="l00274"></a><span class="lineno">  274</span>&#160;    {</div><div class="line"><a name="l00275"></a><span class="lineno">  275</span>&#160;        <span class="keywordflow">for</span>(PointsToList::iterator cit = it-&gt;second.begin(), ecit = it-&gt;second.end();</div><div class="line"><a name="l00276"></a><span class="lineno">  276</span>&#160;                cit!=ecit; ++cit)</div><div class="line"><a name="l00277"></a><span class="lineno">  277</span>&#160;        {</div><div class="line"><a name="l00278"></a><span class="lineno">  278</span>&#160;            <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a0c6594b4bae7924369bb61943c1da4fb">PointsTo</a>&amp; cpts = *cit;</div><div class="line"><a name="l00279"></a><span class="lineno">  279</span>&#160;</div><div class="line"><a name="l00280"></a><span class="lineno">  280</span>&#160;            <a class="code" href="classSVF_1_1IntraDisjointMRG.html#a8e40dbd57f40172ca5356122874c0978">computeIntersections</a>(cpts, <a class="code" href="classSVF_1_1InterDisjointMRG.html#a104134d0f7c8b16abe8f5f3899c3bbf0">inters</a>);</div><div class="line"><a name="l00281"></a><span class="lineno">  281</span>&#160;        }</div><div class="line"><a name="l00282"></a><span class="lineno">  282</span>&#160;    }</div><div class="line"><a name="l00283"></a><span class="lineno">  283</span>&#160;</div><div class="line"><a name="l00285"></a><span class="lineno">  285</span>&#160;    <span class="keywordflow">for</span>(FunToPointsToMap::iterator it = <a class="code" href="classSVF_1_1MRGenerator.html#ad8333efeda532f0d403352ad6a4987e9">getFunToPointsToList</a>().begin(),</div><div class="line"><a name="l00286"></a><span class="lineno">  286</span>&#160;            eit = <a class="code" href="classSVF_1_1MRGenerator.html#ad8333efeda532f0d403352ad6a4987e9">getFunToPointsToList</a>().end(); it!=eit; ++it)</div><div class="line"><a name="l00287"></a><span class="lineno">  287</span>&#160;    {</div><div class="line"><a name="l00288"></a><span class="lineno">  288</span>&#160;        <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* fun = it-&gt;first;</div><div class="line"><a name="l00289"></a><span class="lineno">  289</span>&#160;</div><div class="line"><a name="l00290"></a><span class="lineno">  290</span>&#160;        <span class="keywordflow">for</span>(PointsToList::iterator cit = it-&gt;second.begin(), ecit = it-&gt;second.end();</div><div class="line"><a name="l00291"></a><span class="lineno">  291</span>&#160;                cit!=ecit; ++cit)</div><div class="line"><a name="l00292"></a><span class="lineno">  292</span>&#160;        {</div><div class="line"><a name="l00293"></a><span class="lineno">  293</span>&#160;            <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a0c6594b4bae7924369bb61943c1da4fb">PointsTo</a>&amp; cpts = *cit;</div><div class="line"><a name="l00294"></a><span class="lineno">  294</span>&#160;</div><div class="line"><a name="l00295"></a><span class="lineno">  295</span>&#160;            <span class="keywordflow">for</span> (PointsToList::const_iterator interIt = <a class="code" href="classSVF_1_1InterDisjointMRG.html#a104134d0f7c8b16abe8f5f3899c3bbf0">inters</a>.begin(), interEit = <a class="code" href="classSVF_1_1InterDisjointMRG.html#a104134d0f7c8b16abe8f5f3899c3bbf0">inters</a>.end();</div><div class="line"><a name="l00296"></a><span class="lineno">  296</span>&#160;                    interIt != interEit; ++interIt)</div><div class="line"><a name="l00297"></a><span class="lineno">  297</span>&#160;            {</div><div class="line"><a name="l00298"></a><span class="lineno">  298</span>&#160;                <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a0c6594b4bae7924369bb61943c1da4fb">PointsTo</a>&amp; inter = *interIt;</div><div class="line"><a name="l00299"></a><span class="lineno">  299</span>&#160;                <span class="keywordflow">if</span> (cpts.contains(inter))</div><div class="line"><a name="l00300"></a><span class="lineno">  300</span>&#160;                    <a class="code" href="classSVF_1_1IntraDisjointMRG.html#a25480ff3297b8e6037d62809aee81a79">createDisjointMR</a>(fun, inter);</div><div class="line"><a name="l00301"></a><span class="lineno">  301</span>&#160;            }</div><div class="line"><a name="l00302"></a><span class="lineno">  302</span>&#160;        }</div><div class="line"><a name="l00303"></a><span class="lineno">  303</span>&#160;    }</div><div class="line"><a name="l00304"></a><span class="lineno">  304</span>&#160;}</div><div class="ttc" id="classSVF_1_1MRGenerator_html_ad8333efeda532f0d403352ad6a4987e9"><div class="ttname"><a href="classSVF_1_1MRGenerator.html#ad8333efeda532f0d403352ad6a4987e9">SVF::MRGenerator::getFunToPointsToList</a></div><div class="ttdeci">FunToPointsToMap &amp; getFunToPointsToList()</div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00376">MemRegion.h:376</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFFunction_html"><div class="ttname"><a href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00233">BasicTypes.h:233</a></div></div>
+<div class="fragment"><div class="line"><a name="l00270"></a><span class="lineno">  270</span>&#160;{</div><div class="line"><a name="l00272"></a><span class="lineno">  272</span>&#160;    <span class="keywordflow">for</span>(FunToPointsTosMap::iterator it = <a class="code" href="classSVF_1_1MRGenerator.html#a1331e6f0941838064d77a5adaa5c6303">getFunToPointsToList</a>().begin(),</div><div class="line"><a name="l00273"></a><span class="lineno">  273</span>&#160;            eit = <a class="code" href="classSVF_1_1MRGenerator.html#a1331e6f0941838064d77a5adaa5c6303">getFunToPointsToList</a>().end(); it!=eit; ++it)</div><div class="line"><a name="l00274"></a><span class="lineno">  274</span>&#160;    {</div><div class="line"><a name="l00275"></a><span class="lineno">  275</span>&#160;        <span class="keywordflow">for</span>(PointsToList::iterator cit = it-&gt;second.begin(), ecit = it-&gt;second.end();</div><div class="line"><a name="l00276"></a><span class="lineno">  276</span>&#160;                cit!=ecit; ++cit)</div><div class="line"><a name="l00277"></a><span class="lineno">  277</span>&#160;        {</div><div class="line"><a name="l00278"></a><span class="lineno">  278</span>&#160;            <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a>&amp; cpts = *cit;</div><div class="line"><a name="l00279"></a><span class="lineno">  279</span>&#160;</div><div class="line"><a name="l00280"></a><span class="lineno">  280</span>&#160;            <a class="code" href="classSVF_1_1IntraDisjointMRG.html#adb3ed119aee3f1bc62b9679ee095580d">computeIntersections</a>(cpts, <a class="code" href="classSVF_1_1InterDisjointMRG.html#a104134d0f7c8b16abe8f5f3899c3bbf0">inters</a>);</div><div class="line"><a name="l00281"></a><span class="lineno">  281</span>&#160;        }</div><div class="line"><a name="l00282"></a><span class="lineno">  282</span>&#160;    }</div><div class="line"><a name="l00283"></a><span class="lineno">  283</span>&#160;</div><div class="line"><a name="l00285"></a><span class="lineno">  285</span>&#160;    <span class="keywordflow">for</span>(FunToPointsTosMap::iterator it = <a class="code" href="classSVF_1_1MRGenerator.html#a1331e6f0941838064d77a5adaa5c6303">getFunToPointsToList</a>().begin(),</div><div class="line"><a name="l00286"></a><span class="lineno">  286</span>&#160;            eit = <a class="code" href="classSVF_1_1MRGenerator.html#a1331e6f0941838064d77a5adaa5c6303">getFunToPointsToList</a>().end(); it!=eit; ++it)</div><div class="line"><a name="l00287"></a><span class="lineno">  287</span>&#160;    {</div><div class="line"><a name="l00288"></a><span class="lineno">  288</span>&#160;        <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* fun = it-&gt;first;</div><div class="line"><a name="l00289"></a><span class="lineno">  289</span>&#160;</div><div class="line"><a name="l00290"></a><span class="lineno">  290</span>&#160;        <span class="keywordflow">for</span>(PointsToList::iterator cit = it-&gt;second.begin(), ecit = it-&gt;second.end();</div><div class="line"><a name="l00291"></a><span class="lineno">  291</span>&#160;                cit!=ecit; ++cit)</div><div class="line"><a name="l00292"></a><span class="lineno">  292</span>&#160;        {</div><div class="line"><a name="l00293"></a><span class="lineno">  293</span>&#160;            <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a>&amp; cpts = *cit;</div><div class="line"><a name="l00294"></a><span class="lineno">  294</span>&#160;</div><div class="line"><a name="l00295"></a><span class="lineno">  295</span>&#160;            <span class="keywordflow">for</span> (PointsToList::const_iterator interIt = <a class="code" href="classSVF_1_1InterDisjointMRG.html#a104134d0f7c8b16abe8f5f3899c3bbf0">inters</a>.begin(), interEit = <a class="code" href="classSVF_1_1InterDisjointMRG.html#a104134d0f7c8b16abe8f5f3899c3bbf0">inters</a>.end();</div><div class="line"><a name="l00296"></a><span class="lineno">  296</span>&#160;                    interIt != interEit; ++interIt)</div><div class="line"><a name="l00297"></a><span class="lineno">  297</span>&#160;            {</div><div class="line"><a name="l00298"></a><span class="lineno">  298</span>&#160;                <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a>&amp; inter = *interIt;</div><div class="line"><a name="l00299"></a><span class="lineno">  299</span>&#160;                <span class="keywordflow">if</span> (cpts.contains(inter))</div><div class="line"><a name="l00300"></a><span class="lineno">  300</span>&#160;                    <a class="code" href="classSVF_1_1IntraDisjointMRG.html#a17d0ad0c62982d2b03121e935469e7b2">createDisjointMR</a>(fun, inter);</div><div class="line"><a name="l00301"></a><span class="lineno">  301</span>&#160;            }</div><div class="line"><a name="l00302"></a><span class="lineno">  302</span>&#160;        }</div><div class="line"><a name="l00303"></a><span class="lineno">  303</span>&#160;    }</div><div class="line"><a name="l00304"></a><span class="lineno">  304</span>&#160;}</div><div class="ttc" id="classSVF_1_1SVFFunction_html"><div class="ttname"><a href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00233">BasicTypes.h:233</a></div></div>
 <div class="ttc" id="classSVF_1_1InterDisjointMRG_html_a104134d0f7c8b16abe8f5f3899c3bbf0"><div class="ttname"><a href="classSVF_1_1InterDisjointMRG.html#a104134d0f7c8b16abe8f5f3899c3bbf0">SVF::InterDisjointMRG::inters</a></div><div class="ttdeci">PointsToList inters</div><div class="ttdef"><b>Definition:</b> <a href="MemPartition_8h_source.html#l00164">MemPartition.h:164</a></div></div>
-<div class="ttc" id="classSVF_1_1IntraDisjointMRG_html_a8e40dbd57f40172ca5356122874c0978"><div class="ttname"><a href="classSVF_1_1IntraDisjointMRG.html#a8e40dbd57f40172ca5356122874c0978">SVF::IntraDisjointMRG::computeIntersections</a></div><div class="ttdeci">void computeIntersections(const PointsTo &amp;cpts, PointsToList &amp;inters)</div><div class="ttdoc">Compute intersections between cpts and computed cpts intersections before. </div><div class="ttdef"><b>Definition:</b> <a href="MemPartition_8cpp_source.html#l00152">MemPartition.cpp:152</a></div></div>
-<div class="ttc" id="classSVF_1_1IntraDisjointMRG_html_a25480ff3297b8e6037d62809aee81a79"><div class="ttname"><a href="classSVF_1_1IntraDisjointMRG.html#a25480ff3297b8e6037d62809aee81a79">SVF::IntraDisjointMRG::createDisjointMR</a></div><div class="ttdeci">void createDisjointMR(const SVFFunction *func, const PointsTo &amp;cpts)</div><div class="ttdoc">Create disjoint memory region. </div><div class="ttdef"><b>Definition:</b> <a href="MemPartition_8cpp_source.html#l00232">MemPartition.cpp:232</a></div></div>
-<div class="ttc" id="namespaceSVF_html_a0c6594b4bae7924369bb61943c1da4fb"><div class="ttname"><a href="namespaceSVF.html#a0c6594b4bae7924369bb61943c1da4fb">SVF::PointsTo</a></div><div class="ttdeci">NodeBS PointsTo</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00088">SVFBasicTypes.h:88</a></div></div>
+<div class="ttc" id="classSVF_1_1IntraDisjointMRG_html_adb3ed119aee3f1bc62b9679ee095580d"><div class="ttname"><a href="classSVF_1_1IntraDisjointMRG.html#adb3ed119aee3f1bc62b9679ee095580d">SVF::IntraDisjointMRG::computeIntersections</a></div><div class="ttdeci">void computeIntersections(const NodeBS &amp;cpts, PointsToList &amp;inters)</div><div class="ttdoc">Compute intersections between cpts and computed cpts intersections before. </div><div class="ttdef"><b>Definition:</b> <a href="MemPartition_8cpp_source.html#l00152">MemPartition.cpp:152</a></div></div>
+<div class="ttc" id="classSVF_1_1MRGenerator_html_a1331e6f0941838064d77a5adaa5c6303"><div class="ttname"><a href="classSVF_1_1MRGenerator.html#a1331e6f0941838064d77a5adaa5c6303">SVF::MRGenerator::getFunToPointsToList</a></div><div class="ttdeci">FunToPointsTosMap &amp; getFunToPointsToList()</div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00366">MemRegion.h:366</a></div></div>
+<div class="ttc" id="classSVF_1_1IntraDisjointMRG_html_a17d0ad0c62982d2b03121e935469e7b2"><div class="ttname"><a href="classSVF_1_1IntraDisjointMRG.html#a17d0ad0c62982d2b03121e935469e7b2">SVF::IntraDisjointMRG::createDisjointMR</a></div><div class="ttdeci">void createDisjointMR(const SVFFunction *func, const NodeBS &amp;cpts)</div><div class="ttdoc">Create disjoint memory region. </div><div class="ttdef"><b>Definition:</b> <a href="MemPartition_8cpp_source.html#l00232">MemPartition.cpp:232</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a740396763e377643790c8b803ab3e4ea"><div class="ttname"><a href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">SVF::NodeBS</a></div><div class="ttdeci">llvm::SparseBitVector NodeBS</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00087">SVFBasicTypes.h:87</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -490,7 +492,7 @@ Additional Inherited Members</h2></td></tr>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname"><a class="el" href="classSVF_1_1MRGenerator.html#a2a9b87b7b9a567a7fd94e9267f3eb054">PointsToList</a> SVF::InterDisjointMRG::inters</td>
+          <td class="memname"><a class="el" href="classSVF_1_1MRGenerator.html#a8b254a0c5063e25f297d1b00fb0b515e">PointsToList</a> SVF::InterDisjointMRG::inters</td>
         </tr>
       </table>
   </td>