svf-tools 1.0.341 → 1.0.345

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

@@ -87,12 +87,12 @@ Inheritance diagram for SVF::ActualRetVFGNode:</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:a6e18ca317e0d71b99d0ee20ec4583ab6"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ActualRetVFGNode.html#a6e18ca317e0d71b99d0ee20ec4583ab6">ActualRetVFGNode</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:a6e18ca317e0d71b99d0ee20ec4583ab6"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructor.  <a href="#a6e18ca317e0d71b99d0ee20ec4583ab6">More...</a><br /></td></tr>
-<tr class="separator:a6e18ca317e0d71b99d0ee20ec4583ab6"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a984d1aa6c67d1f90bb00d3d34f455797"><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_1ActualRetVFGNode.html#a984d1aa6c67d1f90bb00d3d34f455797">getCallSite</a> () const</td></tr>
-<tr class="memdesc:a984d1aa6c67d1f90bb00d3d34f455797"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return callsite.  <a href="#a984d1aa6c67d1f90bb00d3d34f455797">More...</a><br /></td></tr>
-<tr class="separator:a984d1aa6c67d1f90bb00d3d34f455797"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a35a0ac96ef0678286705a6c4981a4225"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ActualRetVFGNode.html#a35a0ac96ef0678286705a6c4981a4225">ActualRetVFGNode</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:a35a0ac96ef0678286705a6c4981a4225"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructor.  <a href="#a35a0ac96ef0678286705a6c4981a4225">More...</a><br /></td></tr>
+<tr class="separator:a35a0ac96ef0678286705a6c4981a4225"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a06ea783375c18198b00121214c357c18"><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_1ActualRetVFGNode.html#a06ea783375c18198b00121214c357c18">getCallSite</a> () const</td></tr>
+<tr class="memdesc:a06ea783375c18198b00121214c357c18"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return callsite.  <a href="#a06ea783375c18198b00121214c357c18">More...</a><br /></td></tr>
+<tr class="separator:a06ea783375c18198b00121214c357c18"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ac8b9a7d905022c57699b7ba1ad5e3e51"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ActualRetVFGNode.html#ac8b9a7d905022c57699b7ba1ad5e3e51">getCaller</a> () const</td></tr>
 <tr class="memdesc:ac8b9a7d905022c57699b7ba1ad5e3e51"><td class="mdescLeft">&#160;</td><td class="mdescRight">Receive parameter at callsite.  <a href="#ac8b9a7d905022c57699b7ba1ad5e3e51">More...</a><br /></td></tr>
 <tr class="separator:ac8b9a7d905022c57699b7ba1ad5e3e51"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -230,8 +230,8 @@ 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:a17a849feee552005bed5ac7c6410009e"><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_1ActualRetVFGNode.html#a17a849feee552005bed5ac7c6410009e">cs</a></td></tr>
-<tr class="separator:a17a849feee552005bed5ac7c6410009e"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:af1217e120a09ae262205278c69d8c643"><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_1ActualRetVFGNode.html#af1217e120a09ae262205278c69d8c643">cs</a></td></tr>
+<tr class="separator:af1217e120a09ae262205278c69d8c643"><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>
@@ -361,8 +361,8 @@ Additional Inherited Members</h2></td></tr>
 
 </div>
 </div>
-<a id="a6e18ca317e0d71b99d0ee20ec4583ab6"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a6e18ca317e0d71b99d0ee20ec4583ab6">&#9670;&nbsp;</a></span>ActualRetVFGNode() <span class="overload">[3/3]</span></h2>
+<a id="a35a0ac96ef0678286705a6c4981a4225"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a35a0ac96ef0678286705a6c4981a4225">&#9670;&nbsp;</a></span>ActualRetVFGNode() <span class="overload">[3/3]</span></h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -385,7 +385,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>
@@ -404,8 +404,8 @@ Additional Inherited Members</h2></td></tr>
 <p>Constructor. </p>
 
 <p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l00959">959</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00959"></a><span class="lineno">  959</span>&#160;                                                                          :</div><div class="line"><a name="l00960"></a><span class="lineno">  960</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#a99a54cf322b0eec3a1ef109ce5f2db75a283c290539f7f46d3cd474137ff37dfb">ARet</a>), <a class="code" href="classSVF_1_1ActualRetVFGNode.html#a17a849feee552005bed5ac7c6410009e">cs</a>(c)</div><div class="line"><a name="l00961"></a><span class="lineno">  961</span>&#160;    {</div><div class="line"><a name="l00962"></a><span class="lineno">  962</span>&#160;    }</div><div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75a283c290539f7f46d3cd474137ff37dfb"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a283c290539f7f46d3cd474137ff37dfb">SVF::VFGNode::ARet</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_1ActualRetVFGNode_html_a17a849feee552005bed5ac7c6410009e"><div class="ttname"><a href="classSVF_1_1ActualRetVFGNode.html#a17a849feee552005bed5ac7c6410009e">SVF::ActualRetVFGNode::cs</a></div><div class="ttdeci">const CallBlockNode * cs</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00951">VFGNode.h:951</a></div></div>
