svf-tools 1.0.342 → 1.0.346

package/SVF-doxygen/html/html/classSVF_1_1ActualOUTSVFGNode.html

@@ -86,12 +86,12 @@ Inheritance diagram for SVF::ActualOUTSVFGNode:</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:acca65d56457f7c4c7f7b30bf4b3e78d0"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ActualOUTSVFGNode.html#acca65d56457f7c4c7f7b30bf4b3e78d0">ActualOUTSVFGNode</a> (<a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> <a class="el" href="classSVF_1_1GenericNode.html#aaa53457604fe4cf4cb97ca85d33907b0">id</a>, const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a> *cal, const <a class="el" href="classSVF_1_1MRVer.html">MRVer</a> *resVer)</td></tr>
-<tr class="memdesc:acca65d56457f7c4c7f7b30bf4b3e78d0"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructor.  <a href="#acca65d56457f7c4c7f7b30bf4b3e78d0">More...</a><br /></td></tr>
-<tr class="separator:acca65d56457f7c4c7f7b30bf4b3e78d0"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a929e15d57bc95e6314be714ae0034c0c"><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_1ActualOUTSVFGNode.html#a929e15d57bc95e6314be714ae0034c0c">getCallSite</a> () const</td></tr>
-<tr class="memdesc:a929e15d57bc95e6314be714ae0034c0c"><td class="mdescLeft">&#160;</td><td class="mdescRight">Callsite.  <a href="#a929e15d57bc95e6314be714ae0034c0c">More...</a><br /></td></tr>
-<tr class="separator:a929e15d57bc95e6314be714ae0034c0c"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:afe2c662d51f3c9d31a20b5c1bee45844"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ActualOUTSVFGNode.html#afe2c662d51f3c9d31a20b5c1bee45844">ActualOUTSVFGNode</a> (<a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> <a class="el" href="classSVF_1_1GenericNode.html#aaa53457604fe4cf4cb97ca85d33907b0">id</a>, const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *cal, const <a class="el" href="classSVF_1_1MRVer.html">MRVer</a> *resVer)</td></tr>
+<tr class="memdesc:afe2c662d51f3c9d31a20b5c1bee45844"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructor.  <a href="#afe2c662d51f3c9d31a20b5c1bee45844">More...</a><br /></td></tr>
+<tr class="separator:afe2c662d51f3c9d31a20b5c1bee45844"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a89cb274936513df411a75fb33a86702f"><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_1ActualOUTSVFGNode.html#a89cb274936513df411a75fb33a86702f">getCallSite</a> () const</td></tr>
+<tr class="memdesc:a89cb274936513df411a75fb33a86702f"><td class="mdescLeft">&#160;</td><td class="mdescRight">Callsite.  <a href="#a89cb274936513df411a75fb33a86702f">More...</a><br /></td></tr>
+<tr class="separator:a89cb274936513df411a75fb33a86702f"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a3e3a14a042d75e5613eb049a9eb4fac5"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1MRVer.html">MRVer</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ActualOUTSVFGNode.html#a3e3a14a042d75e5613eb049a9eb4fac5">getMRVer</a> () const</td></tr>
 <tr class="memdesc:a3e3a14a042d75e5613eb049a9eb4fac5"><td class="mdescLeft">&#160;</td><td class="mdescRight">Ver.  <a href="#a3e3a14a042d75e5613eb049a9eb4fac5">More...</a><br /></td></tr>
 <tr class="separator:a3e3a14a042d75e5613eb049a9eb4fac5"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -209,8 +209,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:a0c305793d2c1ed2c27fb28dafe6927ff"><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_1ActualOUTSVFGNode.html#a0c305793d2c1ed2c27fb28dafe6927ff">cs</a></td></tr>
-<tr class="separator:a0c305793d2c1ed2c27fb28dafe6927ff"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a075773fa5b13cc067d24fbbb35c1d042"><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_1ActualOUTSVFGNode.html#a075773fa5b13cc067d24fbbb35c1d042">cs</a></td></tr>
+<tr class="separator:a075773fa5b13cc067d24fbbb35c1d042"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a9b0ad566d3fab6336d84ba07f541370f"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1MRVer.html">MRVer</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ActualOUTSVFGNode.html#a9b0ad566d3fab6336d84ba07f541370f">ver</a></td></tr>
 <tr class="separator:a9b0ad566d3fab6336d84ba07f541370f"><td class="memSeparator" colspan="2">&#160;</td></tr>
 </table><table class="memberdecls">
@@ -289,8 +289,8 @@ Additional Inherited Members</h2></td></tr>
 <div class="textblock">
 <p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00226">226</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
 </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
-<a id="acca65d56457f7c4c7f7b30bf4b3e78d0"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#acca65d56457f7c4c7f7b30bf4b3e78d0">&#9670;&nbsp;</a></span>ActualOUTSVFGNode()</h2>
+<a id="afe2c662d51f3c9d31a20b5c1bee45844"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#afe2c662d51f3c9d31a20b5c1bee45844">&#9670;&nbsp;</a></span>ActualOUTSVFGNode()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -307,7 +307,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>cal</em>, </td>
         </tr>
         <tr>
@@ -332,11 +332,11 @@ Additional Inherited Members</h2></td></tr>
 <p>Constructor. </p>
 
 <p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00234">234</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00234"></a><span class="lineno">  234</span>&#160;                                                                               :</div><div class="line"><a name="l00235"></a><span class="lineno">  235</span>&#160;        <a class="code" href="classSVF_1_1MRSVFGNode.html#a2c2b0476c49c5f2d4ebe6eec22c7345f">MRSVFGNode</a>(<span class="keywordtype">id</span>, <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a562b0ba840860c8eeaaca1a66e61b54f">APOUT</a>), <a class="code" href="classSVF_1_1ActualOUTSVFGNode.html#a0c305793d2c1ed2c27fb28dafe6927ff">cs</a>(cal)</div><div class="line"><a name="l00236"></a><span class="lineno">  236</span>&#160;    {</div><div class="line"><a name="l00237"></a><span class="lineno">  237</span>&#160;        <a class="code" href="classSVF_1_1MRSVFGNode.html#a640153ff592bf0058882a0d05a76b1ba">cpts</a> = resVer-&gt;getMR()-&gt;getPointsTo();</div><div class="line"><a name="l00238"></a><span class="lineno">  238</span>&#160;        <a class="code" href="classSVF_1_1ActualOUTSVFGNode.html#a9b0ad566d3fab6336d84ba07f541370f">ver</a> = resVer;</div><div class="line"><a name="l00239"></a><span class="lineno">  239</span>&#160;    }</div><div class="ttc" id="classSVF_1_1MRSVFGNode_html_a2c2b0476c49c5f2d4ebe6eec22c7345f"><div class="ttname"><a href="classSVF_1_1MRSVFGNode.html#a2c2b0476c49c5f2d4ebe6eec22c7345f">SVF::MRSVFGNode::MRSVFGNode</a></div><div class="ttdeci">MRSVFGNode(NodeID id, VFGNodeK k)</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00048">SVFGNode.h:48</a></div></div>
