svf-tools 1.0.342 → 1.0.346

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

@@ -70,14 +70,14 @@ $(function() {
 <p>This is the complete list of members for <a class="el" href="classSVF_1_1CallMU.html">SVF::CallMU&lt; Cond &gt;</a>, including all inherited members.</p>
 <table class="directory">
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9ba5e02921dfd30772024d77915d9f15f18">CallMSSAMU</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1MSSAMU.html">SVF::MSSAMU&lt; Cond &gt;</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1CallMU.html#a267c7345f42e1aaa0ca7ffdcb85b45b3">CallMU</a>(const CallBlockNode *cs, const MemRegion *m, Cond c=true)</td><td class="entry"><a class="el" href="classSVF_1_1CallMU.html">SVF::CallMU&lt; Cond &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CallMU.html#ae748ea61422184b513c09b842be9b076">callsite</a></td><td class="entry"><a class="el" href="classSVF_1_1CallMU.html">SVF::CallMU&lt; Cond &gt;</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1CallMU.html#abb981eb0739d7b3fdcc271b693e708ae">CallMU</a>(const CallICFGNode *cs, const MemRegion *m, Cond c=true)</td><td class="entry"><a class="el" href="classSVF_1_1CallMU.html">SVF::CallMU&lt; Cond &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CallMU.html#aa90a06c9e44914a7a8e104aa80bf1374">callsite</a></td><td class="entry"><a class="el" href="classSVF_1_1CallMU.html">SVF::CallMU&lt; Cond &gt;</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1CallMU.html#af8a0defe4c5b36893e155a4b074c0f30">classof</a>(const CallMU *)</td><td class="entry"><a class="el" href="classSVF_1_1CallMU.html">SVF::CallMU&lt; Cond &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CallMU.html#a27c70bc7543eeb2fcf64f139481d3bf9">classof</a>(const MSSAMU&lt; Cond &gt; *mu)</td><td class="entry"><a class="el" href="classSVF_1_1CallMU.html">SVF::CallMU&lt; Cond &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1MSSAMU.html#a8e828af79da08528166b1f53165bc5b2">cond</a></td><td class="entry"><a class="el" href="classSVF_1_1MSSAMU.html">SVF::MSSAMU&lt; Cond &gt;</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CallMU.html#af08ecc9c2b75737e88690fb2319fcf57">dump</a>()</td><td class="entry"><a class="el" href="classSVF_1_1CallMU.html">SVF::CallMU&lt; Cond &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1CallMU.html#ab20ae240ad380c760b9b1f4b8b06344f">getBasicBlock</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1CallMU.html">SVF::CallMU&lt; Cond &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CallMU.html#a401be4fc10a3b9f3d392f1c278bef866">getCallSite</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1CallMU.html">SVF::CallMU&lt; Cond &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CallMU.html#a57616dc30fb97c6dc64c9210b42bbeb7">getCallSite</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1CallMU.html">SVF::CallMU&lt; Cond &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1MSSAMU.html#ac51263250da06fd63b923a6771744f97">getCond</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1MSSAMU.html">SVF::MSSAMU&lt; Cond &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MSSAMU.html#a6bd671839ec0376439ccd81d5b2eff30">getMR</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1MSSAMU.html">SVF::MSSAMU&lt; Cond &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1MSSAMU.html#ad120dfc87b90b26649bcd8d0c0d3ca80">getMRVer</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1MSSAMU.html">SVF::MSSAMU&lt; Cond &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>

package/SVF-doxygen/html/html/classSVF_1_1CallMU.html

@@ -84,9 +84,9 @@ Inheritance diagram for SVF::CallMU&lt; Cond &gt;:</div>
 <table class="memberdecls">
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-methods"></a>
 Public Member Functions</h2></td></tr>
-<tr class="memitem:a401be4fc10a3b9f3d392f1c278bef866"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CallMU.html#a401be4fc10a3b9f3d392f1c278bef866">getCallSite</a> () const</td></tr>
-<tr class="memdesc:a401be4fc10a3b9f3d392f1c278bef866"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return callsite.  <a href="#a401be4fc10a3b9f3d392f1c278bef866">More...</a><br /></td></tr>
-<tr class="separator:a401be4fc10a3b9f3d392f1c278bef866"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a57616dc30fb97c6dc64c9210b42bbeb7"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CallMU.html#a57616dc30fb97c6dc64c9210b42bbeb7">getCallSite</a> () const</td></tr>
+<tr class="memdesc:a57616dc30fb97c6dc64c9210b42bbeb7"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return callsite.  <a href="#a57616dc30fb97c6dc64c9210b42bbeb7">More...</a><br /></td></tr>
+<tr class="separator:a57616dc30fb97c6dc64c9210b42bbeb7"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ab20ae240ad380c760b9b1f4b8b06344f"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">BasicBlock</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CallMU.html#ab20ae240ad380c760b9b1f4b8b06344f">getBasicBlock</a> () const</td></tr>
 <tr class="memdesc:ab20ae240ad380c760b9b1f4b8b06344f"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return basic block.  <a href="#ab20ae240ad380c760b9b1f4b8b06344f">More...</a><br /></td></tr>
 <tr class="separator:ab20ae240ad380c760b9b1f4b8b06344f"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -94,9 +94,9 @@ Public Member Functions</h2></td></tr>
 <tr class="memdesc:af08ecc9c2b75737e88690fb2319fcf57"><td class="mdescLeft">&#160;</td><td class="mdescRight">Print MU.  <a href="#af08ecc9c2b75737e88690fb2319fcf57">More...</a><br /></td></tr>
 <tr class="separator:af08ecc9c2b75737e88690fb2319fcf57"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr><td colspan="2"><div class="groupHeader"></div></td></tr>
-<tr class="memitem:a267c7345f42e1aaa0ca7ffdcb85b45b3"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CallMU.html#a267c7345f42e1aaa0ca7ffdcb85b45b3">CallMU</a> (const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a> *cs, const <a class="el" href="classSVF_1_1MemRegion.html">MemRegion</a> *m, Cond c=true)</td></tr>
-<tr class="memdesc:a267c7345f42e1aaa0ca7ffdcb85b45b3"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructor/Destructor for MU.  <a href="#a267c7345f42e1aaa0ca7ffdcb85b45b3">More...</a><br /></td></tr>
-<tr class="separator:a267c7345f42e1aaa0ca7ffdcb85b45b3"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:abb981eb0739d7b3fdcc271b693e708ae"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CallMU.html#abb981eb0739d7b3fdcc271b693e708ae">CallMU</a> (const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *cs, const <a class="el" href="classSVF_1_1MemRegion.html">MemRegion</a> *m, Cond c=true)</td></tr>
+<tr class="memdesc:abb981eb0739d7b3fdcc271b693e708ae"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructor/Destructor for MU.  <a href="#abb981eb0739d7b3fdcc271b693e708ae">More...</a><br /></td></tr>
+<tr class="separator:abb981eb0739d7b3fdcc271b693e708ae"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a408184b7a6c625d67a4b660e140b10c5"><td class="memItemLeft" align="right" valign="top">virtual&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CallMU.html#a408184b7a6c625d67a4b660e140b10c5">~CallMU</a> ()</td></tr>
 <tr class="separator:a408184b7a6c625d67a4b660e140b10c5"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="inherit_header pub_methods_classSVF_1_1MSSAMU"><td colspan="2" onclick="javascript:toggleInherit('pub_methods_classSVF_1_1MSSAMU')"><img src="closed.png" alt="-"/>&#160;Public Member Functions inherited from <a class="el" href="classSVF_1_1MSSAMU.html">SVF::MSSAMU&lt; Cond &gt;</a></td></tr>
@@ -135,8 +135,8 @@ Static Public 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:ae748ea61422184b513c09b842be9b076"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CallMU.html#ae748ea61422184b513c09b842be9b076">callsite</a></td></tr>
-<tr class="separator:ae748ea61422184b513c09b842be9b076"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:aa90a06c9e44914a7a8e104aa80bf1374"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CallMU.html#aa90a06c9e44914a7a8e104aa80bf1374">callsite</a></td></tr>
+<tr class="separator:aa90a06c9e44914a7a8e104aa80bf1374"><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>
@@ -164,8 +164,8 @@ class SVF::CallMU&lt; Cond &gt;</h3>
 
 <p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00221">221</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
 </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
-<a id="a267c7345f42e1aaa0ca7ffdcb85b45b3"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a267c7345f42e1aaa0ca7ffdcb85b45b3">&#9670;&nbsp;</a></span>CallMU()</h2>
+<a id="abb981eb0739d7b3fdcc271b693e708ae"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#abb981eb0739d7b3fdcc271b693e708ae">&#9670;&nbsp;</a></span>CallMU()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -178,7 +178,7 @@ template&lt;class Cond &gt; </div>
         <tr>
           <td class="memname"><a class="el" href="classSVF_1_1CallMU.html">SVF::CallMU</a>&lt; Cond &gt;::<a class="el" href="classSVF_1_1CallMU.html">CallMU</a> </td>
           <td>(</td>
-          <td class="paramtype">const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a> *&#160;</td>
+          <td class="paramtype">const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *&#160;</td>
           <td class="paramname"><em>cs</em>, </td>
         </tr>
         <tr>
@@ -209,8 +209,8 @@ template&lt;class Cond &gt; </div>
 <p>Constructor/Destructor for MU. </p>
 
 <p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00230">230</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00230"></a><span class="lineno">  230</span>&#160;                                                                       :</div><div class="line"><a name="l00231"></a><span class="lineno">  231</span>&#160;        MSSAMU&lt;Cond&gt;(<a class="code" href="classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9ba5e02921dfd30772024d77915d9f15f18">MSSAMU&lt;Cond&gt;::CallMSSAMU</a>,m,c), <a class="code" href="classSVF_1_1CallMU.html#ae748ea61422184b513c09b842be9b076">callsite</a>(cs)</div><div class="line"><a name="l00232"></a><span class="lineno">  232</span>&#160;    {</div><div class="line"><a name="l00233"></a><span class="lineno">  233</span>&#160;    }</div><div class="ttc" id="classSVF_1_1MSSAMU_html_a82c66f3e2b7d2d9dd391a947719bda9ba5e02921dfd30772024d77915d9f15f18"><div class="ttname"><a href="classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9ba5e02921dfd30772024d77915d9f15f18">SVF::MSSAMU::CallMSSAMU</a></div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00101">MSSAMuChi.h:101</a></div></div>
-<div class="ttc" id="classSVF_1_1CallMU_html_ae748ea61422184b513c09b842be9b076"><div class="ttname"><a href="classSVF_1_1CallMU.html#ae748ea61422184b513c09b842be9b076">SVF::CallMU::callsite</a></div><div class="ttdeci">const CallBlockNode * callsite</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00225">MSSAMuChi.h:225</a></div></div>
+<div class="fragment"><div class="line"><a name="l00230"></a><span class="lineno">  230</span>&#160;                                                                      :</div><div class="line"><a name="l00231"></a><span class="lineno">  231</span>&#160;        MSSAMU&lt;Cond&gt;(<a class="code" href="classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9ba5e02921dfd30772024d77915d9f15f18">MSSAMU&lt;Cond&gt;::CallMSSAMU</a>,m,c), <a class="code" href="classSVF_1_1CallMU.html#aa90a06c9e44914a7a8e104aa80bf1374">callsite</a>(cs)</div><div class="line"><a name="l00232"></a><span class="lineno">  232</span>&#160;    {</div><div class="line"><a name="l00233"></a><span class="lineno">  233</span>&#160;    }</div><div class="ttc" id="classSVF_1_1MSSAMU_html_a82c66f3e2b7d2d9dd391a947719bda9ba5e02921dfd30772024d77915d9f15f18"><div class="ttname"><a href="classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9ba5e02921dfd30772024d77915d9f15f18">SVF::MSSAMU::CallMSSAMU</a></div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00101">MSSAMuChi.h:101</a></div></div>
+<div class="ttc" id="classSVF_1_1CallMU_html_aa90a06c9e44914a7a8e104aa80bf1374"><div class="ttname"><a href="classSVF_1_1CallMU.html#aa90a06c9e44914a7a8e104aa80bf1374">SVF::CallMU::callsite</a></div><div class="ttdeci">const CallICFGNode * callsite</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00225">MSSAMuChi.h:225</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -374,13 +374,13 @@ template&lt;class Cond &gt; </div>
 <p>Return basic block. </p>
 
 <p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00247">247</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00248"></a><span class="lineno">  248</span>&#160;    {</div><div class="line"><a name="l00249"></a><span class="lineno">  249</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallMU.html#ae748ea61422184b513c09b842be9b076">callsite</a>-&gt;<a class="code" href="classSVF_1_1CallBlockNode.html#ad3d50024efcfa94b1246c982b43aff2f">getCallSite</a>()-&gt;getParent();</div><div class="line"><a name="l00250"></a><span class="lineno">  250</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CallMU_html_ae748ea61422184b513c09b842be9b076"><div class="ttname"><a href="classSVF_1_1CallMU.html#ae748ea61422184b513c09b842be9b076">SVF::CallMU::callsite</a></div><div class="ttdeci">const CallBlockNode * callsite</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00225">MSSAMuChi.h:225</a></div></div>
-<div class="ttc" id="classSVF_1_1CallBlockNode_html_ad3d50024efcfa94b1246c982b43aff2f"><div class="ttname"><a href="classSVF_1_1CallBlockNode.html#ad3d50024efcfa94b1246c982b43aff2f">SVF::CallBlockNode::getCallSite</a></div><div class="ttdeci">const Instruction * getCallSite() const</div><div class="ttdoc">Return callsite. </div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00381">ICFGNode.h:381</a></div></div>
+<div class="fragment"><div class="line"><a name="l00248"></a><span class="lineno">  248</span>&#160;    {</div><div class="line"><a name="l00249"></a><span class="lineno">  249</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallMU.html#aa90a06c9e44914a7a8e104aa80bf1374">callsite</a>-&gt;<a class="code" href="classSVF_1_1CallICFGNode.html#a674753d5ca0fbe28674acb25291f2bcf">getCallSite</a>()-&gt;getParent();</div><div class="line"><a name="l00250"></a><span class="lineno">  250</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CallMU_html_aa90a06c9e44914a7a8e104aa80bf1374"><div class="ttname"><a href="classSVF_1_1CallMU.html#aa90a06c9e44914a7a8e104aa80bf1374">SVF::CallMU::callsite</a></div><div class="ttdeci">const CallICFGNode * callsite</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00225">MSSAMuChi.h:225</a></div></div>
+<div class="ttc" id="classSVF_1_1CallICFGNode_html_a674753d5ca0fbe28674acb25291f2bcf"><div class="ttname"><a href="classSVF_1_1CallICFGNode.html#a674753d5ca0fbe28674acb25291f2bcf">SVF::CallICFGNode::getCallSite</a></div><div class="ttdeci">const Instruction * getCallSite() const</div><div class="ttdoc">Return callsite. </div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00381">ICFGNode.h:381</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
-<a id="a401be4fc10a3b9f3d392f1c278bef866"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a401be4fc10a3b9f3d392f1c278bef866">&#9670;&nbsp;</a></span>getCallSite()</h2>
+<a id="a57616dc30fb97c6dc64c9210b42bbeb7"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a57616dc30fb97c6dc64c9210b42bbeb7">&#9670;&nbsp;</a></span>getCallSite()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -391,7 +391,7 @@ template&lt;class Cond &gt; </div>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a>* <a class="el" href="classSVF_1_1CallMU.html">SVF::CallMU</a>&lt; Cond &gt;::getCallSite </td>
+          <td class="memname">const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a>* <a class="el" href="classSVF_1_1CallMU.html">SVF::CallMU</a>&lt; Cond &gt;::getCallSite </td>
           <td>(</td>
           <td class="paramname"></td><td>)</td>
           <td> const</td>
@@ -407,13 +407,13 @@ template&lt;class Cond &gt; </div>
 <p>Return callsite. </p>
 
 <p class="definition">Definition at line <a class="el" href="MSSAMuChi_8h_source.html#l00241">241</a> of file <a class="el" href="MSSAMuChi_8h_source.html">MSSAMuChi.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00242"></a><span class="lineno">  242</span>&#160;    {</div><div class="line"><a name="l00243"></a><span class="lineno">  243</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallMU.html#ae748ea61422184b513c09b842be9b076">callsite</a>;</div><div class="line"><a name="l00244"></a><span class="lineno">  244</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CallMU_html_ae748ea61422184b513c09b842be9b076"><div class="ttname"><a href="classSVF_1_1CallMU.html#ae748ea61422184b513c09b842be9b076">SVF::CallMU::callsite</a></div><div class="ttdeci">const CallBlockNode * callsite</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00225">MSSAMuChi.h:225</a></div></div>
+<div class="fragment"><div class="line"><a name="l00242"></a><span class="lineno">  242</span>&#160;    {</div><div class="line"><a name="l00243"></a><span class="lineno">  243</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallMU.html#aa90a06c9e44914a7a8e104aa80bf1374">callsite</a>;</div><div class="line"><a name="l00244"></a><span class="lineno">  244</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CallMU_html_aa90a06c9e44914a7a8e104aa80bf1374"><div class="ttname"><a href="classSVF_1_1CallMU.html#aa90a06c9e44914a7a8e104aa80bf1374">SVF::CallMU::callsite</a></div><div class="ttdeci">const CallICFGNode * callsite</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00225">MSSAMuChi.h:225</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
 <h2 class="groupheader">Member Data Documentation</h2>
-<a id="ae748ea61422184b513c09b842be9b076"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#ae748ea61422184b513c09b842be9b076">&#9670;&nbsp;</a></span>callsite</h2>
+<a id="aa90a06c9e44914a7a8e104aa80bf1374"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#aa90a06c9e44914a7a8e104aa80bf1374">&#9670;&nbsp;</a></span>callsite</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -424,7 +424,7 @@ template&lt;class Cond &gt; </div>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a>* <a class="el" href="classSVF_1_1CallMU.html">SVF::CallMU</a>&lt; Cond &gt;::callsite</td>
+          <td class="memname">const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a>* <a class="el" href="classSVF_1_1CallMU.html">SVF::CallMU</a>&lt; Cond &gt;::callsite</td>
         </tr>
       </table>
   </td>

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

@@ -76,7 +76,7 @@ $(function() {
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a97ca16eba4c5f92e16388f0cdbcfcc00">Call</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1CallPE.html#a5e6271f5697a32b57efeccfedc61e331">CallPE</a>()</td><td class="entry"><a class="el" href="classSVF_1_1CallPE.html">SVF::CallPE</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CallPE.html#a1e09f62a8e3ce2d3bc3fadb29e32a50e">CallPE</a>(const CallPE &amp;)</td><td class="entry"><a class="el" href="classSVF_1_1CallPE.html">SVF::CallPE</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1CallPE.html#a74951537cff8b14c1cf8eb706fca5049">CallPE</a>(SVFVar *s, SVFVar *d, const CallBlockNode *i, GEdgeKind k=SVFStmt::Call)</td><td class="entry"><a class="el" href="classSVF_1_1CallPE.html">SVF::CallPE</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1CallPE.html#af84a1badb8734b54bf01b2b5b89af091">CallPE</a>(SVFVar *s, SVFVar *d, const CallICFGNode *i, GEdgeKind k=SVFStmt::Call)</td><td class="entry"><a class="el" href="classSVF_1_1CallPE.html">SVF::CallPE</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CallPE.html#a6df0149f79122c5a7d517f75d0235e73">classof</a>(const CallPE *)</td><td class="entry"><a class="el" href="classSVF_1_1CallPE.html">SVF::CallPE</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1CallPE.html#a188c51f3e378c451d34e90c96cca0cf5">classof</a>(const SVFStmt *edge)</td><td class="entry"><a class="el" href="classSVF_1_1CallPE.html">SVF::CallPE</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CallPE.html#a0d89c20d1d3ccee5f3e45a32085117aa">classof</a>(const GenericPAGEdgeTy *edge)</td><td class="entry"><a class="el" href="classSVF_1_1CallPE.html">SVF::CallPE</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
@@ -90,8 +90,8 @@ $(function() {
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a7eb93c9018c80057672a8ce71615dc0d">GEdgeKind</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a6764973569c281d483afab17a75cb4dc">GenericEdge</a>(NodeTy *s, NodeTy *d, GEdgeFlag k)</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a793c53e0b4f9a58099c096f0a0856495">getBB</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1CallPE.html#ac8f25219948d3a6ff205048e746338d5">getCallInst</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1CallPE.html">SVF::CallPE</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CallPE.html#a6a7a917cd6f1235b9453c9672f38c0ef">getCallSite</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1CallPE.html">SVF::CallPE</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1CallPE.html#aa50cca8bd91ffb135a7998b58ad7966f">getCallInst</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1CallPE.html">SVF::CallPE</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CallPE.html#ab548c22dfbfeeaeb8ffe83417b396c09">getCallSite</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1CallPE.html">SVF::CallPE</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#ad9edb45e74ae675d9da82f5acf02d56e">SVF::SVFStmt::getDstID</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86">SVF::SVFStmt::getDstNode</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#af7bb0d687fc61cae1de639c88e472491">getEdgeID</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
@@ -105,7 +105,7 @@ $(function() {
   <tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#ae6792506a0150a9400d635eceab7f9e7">SVF::SVFStmt::getSrcID</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#ab47ca533c415841ef75456cbad439589">SVF::SVFStmt::getSrcNode</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a65ee8b43a3a4999eb112a197d1a9f882">getValue</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CallPE.html#a86b76d7390dc0f650ec2428c394bf41a">inst</a></td><td class="entry"><a class="el" href="classSVF_1_1CallPE.html">SVF::CallPE</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CallPE.html#a60e8280eb3e77e67e3dfa4dcee943edf">inst</a></td><td class="entry"><a class="el" href="classSVF_1_1CallPE.html">SVF::CallPE</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0b6c03af568b70903da6b200ac86c951">isPTAEdge</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a93fc6c4c991931c78c48500c2db50f66">KindToSVFStmtMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a62ac8480c43fcc657c631ec0003b15d5">Load</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>

package/SVF-doxygen/html/html/classSVF_1_1CallPE.html

@@ -88,17 +88,17 @@ Inheritance diagram for SVF::CallPE:</div>
 <table class="memberdecls">
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-methods"></a>
 Public Member Functions</h2></td></tr>
-<tr class="memitem:a74951537cff8b14c1cf8eb706fca5049"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CallPE.html#a74951537cff8b14c1cf8eb706fca5049">CallPE</a> (<a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> *s, <a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> *d, const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a> *i, <a class="el" href="classSVF_1_1GenericEdge.html#a7eb93c9018c80057672a8ce71615dc0d">GEdgeKind</a> k=<a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a97ca16eba4c5f92e16388f0cdbcfcc00">SVFStmt::Call</a>)</td></tr>
-<tr class="memdesc:a74951537cff8b14c1cf8eb706fca5049"><td class="mdescLeft">&#160;</td><td class="mdescRight">constructor  <a href="#a74951537cff8b14c1cf8eb706fca5049">More...</a><br /></td></tr>
-<tr class="separator:a74951537cff8b14c1cf8eb706fca5049"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:af84a1badb8734b54bf01b2b5b89af091"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CallPE.html#af84a1badb8734b54bf01b2b5b89af091">CallPE</a> (<a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> *s, <a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> *d, const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *i, <a class="el" href="classSVF_1_1GenericEdge.html#a7eb93c9018c80057672a8ce71615dc0d">GEdgeKind</a> k=<a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a97ca16eba4c5f92e16388f0cdbcfcc00">SVFStmt::Call</a>)</td></tr>
+<tr class="memdesc:af84a1badb8734b54bf01b2b5b89af091"><td class="mdescLeft">&#160;</td><td class="mdescRight">constructor  <a href="#af84a1badb8734b54bf01b2b5b89af091">More...</a><br /></td></tr>
+<tr class="separator:af84a1badb8734b54bf01b2b5b89af091"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:aecdf349bde9547dae7eb88c6cfd34bab"><td class="memItemLeft" align="right" valign="top">virtual const std::string&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CallPE.html#aecdf349bde9547dae7eb88c6cfd34bab">toString</a> () const override</td></tr>
 <tr class="separator:aecdf349bde9547dae7eb88c6cfd34bab"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr><td colspan="2"><div class="groupHeader"></div></td></tr>
-<tr class="memitem:ac8f25219948d3a6ff205048e746338d5"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CallPE.html#ac8f25219948d3a6ff205048e746338d5">getCallInst</a> () const</td></tr>
-<tr class="memdesc:ac8f25219948d3a6ff205048e746338d5"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get method for the call instruction.  <a href="#ac8f25219948d3a6ff205048e746338d5">More...</a><br /></td></tr>
-<tr class="separator:ac8f25219948d3a6ff205048e746338d5"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a6a7a917cd6f1235b9453c9672f38c0ef"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CallPE.html#a6a7a917cd6f1235b9453c9672f38c0ef">getCallSite</a> () const</td></tr>
-<tr class="separator:a6a7a917cd6f1235b9453c9672f38c0ef"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:aa50cca8bd91ffb135a7998b58ad7966f"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CallPE.html#aa50cca8bd91ffb135a7998b58ad7966f">getCallInst</a> () const</td></tr>
+<tr class="memdesc:aa50cca8bd91ffb135a7998b58ad7966f"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get method for the call instruction.  <a href="#aa50cca8bd91ffb135a7998b58ad7966f">More...</a><br /></td></tr>
+<tr class="separator:aa50cca8bd91ffb135a7998b58ad7966f"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ab548c22dfbfeeaeb8ffe83417b396c09"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CallPE.html#ab548c22dfbfeeaeb8ffe83417b396c09">getCallSite</a> () const</td></tr>
+<tr class="separator:ab548c22dfbfeeaeb8ffe83417b396c09"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="inherit_header pub_methods_classSVF_1_1AssignStmt"><td colspan="2" onclick="javascript:toggleInherit('pub_methods_classSVF_1_1AssignStmt')"><img src="closed.png" alt="-"/>&#160;Public Member Functions inherited from <a class="el" href="classSVF_1_1AssignStmt.html">SVF::AssignStmt</a></td></tr>
 <tr class="memitem:ad03d28d16754c9049dd4d0ad3b6c1e28 inherit pub_methods_classSVF_1_1AssignStmt"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AssignStmt.html#ad03d28d16754c9049dd4d0ad3b6c1e28">getRHSVar</a> () const</td></tr>
 <tr class="separator:ad03d28d16754c9049dd4d0ad3b6c1e28 inherit pub_methods_classSVF_1_1AssignStmt"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -204,9 +204,9 @@ Private 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:a86b76d7390dc0f650ec2428c394bf41a"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CallPE.html#a86b76d7390dc0f650ec2428c394bf41a">inst</a></td></tr>
-<tr class="memdesc:a86b76d7390dc0f650ec2428c394bf41a"><td class="mdescLeft">&#160;</td><td class="mdescRight">llvm instruction for this call  <a href="#a86b76d7390dc0f650ec2428c394bf41a">More...</a><br /></td></tr>
-<tr class="separator:a86b76d7390dc0f650ec2428c394bf41a"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a60e8280eb3e77e67e3dfa4dcee943edf"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CallPE.html#a60e8280eb3e77e67e3dfa4dcee943edf">inst</a></td></tr>
+<tr class="memdesc:a60e8280eb3e77e67e3dfa4dcee943edf"><td class="mdescLeft">&#160;</td><td class="mdescRight">llvm instruction for this call  <a href="#a60e8280eb3e77e67e3dfa4dcee943edf">More...</a><br /></td></tr>
+<tr class="separator:a60e8280eb3e77e67e3dfa4dcee943edf"><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>
@@ -327,8 +327,8 @@ Additional Inherited Members</h2></td></tr>
 
 </div>
 </div>
-<a id="a74951537cff8b14c1cf8eb706fca5049"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a74951537cff8b14c1cf8eb706fca5049">&#9670;&nbsp;</a></span>CallPE() <span class="overload">[3/3]</span></h2>
+<a id="af84a1badb8734b54bf01b2b5b89af091"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#af84a1badb8734b54bf01b2b5b89af091">&#9670;&nbsp;</a></span>CallPE() <span class="overload">[3/3]</span></h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -351,7 +351,7 @@ Additional Inherited Members</h2></td></tr>
         <tr>
           <td class="paramkey"></td>
           <td></td>
-          <td class="paramtype">const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a> *&#160;</td>
+          <td class="paramtype">const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *&#160;</td>
           <td class="paramname"><em>i</em>, </td>
         </tr>
         <tr>
@@ -376,9 +376,9 @@ Additional Inherited Members</h2></td></tr>
 <p>constructor </p>
 
 <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00570">570</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00570"></a><span class="lineno">  570</span>&#160;                                                                                    :</div><div class="line"><a name="l00571"></a><span class="lineno">  571</span>&#160;        <a class="code" href="classSVF_1_1AssignStmt.html#abc65520cc2b9608c97374829eb475c57">AssignStmt</a>(s,d,<a class="code" href="classSVF_1_1SVFStmt.html#a4513c6e66b46c36219ba6d7403f3eb00">makeEdgeFlagWithCallInst</a>(k,i)), <a class="code" href="classSVF_1_1CallPE.html#a86b76d7390dc0f650ec2428c394bf41a">inst</a>(i)</div><div class="line"><a name="l00572"></a><span class="lineno">  572</span>&#160;    {</div><div class="line"><a name="l00573"></a><span class="lineno">  573</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFStmt_html_a4513c6e66b46c36219ba6d7403f3eb00"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a4513c6e66b46c36219ba6d7403f3eb00">SVF::SVFStmt::makeEdgeFlagWithCallInst</a></div><div class="ttdeci">static GEdgeFlag makeEdgeFlagWithCallInst(GEdgeKind k, const ICFGNode *cs)</div><div class="ttdoc">Compute the unique edgeFlag value from edge kind and call site Instruction. </div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00148">SVFStatements.h:148</a></div></div>
+<div class="fragment"><div class="line"><a name="l00570"></a><span class="lineno">  570</span>&#160;                                                                                   :</div><div class="line"><a name="l00571"></a><span class="lineno">  571</span>&#160;        <a class="code" href="classSVF_1_1AssignStmt.html#abc65520cc2b9608c97374829eb475c57">AssignStmt</a>(s,d,<a class="code" href="classSVF_1_1SVFStmt.html#a4513c6e66b46c36219ba6d7403f3eb00">makeEdgeFlagWithCallInst</a>(k,i)), <a class="code" href="classSVF_1_1CallPE.html#a60e8280eb3e77e67e3dfa4dcee943edf">inst</a>(i)</div><div class="line"><a name="l00572"></a><span class="lineno">  572</span>&#160;    {</div><div class="line"><a name="l00573"></a><span class="lineno">  573</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFStmt_html_a4513c6e66b46c36219ba6d7403f3eb00"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a4513c6e66b46c36219ba6d7403f3eb00">SVF::SVFStmt::makeEdgeFlagWithCallInst</a></div><div class="ttdeci">static GEdgeFlag makeEdgeFlagWithCallInst(GEdgeKind k, const ICFGNode *cs)</div><div class="ttdoc">Compute the unique edgeFlag value from edge kind and call site Instruction. </div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00148">SVFStatements.h:148</a></div></div>
 <div class="ttc" id="classSVF_1_1AssignStmt_html_abc65520cc2b9608c97374829eb475c57"><div class="ttname"><a href="classSVF_1_1AssignStmt.html#abc65520cc2b9608c97374829eb475c57">SVF::AssignStmt::AssignStmt</a></div><div class="ttdeci">AssignStmt()</div><div class="ttdoc">place holder </div></div>
-<div class="ttc" id="classSVF_1_1CallPE_html_a86b76d7390dc0f650ec2428c394bf41a"><div class="ttname"><a href="classSVF_1_1CallPE.html#a86b76d7390dc0f650ec2428c394bf41a">SVF::CallPE::inst</a></div><div class="ttdeci">const CallBlockNode * inst</div><div class="ttdoc">llvm instruction for this call </div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00549">SVFStatements.h:549</a></div></div>
+<div class="ttc" id="classSVF_1_1CallPE_html_a60e8280eb3e77e67e3dfa4dcee943edf"><div class="ttname"><a href="classSVF_1_1CallPE.html#a60e8280eb3e77e67e3dfa4dcee943edf">SVF::CallPE::inst</a></div><div class="ttdeci">const CallICFGNode * inst</div><div class="ttdoc">llvm instruction for this call </div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00549">SVFStatements.h:549</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -473,8 +473,8 @@ Additional Inherited Members</h2></td></tr>
 </div><!-- fragment -->
 </div>
 </div>
-<a id="ac8f25219948d3a6ff205048e746338d5"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#ac8f25219948d3a6ff205048e746338d5">&#9670;&nbsp;</a></span>getCallInst()</h2>
+<a id="aa50cca8bd91ffb135a7998b58ad7966f"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#aa50cca8bd91ffb135a7998b58ad7966f">&#9670;&nbsp;</a></span>getCallInst()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -483,7 +483,7 @@ Additional Inherited Members</h2></td></tr>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a>* SVF::CallPE::getCallInst </td>
+          <td class="memname">const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a>* SVF::CallPE::getCallInst </td>
           <td>(</td>
           <td class="paramname"></td><td>)</td>
           <td> const</td>
@@ -499,12 +499,12 @@ Additional Inherited Members</h2></td></tr>
 <p>Get method for the call instruction. </p>
 
 <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00577">577</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00578"></a><span class="lineno">  578</span>&#160;    {</div><div class="line"><a name="l00579"></a><span class="lineno">  579</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallPE.html#a86b76d7390dc0f650ec2428c394bf41a">inst</a>;</div><div class="line"><a name="l00580"></a><span class="lineno">  580</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CallPE_html_a86b76d7390dc0f650ec2428c394bf41a"><div class="ttname"><a href="classSVF_1_1CallPE.html#a86b76d7390dc0f650ec2428c394bf41a">SVF::CallPE::inst</a></div><div class="ttdeci">const CallBlockNode * inst</div><div class="ttdoc">llvm instruction for this call </div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00549">SVFStatements.h:549</a></div></div>
+<div class="fragment"><div class="line"><a name="l00578"></a><span class="lineno">  578</span>&#160;    {</div><div class="line"><a name="l00579"></a><span class="lineno">  579</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallPE.html#a60e8280eb3e77e67e3dfa4dcee943edf">inst</a>;</div><div class="line"><a name="l00580"></a><span class="lineno">  580</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CallPE_html_a60e8280eb3e77e67e3dfa4dcee943edf"><div class="ttname"><a href="classSVF_1_1CallPE.html#a60e8280eb3e77e67e3dfa4dcee943edf">SVF::CallPE::inst</a></div><div class="ttdeci">const CallICFGNode * inst</div><div class="ttdoc">llvm instruction for this call </div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00549">SVFStatements.h:549</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
-<a id="a6a7a917cd6f1235b9453c9672f38c0ef"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a6a7a917cd6f1235b9453c9672f38c0ef">&#9670;&nbsp;</a></span>getCallSite()</h2>
+<a id="ab548c22dfbfeeaeb8ffe83417b396c09"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#ab548c22dfbfeeaeb8ffe83417b396c09">&#9670;&nbsp;</a></span>getCallSite()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -513,7 +513,7 @@ Additional Inherited Members</h2></td></tr>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a>* SVF::CallPE::getCallSite </td>
+          <td class="memname">const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a>* SVF::CallPE::getCallSite </td>
           <td>(</td>
           <td class="paramname"></td><td>)</td>
           <td> const</td>
@@ -527,7 +527,7 @@ Additional Inherited Members</h2></td></tr>
 </div><div class="memdoc">
 
 <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00581">581</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00582"></a><span class="lineno">  582</span>&#160;    {</div><div class="line"><a name="l00583"></a><span class="lineno">  583</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallPE.html#a86b76d7390dc0f650ec2428c394bf41a">inst</a>;</div><div class="line"><a name="l00584"></a><span class="lineno">  584</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CallPE_html_a86b76d7390dc0f650ec2428c394bf41a"><div class="ttname"><a href="classSVF_1_1CallPE.html#a86b76d7390dc0f650ec2428c394bf41a">SVF::CallPE::inst</a></div><div class="ttdeci">const CallBlockNode * inst</div><div class="ttdoc">llvm instruction for this call </div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00549">SVFStatements.h:549</a></div></div>
+<div class="fragment"><div class="line"><a name="l00582"></a><span class="lineno">  582</span>&#160;    {</div><div class="line"><a name="l00583"></a><span class="lineno">  583</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallPE.html#a60e8280eb3e77e67e3dfa4dcee943edf">inst</a>;</div><div class="line"><a name="l00584"></a><span class="lineno">  584</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CallPE_html_a60e8280eb3e77e67e3dfa4dcee943edf"><div class="ttname"><a href="classSVF_1_1CallPE.html#a60e8280eb3e77e67e3dfa4dcee943edf">SVF::CallPE::inst</a></div><div class="ttdeci">const CallICFGNode * inst</div><div class="ttdoc">llvm instruction for this call </div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00549">SVFStatements.h:549</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -597,8 +597,8 @@ Additional Inherited Members</h2></td></tr>
 </div>
 </div>
 <h2 class="groupheader">Member Data Documentation</h2>
-<a id="a86b76d7390dc0f650ec2428c394bf41a"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a86b76d7390dc0f650ec2428c394bf41a">&#9670;&nbsp;</a></span>inst</h2>
+<a id="a60e8280eb3e77e67e3dfa4dcee943edf"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a60e8280eb3e77e67e3dfa4dcee943edf">&#9670;&nbsp;</a></span>inst</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -607,7 +607,7 @@ Additional Inherited Members</h2></td></tr>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a>* SVF::CallPE::inst</td>
+          <td class="memname">const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a>* SVF::CallPE::inst</td>
         </tr>
       </table>
   </td>

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

@@ -103,11 +103,11 @@ $(function() {
   <tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85ac581e279a4bd69c059b0e5987f839a1f">AndersenWaveDiffWithType_WPA</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#ac0c0855918cb2cdc3d8ebc175acfbd4da66b132e5ab8c8746eb22e58d199b4c2a">BaseImpl</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#ac0c0855918cb2cdc3d8ebc175acfbd4da84705167ea3a7162ecb9470a8a77b5d8">BVDataImpl</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#aa9661d26d1ae9c829a9296d1b6d874f4">CallEdgeMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a35bd5f0fb2c146199e9f1aa6a19b4062">CallEdgeMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#ae3b651799345d9d92b6d736dafb03f63">callGraphSCC</a></td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#ac4ad73782f42f90ad7ac9c66edb27c69">CallGraphSCC</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#aafa5df4aa576a144476e547b1da35795">callGraphSCCDetection</a>()</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a1f5f2ecf1e893759633ffec1b23d5650">CallSiteSet</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a5583b5fc0db461a0138b1f2f1c9a89a0">CallSiteSet</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#ad95c842964e6ca46e51fb763fefec585">CallSiteToFunPtrMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a0c0fce2539bb9ec6c824f6584a0f6b33">chgraph</a></td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1CondPTAImpl.html#ae76fb767c13ca39baa0fbec55a7780fe">classof</a>(const PointerAnalysis *pta)</td><td class="entry"><a class="el" href="classSVF_1_1CondPTAImpl.html">SVF::CondPTAImpl&lt; Cond &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
@@ -115,7 +115,7 @@ $(function() {
   <tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a0bb90b398ef85504bcd816ae57bee01d">computeDDAPts</a>(NodeID)</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#ac0c0855918cb2cdc3d8ebc175acfbd4da88380bb05f60a1349e192364ba6c5292">CondImpl</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1CondPTAImpl.html#a60678dda5071557483b27d09d26dc270">CondPTAImpl</a>(SVFIR *pag, PointerAnalysis::PTATY type)</td><td class="entry"><a class="el" href="classSVF_1_1CondPTAImpl.html">SVF::CondPTAImpl&lt; Cond &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a8ff3f219b9f118a4f06360750408c9cb">connectVCallToVFns</a>(const CallBlockNode *cs, const VFunSet &amp;vfns, CallEdgeMap &amp;newEdges)</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a6a5dec067fa2a1babc83f36daa8afcc3">connectVCallToVFns</a>(const CallICFGNode *cs, const VFunSet &amp;vfns, CallEdgeMap &amp;newEdges)</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1CondPTAImpl.html#a8cd7b08bd978513cb0faacc47bbaf578">containBlackHoleNode</a>(const CPtSet &amp;cpts)</td><td class="entry"><a class="el" href="classSVF_1_1CondPTAImpl.html">SVF::CondPTAImpl&lt; Cond &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a56368369bc37e37b13f19e5eb1890063">SVF::PointerAnalysis::containBlackHoleNode</a>(const PointsTo &amp;pts)</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1CondPTAImpl.html#a3a10f3327d6473c348df5b62a5d6683f">containConstantNode</a>(const CPtSet &amp;cpts)</td><td class="entry"><a class="el" href="classSVF_1_1CondPTAImpl.html">SVF::CondPTAImpl&lt; Cond &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
@@ -155,12 +155,12 @@ $(function() {
   <tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#ae2cc7cd0803dbd90639140e71b06b1b5">getCHGraph</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CondPTAImpl.html#a454a998ef5a866f2a6f270e3283c6ebd">getCondPointsTo</a>(NodeID ptr)</td><td class="entry"><a class="el" href="classSVF_1_1CondPTAImpl.html">SVF::CondPTAImpl&lt; Cond &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a68b05bc02c5473c1e0d39ac4f4454bac">getFIObjVar</a>(NodeID id)</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a74df51017ceaa389de2c2f33f3522fc3">getFunPtr</a>(const CallBlockNode *cs) const</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#adbceaf90526e44192c2fa4aac5468f5f">getFunPtr</a>(const CallICFGNode *cs) const</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#acbbc0934af9bc0145389dc41430c6d8b">getGepObjVar</a>(NodeID id, const LocationSet &amp;ls)</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#ade879ee99cae01632d567d3736dcad9e">getICFG</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#ac0f821cfe4fb9c9c8816e7a1b1bc0c5e">getImplTy</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a1ca30dfa42702071b65d363c76d25cbe">getIndCallMap</a>()</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a9e473e97a0bad49996faacbc05be7e68">getIndCSCallees</a>(const CallBlockNode *cs) const</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#ae0efd57376195eacded85d58abee5b46">getIndCSCallees</a>(const CallICFGNode *cs) const</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a9d3e7753643166465b0d647a75bc145a">getIndirectCallsites</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#ad8b71cebf46deaf60e2cd4f6d6bb9433">getModule</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CondPTAImpl.html#ab582d46731c06a7fa022bf301d6008c1">getMutPTDataTy</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1CondPTAImpl.html">SVF::CondPTAImpl&lt; Cond &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
@@ -175,9 +175,9 @@ $(function() {
   <tr><td class="entry"><a class="el" href="classSVF_1_1CondPTAImpl.html#aa266eef30817c557882de19aefe135a9">getRevPts</a>(NodeID obj)</td><td class="entry"><a class="el" href="classSVF_1_1CondPTAImpl.html">SVF::CondPTAImpl&lt; Cond &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a0ebf1138011aa526d92470c1931313ad">getStat</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#ae615dd279fbf681e3c15e7209e3adfbe">getTypeSystem</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a0e09e07ee52ba605dc386ae1d7b965e2">getVFnsFromCHA</a>(const CallBlockNode *cs, VFunSet &amp;vfns)</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a8fa5b8a7b410faf63106a879ff72bf51">getVFnsFromPts</a>(const CallBlockNode *cs, const PointsTo &amp;target, VFunSet &amp;vfns)</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a8d3a457efb1963f8d87305bf33c02754">hasIndCSCallees</a>(const CallBlockNode *cs) const</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#ade41f3562704d56c7490dcfc941b3437">getVFnsFromCHA</a>(const CallICFGNode *cs, VFunSet &amp;vfns)</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a011b8401f5ed5fdb6cd507053465a7a2">getVFnsFromPts</a>(const CallICFGNode *cs, const PointsTo &amp;target, VFunSet &amp;vfns)</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#abdacd060691add054839aa183babe095">hasIndCSCallees</a>(const CallICFGNode *cs) const</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1CondPTAImpl.html#a597e9c4e76f358c36d4b820c4d69ebc6">hasPtsMap</a>(void) const</td><td class="entry"><a class="el" href="classSVF_1_1CondPTAImpl.html">SVF::CondPTAImpl&lt; Cond &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a962cc91e4d68b25ce201072c384d8fc2">icfg</a></td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a431ec4f85eb0f029e5740b92fd9ceb32">initialize</a>()</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
@@ -192,7 +192,7 @@ $(function() {
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a108380f6f0b67654bb7c7676686096c8">isLocalVarInRecursiveFun</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a9d3b20c9883d734537fb98b57b5372b9">isNonPointerObj</a>(NodeID ptd) const</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CondPTAImpl.html#a7a1be735c76ba4a6b235264fe8ec6c28">isSameVar</a>(const CVar &amp;var1, const CVar &amp;var2) const</td><td class="entry"><a class="el" href="classSVF_1_1CondPTAImpl.html">SVF::CondPTAImpl&lt; Cond &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a521f99705f67e3fea7167728a4e37129">matchArgs</a>(const CallBlockNode *cs, const SVFFunction *callee)</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#ab541df6fc703c0b21c2c308584c0b7ff">matchArgs</a>(const CallICFGNode *cs, const SVFFunction *callee)</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CondPTAImpl.html#a3b5877fec52bbfa7c83bab6c9bc95684">mustAlias</a>(const CVar &amp;var1, const CVar &amp;var2)</td><td class="entry"><a class="el" href="classSVF_1_1CondPTAImpl.html">SVF::CondPTAImpl&lt; Cond &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1CondPTAImpl.html#af3ae2748edfdefaa08a73930bd012d6c">MutPTDataTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1CondPTAImpl.html">SVF::CondPTAImpl&lt; Cond &gt;</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CondPTAImpl.html#ab4115f25e2e477bfd73d01f069f47241">normalized</a></td><td class="entry"><a class="el" href="classSVF_1_1CondPTAImpl.html">SVF::CondPTAImpl&lt; Cond &gt;</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
@@ -204,7 +204,7 @@ $(function() {
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85acaf0c0774025005647deaf59582b9d58">PathS_DDA</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a14e2a209cb594f91a24ef09b12f82f3f">PointerAnalysis</a>(SVFIR *pag, PTATY ty=Default_PTA, bool alias_check=true)</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a3550ea3f087ec557a6fe076bc443b05d">print_stat</a></td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a28bcd16249c04eea2d13fafd2bcaf9d9">printIndCSTargets</a>(const CallBlockNode *cs, const FunctionSet &amp;targets)</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a84edebc59e29f2cc1b89a699b8641f30">printIndCSTargets</a>(const CallICFGNode *cs, const FunctionSet &amp;targets)</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a062f1f2d6d47694caa9ac64a9e68c7b3">printIndCSTargets</a>()</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a4880571f57542afc50da506dfe273183">printStat</a>()</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#ad47b39252e02c68dfb466d4f42dc7ebe">ptaCallGraph</a></td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
@@ -221,8 +221,8 @@ $(function() {
   <tr><td class="entry"><a class="el" href="classSVF_1_1CondPTAImpl.html#a5043e9d9255d31777d038c48c809bb09">PtrToCPtsMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1CondPTAImpl.html">SVF::CondPTAImpl&lt; Cond &gt;</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CondPTAImpl.html#a838c3f2be39d278072f7a9df7c0bcb4d">PtrToNSMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1CondPTAImpl.html">SVF::CondPTAImpl&lt; Cond &gt;</a></td><td class="entry"></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a73fb8e595473e0c7df1dd0de4968ad13">resetObjFieldSensitive</a>()</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#ac9f54859eabff4c1e1f5785d57a0c818">resolveCPPIndCalls</a>(const CallBlockNode *cs, const PointsTo &amp;target, CallEdgeMap &amp;newEdges)</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a40738643202ca6301671f51da3fc1137">resolveIndCalls</a>(const CallBlockNode *cs, const PointsTo &amp;target, CallEdgeMap &amp;newEdges, LLVMCallGraph *callgraph=nullptr)</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#ac04b64a5884710508b304f93da88c7ba">resolveCPPIndCalls</a>(const CallICFGNode *cs, const PointsTo &amp;target, CallEdgeMap &amp;newEdges)</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#aa0a14fd11d7e69b2a3f91a3862f172cd">resolveIndCalls</a>(const CallICFGNode *cs, const PointsTo &amp;target, CallEdgeMap &amp;newEdges, LLVMCallGraph *callgraph=nullptr)</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#ac5683fe2e24b393ccc5cb6d8bc92cf2b">setObjFieldInsensitive</a>(NodeID id)</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a5ec3d9bf1fc81346c9df29638daedc0f">stat</a></td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85ad24ef5326c26db858c73432aa7e67a0a">Steensgaard_WPA</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"></td></tr>