+<div class="fragment"><div class="line"><a name="l00959"></a><span class="lineno">  959</span>&#160;                                                                         :</div><div class="line"><a name="l00960"></a><span class="lineno">  960</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#a99a54cf322b0eec3a1ef109ce5f2db75a283c290539f7f46d3cd474137ff37dfb">ARet</a>), <a class="code" href="classSVF_1_1ActualRetVFGNode.html#af1217e120a09ae262205278c69d8c643">cs</a>(c)</div><div class="line"><a name="l00961"></a><span class="lineno">  961</span>&#160;    {</div><div class="line"><a name="l00962"></a><span class="lineno">  962</span>&#160;    }</div><div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75a283c290539f7f46d3cd474137ff37dfb"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a283c290539f7f46d3cd474137ff37dfb">SVF::VFGNode::ARet</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_1ActualRetVFGNode_html_af1217e120a09ae262205278c69d8c643"><div class="ttname"><a href="classSVF_1_1ActualRetVFGNode.html#af1217e120a09ae262205278c69d8c643">SVF::ActualRetVFGNode::cs</a></div><div class="ttdeci">const CallICFGNode * cs</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00951">VFGNode.h:951</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><!-- fragment -->
 </div>
@@ -554,13 +554,13 @@ Additional Inherited Members</h2></td></tr>
 <p>Receive parameter at callsite. </p>
 
 <p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l00969">969</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00970"></a><span class="lineno">  970</span>&#160;    {</div><div class="line"><a name="l00971"></a><span class="lineno">  971</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ActualRetVFGNode.html#a17a849feee552005bed5ac7c6410009e">cs</a>-&gt;<a class="code" href="classSVF_1_1CallBlockNode.html#a5bab98a0b8cf0a804d53abd994e922c0">getCaller</a>();</div><div class="line"><a name="l00972"></a><span class="lineno">  972</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CallBlockNode_html_a5bab98a0b8cf0a804d53abd994e922c0"><div class="ttname"><a href="classSVF_1_1CallBlockNode.html#a5bab98a0b8cf0a804d53abd994e922c0">SVF::CallBlockNode::getCaller</a></div><div class="ttdeci">const SVFFunction * getCaller() const</div><div class="ttdoc">Return callsite. </div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00400">ICFGNode.h:400</a></div></div>
-<div class="ttc" id="classSVF_1_1ActualRetVFGNode_html_a17a849feee552005bed5ac7c6410009e"><div class="ttname"><a href="classSVF_1_1ActualRetVFGNode.html#a17a849feee552005bed5ac7c6410009e">SVF::ActualRetVFGNode::cs</a></div><div class="ttdeci">const CallBlockNode * cs</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00951">VFGNode.h:951</a></div></div>
+<div class="fragment"><div class="line"><a name="l00970"></a><span class="lineno">  970</span>&#160;    {</div><div class="line"><a name="l00971"></a><span class="lineno">  971</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ActualRetVFGNode.html#af1217e120a09ae262205278c69d8c643">cs</a>-&gt;<a class="code" href="classSVF_1_1CallICFGNode.html#a18f4077d42b23c3fed35efc793b6102e">getCaller</a>();</div><div class="line"><a name="l00972"></a><span class="lineno">  972</span>&#160;    }</div><div class="ttc" id="classSVF_1_1ActualRetVFGNode_html_af1217e120a09ae262205278c69d8c643"><div class="ttname"><a href="classSVF_1_1ActualRetVFGNode.html#af1217e120a09ae262205278c69d8c643">SVF::ActualRetVFGNode::cs</a></div><div class="ttdeci">const CallICFGNode * cs</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00951">VFGNode.h:951</a></div></div>
+<div class="ttc" id="classSVF_1_1CallICFGNode_html_a18f4077d42b23c3fed35efc793b6102e"><div class="ttname"><a href="classSVF_1_1CallICFGNode.html#a18f4077d42b23c3fed35efc793b6102e">SVF::CallICFGNode::getCaller</a></div><div class="ttdeci">const SVFFunction * getCaller() const</div><div class="ttdoc">Return callsite. </div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00400">ICFGNode.h:400</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
-<a id="a984d1aa6c67d1f90bb00d3d34f455797"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a984d1aa6c67d1f90bb00d3d34f455797">&#9670;&nbsp;</a></span>getCallSite()</h2>
+<a id="a06ea783375c18198b00121214c357c18"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a06ea783375c18198b00121214c357c18">&#9670;&nbsp;</a></span>getCallSite()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -569,7 +569,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::ActualRetVFGNode::getCallSite </td>
+          <td class="memname">const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a>* SVF::ActualRetVFGNode::getCallSite </td>
           <td>(</td>
           <td class="paramname"></td><td>)</td>
           <td> const</td>