+<div class="fragment"><div class="line"><a name="l00234"></a><span class="lineno">  234</span>&#160;                                                                              :</div><div class="line"><a name="l00235"></a><span class="lineno">  235</span>&#160;        <a class="code" href="classSVF_1_1MRSVFGNode.html#a2c2b0476c49c5f2d4ebe6eec22c7345f">MRSVFGNode</a>(<span class="keywordtype">id</span>, <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a562b0ba840860c8eeaaca1a66e61b54f">APOUT</a>), <a class="code" href="classSVF_1_1ActualOUTSVFGNode.html#a075773fa5b13cc067d24fbbb35c1d042">cs</a>(cal)</div><div class="line"><a name="l00236"></a><span class="lineno">  236</span>&#160;    {</div><div class="line"><a name="l00237"></a><span class="lineno">  237</span>&#160;        <a class="code" href="classSVF_1_1MRSVFGNode.html#a640153ff592bf0058882a0d05a76b1ba">cpts</a> = resVer-&gt;getMR()-&gt;getPointsTo();</div><div class="line"><a name="l00238"></a><span class="lineno">  238</span>&#160;        <a class="code" href="classSVF_1_1ActualOUTSVFGNode.html#a9b0ad566d3fab6336d84ba07f541370f">ver</a> = resVer;</div><div class="line"><a name="l00239"></a><span class="lineno">  239</span>&#160;    }</div><div class="ttc" id="classSVF_1_1MRSVFGNode_html_a2c2b0476c49c5f2d4ebe6eec22c7345f"><div class="ttname"><a href="classSVF_1_1MRSVFGNode.html#a2c2b0476c49c5f2d4ebe6eec22c7345f">SVF::MRSVFGNode::MRSVFGNode</a></div><div class="ttdeci">MRSVFGNode(NodeID id, VFGNodeK k)</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00048">SVFGNode.h:48</a></div></div>
 <div class="ttc" id="classSVF_1_1MRSVFGNode_html_a640153ff592bf0058882a0d05a76b1ba"><div class="ttname"><a href="classSVF_1_1MRSVFGNode.html#a640153ff592bf0058882a0d05a76b1ba">SVF::MRSVFGNode::cpts</a></div><div class="ttdeci">NodeBS cpts</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00045">SVFGNode.h:45</a></div></div>
-<div class="ttc" id="classSVF_1_1ActualOUTSVFGNode_html_a0c305793d2c1ed2c27fb28dafe6927ff"><div class="ttname"><a href="classSVF_1_1ActualOUTSVFGNode.html#a0c305793d2c1ed2c27fb28dafe6927ff">SVF::ActualOUTSVFGNode::cs</a></div><div class="ttdeci">const CallBlockNode * cs</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00229">SVFGNode.h:229</a></div></div>
 <div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75a562b0ba840860c8eeaaca1a66e61b54f"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a562b0ba840860c8eeaaca1a66e61b54f">SVF::VFGNode::APOUT</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00056">VFGNode.h:56</a></div></div>
 <div class="ttc" id="classSVF_1_1ActualOUTSVFGNode_html_a9b0ad566d3fab6336d84ba07f541370f"><div class="ttname"><a href="classSVF_1_1ActualOUTSVFGNode.html#a9b0ad566d3fab6336d84ba07f541370f">SVF::ActualOUTSVFGNode::ver</a></div><div class="ttdeci">const MRVer * ver</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00230">SVFGNode.h:230</a></div></div>
+<div class="ttc" id="classSVF_1_1ActualOUTSVFGNode_html_a075773fa5b13cc067d24fbbb35c1d042"><div class="ttname"><a href="classSVF_1_1ActualOUTSVFGNode.html#a075773fa5b13cc067d24fbbb35c1d042">SVF::ActualOUTSVFGNode::cs</a></div><div class="ttdeci">const CallICFGNode * cs</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00229">SVFGNode.h:229</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -429,8 +429,8 @@ Additional Inherited Members</h2></td></tr>
 </div><!-- fragment -->
 </div>
 </div>
-<a id="a929e15d57bc95e6314be714ae0034c0c"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a929e15d57bc95e6314be714ae0034c0c">&#9670;&nbsp;</a></span>getCallSite()</h2>
+<a id="a89cb274936513df411a75fb33a86702f"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a89cb274936513df411a75fb33a86702f">&#9670;&nbsp;</a></span>getCallSite()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -439,7 +439,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::ActualOUTSVFGNode::getCallSite </td>
+          <td class="memname">const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a>* SVF::ActualOUTSVFGNode::getCallSite </td>
           <td>(</td>
           <td class="paramname"></td><td>)</td>
           <td> const</td>