@@ -585,7 +585,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#l00964">964</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00965"></a><span class="lineno">  965</span>&#160;    {</div><div class="line"><a name="l00966"></a><span class="lineno">  966</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ActualRetVFGNode.html#a17a849feee552005bed5ac7c6410009e">cs</a>;</div><div class="line"><a name="l00967"></a><span class="lineno">  967</span>&#160;    }</div><div class="ttc" id="classSVF_1_1ActualRetVFGNode_html_a17a849feee552005bed5ac7c6410009e"><div class="ttname"><a href="classSVF_1_1ActualRetVFGNode.html#a17a849feee552005bed5ac7c6410009e">SVF::ActualRetVFGNode::cs</a></div><div class="ttdeci">const CallBlockNode * cs</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00951">VFGNode.h:951</a></div></div>
+<div class="fragment"><div class="line"><a name="l00965"></a><span class="lineno">  965</span>&#160;    {</div><div class="line"><a name="l00966"></a><span class="lineno">  966</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ActualRetVFGNode.html#af1217e120a09ae262205278c69d8c643">cs</a>;</div><div class="line"><a name="l00967"></a><span class="lineno">  967</span>&#160;    }</div><div class="ttc" id="classSVF_1_1ActualRetVFGNode_html_af1217e120a09ae262205278c69d8c643"><div class="ttname"><a href="classSVF_1_1ActualRetVFGNode.html#af1217e120a09ae262205278c69d8c643">SVF::ActualRetVFGNode::cs</a></div><div class="ttdeci">const CallICFGNode * cs</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00951">VFGNode.h:951</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -673,9 +673,9 @@ 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#l00212">212</a> of file <a class="el" href="VFG_8cpp_source.html">VFG.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00212"></a><span class="lineno">  212</span>&#160;                                                 {</div><div class="line"><a name="l00213"></a><span class="lineno">  213</span>&#160;    std::string str;</div><div class="line"><a name="l00214"></a><span class="lineno">  214</span>&#160;    <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00215"></a><span class="lineno">  215</span>&#160;    rawstr &lt;&lt; <span class="stringliteral">&quot;ActualRetVFGNode 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="l00216"></a><span class="lineno">  216</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_1ActualRetVFGNode.html#a984d1aa6c67d1f90bb00d3d34f455797">getCallSite</a>()-&gt;<a class="code" href="classSVF_1_1ActualRetVFGNode.html#a984d1aa6c67d1f90bb00d3d34f455797">getCallSite</a>()) &lt;&lt; <span class="stringliteral">&quot;]&quot;</span>;</div><div class="line"><a name="l00217"></a><span class="lineno">  217</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="l00218"></a><span class="lineno">  218</span>&#160;    <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00219"></a><span class="lineno">  219</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="l00212"></a><span class="lineno">  212</span>&#160;                                                 {</div><div class="line"><a name="l00213"></a><span class="lineno">  213</span>&#160;    std::string str;</div><div class="line"><a name="l00214"></a><span class="lineno">  214</span>&#160;    <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00215"></a><span class="lineno">  215</span>&#160;    rawstr &lt;&lt; <span class="stringliteral">&quot;ActualRetVFGNode 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="l00216"></a><span class="lineno">  216</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_1ActualRetVFGNode.html#a06ea783375c18198b00121214c357c18">getCallSite</a>()-&gt;<a class="code" href="classSVF_1_1ActualRetVFGNode.html#a06ea783375c18198b00121214c357c18">getCallSite</a>()) &lt;&lt; <span class="stringliteral">&quot;]&quot;</span>;</div><div class="line"><a name="l00217"></a><span class="lineno">  217</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="l00218"></a><span class="lineno">  218</span>&#160;    <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00219"></a><span class="lineno">  219</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_1ActualRetVFGNode_html_a06ea783375c18198b00121214c357c18"><div class="ttname"><a href="classSVF_1_1ActualRetVFGNode.html#a06ea783375c18198b00121214c357c18">SVF::ActualRetVFGNode::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#l00964">VFGNode.h:964</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="classSVF_1_1ActualRetVFGNode_html_a984d1aa6c67d1f90bb00d3d34f455797"><div class="ttname"><a href="classSVF_1_1ActualRetVFGNode.html#a984d1aa6c67d1f90bb00d3d34f455797">SVF::ActualRetVFGNode::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#l00964">VFGNode.h:964</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_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>
@@ -683,8 +683,8 @@ Additional Inherited Members</h2></td></tr>
 </div>
 </div>
 <h2 class="groupheader">Member Data Documentation</h2>
-<a id="a17a849feee552005bed5ac7c6410009e"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a17a849feee552005bed5ac7c6410009e">&#9670;&nbsp;</a></span>cs</h2>
+<a id="af1217e120a09ae262205278c69d8c643"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#af1217e120a09ae262205278c69d8c643">&#9670;&nbsp;</a></span>cs</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -693,7 +693,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::ActualRetVFGNode::cs</td>
+          <td class="memname">const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a>* SVF::ActualRetVFGNode::cs</td>
         </tr>
       </table>
   </td>

package/SVF-doxygen/html/html/classSVF_1_1AddrStmt.html

@@ -498,12 +498,12 @@ Additional Inherited Members</h2></td></tr>
 <p>Implements <a class="el" href="classSVF_1_1AssignStmt.html#abbe582a24bf4b42284f78eab5b18a90a">SVF::AssignStmt</a>.</p>
 
 <p class="definition">Definition at line <a class="el" href="SVFStatements_8cpp_source.html#l00068">68</a> of file <a class="el" href="SVFStatements_8cpp_source.html">SVFStatements.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00068"></a><span class="lineno">   68</span>&#160;                                        {</div><div class="line"><a name="l00069"></a><span class="lineno">   69</span>&#160;    std::string str;</div><div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;    <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00071"></a><span class="lineno">   71</span>&#160;    rawstr &lt;&lt; <span class="stringliteral">&quot;AddrStmt: [&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1AssignStmt.html#a98f731be7be9bc8e7fd09f5c2204c840">getLHSVarID</a>() &lt;&lt; <span class="stringliteral">&quot;&lt;--&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1AssignStmt.html#a4cec89489e82c60c287cae3327f3f01d">getRHSVarID</a>() &lt;&lt; <span class="stringliteral">&quot;]\t&quot;</span>;</div><div class="line"><a name="l00072"></a><span class="lineno">   72</span>&#160;    <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1Options.html#a8eba08052f7af57b762155a58844480c">Options::PAGDotGraphShorter</a>) {</div><div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div><div class="line"><a name="l00074"></a><span class="lineno">   74</span>&#160;    }</div><div class="line"><a name="l00075"></a><span class="lineno">   75</span>&#160;    rawstr &lt;&lt; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a7486fd8e5350879ed1cbd835c0d4e191">value2String</a>(<a class="code" href="classSVF_1_1SVFStmt.html#a65ee8b43a3a4999eb112a197d1a9f882">getValue</a>());</div><div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;    <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;}</div><div class="ttc" id="classSVF_1_1SVFStmt_html_a65ee8b43a3a4999eb112a197d1a9f882"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a65ee8b43a3a4999eb112a197d1a9f882">SVF::SVFStmt::getValue</a></div><div class="ttdeci">const Value * getValue() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00116">SVFStatements.h:116</a></div></div>