@@ -455,7 +455,7 @@ Additional Inherited Members</h2></td></tr>
 <p>Callsite. </p>
 
 <p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00241">241</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.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_1ActualOUTSVFGNode.html#a0c305793d2c1ed2c27fb28dafe6927ff">cs</a>;</div><div class="line"><a name="l00244"></a><span class="lineno">  244</span>&#160;    }</div><div class="ttc" id="classSVF_1_1ActualOUTSVFGNode_html_a0c305793d2c1ed2c27fb28dafe6927ff"><div class="ttname"><a href="classSVF_1_1ActualOUTSVFGNode.html#a0c305793d2c1ed2c27fb28dafe6927ff">SVF::ActualOUTSVFGNode::cs</a></div><div class="ttdeci">const CallBlockNode * cs</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00229">SVFGNode.h:229</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_1ActualOUTSVFGNode.html#a075773fa5b13cc067d24fbbb35c1d042">cs</a>;</div><div class="line"><a name="l00244"></a><span class="lineno">  244</span>&#160;    }</div><div class="ttc" id="classSVF_1_1ActualOUTSVFGNode_html_a075773fa5b13cc067d24fbbb35c1d042"><div class="ttname"><a href="classSVF_1_1ActualOUTSVFGNode.html#a075773fa5b13cc067d24fbbb35c1d042">SVF::ActualOUTSVFGNode::cs</a></div><div class="ttdeci">const CallICFGNode * cs</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00229">SVFGNode.h:229</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -515,24 +515,24 @@ Additional Inherited Members</h2></td></tr>
 <p>Reimplemented from <a class="el" href="classSVF_1_1MRSVFGNode.html#ab200b96b8dbff5d5fc5e3b114ae45921">SVF::MRSVFGNode</a>.</p>
 
 <p class="definition">Definition at line <a class="el" href="SVFG_8cpp_source.html#l00081">81</a> of file <a class="el" href="SVFG_8cpp_source.html">SVFG.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00081"></a><span class="lineno">   81</span>&#160;                                                  {</div><div class="line"><a name="l00082"></a><span class="lineno">   82</span>&#160;    std::string str;</div><div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;    <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00084"></a><span class="lineno">   84</span>&#160;    rawstr &lt;&lt; <span class="stringliteral">&quot;ActualOUTSVFGNode ID: &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>() &lt;&lt; <span class="stringliteral">&quot; at callsite: &quot;</span> &lt;&lt;  *<a class="code" href="classSVF_1_1ActualOUTSVFGNode.html#a929e15d57bc95e6314be714ae0034c0c">getCallSite</a>()-&gt;<a class="code" href="classSVF_1_1CallBlockNode.html#ad3d50024efcfa94b1246c982b43aff2f">getCallSite</a>() &lt;&lt; <span class="stringliteral">&quot; {fun: &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1VFGNode.html#ab98e74dfd4756e70e3e3c5b7d5e5ae27">getFun</a>()-&gt;<a class="code" href="classSVF_1_1SVFValue.html#adc15c1f7a77158142156fba7524e89c9">getName</a>() &lt;&lt; <span class="stringliteral">&quot;}&quot;</span>;</div><div class="line"><a name="l00085"></a><span class="lineno">   85</span>&#160;    rawstr &lt;&lt;  <a class="code" href="classSVF_1_1ActualOUTSVFGNode.html#a3e3a14a042d75e5613eb049a9eb4fac5">getMRVer</a>()-&gt;<a class="code" href="classSVF_1_1MRVer.html#a63bd0641be553860cc5f517634b65825">getMR</a>()-&gt;<a class="code" href="classSVF_1_1MemRegion.html#a7d38f6ef18106eb388b3a289aad79802">getMRID</a>() &lt;&lt; <span class="stringliteral">&quot;V_&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1ActualOUTSVFGNode.html#a3e3a14a042d75e5613eb049a9eb4fac5">getMRVer</a>()-&gt;<a class="code" href="classSVF_1_1MRVer.html#a170a933f25684bda23321ba05c7a7d88">getSSAVersion</a>() &lt;&lt;</div><div class="line"><a name="l00086"></a><span class="lineno">   86</span>&#160;           <span class="stringliteral">&quot; = CSCHI(MR_&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1ActualOUTSVFGNode.html#a3e3a14a042d75e5613eb049a9eb4fac5">getMRVer</a>()-&gt;<a class="code" href="classSVF_1_1MRVer.html#a63bd0641be553860cc5f517634b65825">getMR</a>()-&gt;<a class="code" href="classSVF_1_1MemRegion.html#a7d38f6ef18106eb388b3a289aad79802">getMRID</a>() &lt;&lt; <span class="stringliteral">&quot;V_&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1ActualOUTSVFGNode.html#a3e3a14a042d75e5613eb049a9eb4fac5">getMRVer</a>()-&gt;<a class="code" href="classSVF_1_1MRVer.html#a170a933f25684bda23321ba05c7a7d88">getSSAVersion</a>() &lt;&lt; <span class="stringliteral">&quot;)\n&quot;</span>;</div><div class="line"><a name="l00087"></a><span class="lineno">   87</span>&#160;    rawstr &lt;&lt; <a class="code" href="classSVF_1_1ActualOUTSVFGNode.html#a3e3a14a042d75e5613eb049a9eb4fac5">getMRVer</a>()-&gt;<a class="code" href="classSVF_1_1MRVer.html#a63bd0641be553860cc5f517634b65825">getMR</a>()-&gt;<a class="code" href="classSVF_1_1MemRegion.html#adad8c2b08ab6a512f0c3aa90b4416f60">dumpStr</a>() &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div><div class="line"><a name="l00088"></a><span class="lineno">   88</span>&#160;    rawstr &lt;&lt; <span class="stringliteral">&quot;CS[&quot;</span> &lt;&lt; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a28c0ede7e4765d2a686fc8ae0f5641a4">getSourceLoc</a>(<a class="code" href="classSVF_1_1ActualOUTSVFGNode.html#a929e15d57bc95e6314be714ae0034c0c">getCallSite</a>()-&gt;<a class="code" href="classSVF_1_1ActualOUTSVFGNode.html#a929e15d57bc95e6314be714ae0034c0c">getCallSite</a>()) &lt;&lt; <span class="stringliteral">&quot;]&quot;</span> ;</div><div class="line"><a name="l00089"></a><span class="lineno">   89</span>&#160;    <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00090"></a><span class="lineno">   90</span>&#160;}</div><div class="ttc" id="classSVF_1_1MemRegion_html_a7d38f6ef18106eb388b3a289aad79802"><div class="ttname"><a href="classSVF_1_1MemRegion.html#a7d38f6ef18106eb388b3a289aad79802">SVF::MemRegion::getMRID</a></div><div class="ttdeci">MRID getMRID() const</div><div class="ttdoc">Return memory region ID. </div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00074">MemRegion.h:74</a></div></div>