+<div class="fragment"><div class="line"><a name="l00068"></a><span class="lineno">   68</span>&#160;                                        {</div><div class="line"><a name="l00069"></a><span class="lineno">   69</span>&#160;    std::string str;</div><div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;    <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00071"></a><span class="lineno">   71</span>&#160;    rawstr &lt;&lt; <span class="stringliteral">&quot;AddrStmt: [Var&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1AssignStmt.html#a98f731be7be9bc8e7fd09f5c2204c840">getLHSVarID</a>() &lt;&lt; <span class="stringliteral">&quot; &lt;-- Var&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1AssignStmt.html#a4cec89489e82c60c287cae3327f3f01d">getRHSVarID</a>() &lt;&lt; <span class="stringliteral">&quot;]\t&quot;</span>;</div><div class="line"><a name="l00072"></a><span class="lineno">   72</span>&#160;    <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1Options.html#a63c2ff1420867ea4ef0a94d28b3f0558">Options::ShowSVFIRValue</a>) {</div><div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div><div class="line"><a name="l00074"></a><span class="lineno">   74</span>&#160;        rawstr &lt;&lt; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a7486fd8e5350879ed1cbd835c0d4e191">value2String</a>(<a class="code" href="classSVF_1_1SVFStmt.html#a65ee8b43a3a4999eb112a197d1a9f882">getValue</a>());</div><div class="line"><a name="l00075"></a><span class="lineno">   75</span>&#160;    }</div><div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;    <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;}</div><div class="ttc" id="classSVF_1_1SVFStmt_html_a65ee8b43a3a4999eb112a197d1a9f882"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a65ee8b43a3a4999eb112a197d1a9f882">SVF::SVFStmt::getValue</a></div><div class="ttdeci">const Value * getValue() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00116">SVFStatements.h:116</a></div></div>
 <div class="ttc" id="classSVF_1_1AssignStmt_html_a4cec89489e82c60c287cae3327f3f01d"><div class="ttname"><a href="classSVF_1_1AssignStmt.html#a4cec89489e82c60c287cae3327f3f01d">SVF::AssignStmt::getRHSVarID</a></div><div class="ttdeci">NodeID getRHSVarID() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00256">SVFStatements.h:256</a></div></div>
-<div class="ttc" id="classSVF_1_1Options_html_a8eba08052f7af57b762155a58844480c"><div class="ttname"><a href="classSVF_1_1Options.html#a8eba08052f7af57b762155a58844480c">SVF::Options::PAGDotGraphShorter</a></div><div class="ttdeci">static const llvm::cl::opt&lt; bool &gt; PAGDotGraphShorter</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00134">Options.h:134</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_1AssignStmt_html_a98f731be7be9bc8e7fd09f5c2204c840"><div class="ttname"><a href="classSVF_1_1AssignStmt.html#a98f731be7be9bc8e7fd09f5c2204c840">SVF::AssignStmt::getLHSVarID</a></div><div class="ttdeci">NodeID getLHSVarID() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00259">SVFStatements.h:259</a></div></div>
-<div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a7486fd8e5350879ed1cbd835c0d4e191"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a7486fd8e5350879ed1cbd835c0d4e191">SVF::SVFUtil::value2String</a></div><div class="ttdeci">const std::string value2String(const Value *value)</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00388">SVFUtil.cpp:388</a></div></div>
+<div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a7486fd8e5350879ed1cbd835c0d4e191"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a7486fd8e5350879ed1cbd835c0d4e191">SVF::SVFUtil::value2String</a></div><div class="ttdeci">const std::string value2String(const Value *value)</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00390">SVFUtil.cpp:390</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a63c2ff1420867ea4ef0a94d28b3f0558"><div class="ttname"><a href="classSVF_1_1Options.html#a63c2ff1420867ea4ef0a94d28b3f0558">SVF::Options::ShowSVFIRValue</a></div><div class="ttdeci">static const llvm::cl::opt&lt; bool &gt; ShowSVFIRValue</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00134">Options.h:134</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>

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

@@ -91,7 +91,7 @@ $(function() {
   <tr><td class="entry"><a class="el" href="classSVF_1_1DDAClient.html#a21badb317a249bbb506615182671b32c">setPAG</a>(SVFIR *g)</td><td class="entry"><a class="el" href="classSVF_1_1DDAClient.html">SVF::DDAClient</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1DDAClient.html#a3d0f732e284f3237287b375582c0aa88">setQuery</a>(NodeID ptr)</td><td class="entry"><a class="el" href="classSVF_1_1DDAClient.html">SVF::DDAClient</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1AliasDDAClient.html#aaad2197cec53f7eae91b3c57c168447a">storeDstNodes</a></td><td class="entry"><a class="el" href="classSVF_1_1AliasDDAClient.html">SVF::AliasDDAClient</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AliasDDAClient.html#aa9bb92cc906c04a82eba69494b05516c">VTablePtrToCallSiteMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1AliasDDAClient.html">SVF::AliasDDAClient</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AliasDDAClient.html#a1eb12d17470a8b1ae7131470ace2daa2">VTablePtrToCallSiteMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1AliasDDAClient.html">SVF::AliasDDAClient</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1AliasDDAClient.html#a123e98572cf077ffdf7116ac5f5fc5e4">vtableToCallSiteMap</a></td><td class="entry"><a class="el" href="classSVF_1_1AliasDDAClient.html">SVF::AliasDDAClient</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AliasDDAClient.html#ae312529998fff1a063ed12a980370716">~AliasDDAClient</a>()</td><td class="entry"><a class="el" href="classSVF_1_1AliasDDAClient.html">SVF::AliasDDAClient</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1DDAClient.html#a0d35dae2cbceebecba7c4a9782a98dff">~DDAClient</a>()</td><td class="entry"><a class="el" href="classSVF_1_1DDAClient.html">SVF::DDAClient</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>

package/SVF-doxygen/html/html/classSVF_1_1AliasDDAClient.html

@@ -132,12 +132,12 @@ Public Member Functions</h2></td></tr>
 </table><table class="memberdecls">
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pri-types"></a>
 Private Types</h2></td></tr>
-<tr class="memitem:aa9bb92cc906c04a82eba69494b05516c"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6">OrderedMap</a>&lt; <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a>, const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a> * &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AliasDDAClient.html#aa9bb92cc906c04a82eba69494b05516c">VTablePtrToCallSiteMap</a></td></tr>
-<tr class="separator:aa9bb92cc906c04a82eba69494b05516c"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a1eb12d17470a8b1ae7131470ace2daa2"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6">OrderedMap</a>&lt; <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a>, const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> * &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AliasDDAClient.html#a1eb12d17470a8b1ae7131470ace2daa2">VTablePtrToCallSiteMap</a></td></tr>
+<tr class="separator:a1eb12d17470a8b1ae7131470ace2daa2"><td class="memSeparator" colspan="2">&#160;</td></tr>
 </table><table class="memberdecls">
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pri-attribs"></a>
 Private Attributes</h2></td></tr>
-<tr class="memitem:a123e98572cf077ffdf7116ac5f5fc5e4"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1AliasDDAClient.html#aa9bb92cc906c04a82eba69494b05516c">VTablePtrToCallSiteMap</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AliasDDAClient.html#a123e98572cf077ffdf7116ac5f5fc5e4">vtableToCallSiteMap</a></td></tr>
+<tr class="memitem:a123e98572cf077ffdf7116ac5f5fc5e4"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1AliasDDAClient.html#a1eb12d17470a8b1ae7131470ace2daa2">VTablePtrToCallSiteMap</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AliasDDAClient.html#a123e98572cf077ffdf7116ac5f5fc5e4">vtableToCallSiteMap</a></td></tr>
 <tr class="separator:a123e98572cf077ffdf7116ac5f5fc5e4"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a246448efd1ff5da683a6ffe9f759e282"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1AliasDDAClient.html#a3c24763f943ae27f93b2be64a81ab488">PAGNodeSet</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AliasDDAClient.html#a246448efd1ff5da683a6ffe9f759e282">loadSrcNodes</a></td></tr>
 <tr class="separator:a246448efd1ff5da683a6ffe9f759e282"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -186,8 +186,8 @@ Additional Inherited Members</h2></td></tr>
 
 </div>
 </div>
-<a id="aa9bb92cc906c04a82eba69494b05516c"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#aa9bb92cc906c04a82eba69494b05516c">&#9670;&nbsp;</a></span>VTablePtrToCallSiteMap</h2>
+<a id="a1eb12d17470a8b1ae7131470ace2daa2"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a1eb12d17470a8b1ae7131470ace2daa2">&#9670;&nbsp;</a></span>VTablePtrToCallSiteMap</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -196,7 +196,7 @@ Additional Inherited Members</h2></td></tr>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">typedef <a class="el" href="namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6">OrderedMap</a>&lt;<a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a>,const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a>*&gt; <a class="el" href="classSVF_1_1AliasDDAClient.html#aa9bb92cc906c04a82eba69494b05516c">SVF::AliasDDAClient::VTablePtrToCallSiteMap</a></td>
+          <td class="memname">typedef <a class="el" href="namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6">OrderedMap</a>&lt;<a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a>,const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a>*&gt; <a class="el" href="classSVF_1_1AliasDDAClient.html#a1eb12d17470a8b1ae7131470ace2daa2">SVF::AliasDDAClient::VTablePtrToCallSiteMap</a></td>
         </tr>
       </table>
   </td>
@@ -437,7 +437,7 @@ Additional Inherited Members</h2></td></tr>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname"><a class="el" href="classSVF_1_1AliasDDAClient.html#aa9bb92cc906c04a82eba69494b05516c">VTablePtrToCallSiteMap</a> SVF::AliasDDAClient::vtableToCallSiteMap</td>
+          <td class="memname"><a class="el" href="classSVF_1_1AliasDDAClient.html#a1eb12d17470a8b1ae7131470ace2daa2">VTablePtrToCallSiteMap</a> SVF::AliasDDAClient::vtableToCallSiteMap</td>
         </tr>
       </table>
   </td>

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

@@ -109,13 +109,13 @@ $(function() {
   <tr><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 class="even"><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><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html#ab0e1242aadfe1e16a2bd1445658a5476">BVDataPTAImpl</a>(SVFIR *pag, PointerAnalysis::PTATY type, bool alias_check=true)</td><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html">SVF::BVDataPTAImpl</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#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 class="even"><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><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_1Andersen.html#a0f65f1881111167bffe1cb2ad05c0a51">CallSite2DummyValPN</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1Andersen.html">SVF::Andersen</a></td><td class="entry"></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1Andersen.html#a2f88b6035ecb480f7d11afe6bc666541">callsite2DummyValPN</a></td><td class="entry"><a class="el" href="classSVF_1_1Andersen.html">SVF::Andersen</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#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_1Andersen.html#a77e7378a3a35622bde2371d7d3ed7013">CGSCC</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1Andersen.html">SVF::Andersen</a></td><td class="entry"></td></tr>
   <tr><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>
@@ -138,7 +138,7 @@ $(function() {
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Andersen.html#a7e26ac6fb40684694f7ff2aadfde8bc7">computeDiffPts</a>(NodeID id)</td><td class="entry"><a class="el" href="classSVF_1_1Andersen.html">SVF::Andersen</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
   <tr><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 class="even"><td class="entry"><a class="el" href="classSVF_1_1Andersen.html#a5a90e681e46c52ffd3debf02910c7ecf">connectCaller2CalleeParams</a>(CallSite cs, const SVFFunction *F, NodePairSet &amp;cpySrcNodes)</td><td class="entry"><a class="el" href="classSVF_1_1Andersen.html">SVF::Andersen</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
-  <tr><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><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 class="even"><td class="entry"><a class="el" href="classSVF_1_1AndersenBase.html#ae21e38a06a4397d11cdd17b0f8f282fd">consCG</a></td><td class="entry"><a class="el" href="classSVF_1_1AndersenBase.html">SVF::AndersenBase</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a56368369bc37e37b13f19e5eb1890063">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 class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#afa7d9f6209904acd7893ae583e28dafd">containConstantNode</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>
@@ -182,12 +182,12 @@ $(function() {
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html#ab9c0bb439f98ae11dd178148109697ab">getDiffPTDataTy</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html">SVF::BVDataPTAImpl</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_1Andersen.html#a106691684d8e7a69157d423393d83d66">getDiffPts</a>(NodeID id)</td><td class="entry"><a class="el" href="classSVF_1_1Andersen.html">SVF::Andersen</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_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><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><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 class="even"><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><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 class="even"><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><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 class="even"><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 class="even"><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><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 class="even"><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><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html#acbb979edee9427efa2a7c0dbd881c483">getMutDFPTDataTy</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html">SVF::BVDataPTAImpl</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
@@ -202,14 +202,14 @@ $(function() {
   <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_1BVDataPTAImpl.html#a4859864a4c72d5e04c10305e4579e8ee">getVersionedPTDataTy</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html">SVF::BVDataPTAImpl</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#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 class="even"><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><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 class="even"><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><td class="entry"><a class="el" href="classSVF_1_1WPASolver.html#a2b0c0c4d1f172e8eeae0230fa09f365e">GNODE</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1WPASolver.html">SVF::WPASolver&lt; GraphType &gt;</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1WPASolver.html#abe0a304039d1bd2cfd7befd32fdcde2b">graph</a>()</td><td class="entry"><a class="el" href="classSVF_1_1WPASolver.html">SVF::WPASolver&lt; GraphType &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_1WPASolver.html#a64d9cb98ab38b441440b860ae4de0f9b">GTraits</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1WPASolver.html">SVF::WPASolver&lt; GraphType &gt;</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Andersen.html#ab069683dd6ca563113efbde2813ab35e">handleCopyGep</a>(ConstraintNode *node)</td><td class="entry"><a class="el" href="classSVF_1_1Andersen.html">SVF::Andersen</a></td><td class="entry"><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1Andersen.html#a0f32ba8cb1109c257552fa775a007ffd">handleLoadStore</a>(ConstraintNode *node)</td><td class="entry"><a class="el" href="classSVF_1_1Andersen.html">SVF::Andersen</a></td><td class="entry"><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_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#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_1Andersen.html#a7b1b9e9b25b5643440aca77e23a8de07">heapAllocatorViaIndCall</a>(CallSite cs, NodePairSet &amp;cpySrcNodes)</td><td class="entry"><a class="el" href="classSVF_1_1Andersen.html">SVF::Andersen</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#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_1Andersen.html#a20617a69c112ad423b1b5021e48a8548">initialize</a>()</td><td class="entry"><a class="el" href="classSVF_1_1Andersen.html">SVF::Andersen</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
@@ -226,7 +226,7 @@ $(function() {
   <tr class="even"><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><td class="entry"><a class="el" href="classSVF_1_1WPASolver.html#a992b105a0ec126050a123e24db3bd45b">isWorklistEmpty</a>()</td><td class="entry"><a class="el" href="classSVF_1_1WPASolver.html">SVF::WPASolver&lt; GraphType &gt;</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_1WPASolver.html#aa7c0636780a86f376e9222bce771e859">iterationForPrintStat</a></td><td class="entry"><a class="el" href="classSVF_1_1WPASolver.html">SVF::WPASolver&lt; GraphType &gt;</a></td><td class="entry"><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_1Andersen.html#af42fe6aeacfd31bbef7f5c80c8cf6173">matchType</a>(NodeID, NodeID, const NormalGepCGEdge *)</td><td class="entry"><a class="el" href="classSVF_1_1Andersen.html">SVF::Andersen</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1AndersenBase.html#a7cfafe54d564c9401f435362d44d3f9c">MaxPointsToSetSize</a></td><td class="entry"><a class="el" href="classSVF_1_1AndersenBase.html">SVF::AndersenBase</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Andersen.html#a36729160041bc3a3e2b0a92b29062848">mergeNodeToRep</a>(NodeID nodeId, NodeID newRepId)</td><td class="entry"><a class="el" href="classSVF_1_1Andersen.html">SVF::Andersen</a></td><td class="entry"><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
@@ -265,7 +265,7 @@ $(function() {
   <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_1WPASolver.html#a20a14ac31fe23d4fe67da15f5cc498df">popFromWorklist</a>()</td><td class="entry"><a class="el" href="classSVF_1_1WPASolver.html">SVF::WPASolver&lt; GraphType &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#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 class="even"><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 class="even"><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><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 class="even"><td class="entry"><a class="el" href="classSVF_1_1AndersenBase.html#a566830d0c7a1f5cd967bb8f2ab168f8d">printStat</a>()</td><td class="entry"><a class="el" href="classSVF_1_1AndersenBase.html">SVF::AndersenBase</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1Andersen.html#aca095e135edb5d27efe76bb7ee71184c">processAddr</a>(const AddrCGEdge *addr)</td><td class="entry"><a class="el" href="classSVF_1_1Andersen.html">SVF::Andersen</a></td><td class="entry"><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
@@ -295,8 +295,8 @@ $(function() {
   <tr><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html#a7a87ca1a439e871896f92e4342befa2c">remapPointsToSets</a>(void)</td><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html">SVF::BVDataPTAImpl</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Andersen.html#a95c0b2f501dff61993cd43a5cab89e17">resetData</a>()</td><td class="entry"><a class="el" href="classSVF_1_1Andersen.html">SVF::Andersen</a></td><td class="entry"><span class="mlabel">inline</span></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_1Andersen.html#a308ef1f3a1c9fd7ac1858d0c690aa37a">sanitizePts</a>()</td><td class="entry"><a class="el" href="classSVF_1_1Andersen.html">SVF::Andersen</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_1WPASolver.html#a1352953966be14b2a1d6244f35e74a33">SCC</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1WPASolver.html">SVF::WPASolver&lt; GraphType &gt;</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1WPASolver.html#a21709a0f33b6238afe735cc9fe49ff70">scc</a></td><td class="entry"><a class="el" href="classSVF_1_1WPASolver.html">SVF::WPASolver&lt; GraphType &gt;</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>