+<div class="fragment"><div class="line"><a name="l00081"></a><span class="lineno">   81</span>&#160;                                                  {</div><div class="line"><a name="l00082"></a><span class="lineno">   82</span>&#160;    std::string str;</div><div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;    <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00084"></a><span class="lineno">   84</span>&#160;    rawstr &lt;&lt; <span class="stringliteral">&quot;ActualOUTSVFGNode ID: &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>() &lt;&lt; <span class="stringliteral">&quot; at callsite: &quot;</span> &lt;&lt;  *<a class="code" href="classSVF_1_1ActualOUTSVFGNode.html#a89cb274936513df411a75fb33a86702f">getCallSite</a>()-&gt;<a class="code" href="classSVF_1_1CallICFGNode.html#a674753d5ca0fbe28674acb25291f2bcf">getCallSite</a>() &lt;&lt; <span class="stringliteral">&quot; {fun: &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1VFGNode.html#ab98e74dfd4756e70e3e3c5b7d5e5ae27">getFun</a>()-&gt;<a class="code" href="classSVF_1_1SVFValue.html#adc15c1f7a77158142156fba7524e89c9">getName</a>() &lt;&lt; <span class="stringliteral">&quot;}&quot;</span>;</div><div class="line"><a name="l00085"></a><span class="lineno">   85</span>&#160;    rawstr &lt;&lt;  <a class="code" href="classSVF_1_1ActualOUTSVFGNode.html#a3e3a14a042d75e5613eb049a9eb4fac5">getMRVer</a>()-&gt;<a class="code" href="classSVF_1_1MRVer.html#a63bd0641be553860cc5f517634b65825">getMR</a>()-&gt;<a class="code" href="classSVF_1_1MemRegion.html#a7d38f6ef18106eb388b3a289aad79802">getMRID</a>() &lt;&lt; <span class="stringliteral">&quot;V_&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1ActualOUTSVFGNode.html#a3e3a14a042d75e5613eb049a9eb4fac5">getMRVer</a>()-&gt;<a class="code" href="classSVF_1_1MRVer.html#a170a933f25684bda23321ba05c7a7d88">getSSAVersion</a>() &lt;&lt;</div><div class="line"><a name="l00086"></a><span class="lineno">   86</span>&#160;           <span class="stringliteral">&quot; = CSCHI(MR_&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1ActualOUTSVFGNode.html#a3e3a14a042d75e5613eb049a9eb4fac5">getMRVer</a>()-&gt;<a class="code" href="classSVF_1_1MRVer.html#a63bd0641be553860cc5f517634b65825">getMR</a>()-&gt;<a class="code" href="classSVF_1_1MemRegion.html#a7d38f6ef18106eb388b3a289aad79802">getMRID</a>() &lt;&lt; <span class="stringliteral">&quot;V_&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1ActualOUTSVFGNode.html#a3e3a14a042d75e5613eb049a9eb4fac5">getMRVer</a>()-&gt;<a class="code" href="classSVF_1_1MRVer.html#a170a933f25684bda23321ba05c7a7d88">getSSAVersion</a>() &lt;&lt; <span class="stringliteral">&quot;)\n&quot;</span>;</div><div class="line"><a name="l00087"></a><span class="lineno">   87</span>&#160;    rawstr &lt;&lt; <a class="code" href="classSVF_1_1ActualOUTSVFGNode.html#a3e3a14a042d75e5613eb049a9eb4fac5">getMRVer</a>()-&gt;<a class="code" href="classSVF_1_1MRVer.html#a63bd0641be553860cc5f517634b65825">getMR</a>()-&gt;<a class="code" href="classSVF_1_1MemRegion.html#adad8c2b08ab6a512f0c3aa90b4416f60">dumpStr</a>() &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div><div class="line"><a name="l00088"></a><span class="lineno">   88</span>&#160;    rawstr &lt;&lt; <span class="stringliteral">&quot;CS[&quot;</span> &lt;&lt; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a28c0ede7e4765d2a686fc8ae0f5641a4">getSourceLoc</a>(<a class="code" href="classSVF_1_1ActualOUTSVFGNode.html#a89cb274936513df411a75fb33a86702f">getCallSite</a>()-&gt;<a class="code" href="classSVF_1_1ActualOUTSVFGNode.html#a89cb274936513df411a75fb33a86702f">getCallSite</a>()) &lt;&lt; <span class="stringliteral">&quot;]&quot;</span> ;</div><div class="line"><a name="l00089"></a><span class="lineno">   89</span>&#160;    <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00090"></a><span class="lineno">   90</span>&#160;}</div><div class="ttc" id="classSVF_1_1MemRegion_html_a7d38f6ef18106eb388b3a289aad79802"><div class="ttname"><a href="classSVF_1_1MemRegion.html#a7d38f6ef18106eb388b3a289aad79802">SVF::MemRegion::getMRID</a></div><div class="ttdeci">MRID getMRID() const</div><div class="ttdoc">Return memory region ID. </div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00074">MemRegion.h:74</a></div></div>
+<div class="ttc" id="classSVF_1_1ActualOUTSVFGNode_html_a89cb274936513df411a75fb33a86702f"><div class="ttname"><a href="classSVF_1_1ActualOUTSVFGNode.html#a89cb274936513df411a75fb33a86702f">SVF::ActualOUTSVFGNode::getCallSite</a></div><div class="ttdeci">const CallICFGNode * getCallSite() const</div><div class="ttdoc">Callsite. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00241">SVFGNode.h:241</a></div></div>
 <div class="ttc" id="classSVF_1_1VFGNode_html_ab98e74dfd4756e70e3e3c5b7d5e5ae27"><div class="ttname"><a href="classSVF_1_1VFGNode.html#ab98e74dfd4756e70e3e3c5b7d5e5ae27">SVF::VFGNode::getFun</a></div><div class="ttdeci">virtual const SVFFunction * getFun() const</div><div class="ttdoc">Get the function of this SVFGNode. </div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00084">VFGNode.h:84</a></div></div>
 <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a28c0ede7e4765d2a686fc8ae0f5641a4"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a28c0ede7e4765d2a686fc8ae0f5641a4">SVF::SVFUtil::getSourceLoc</a></div><div class="ttdeci">std::string getSourceLoc(const Value *val)</div><div class="ttdoc">Return source code including line number and file name from debug information. </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00269">SVFUtil.cpp:269</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFValue_html_adc15c1f7a77158142156fba7524e89c9"><div class="ttname"><a href="classSVF_1_1SVFValue.html#adc15c1f7a77158142156fba7524e89c9">SVF::SVFValue::getName</a></div><div class="ttdeci">const llvm::StringRef getName() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00231">SVFBasicTypes.h:231</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00100">BasicTypes.h:100</a></div></div>
 <div class="ttc" id="classSVF_1_1ActualOUTSVFGNode_html_a3e3a14a042d75e5613eb049a9eb4fac5"><div class="ttname"><a href="classSVF_1_1ActualOUTSVFGNode.html#a3e3a14a042d75e5613eb049a9eb4fac5">SVF::ActualOUTSVFGNode::getMRVer</a></div><div class="ttdeci">const MRVer * getMRVer() const</div><div class="ttdoc">Ver. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00246">SVFGNode.h:246</a></div></div>
 <div class="ttc" id="classSVF_1_1MRVer_html_a170a933f25684bda23321ba05c7a7d88"><div class="ttname"><a href="classSVF_1_1MRVer.html#a170a933f25684bda23321ba05c7a7d88">SVF::MRVer::getSSAVersion</a></div><div class="ttdeci">MRVERSION getSSAVersion() const</div><div class="ttdoc">Return SSA version. </div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00069">MSSAMuChi.h:69</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 class="ttc" id="classSVF_1_1MRVer_html_a63bd0641be553860cc5f517634b65825"><div class="ttname"><a href="classSVF_1_1MRVer.html#a63bd0641be553860cc5f517634b65825">SVF::MRVer::getMR</a></div><div class="ttdeci">const MemRegion * getMR() const</div><div class="ttdoc">Return the memory region. </div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00063">MSSAMuChi.h:63</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="ttc" id="classSVF_1_1GenericNode_html_ac3e55ef37aefb411ea4c87b1aa3b1895"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode::getId</a></div><div class="ttdeci">NodeID getId() const</div><div class="ttdoc">Get ID. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00165">GenericGraph.h:165</a></div></div>
 <div class="ttc" id="classSVF_1_1MemRegion_html_adad8c2b08ab6a512f0c3aa90b4416f60"><div class="ttname"><a href="classSVF_1_1MemRegion.html#adad8c2b08ab6a512f0c3aa90b4416f60">SVF::MemRegion::dumpStr</a></div><div class="ttdeci">std::string dumpStr() const</div><div class="ttdoc">Dump string. </div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00089">MemRegion.h:89</a></div></div>
-<div class="ttc" id="classSVF_1_1ActualOUTSVFGNode_html_a929e15d57bc95e6314be714ae0034c0c"><div class="ttname"><a href="classSVF_1_1ActualOUTSVFGNode.html#a929e15d57bc95e6314be714ae0034c0c">SVF::ActualOUTSVFGNode::getCallSite</a></div><div class="ttdeci">const CallBlockNode * getCallSite() const</div><div class="ttdoc">Callsite. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00241">SVFGNode.h:241</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
 <h2 class="groupheader">Member Data Documentation</h2>
-<a id="a0c305793d2c1ed2c27fb28dafe6927ff"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a0c305793d2c1ed2c27fb28dafe6927ff">&#9670;&nbsp;</a></span>cs</h2>
+<a id="a075773fa5b13cc067d24fbbb35c1d042"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a075773fa5b13cc067d24fbbb35c1d042">&#9670;&nbsp;</a></span>cs</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -541,7 +541,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::ActualOUTSVFGNode::cs</td>
+          <td class="memname">const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a>* SVF::ActualOUTSVFGNode::cs</td>
         </tr>
       </table>
   </td>

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

@@ -69,7 +69,7 @@ $(function() {
 
 <p>This is the complete list of members for <a class="el" href="classSVF_1_1ActualParmVFGNode.html">SVF::ActualParmVFGNode</a>, including all inherited members.</p>
 <table class="directory">
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ActualParmVFGNode.html#ace169bed651f146af4237b407bfab64d">ActualParmVFGNode</a>(NodeID id, const PAGNode *n, const CallBlockNode *c)</td><td class="entry"><a class="el" href="classSVF_1_1ActualParmVFGNode.html">SVF::ActualParmVFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ActualParmVFGNode.html#a773b6912100fbd3a2a58cfe0da8ea6d5">ActualParmVFGNode</a>(NodeID id, const PAGNode *n, const CallICFGNode *c)</td><td class="entry"><a class="el" href="classSVF_1_1ActualParmVFGNode.html">SVF::ActualParmVFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a93d217b0c9fd8008a2989ca2b4f3fbfb">addIncomingEdge</a>(EdgeType *inEdge)</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &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_1GenericNode.html#ae74283fbc788665296a69e56f334557b">addOutgoingEdge</a>(EdgeType *outEdge)</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75af866301a661c59a7aa3182c0a7fc0c92">Addr</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
@@ -88,7 +88,7 @@ $(function() {
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a98fd43afc6615f418d2d96209eb31828">Cmp</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a3c558955f60c237c558d8faafed781e8">const_iterator</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75af589a053fdb7efc728b68a324fc58b2b">Copy</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1ActualParmVFGNode.html#afec49cb3b0f571edc4c35823ca5b55eb">cs</a></td><td class="entry"><a class="el" href="classSVF_1_1ActualParmVFGNode.html">SVF::ActualParmVFGNode</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1ActualParmVFGNode.html#a652f865955c1f345c656c9178376228a">cs</a></td><td class="entry"><a class="el" href="classSVF_1_1ActualParmVFGNode.html">SVF::ActualParmVFGNode</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a4ab1f2e5db301e4a37215905a22e6476">directInEdgeBegin</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &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_1GenericNode.html#ab331402aed245c33bad841df2bc21f7b">directInEdgeBegin</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &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_1GenericNode.html#a19599627ba095b5452373284deab7f6c">directInEdgeEnd</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
@@ -107,7 +107,7 @@ $(function() {
   <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a03c6da4a73c47f84f5c5b47252bc339a">GEdgeSetTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#acdca5baae3e9e4208a60322fec9c9d3f">GenericNode</a>(NodeID i, GNodeK k)</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa2dffaa8741582ce06e591cbaf9257d7">Gep</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ActualParmVFGNode.html#afe9b8911c6e79dd13e0df19b158a3179">getCallSite</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ActualParmVFGNode.html">SVF::ActualParmVFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ActualParmVFGNode.html#ab153944a366488c5f7e91d61561e9c0e">getCallSite</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ActualParmVFGNode.html">SVF::ActualParmVFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#ab98e74dfd4756e70e3e3c5b7d5e5ae27">getFun</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</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_1VFGNode.html#a0675465e11d1d42ee7e2b7ab3c5de829">getICFGNode</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</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_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>

package/SVF-doxygen/html/html/classSVF_1_1ActualParmVFGNode.html

@@ -86,12 +86,12 @@ Inheritance diagram for SVF::ActualParmVFGNode:</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:ace169bed651f146af4237b407bfab64d"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ActualParmVFGNode.html#ace169bed651f146af4237b407bfab64d">ActualParmVFGNode</a> (<a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> <a class="el" href="classSVF_1_1GenericNode.html#aaa53457604fe4cf4cb97ca85d33907b0">id</a>, const <a class="el" href="namespaceSVF.html#a733b44f64a95e6e13e7379120d7a3eea">PAGNode</a> *n, const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a> *c)</td></tr>
-<tr class="memdesc:ace169bed651f146af4237b407bfab64d"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructor.  <a href="#ace169bed651f146af4237b407bfab64d">More...</a><br /></td></tr>
-<tr class="separator:ace169bed651f146af4237b407bfab64d"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:afe9b8911c6e79dd13e0df19b158a3179"><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_1ActualParmVFGNode.html#afe9b8911c6e79dd13e0df19b158a3179">getCallSite</a> () const</td></tr>
-<tr class="memdesc:afe9b8911c6e79dd13e0df19b158a3179"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return callsite.  <a href="#afe9b8911c6e79dd13e0df19b158a3179">More...</a><br /></td></tr>
-<tr class="separator:afe9b8911c6e79dd13e0df19b158a3179"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a773b6912100fbd3a2a58cfe0da8ea6d5"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ActualParmVFGNode.html#a773b6912100fbd3a2a58cfe0da8ea6d5">ActualParmVFGNode</a> (<a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> <a class="el" href="classSVF_1_1GenericNode.html#aaa53457604fe4cf4cb97ca85d33907b0">id</a>, const <a class="el" href="namespaceSVF.html#a733b44f64a95e6e13e7379120d7a3eea">PAGNode</a> *n, const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *c)</td></tr>
+<tr class="memdesc:a773b6912100fbd3a2a58cfe0da8ea6d5"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructor.  <a href="#a773b6912100fbd3a2a58cfe0da8ea6d5">More...</a><br /></td></tr>
+<tr class="separator:a773b6912100fbd3a2a58cfe0da8ea6d5"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ab153944a366488c5f7e91d61561e9c0e"><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_1ActualParmVFGNode.html#ab153944a366488c5f7e91d61561e9c0e">getCallSite</a> () const</td></tr>
+<tr class="memdesc:ab153944a366488c5f7e91d61561e9c0e"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return callsite.  <a href="#ab153944a366488c5f7e91d61561e9c0e">More...</a><br /></td></tr>
+<tr class="separator:ab153944a366488c5f7e91d61561e9c0e"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a8932b197a076ab3069a9fe8b73e7fc32"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="namespaceSVF.html#a733b44f64a95e6e13e7379120d7a3eea">PAGNode</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ActualParmVFGNode.html#a8932b197a076ab3069a9fe8b73e7fc32">getParam</a> () const</td></tr>
 <tr class="memdesc:a8932b197a076ab3069a9fe8b73e7fc32"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return parameter.  <a href="#a8932b197a076ab3069a9fe8b73e7fc32">More...</a><br /></td></tr>
 <tr class="separator:a8932b197a076ab3069a9fe8b73e7fc32"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -214,8 +214,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:afec49cb3b0f571edc4c35823ca5b55eb"><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_1ActualParmVFGNode.html#afec49cb3b0f571edc4c35823ca5b55eb">cs</a></td></tr>
-<tr class="separator:afec49cb3b0f571edc4c35823ca5b55eb"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a652f865955c1f345c656c9178376228a"><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_1ActualParmVFGNode.html#a652f865955c1f345c656c9178376228a">cs</a></td></tr>
+<tr class="separator:a652f865955c1f345c656c9178376228a"><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>
@@ -289,8 +289,8 @@ Additional Inherited Members</h2></td></tr>
 <div class="textblock">
 <p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l00831">831</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
 </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
-<a id="ace169bed651f146af4237b407bfab64d"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#ace169bed651f146af4237b407bfab64d">&#9670;&nbsp;</a></span>ActualParmVFGNode()</h2>
+<a id="a773b6912100fbd3a2a58cfe0da8ea6d5"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a773b6912100fbd3a2a58cfe0da8ea6d5">&#9670;&nbsp;</a></span>ActualParmVFGNode()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -313,7 +313,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>c</em>&#160;</td>
         </tr>
         <tr>
@@ -332,9 +332,9 @@ Additional Inherited Members</h2></td></tr>
 <p>Constructor. </p>
 
 <p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l00837">837</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00837"></a><span class="lineno">  837</span>&#160;                                                                           :</div><div class="line"><a name="l00838"></a><span class="lineno">  838</span>&#160;        <a class="code" href="classSVF_1_1ArgumentVFGNode.html#a0b35234b96e98099a289b73028bae276">ArgumentVFGNode</a>(<span class="keywordtype">id</span>, n, <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ab7a57e9eef84c1078593dfbe88de6f14">AParm</a>), <a class="code" href="classSVF_1_1ActualParmVFGNode.html#afec49cb3b0f571edc4c35823ca5b55eb">cs</a>(c)</div><div class="line"><a name="l00839"></a><span class="lineno">  839</span>&#160;    {</div><div class="line"><a name="l00840"></a><span class="lineno">  840</span>&#160;    }</div><div class="ttc" id="classSVF_1_1ActualParmVFGNode_html_afec49cb3b0f571edc4c35823ca5b55eb"><div class="ttname"><a href="classSVF_1_1ActualParmVFGNode.html#afec49cb3b0f571edc4c35823ca5b55eb">SVF::ActualParmVFGNode::cs</a></div><div class="ttdeci">const CallBlockNode * cs</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00834">VFGNode.h:834</a></div></div>
-<div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75ab7a57e9eef84c1078593dfbe88de6f14"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ab7a57e9eef84c1078593dfbe88de6f14">SVF::VFGNode::AParm</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00055">VFGNode.h:55</a></div></div>
+<div class="fragment"><div class="line"><a name="l00837"></a><span class="lineno">  837</span>&#160;                                                                          :</div><div class="line"><a name="l00838"></a><span class="lineno">  838</span>&#160;        <a class="code" href="classSVF_1_1ArgumentVFGNode.html#a0b35234b96e98099a289b73028bae276">ArgumentVFGNode</a>(<span class="keywordtype">id</span>, n, <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ab7a57e9eef84c1078593dfbe88de6f14">AParm</a>), <a class="code" href="classSVF_1_1ActualParmVFGNode.html#a652f865955c1f345c656c9178376228a">cs</a>(c)</div><div class="line"><a name="l00839"></a><span class="lineno">  839</span>&#160;    {</div><div class="line"><a name="l00840"></a><span class="lineno">  840</span>&#160;    }</div><div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75ab7a57e9eef84c1078593dfbe88de6f14"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ab7a57e9eef84c1078593dfbe88de6f14">SVF::VFGNode::AParm</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00055">VFGNode.h:55</a></div></div>
 <div class="ttc" id="classSVF_1_1ArgumentVFGNode_html_a0b35234b96e98099a289b73028bae276"><div class="ttname"><a href="classSVF_1_1ArgumentVFGNode.html#a0b35234b96e98099a289b73028bae276">SVF::ArgumentVFGNode::ArgumentVFGNode</a></div><div class="ttdeci">ArgumentVFGNode(NodeID id, const PAGNode *p, VFGNodeK k)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00792">VFGNode.h:792</a></div></div>
+<div class="ttc" id="classSVF_1_1ActualParmVFGNode_html_a652f865955c1f345c656c9178376228a"><div class="ttname"><a href="classSVF_1_1ActualParmVFGNode.html#a652f865955c1f345c656c9178376228a">SVF::ActualParmVFGNode::cs</a></div><div class="ttdeci">const CallICFGNode * cs</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00834">VFGNode.h:834</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -456,8 +456,8 @@ Additional Inherited Members</h2></td></tr>
 </div><!-- fragment -->
 </div>
 </div>
-<a id="afe9b8911c6e79dd13e0df19b158a3179"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#afe9b8911c6e79dd13e0df19b158a3179">&#9670;&nbsp;</a></span>getCallSite()</h2>
+<a id="ab153944a366488c5f7e91d61561e9c0e"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#ab153944a366488c5f7e91d61561e9c0e">&#9670;&nbsp;</a></span>getCallSite()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -466,7 +466,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::ActualParmVFGNode::getCallSite </td>
+          <td class="memname">const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a>* SVF::ActualParmVFGNode::getCallSite </td>
           <td>(</td>
           <td class="paramname"></td><td>)</td>
           <td> const</td>
@@ -482,7 +482,7 @@ Additional Inherited Members</h2></td></tr>
 <p>Return callsite. </p>
 
 <p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l00843">843</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00844"></a><span class="lineno">  844</span>&#160;    {</div><div class="line"><a name="l00845"></a><span class="lineno">  845</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ActualParmVFGNode.html#afec49cb3b0f571edc4c35823ca5b55eb">cs</a>;</div><div class="line"><a name="l00846"></a><span class="lineno">  846</span>&#160;    }</div><div class="ttc" id="classSVF_1_1ActualParmVFGNode_html_afec49cb3b0f571edc4c35823ca5b55eb"><div class="ttname"><a href="classSVF_1_1ActualParmVFGNode.html#afec49cb3b0f571edc4c35823ca5b55eb">SVF::ActualParmVFGNode::cs</a></div><div class="ttdeci">const CallBlockNode * cs</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00834">VFGNode.h:834</a></div></div>
+<div class="fragment"><div class="line"><a name="l00844"></a><span class="lineno">  844</span>&#160;    {</div><div class="line"><a name="l00845"></a><span class="lineno">  845</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ActualParmVFGNode.html#a652f865955c1f345c656c9178376228a">cs</a>;</div><div class="line"><a name="l00846"></a><span class="lineno">  846</span>&#160;    }</div><div class="ttc" id="classSVF_1_1ActualParmVFGNode_html_a652f865955c1f345c656c9178376228a"><div class="ttname"><a href="classSVF_1_1ActualParmVFGNode.html#a652f865955c1f345c656c9178376228a">SVF::ActualParmVFGNode::cs</a></div><div class="ttdeci">const CallICFGNode * cs</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00834">VFGNode.h:834</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -542,18 +542,18 @@ Additional Inherited Members</h2></td></tr>
 <p>Reimplemented from <a class="el" href="classSVF_1_1ArgumentVFGNode.html#a3c10cd63e18f79ccc66f4687d05cb8c5">SVF::ArgumentVFGNode</a>.</p>
 
 <p class="definition">Definition at line <a class="el" href="VFG_8cpp_source.html#l00193">193</a> of file <a class="el" href="VFG_8cpp_source.html">VFG.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00193"></a><span class="lineno">  193</span>&#160;                                                  {</div><div class="line"><a name="l00194"></a><span class="lineno">  194</span>&#160;    std::string str;</div><div class="line"><a name="l00195"></a><span class="lineno">  195</span>&#160;    <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00196"></a><span class="lineno">  196</span>&#160;    rawstr &lt;&lt; <span class="stringliteral">&quot;ActualParmVFGNode ID: &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>() &lt;&lt; <span class="stringliteral">&quot; &quot;</span>;</div><div class="line"><a name="l00197"></a><span class="lineno">  197</span>&#160;    rawstr &lt;&lt; <span class="stringliteral">&quot;CS[&quot;</span> &lt;&lt; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a28c0ede7e4765d2a686fc8ae0f5641a4">getSourceLoc</a>(<a class="code" href="classSVF_1_1ActualParmVFGNode.html#afe9b8911c6e79dd13e0df19b158a3179">getCallSite</a>()-&gt;<a class="code" href="classSVF_1_1ActualParmVFGNode.html#afe9b8911c6e79dd13e0df19b158a3179">getCallSite</a>()) &lt;&lt; <span class="stringliteral">&quot;]&quot;</span>;</div><div class="line"><a name="l00198"></a><span class="lineno">  198</span>&#160;    rawstr &lt;&lt; <a class="code" href="classSVF_1_1ArgumentVFGNode.html#af220abd2d55eafa518160be5a5137e8f">param</a>-&gt;<a class="code" href="classSVF_1_1SVFVar.html#ada932ef2ae0a3e712174df479c35b0dd">toString</a>();</div><div class="line"><a name="l00199"></a><span class="lineno">  199</span>&#160;    <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00200"></a><span class="lineno">  200</span>&#160;}</div><div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a28c0ede7e4765d2a686fc8ae0f5641a4"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a28c0ede7e4765d2a686fc8ae0f5641a4">SVF::SVFUtil::getSourceLoc</a></div><div class="ttdeci">std::string getSourceLoc(const Value *val)</div><div class="ttdoc">Return source code including line number and file name from debug information. </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00269">SVFUtil.cpp:269</a></div></div>
+<div class="fragment"><div class="line"><a name="l00193"></a><span class="lineno">  193</span>&#160;                                                  {</div><div class="line"><a name="l00194"></a><span class="lineno">  194</span>&#160;    std::string str;</div><div class="line"><a name="l00195"></a><span class="lineno">  195</span>&#160;    <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00196"></a><span class="lineno">  196</span>&#160;    rawstr &lt;&lt; <span class="stringliteral">&quot;ActualParmVFGNode ID: &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>() &lt;&lt; <span class="stringliteral">&quot; &quot;</span>;</div><div class="line"><a name="l00197"></a><span class="lineno">  197</span>&#160;    rawstr &lt;&lt; <span class="stringliteral">&quot;CS[&quot;</span> &lt;&lt; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a28c0ede7e4765d2a686fc8ae0f5641a4">getSourceLoc</a>(<a class="code" href="classSVF_1_1ActualParmVFGNode.html#ab153944a366488c5f7e91d61561e9c0e">getCallSite</a>()-&gt;<a class="code" href="classSVF_1_1ActualParmVFGNode.html#ab153944a366488c5f7e91d61561e9c0e">getCallSite</a>()) &lt;&lt; <span class="stringliteral">&quot;]&quot;</span>;</div><div class="line"><a name="l00198"></a><span class="lineno">  198</span>&#160;    rawstr &lt;&lt; <a class="code" href="classSVF_1_1ArgumentVFGNode.html#af220abd2d55eafa518160be5a5137e8f">param</a>-&gt;<a class="code" href="classSVF_1_1SVFVar.html#ada932ef2ae0a3e712174df479c35b0dd">toString</a>();</div><div class="line"><a name="l00199"></a><span class="lineno">  199</span>&#160;    <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00200"></a><span class="lineno">  200</span>&#160;}</div><div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a28c0ede7e4765d2a686fc8ae0f5641a4"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a28c0ede7e4765d2a686fc8ae0f5641a4">SVF::SVFUtil::getSourceLoc</a></div><div class="ttdeci">std::string getSourceLoc(const Value *val)</div><div class="ttdoc">Return source code including line number and file name from debug information. </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00269">SVFUtil.cpp:269</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFVar_html_ada932ef2ae0a3e712174df479c35b0dd"><div class="ttname"><a href="classSVF_1_1SVFVar.html#ada932ef2ae0a3e712174df479c35b0dd">SVF::SVFVar::toString</a></div><div class="ttdeci">virtual const std::string toString() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8cpp_source.html#l00100">SVFVariables.cpp:100</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00100">BasicTypes.h:100</a></div></div>
+<div class="ttc" id="classSVF_1_1ActualParmVFGNode_html_ab153944a366488c5f7e91d61561e9c0e"><div class="ttname"><a href="classSVF_1_1ActualParmVFGNode.html#ab153944a366488c5f7e91d61561e9c0e">SVF::ActualParmVFGNode::getCallSite</a></div><div class="ttdeci">const CallICFGNode * getCallSite() const</div><div class="ttdoc">Return callsite. </div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00843">VFGNode.h:843</a></div></div>
 <div class="ttc" id="classSVF_1_1ArgumentVFGNode_html_af220abd2d55eafa518160be5a5137e8f"><div class="ttname"><a href="classSVF_1_1ArgumentVFGNode.html#af220abd2d55eafa518160be5a5137e8f">SVF::ArgumentVFGNode::param</a></div><div class="ttdeci">const PAGNode * param</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00788">VFGNode.h:788</a></div></div>
 <div class="ttc" id="classSVF_1_1GenericNode_html_ac3e55ef37aefb411ea4c87b1aa3b1895"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode::getId</a></div><div class="ttdeci">NodeID getId() const</div><div class="ttdoc">Get ID. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00165">GenericGraph.h:165</a></div></div>
-<div class="ttc" id="classSVF_1_1ActualParmVFGNode_html_afe9b8911c6e79dd13e0df19b158a3179"><div class="ttname"><a href="classSVF_1_1ActualParmVFGNode.html#afe9b8911c6e79dd13e0df19b158a3179">SVF::ActualParmVFGNode::getCallSite</a></div><div class="ttdeci">const CallBlockNode * getCallSite() const</div><div class="ttdoc">Return callsite. </div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00843">VFGNode.h:843</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
 <h2 class="groupheader">Member Data Documentation</h2>
-<a id="afec49cb3b0f571edc4c35823ca5b55eb"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#afec49cb3b0f571edc4c35823ca5b55eb">&#9670;&nbsp;</a></span>cs</h2>
+<a id="a652f865955c1f345c656c9178376228a"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a652f865955c1f345c656c9178376228a">&#9670;&nbsp;</a></span>cs</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -562,7 +562,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::ActualParmVFGNode::cs</td>
+          <td class="memname">const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a>* SVF::ActualParmVFGNode::cs</td>
         </tr>
       </table>
   </td>

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

@@ -71,7 +71,7 @@ $(function() {
 <table class="directory">
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ActualRetVFGNode.html#adc425f00b03e7a59725161ce1a78b349">ActualRetVFGNode</a>()</td><td class="entry"><a class="el" href="classSVF_1_1ActualRetVFGNode.html">SVF::ActualRetVFGNode</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1ActualRetVFGNode.html#a2974c14c972559b366a3bbdfe08b4ea9">ActualRetVFGNode</a>(const ActualRetVFGNode &amp;)</td><td class="entry"><a class="el" href="classSVF_1_1ActualRetVFGNode.html">SVF::ActualRetVFGNode</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ActualRetVFGNode.html#a6e18ca317e0d71b99d0ee20ec4583ab6">ActualRetVFGNode</a>(NodeID id, const PAGNode *n, const CallBlockNode *c)</td><td class="entry"><a class="el" href="classSVF_1_1ActualRetVFGNode.html">SVF::ActualRetVFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ActualRetVFGNode.html#a35a0ac96ef0678286705a6c4981a4225">ActualRetVFGNode</a>(NodeID id, const PAGNode *n, const CallICFGNode *c)</td><td class="entry"><a class="el" href="classSVF_1_1ActualRetVFGNode.html">SVF::ActualRetVFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a93d217b0c9fd8008a2989ca2b4f3fbfb">addIncomingEdge</a>(EdgeType *inEdge)</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &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_1GenericNode.html#ae74283fbc788665296a69e56f334557b">addOutgoingEdge</a>(EdgeType *outEdge)</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75af866301a661c59a7aa3182c0a7fc0c92">Addr</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
@@ -90,7 +90,7 @@ $(function() {
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a98fd43afc6615f418d2d96209eb31828">Cmp</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a3c558955f60c237c558d8faafed781e8">const_iterator</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75af589a053fdb7efc728b68a324fc58b2b">Copy</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1ActualRetVFGNode.html#a17a849feee552005bed5ac7c6410009e">cs</a></td><td class="entry"><a class="el" href="classSVF_1_1ActualRetVFGNode.html">SVF::ActualRetVFGNode</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1ActualRetVFGNode.html#af1217e120a09ae262205278c69d8c643">cs</a></td><td class="entry"><a class="el" href="classSVF_1_1ActualRetVFGNode.html">SVF::ActualRetVFGNode</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a4ab1f2e5db301e4a37215905a22e6476">directInEdgeBegin</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &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_1GenericNode.html#ab331402aed245c33bad841df2bc21f7b">directInEdgeBegin</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &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_1GenericNode.html#a19599627ba095b5452373284deab7f6c">directInEdgeEnd</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
@@ -110,7 +110,7 @@ $(function() {
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#acdca5baae3e9e4208a60322fec9c9d3f">GenericNode</a>(NodeID i, GNodeK k)</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa2dffaa8741582ce06e591cbaf9257d7">Gep</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ActualRetVFGNode.html#ac8b9a7d905022c57699b7ba1ad5e3e51">getCaller</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ActualRetVFGNode.html">SVF::ActualRetVFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1ActualRetVFGNode.html#a984d1aa6c67d1f90bb00d3d34f455797">getCallSite</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ActualRetVFGNode.html">SVF::ActualRetVFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1ActualRetVFGNode.html#a06ea783375c18198b00121214c357c18">getCallSite</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ActualRetVFGNode.html">SVF::ActualRetVFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#ab98e74dfd4756e70e3e3c5b7d5e5ae27">getFun</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</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_1VFGNode.html#a0675465e11d1d42ee7e2b7ab3c5de829">getICFGNode</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</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_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>