svf-tools 1.0.340 → 1.0.344

package/SVF-doxygen/html/html/classSVF_1_1SVFIR.html

@@ -89,11 +89,11 @@ Inheritance diagram for SVF::SVFIR:</div>
 <table class="memberdecls">
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-types"></a>
 Public Types</h2></td></tr>
-<tr class="memitem:ab4c2e6d44c679a9ba117843f2234784b"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set</a>&lt; 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_1SVFIR.html#ab4c2e6d44c679a9ba117843f2234784b">CallSiteSet</a></td></tr>
-<tr class="separator:ab4c2e6d44c679a9ba117843f2234784b"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a0f5732647f3f44ec12617029354fca11"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6">OrderedMap</a>&lt; const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a> *, <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFIR.html#a0f5732647f3f44ec12617029354fca11">CallSiteToFunPtrMap</a></td></tr>
-<tr class="separator:a0f5732647f3f44ec12617029354fca11"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ae0aab46dbf1e02d7ec6f754970f485f9"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a>, <a class="el" href="classSVF_1_1SVFIR.html#ab4c2e6d44c679a9ba117843f2234784b">CallSiteSet</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFIR.html#ae0aab46dbf1e02d7ec6f754970f485f9">FunPtrToCallSitesMap</a></td></tr>
+<tr class="memitem:a2b237e55fd8d7fd61eb3ac6968e4a76e"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set</a>&lt; 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_1SVFIR.html#a2b237e55fd8d7fd61eb3ac6968e4a76e">CallSiteSet</a></td></tr>
+<tr class="separator:a2b237e55fd8d7fd61eb3ac6968e4a76e"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a51bf00bfd1d32ea8a4a280cf99725d7d"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6">OrderedMap</a>&lt; const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *, <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFIR.html#a51bf00bfd1d32ea8a4a280cf99725d7d">CallSiteToFunPtrMap</a></td></tr>
+<tr class="separator:a51bf00bfd1d32ea8a4a280cf99725d7d"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ae0aab46dbf1e02d7ec6f754970f485f9"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a>, <a class="el" href="classSVF_1_1SVFIR.html#a2b237e55fd8d7fd61eb3ac6968e4a76e">CallSiteSet</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFIR.html#ae0aab46dbf1e02d7ec6f754970f485f9">FunPtrToCallSitesMap</a></td></tr>
 <tr class="separator:ae0aab46dbf1e02d7ec6f754970f485f9"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ab6abb822445c9b3f5cb2b7206042e940"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a>, <a class="el" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFIR.html#ab6abb822445c9b3f5cb2b7206042e940">MemObjToFieldsMap</a></td></tr>
 <tr class="separator:ab6abb822445c9b3f5cb2b7206042e940"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -105,10 +105,10 @@ Public Types</h2></td></tr>
 <tr class="separator:a08a05dfa6b9734936bb92b3969dbce3b"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a4541aa617c79f7922fe8e21c0f2b6b63"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *, <a class="el" href="classSVF_1_1SVFIR.html#a64939d7ecfd8e2cf862782954a56596b">SVFVarList</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFIR.html#a4541aa617c79f7922fe8e21c0f2b6b63">FunToArgsListMap</a></td></tr>
 <tr class="separator:a4541aa617c79f7922fe8e21c0f2b6b63"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a0321197dcaf5b00189b6dec732a799ef"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a> *, <a class="el" href="classSVF_1_1SVFIR.html#a64939d7ecfd8e2cf862782954a56596b">SVFVarList</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFIR.html#a0321197dcaf5b00189b6dec732a799ef">CSToArgsListMap</a></td></tr>
-<tr class="separator:a0321197dcaf5b00189b6dec732a799ef"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a8a7156b1182e8d32b3899d510514ae42"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; const <a class="el" href="classSVF_1_1RetBlockNode.html">RetBlockNode</a> *, const <a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> * &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFIR.html#a8a7156b1182e8d32b3899d510514ae42">CSToRetMap</a></td></tr>
-<tr class="separator:a8a7156b1182e8d32b3899d510514ae42"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a32f7ac512aa8d34923dabfe0f0867fca"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *, <a class="el" href="classSVF_1_1SVFIR.html#a64939d7ecfd8e2cf862782954a56596b">SVFVarList</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFIR.html#a32f7ac512aa8d34923dabfe0f0867fca">CSToArgsListMap</a></td></tr>
+<tr class="separator:a32f7ac512aa8d34923dabfe0f0867fca"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a3c7f0dff03671f71e0a453a4de722681"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; const <a class="el" href="classSVF_1_1RetICFGNode.html">RetICFGNode</a> *, const <a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> * &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFIR.html#a3c7f0dff03671f71e0a453a4de722681">CSToRetMap</a></td></tr>
+<tr class="separator:a3c7f0dff03671f71e0a453a4de722681"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ae34e5ff2f065ad752c248337d625b2e3"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *, const <a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> * &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFIR.html#ae34e5ff2f065ad752c248337d625b2e3">FunToRetMap</a></td></tr>
 <tr class="separator:ae34e5ff2f065ad752c248337d625b2e3"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ac918466df08a2ab30472f3e57935f005"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *, <a class="el" href="classSVF_1_1IRGraph.html#a28ea8f85b0923d00364a010c1fd4e416">SVFStmtSet</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFIR.html#ac918466df08a2ab30472f3e57935f005">FunToPAGEdgeSetMap</a></td></tr>
@@ -211,7 +211,7 @@ Public Member Functions</h2></td></tr>
 <tr class="memitem:a5c5adab1f68520a304fbf70ca40f7687"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1IRGraph.html#a28ea8f85b0923d00364a010c1fd4e416">SVFStmtSet</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFIR.html#a5c5adab1f68520a304fbf70ca40f7687">getGlobalSVFStmtSet</a> ()</td></tr>
 <tr class="memdesc:a5c5adab1f68520a304fbf70ca40f7687"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get global PAGEdges (not in a procedure)  <a href="#a5c5adab1f68520a304fbf70ca40f7687">More...</a><br /></td></tr>
 <tr class="separator:a5c5adab1f68520a304fbf70ca40f7687"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:aa530e33657f68fc2e8eae9435ce430cb"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1SVFIR.html#ab4c2e6d44c679a9ba117843f2234784b">CallSiteSet</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFIR.html#aa530e33657f68fc2e8eae9435ce430cb">getCallSiteSet</a> () const</td></tr>
+<tr class="memitem:aa530e33657f68fc2e8eae9435ce430cb"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1SVFIR.html#a2b237e55fd8d7fd61eb3ac6968e4a76e">CallSiteSet</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFIR.html#aa530e33657f68fc2e8eae9435ce430cb">getCallSiteSet</a> () const</td></tr>
 <tr class="memdesc:aa530e33657f68fc2e8eae9435ce430cb"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get all callsites.  <a href="#aa530e33657f68fc2e8eae9435ce430cb">More...</a><br /></td></tr>
 <tr class="separator:aa530e33657f68fc2e8eae9435ce430cb"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a5de67390d38bfacd5b63b776a0ecbfff"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFIR.html#a5de67390d38bfacd5b63b776a0ecbfff">isPhiNode</a> (const <a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> *node) const</td></tr>
@@ -226,23 +226,23 @@ Public Member Functions</h2></td></tr>
 <tr class="memitem:aa148e3e14ebad8460e32079f2f44413a"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1SVFIR.html#a64939d7ecfd8e2cf862782954a56596b">SVFVarList</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFIR.html#aa148e3e14ebad8460e32079f2f44413a">getFunArgsList</a> (const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *func) const</td></tr>
 <tr class="memdesc:aa148e3e14ebad8460e32079f2f44413a"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get function arguments list.  <a href="#aa148e3e14ebad8460e32079f2f44413a">More...</a><br /></td></tr>
 <tr class="separator:aa148e3e14ebad8460e32079f2f44413a"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a2a4185af81e7e10f0db74c39ee220101"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFIR.html#a2a4185af81e7e10f0db74c39ee220101">hasCallSiteArgsMap</a> (const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a> *cs) const</td></tr>
-<tr class="memdesc:a2a4185af81e7e10f0db74c39ee220101"><td class="mdescLeft">&#160;</td><td class="mdescRight">Callsite has argument list.  <a href="#a2a4185af81e7e10f0db74c39ee220101">More...</a><br /></td></tr>
-<tr class="separator:a2a4185af81e7e10f0db74c39ee220101"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a346b9300ad16ef65e3ab4e11f88193a7"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SVFIR.html#a0321197dcaf5b00189b6dec732a799ef">CSToArgsListMap</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFIR.html#a346b9300ad16ef65e3ab4e11f88193a7">getCallSiteArgsMap</a> ()</td></tr>
+<tr class="memitem:a95f77211550ec2374d57779d88cf5138"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFIR.html#a95f77211550ec2374d57779d88cf5138">hasCallSiteArgsMap</a> (const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *cs) const</td></tr>
+<tr class="memdesc:a95f77211550ec2374d57779d88cf5138"><td class="mdescLeft">&#160;</td><td class="mdescRight">Callsite has argument list.  <a href="#a95f77211550ec2374d57779d88cf5138">More...</a><br /></td></tr>
+<tr class="separator:a95f77211550ec2374d57779d88cf5138"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a346b9300ad16ef65e3ab4e11f88193a7"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SVFIR.html#a32f7ac512aa8d34923dabfe0f0867fca">CSToArgsListMap</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFIR.html#a346b9300ad16ef65e3ab4e11f88193a7">getCallSiteArgsMap</a> ()</td></tr>
 <tr class="memdesc:a346b9300ad16ef65e3ab4e11f88193a7"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get callsite argument list.  <a href="#a346b9300ad16ef65e3ab4e11f88193a7">More...</a><br /></td></tr>
 <tr class="separator:a346b9300ad16ef65e3ab4e11f88193a7"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ac7f90610a7b5f456c530a4419393fae5"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1SVFIR.html#a64939d7ecfd8e2cf862782954a56596b">SVFVarList</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFIR.html#ac7f90610a7b5f456c530a4419393fae5">getCallSiteArgsList</a> (const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a> *cs) const</td></tr>
-<tr class="memdesc:ac7f90610a7b5f456c530a4419393fae5"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get callsite argument list.  <a href="#ac7f90610a7b5f456c530a4419393fae5">More...</a><br /></td></tr>
-<tr class="separator:ac7f90610a7b5f456c530a4419393fae5"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a650b3931af337a92ffcb5dad5ab47b22"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SVFIR.html#a8a7156b1182e8d32b3899d510514ae42">CSToRetMap</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFIR.html#a650b3931af337a92ffcb5dad5ab47b22">getCallSiteRets</a> ()</td></tr>
+<tr class="memitem:a2a1e8ce39bf8deace3c344d5f05fe6ac"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1SVFIR.html#a64939d7ecfd8e2cf862782954a56596b">SVFVarList</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFIR.html#a2a1e8ce39bf8deace3c344d5f05fe6ac">getCallSiteArgsList</a> (const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *cs) const</td></tr>
+<tr class="memdesc:a2a1e8ce39bf8deace3c344d5f05fe6ac"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get callsite argument list.  <a href="#a2a1e8ce39bf8deace3c344d5f05fe6ac">More...</a><br /></td></tr>
+<tr class="separator:a2a1e8ce39bf8deace3c344d5f05fe6ac"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a650b3931af337a92ffcb5dad5ab47b22"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SVFIR.html#a3c7f0dff03671f71e0a453a4de722681">CSToRetMap</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFIR.html#a650b3931af337a92ffcb5dad5ab47b22">getCallSiteRets</a> ()</td></tr>
 <tr class="memdesc:a650b3931af337a92ffcb5dad5ab47b22"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get callsite return.  <a href="#a650b3931af337a92ffcb5dad5ab47b22">More...</a><br /></td></tr>
 <tr class="separator:a650b3931af337a92ffcb5dad5ab47b22"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a70aa4d730ef1d38ef9c46f5014465bdd"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFIR.html#a70aa4d730ef1d38ef9c46f5014465bdd">getCallSiteRet</a> (const <a class="el" href="classSVF_1_1RetBlockNode.html">RetBlockNode</a> *cs) const</td></tr>
-<tr class="memdesc:a70aa4d730ef1d38ef9c46f5014465bdd"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get callsite return.  <a href="#a70aa4d730ef1d38ef9c46f5014465bdd">More...</a><br /></td></tr>
-<tr class="separator:a70aa4d730ef1d38ef9c46f5014465bdd"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a170bef1e9a07ce0449faf66706ae6e61"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFIR.html#a170bef1e9a07ce0449faf66706ae6e61">callsiteHasRet</a> (const <a class="el" href="classSVF_1_1RetBlockNode.html">RetBlockNode</a> *cs) const</td></tr>
-<tr class="separator:a170bef1e9a07ce0449faf66706ae6e61"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a3145677c7a3763fc0d6aa7e21b264ab6"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFIR.html#a3145677c7a3763fc0d6aa7e21b264ab6">getCallSiteRet</a> (const <a class="el" href="classSVF_1_1RetICFGNode.html">RetICFGNode</a> *cs) const</td></tr>
+<tr class="memdesc:a3145677c7a3763fc0d6aa7e21b264ab6"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get callsite return.  <a href="#a3145677c7a3763fc0d6aa7e21b264ab6">More...</a><br /></td></tr>
+<tr class="separator:a3145677c7a3763fc0d6aa7e21b264ab6"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:aa79dba26cb34b40eee682713db299d5f"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFIR.html#aa79dba26cb34b40eee682713db299d5f">callsiteHasRet</a> (const <a class="el" href="classSVF_1_1RetICFGNode.html">RetICFGNode</a> *cs) const</td></tr>
+<tr class="separator:aa79dba26cb34b40eee682713db299d5f"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:abd1bb12776dc9a17863a52ce2cd31958"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SVFIR.html#ae34e5ff2f065ad752c248337d625b2e3">FunToRetMap</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFIR.html#abd1bb12776dc9a17863a52ce2cd31958">getFunRets</a> ()</td></tr>
 <tr class="memdesc:abd1bb12776dc9a17863a52ce2cd31958"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get function return list.  <a href="#abd1bb12776dc9a17863a52ce2cd31958">More...</a><br /></td></tr>
 <tr class="separator:abd1bb12776dc9a17863a52ce2cd31958"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -258,15 +258,15 @@ Public Member Functions</h2></td></tr>
 <tr class="memitem:af7a98a5eb789178594063140c85cd21f"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a2db29836a72e8d86e9baa6d8d55d2978">Size_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFIR.html#af7a98a5eb789178594063140c85cd21f">getFieldObjNodeNum</a> () const</td></tr>
 <tr class="separator:af7a98a5eb789178594063140c85cd21f"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr><td colspan="2"><div class="groupHeader"></div></td></tr>
-<tr class="memitem:a2d2131128ceb3362b5dc89317cfd88a0"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1SVFIR.html#a0f5732647f3f44ec12617029354fca11">CallSiteToFunPtrMap</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFIR.html#a2d2131128ceb3362b5dc89317cfd88a0">getIndirectCallsites</a> () const</td></tr>
+<tr class="memitem:a2d2131128ceb3362b5dc89317cfd88a0"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1SVFIR.html#a51bf00bfd1d32ea8a4a280cf99725d7d">CallSiteToFunPtrMap</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFIR.html#a2d2131128ceb3362b5dc89317cfd88a0">getIndirectCallsites</a> () const</td></tr>
 <tr class="memdesc:a2d2131128ceb3362b5dc89317cfd88a0"><td class="mdescLeft">&#160;</td><td class="mdescRight">Add/get indirect callsites.  <a href="#a2d2131128ceb3362b5dc89317cfd88a0">More...</a><br /></td></tr>
 <tr class="separator:a2d2131128ceb3362b5dc89317cfd88a0"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a533a01d01fab9e45cd1780f9bbd50b0f"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFIR.html#a533a01d01fab9e45cd1780f9bbd50b0f">getFunPtr</a> (const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a> *cs) const</td></tr>
-<tr class="separator:a533a01d01fab9e45cd1780f9bbd50b0f"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:abf209739a97b96ae0d1c8451fdc684e8"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1SVFIR.html#ab4c2e6d44c679a9ba117843f2234784b">CallSiteSet</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFIR.html#abf209739a97b96ae0d1c8451fdc684e8">getIndCallSites</a> (<a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> funPtr) const</td></tr>
+<tr class="memitem:a17c5d9fa7c0bd3cd03c06b5ff0906eb6"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFIR.html#a17c5d9fa7c0bd3cd03c06b5ff0906eb6">getFunPtr</a> (const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *cs) const</td></tr>
+<tr class="separator:a17c5d9fa7c0bd3cd03c06b5ff0906eb6"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:abf209739a97b96ae0d1c8451fdc684e8"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1SVFIR.html#a2b237e55fd8d7fd61eb3ac6968e4a76e">CallSiteSet</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFIR.html#abf209739a97b96ae0d1c8451fdc684e8">getIndCallSites</a> (<a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> funPtr) const</td></tr>
 <tr class="separator:abf209739a97b96ae0d1c8451fdc684e8"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ad44e1ef13d047f8aea8f6ddf5510bd6c"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFIR.html#ad44e1ef13d047f8aea8f6ddf5510bd6c">isIndirectCallSites</a> (const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a> *cs) const</td></tr>
-<tr class="separator:ad44e1ef13d047f8aea8f6ddf5510bd6c"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a3dbe0b17694daa74f648a70e77efaf23"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFIR.html#a3dbe0b17694daa74f648a70e77efaf23">isIndirectCallSites</a> (const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *cs) const</td></tr>
+<tr class="separator:a3dbe0b17694daa74f648a70e77efaf23"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a9235a60e7332c8416e113e7360441d97"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFIR.html#a9235a60e7332c8416e113e7360441d97">isFunPtr</a> (<a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> id) const</td></tr>
 <tr class="separator:a9235a60e7332c8416e113e7360441d97"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr><td colspan="2"><div class="groupHeader"></div></td></tr>
@@ -463,9 +463,9 @@ Private Member Functions</h2></td></tr>
 <tr class="memitem:ae3d9b4acb63a7dbe316e87bad4e3987a"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFIR.html#ae3d9b4acb63a7dbe316e87bad4e3987a">addGlobalPAGEdge</a> (const <a class="el" href="classSVF_1_1SVFStmt.html">SVFStmt</a> *edge)</td></tr>
 <tr class="memdesc:ae3d9b4acb63a7dbe316e87bad4e3987a"><td class="mdescLeft">&#160;</td><td class="mdescRight">Add global PAGEdges (not in a procedure)  <a href="#ae3d9b4acb63a7dbe316e87bad4e3987a">More...</a><br /></td></tr>
 <tr class="separator:ae3d9b4acb63a7dbe316e87bad4e3987a"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a51f28f03a236b244b636ca88c5511a30"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFIR.html#a51f28f03a236b244b636ca88c5511a30">addCallSite</a> (const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a> *call)</td></tr>
-<tr class="memdesc:a51f28f03a236b244b636ca88c5511a30"><td class="mdescLeft">&#160;</td><td class="mdescRight">Add callsites.  <a href="#a51f28f03a236b244b636ca88c5511a30">More...</a><br /></td></tr>
-<tr class="separator:a51f28f03a236b244b636ca88c5511a30"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a98341496bf470d23384f3d86a58591db"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFIR.html#a98341496bf470d23384f3d86a58591db">addCallSite</a> (const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *call)</td></tr>
+<tr class="memdesc:a98341496bf470d23384f3d86a58591db"><td class="mdescLeft">&#160;</td><td class="mdescRight">Add callsites.  <a href="#a98341496bf470d23384f3d86a58591db">More...</a><br /></td></tr>
+<tr class="separator:a98341496bf470d23384f3d86a58591db"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a33df5f5d9b7de3846cf973135b04f513"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SVFStmt.html">SVFStmt</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFIR.html#a33df5f5d9b7de3846cf973135b04f513">addBlackHoleAddrStmt</a> (<a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> node)</td></tr>
 <tr class="memdesc:a33df5f5d9b7de3846cf973135b04f513"><td class="mdescLeft">&#160;</td><td class="mdescRight">Set a pointer points-to black hole (e.g. int2ptr)  <a href="#a33df5f5d9b7de3846cf973135b04f513">More...</a><br /></td></tr>
 <tr class="separator:a33df5f5d9b7de3846cf973135b04f513"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -476,15 +476,15 @@ Private Member Functions</h2></td></tr>
 <tr class="memitem:a53774463f34bb8b528b179b72b48fd69"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFIR.html#a53774463f34bb8b528b179b72b48fd69">addFunRet</a> (const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *fun, const <a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> *ret)</td></tr>
 <tr class="memdesc:a53774463f34bb8b528b179b72b48fd69"><td class="mdescLeft">&#160;</td><td class="mdescRight">Add function returns.  <a href="#a53774463f34bb8b528b179b72b48fd69">More...</a><br /></td></tr>
 <tr class="separator:a53774463f34bb8b528b179b72b48fd69"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a5fafbfd6a30b8796b92a3a1f3409767f"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFIR.html#a5fafbfd6a30b8796b92a3a1f3409767f">addCallSiteArgs</a> (<a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a> *callBlockNode, const <a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> *arg)</td></tr>
-<tr class="memdesc:a5fafbfd6a30b8796b92a3a1f3409767f"><td class="mdescLeft">&#160;</td><td class="mdescRight">Add callsite arguments.  <a href="#a5fafbfd6a30b8796b92a3a1f3409767f">More...</a><br /></td></tr>
-<tr class="separator:a5fafbfd6a30b8796b92a3a1f3409767f"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a3c8070a1d7a6a705433b05dd633185b1"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFIR.html#a3c8070a1d7a6a705433b05dd633185b1">addCallSiteRets</a> (<a class="el" href="classSVF_1_1RetBlockNode.html">RetBlockNode</a> *retBlockNode, const <a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> *arg)</td></tr>
-<tr class="memdesc:a3c8070a1d7a6a705433b05dd633185b1"><td class="mdescLeft">&#160;</td><td class="mdescRight">Add callsite returns.  <a href="#a3c8070a1d7a6a705433b05dd633185b1">More...</a><br /></td></tr>
-<tr class="separator:a3c8070a1d7a6a705433b05dd633185b1"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:aa91db3ebf92eacf077ae7b4d0735635b"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFIR.html#aa91db3ebf92eacf077ae7b4d0735635b">addIndirectCallsites</a> (const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a> *cs, <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> funPtr)</td></tr>
-<tr class="memdesc:aa91db3ebf92eacf077ae7b4d0735635b"><td class="mdescLeft">&#160;</td><td class="mdescRight">Add indirect callsites.  <a href="#aa91db3ebf92eacf077ae7b4d0735635b">More...</a><br /></td></tr>
-<tr class="separator:aa91db3ebf92eacf077ae7b4d0735635b"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a69963e4030433103e84e57fc015871d8"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFIR.html#a69963e4030433103e84e57fc015871d8">addCallSiteArgs</a> (<a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *callBlockNode, const <a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> *arg)</td></tr>
+<tr class="memdesc:a69963e4030433103e84e57fc015871d8"><td class="mdescLeft">&#160;</td><td class="mdescRight">Add callsite arguments.  <a href="#a69963e4030433103e84e57fc015871d8">More...</a><br /></td></tr>
+<tr class="separator:a69963e4030433103e84e57fc015871d8"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a72efebdfe007ec8c515967ede76b6ce0"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFIR.html#a72efebdfe007ec8c515967ede76b6ce0">addCallSiteRets</a> (<a class="el" href="classSVF_1_1RetICFGNode.html">RetICFGNode</a> *retBlockNode, const <a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> *arg)</td></tr>
+<tr class="memdesc:a72efebdfe007ec8c515967ede76b6ce0"><td class="mdescLeft">&#160;</td><td class="mdescRight">Add callsite returns.  <a href="#a72efebdfe007ec8c515967ede76b6ce0">More...</a><br /></td></tr>
+<tr class="separator:a72efebdfe007ec8c515967ede76b6ce0"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:af4a5fd9ecddb1447207335917adccd68"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFIR.html#af4a5fd9ecddb1447207335917adccd68">addIndirectCallsites</a> (const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *cs, <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> funPtr)</td></tr>
+<tr class="memdesc:af4a5fd9ecddb1447207335917adccd68"><td class="mdescLeft">&#160;</td><td class="mdescRight">Add indirect callsites.  <a href="#af4a5fd9ecddb1447207335917adccd68">More...</a><br /></td></tr>
+<tr class="separator:af4a5fd9ecddb1447207335917adccd68"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a93bc14960cdd4eb345c64e9b79757ccf"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFIR.html#a93bc14960cdd4eb345c64e9b79757ccf">addValNode</a> (const <a class="el" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a> *val, <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> i)</td></tr>
 <tr class="memdesc:a93bc14960cdd4eb345c64e9b79757ccf"><td class="mdescLeft">&#160;</td><td class="mdescRight">add node into <a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a>  <a href="#a93bc14960cdd4eb345c64e9b79757ccf">More...</a><br /></td></tr>
 <tr class="separator:a93bc14960cdd4eb345c64e9b79757ccf"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -545,15 +545,15 @@ Private Member Functions</h2></td></tr>
 <tr class="memitem:a3837804b2622baf7e6991aa993286e9e"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1LoadStmt.html">LoadStmt</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFIR.html#a3837804b2622baf7e6991aa993286e9e">addLoadStmt</a> (<a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> src, <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> dst)</td></tr>
 <tr class="memdesc:a3837804b2622baf7e6991aa993286e9e"><td class="mdescLeft">&#160;</td><td class="mdescRight">Add Load edge.  <a href="#a3837804b2622baf7e6991aa993286e9e">More...</a><br /></td></tr>
 <tr class="separator:a3837804b2622baf7e6991aa993286e9e"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a4b491e2d3eb5e041677decd73136c870"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1StoreStmt.html">StoreStmt</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFIR.html#a4b491e2d3eb5e041677decd73136c870">addStoreStmt</a> (<a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> src, <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> dst, const <a class="el" href="classSVF_1_1IntraBlockNode.html">IntraBlockNode</a> *val)</td></tr>
-<tr class="memdesc:a4b491e2d3eb5e041677decd73136c870"><td class="mdescLeft">&#160;</td><td class="mdescRight">Add Store edge.  <a href="#a4b491e2d3eb5e041677decd73136c870">More...</a><br /></td></tr>
-<tr class="separator:a4b491e2d3eb5e041677decd73136c870"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a9e99fcf29016ef401f53491ec54a4053"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1CallPE.html">CallPE</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFIR.html#a9e99fcf29016ef401f53491ec54a4053">addCallPE</a> (<a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> src, <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> dst, const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a> *cs)</td></tr>
-<tr class="memdesc:a9e99fcf29016ef401f53491ec54a4053"><td class="mdescLeft">&#160;</td><td class="mdescRight">Add Call edge.  <a href="#a9e99fcf29016ef401f53491ec54a4053">More...</a><br /></td></tr>
-<tr class="separator:a9e99fcf29016ef401f53491ec54a4053"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a12fef4ec0537b26947eb0ab10799f29f"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1RetPE.html">RetPE</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFIR.html#a12fef4ec0537b26947eb0ab10799f29f">addRetPE</a> (<a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> src, <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> dst, const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a> *cs)</td></tr>
-<tr class="memdesc:a12fef4ec0537b26947eb0ab10799f29f"><td class="mdescLeft">&#160;</td><td class="mdescRight">Add Return edge.  <a href="#a12fef4ec0537b26947eb0ab10799f29f">More...</a><br /></td></tr>
-<tr class="separator:a12fef4ec0537b26947eb0ab10799f29f"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:af9804d78e4158d3c8961e1f84bbef91e"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1StoreStmt.html">StoreStmt</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFIR.html#af9804d78e4158d3c8961e1f84bbef91e">addStoreStmt</a> (<a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> src, <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> dst, const <a class="el" href="classSVF_1_1IntraICFGNode.html">IntraICFGNode</a> *val)</td></tr>
+<tr class="memdesc:af9804d78e4158d3c8961e1f84bbef91e"><td class="mdescLeft">&#160;</td><td class="mdescRight">Add Store edge.  <a href="#af9804d78e4158d3c8961e1f84bbef91e">More...</a><br /></td></tr>
+<tr class="separator:af9804d78e4158d3c8961e1f84bbef91e"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a2244c6180cede066186d9f7098bf9325"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1CallPE.html">CallPE</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFIR.html#a2244c6180cede066186d9f7098bf9325">addCallPE</a> (<a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> src, <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> dst, const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *cs)</td></tr>
+<tr class="memdesc:a2244c6180cede066186d9f7098bf9325"><td class="mdescLeft">&#160;</td><td class="mdescRight">Add Call edge.  <a href="#a2244c6180cede066186d9f7098bf9325">More...</a><br /></td></tr>
+<tr class="separator:a2244c6180cede066186d9f7098bf9325"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:af7edf234425e890d1cf3ff812000206d"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1RetPE.html">RetPE</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFIR.html#af7edf234425e890d1cf3ff812000206d">addRetPE</a> (<a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> src, <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> dst, const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *cs)</td></tr>
+<tr class="memdesc:af7edf234425e890d1cf3ff812000206d"><td class="mdescLeft">&#160;</td><td class="mdescRight">Add Return edge.  <a href="#af7edf234425e890d1cf3ff812000206d">More...</a><br /></td></tr>
+<tr class="separator:af7edf234425e890d1cf3ff812000206d"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a9eeab593b2f161ad268d27a7031aedbe"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GepStmt.html">GepStmt</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFIR.html#a9eeab593b2f161ad268d27a7031aedbe">addGepStmt</a> (<a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> src, <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> dst, const <a class="el" href="classSVF_1_1LocationSet.html">LocationSet</a> &amp;ls, bool constGep)</td></tr>
 <tr class="memdesc:a9eeab593b2f161ad268d27a7031aedbe"><td class="mdescLeft">&#160;</td><td class="mdescRight">Add Gep edge.  <a href="#a9eeab593b2f161ad268d27a7031aedbe">More...</a><br /></td></tr>
 <tr class="separator:a9eeab593b2f161ad268d27a7031aedbe"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -563,12 +563,12 @@ Private Member Functions</h2></td></tr>
 <tr class="memitem:abbd4b6430444a91e991636abf189c00b"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1VariantGepStmt.html">VariantGepStmt</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFIR.html#abbd4b6430444a91e991636abf189c00b">addVariantGepStmt</a> (<a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> src, <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> dst, const <a class="el" href="classSVF_1_1LocationSet.html">LocationSet</a> &amp;ls)</td></tr>
 <tr class="memdesc:abbd4b6430444a91e991636abf189c00b"><td class="mdescLeft">&#160;</td><td class="mdescRight">Add Variant(Gep) edge.  <a href="#abbd4b6430444a91e991636abf189c00b">More...</a><br /></td></tr>
 <tr class="separator:abbd4b6430444a91e991636abf189c00b"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a787dc5aff6f7a7d8ec3a7a23d9f40a7e"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1TDForkPE.html">TDForkPE</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFIR.html#a787dc5aff6f7a7d8ec3a7a23d9f40a7e">addThreadForkPE</a> (<a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> src, <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> dst, const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a> *cs)</td></tr>
-<tr class="memdesc:a787dc5aff6f7a7d8ec3a7a23d9f40a7e"><td class="mdescLeft">&#160;</td><td class="mdescRight">Add Thread fork edge for parameter passing.  <a href="#a787dc5aff6f7a7d8ec3a7a23d9f40a7e">More...</a><br /></td></tr>
-<tr class="separator:a787dc5aff6f7a7d8ec3a7a23d9f40a7e"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a4f64a1a266838ac72b66cca138ec57ca"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1TDJoinPE.html">TDJoinPE</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFIR.html#a4f64a1a266838ac72b66cca138ec57ca">addThreadJoinPE</a> (<a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> src, <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> dst, const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a> *cs)</td></tr>
-<tr class="memdesc:a4f64a1a266838ac72b66cca138ec57ca"><td class="mdescLeft">&#160;</td><td class="mdescRight">Add Thread join edge for parameter passing.  <a href="#a4f64a1a266838ac72b66cca138ec57ca">More...</a><br /></td></tr>
-<tr class="separator:a4f64a1a266838ac72b66cca138ec57ca"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:aa498f73f62e19f4f9f63e265938ce408"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1TDForkPE.html">TDForkPE</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFIR.html#aa498f73f62e19f4f9f63e265938ce408">addThreadForkPE</a> (<a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> src, <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> dst, const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *cs)</td></tr>
+<tr class="memdesc:aa498f73f62e19f4f9f63e265938ce408"><td class="mdescLeft">&#160;</td><td class="mdescRight">Add Thread fork edge for parameter passing.  <a href="#aa498f73f62e19f4f9f63e265938ce408">More...</a><br /></td></tr>
+<tr class="separator:aa498f73f62e19f4f9f63e265938ce408"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ad50f150bb3bac77687b3d1210f21d2ed"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1TDJoinPE.html">TDJoinPE</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFIR.html#ad50f150bb3bac77687b3d1210f21d2ed">addThreadJoinPE</a> (<a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> src, <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> dst, const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *cs)</td></tr>
+<tr class="memdesc:ad50f150bb3bac77687b3d1210f21d2ed"><td class="mdescLeft">&#160;</td><td class="mdescRight">Add Thread join edge for parameter passing.  <a href="#ad50f150bb3bac77687b3d1210f21d2ed">More...</a><br /></td></tr>
+<tr class="separator:ad50f150bb3bac77687b3d1210f21d2ed"><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>
@@ -596,16 +596,16 @@ Private Attributes</h2></td></tr>
 <tr class="memitem:a864c465fbfdbbbdcc7fc8bbe26737903"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SVFIR.html#a4541aa617c79f7922fe8e21c0f2b6b63">FunToArgsListMap</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFIR.html#a864c465fbfdbbbdcc7fc8bbe26737903">funArgsListMap</a></td></tr>
 <tr class="memdesc:a864c465fbfdbbbdcc7fc8bbe26737903"><td class="mdescLeft">&#160;</td><td class="mdescRight">Map a function to a list of all its formal parameters.  <a href="#a864c465fbfdbbbdcc7fc8bbe26737903">More...</a><br /></td></tr>
 <tr class="separator:a864c465fbfdbbbdcc7fc8bbe26737903"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:aa0920f5f967efdb89e23f12d31b112a2"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SVFIR.html#a0321197dcaf5b00189b6dec732a799ef">CSToArgsListMap</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFIR.html#aa0920f5f967efdb89e23f12d31b112a2">callSiteArgsListMap</a></td></tr>
+<tr class="memitem:aa0920f5f967efdb89e23f12d31b112a2"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SVFIR.html#a32f7ac512aa8d34923dabfe0f0867fca">CSToArgsListMap</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFIR.html#aa0920f5f967efdb89e23f12d31b112a2">callSiteArgsListMap</a></td></tr>
 <tr class="memdesc:aa0920f5f967efdb89e23f12d31b112a2"><td class="mdescLeft">&#160;</td><td class="mdescRight">Map a callsite to a list of all its actual parameters.  <a href="#aa0920f5f967efdb89e23f12d31b112a2">More...</a><br /></td></tr>
 <tr class="separator:aa0920f5f967efdb89e23f12d31b112a2"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a11ab07f48c934f45c239393332aa60e1"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SVFIR.html#a8a7156b1182e8d32b3899d510514ae42">CSToRetMap</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFIR.html#a11ab07f48c934f45c239393332aa60e1">callSiteRetMap</a></td></tr>
+<tr class="memitem:a11ab07f48c934f45c239393332aa60e1"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SVFIR.html#a3c7f0dff03671f71e0a453a4de722681">CSToRetMap</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFIR.html#a11ab07f48c934f45c239393332aa60e1">callSiteRetMap</a></td></tr>
 <tr class="memdesc:a11ab07f48c934f45c239393332aa60e1"><td class="mdescLeft">&#160;</td><td class="mdescRight">Map a callsite to its callsite returns PAGNodes.  <a href="#a11ab07f48c934f45c239393332aa60e1">More...</a><br /></td></tr>
 <tr class="separator:a11ab07f48c934f45c239393332aa60e1"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a4cef56f7fc77b47dc6e65c59c98551c5"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SVFIR.html#ae34e5ff2f065ad752c248337d625b2e3">FunToRetMap</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFIR.html#a4cef56f7fc77b47dc6e65c59c98551c5">funRetMap</a></td></tr>
 <tr class="memdesc:a4cef56f7fc77b47dc6e65c59c98551c5"><td class="mdescLeft">&#160;</td><td class="mdescRight">Map a function to its unique function return PAGNodes.  <a href="#a4cef56f7fc77b47dc6e65c59c98551c5">More...</a><br /></td></tr>
 <tr class="separator:a4cef56f7fc77b47dc6e65c59c98551c5"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a0a5f88766b7e11f1ea35befcbcea62dc"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SVFIR.html#a0f5732647f3f44ec12617029354fca11">CallSiteToFunPtrMap</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFIR.html#a0a5f88766b7e11f1ea35befcbcea62dc">indCallSiteToFunPtrMap</a></td></tr>
+<tr class="memitem:a0a5f88766b7e11f1ea35befcbcea62dc"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SVFIR.html#a51bf00bfd1d32ea8a4a280cf99725d7d">CallSiteToFunPtrMap</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFIR.html#a0a5f88766b7e11f1ea35befcbcea62dc">indCallSiteToFunPtrMap</a></td></tr>
 <tr class="memdesc:a0a5f88766b7e11f1ea35befcbcea62dc"><td class="mdescLeft">&#160;</td><td class="mdescRight">Map an indirect callsite to its function pointer.  <a href="#a0a5f88766b7e11f1ea35befcbcea62dc">More...</a><br /></td></tr>
 <tr class="separator:a0a5f88766b7e11f1ea35befcbcea62dc"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:af9c840e4b82fe9fd9493eabaa2b52bd5"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SVFIR.html#ae0aab46dbf1e02d7ec6f754970f485f9">FunPtrToCallSitesMap</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFIR.html#af9c840e4b82fe9fd9493eabaa2b52bd5">funPtrToCallSitesMap</a></td></tr>
@@ -614,7 +614,7 @@ Private Attributes</h2></td></tr>
 <tr class="separator:abd9f622b55839d6796ca2576f2323498"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:abe8aa0d325b35dd59ce4a7f302760e51"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1ICFG.html">ICFG</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFIR.html#abe8aa0d325b35dd59ce4a7f302760e51">icfg</a></td></tr>
 <tr class="separator:abe8aa0d325b35dd59ce4a7f302760e51"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ac6c537688366e73bb0ae5db49c0b2450"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SVFIR.html#ab4c2e6d44c679a9ba117843f2234784b">CallSiteSet</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFIR.html#ac6c537688366e73bb0ae5db49c0b2450">callSiteSet</a></td></tr>
+<tr class="memitem:ac6c537688366e73bb0ae5db49c0b2450"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SVFIR.html#a2b237e55fd8d7fd61eb3ac6968e4a76e">CallSiteSet</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFIR.html#ac6c537688366e73bb0ae5db49c0b2450">callSiteSet</a></td></tr>
 <tr class="separator:ac6c537688366e73bb0ae5db49c0b2450"><td class="memSeparator" colspan="2">&#160;</td></tr>
 </table><table class="memberdecls">
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pri-static-attribs"></a>
@@ -690,14 +690,14 @@ Additional Inherited Members</h2></td></tr>
 
 <p class="definition">Definition at line <a class="el" href="SVFIR_8h_source.html#l00043">43</a> of file <a class="el" href="SVFIR_8h_source.html">SVFIR.h</a>.</p>
 </div><h2 class="groupheader">Member Typedef Documentation</h2>
-<a id="ab4c2e6d44c679a9ba117843f2234784b"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#ab4c2e6d44c679a9ba117843f2234784b">&#9670;&nbsp;</a></span>CallSiteSet</h2>
+<a id="a2b237e55fd8d7fd61eb3ac6968e4a76e"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a2b237e55fd8d7fd61eb3ac6968e4a76e">&#9670;&nbsp;</a></span>CallSiteSet</h2>
 
 <div class="memitem">
 <div class="memproto">
       <table class="memname">
         <tr>
-          <td class="memname">typedef <a class="el" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set</a>&lt;const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a>*&gt; <a class="el" href="classSVF_1_1SVFIR.html#ab4c2e6d44c679a9ba117843f2234784b">SVF::SVFIR::CallSiteSet</a></td>
+          <td class="memname">typedef <a class="el" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set</a>&lt;const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a>*&gt; <a class="el" href="classSVF_1_1SVFIR.html#a2b237e55fd8d7fd61eb3ac6968e4a76e">SVF::SVFIR::CallSiteSet</a></td>
         </tr>
       </table>
 </div><div class="memdoc">
@@ -706,14 +706,14 @@ Additional Inherited Members</h2></td></tr>
 
 </div>
 </div>
-<a id="a0f5732647f3f44ec12617029354fca11"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a0f5732647f3f44ec12617029354fca11">&#9670;&nbsp;</a></span>CallSiteToFunPtrMap</h2>
+<a id="a51bf00bfd1d32ea8a4a280cf99725d7d"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a51bf00bfd1d32ea8a4a280cf99725d7d">&#9670;&nbsp;</a></span>CallSiteToFunPtrMap</h2>
 
 <div class="memitem">
 <div class="memproto">
       <table class="memname">
         <tr>
-          <td class="memname">typedef <a class="el" href="namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6">OrderedMap</a>&lt;const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a>*,<a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a>&gt; <a class="el" href="classSVF_1_1SVFIR.html#a0f5732647f3f44ec12617029354fca11">SVF::SVFIR::CallSiteToFunPtrMap</a></td>
+          <td class="memname">typedef <a class="el" href="namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6">OrderedMap</a>&lt;const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a>*,<a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a>&gt; <a class="el" href="classSVF_1_1SVFIR.html#a51bf00bfd1d32ea8a4a280cf99725d7d">SVF::SVFIR::CallSiteToFunPtrMap</a></td>
         </tr>
       </table>
 </div><div class="memdoc">
@@ -722,14 +722,14 @@ Additional Inherited Members</h2></td></tr>
 
 </div>
 </div>
-<a id="a0321197dcaf5b00189b6dec732a799ef"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a0321197dcaf5b00189b6dec732a799ef">&#9670;&nbsp;</a></span>CSToArgsListMap</h2>
+<a id="a32f7ac512aa8d34923dabfe0f0867fca"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a32f7ac512aa8d34923dabfe0f0867fca">&#9670;&nbsp;</a></span>CSToArgsListMap</h2>
 
 <div class="memitem">
 <div class="memproto">
       <table class="memname">
         <tr>
-          <td class="memname">typedef <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt;const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a>*,<a class="el" href="classSVF_1_1SVFIR.html#a64939d7ecfd8e2cf862782954a56596b">SVFVarList</a>&gt; <a class="el" href="classSVF_1_1SVFIR.html#a0321197dcaf5b00189b6dec732a799ef">SVF::SVFIR::CSToArgsListMap</a></td>
+          <td class="memname">typedef <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt;const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a>*,<a class="el" href="classSVF_1_1SVFIR.html#a64939d7ecfd8e2cf862782954a56596b">SVFVarList</a>&gt; <a class="el" href="classSVF_1_1SVFIR.html#a32f7ac512aa8d34923dabfe0f0867fca">SVF::SVFIR::CSToArgsListMap</a></td>
         </tr>
       </table>
 </div><div class="memdoc">
@@ -738,14 +738,14 @@ Additional Inherited Members</h2></td></tr>
 
 </div>
 </div>
-<a id="a8a7156b1182e8d32b3899d510514ae42"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a8a7156b1182e8d32b3899d510514ae42">&#9670;&nbsp;</a></span>CSToRetMap</h2>
+<a id="a3c7f0dff03671f71e0a453a4de722681"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a3c7f0dff03671f71e0a453a4de722681">&#9670;&nbsp;</a></span>CSToRetMap</h2>
 
 <div class="memitem">
 <div class="memproto">
       <table class="memname">
         <tr>
-          <td class="memname">typedef <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt;const <a class="el" href="classSVF_1_1RetBlockNode.html">RetBlockNode</a>*,const <a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a>*&gt; <a class="el" href="classSVF_1_1SVFIR.html#a8a7156b1182e8d32b3899d510514ae42">SVF::SVFIR::CSToRetMap</a></td>
+          <td class="memname">typedef <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt;const <a class="el" href="classSVF_1_1RetICFGNode.html">RetICFGNode</a>*,const <a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a>*&gt; <a class="el" href="classSVF_1_1SVFIR.html#a3c7f0dff03671f71e0a453a4de722681">SVF::SVFIR::CSToRetMap</a></td>
         </tr>
       </table>
 </div><div class="memdoc">
@@ -761,7 +761,7 @@ Additional Inherited Members</h2></td></tr>
 <div class="memproto">
       <table class="memname">
         <tr>
-          <td class="memname">typedef <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt;<a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a>,<a class="el" href="classSVF_1_1SVFIR.html#ab4c2e6d44c679a9ba117843f2234784b">CallSiteSet</a>&gt; <a class="el" href="classSVF_1_1SVFIR.html#ae0aab46dbf1e02d7ec6f754970f485f9">SVF::SVFIR::FunPtrToCallSitesMap</a></td>
+          <td class="memname">typedef <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt;<a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a>,<a class="el" href="classSVF_1_1SVFIR.html#a2b237e55fd8d7fd61eb3ac6968e4a76e">CallSiteSet</a>&gt; <a class="el" href="classSVF_1_1SVFIR.html#ae0aab46dbf1e02d7ec6f754970f485f9">SVF::SVFIR::FunPtrToCallSitesMap</a></td>
         </tr>
       </table>
 </div><div class="memdoc">
@@ -1338,8 +1338,8 @@ Additional Inherited Members</h2></td></tr>
 </div><!-- fragment -->
 </div>
 </div>
-<a id="a9e99fcf29016ef401f53491ec54a4053"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a9e99fcf29016ef401f53491ec54a4053">&#9670;&nbsp;</a></span>addCallPE()</h2>
+<a id="a2244c6180cede066186d9f7098bf9325"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a2244c6180cede066186d9f7098bf9325">&#9670;&nbsp;</a></span>addCallPE()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -1362,7 +1362,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>cs</em>&#160;</td>
         </tr>
         <tr>
@@ -1393,8 +1393,8 @@ Additional Inherited Members</h2></td></tr>
 </div><!-- fragment -->
 </div>
 </div>
-<a id="a51f28f03a236b244b636ca88c5511a30"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a51f28f03a236b244b636ca88c5511a30">&#9670;&nbsp;</a></span>addCallSite()</h2>
+<a id="a98341496bf470d23384f3d86a58591db"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a98341496bf470d23384f3d86a58591db">&#9670;&nbsp;</a></span>addCallSite()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -1405,7 +1405,7 @@ Additional Inherited Members</h2></td></tr>
         <tr>
           <td class="memname">void SVF::SVFIR::addCallSite </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>call</em></td><td>)</td>
           <td></td>
         </tr>
@@ -1424,8 +1424,8 @@ Additional Inherited Members</h2></td></tr>
 </div><!-- fragment -->
 </div>
 </div>
-<a id="a5fafbfd6a30b8796b92a3a1f3409767f"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a5fafbfd6a30b8796b92a3a1f3409767f">&#9670;&nbsp;</a></span>addCallSiteArgs()</h2>
+<a id="a69963e4030433103e84e57fc015871d8"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a69963e4030433103e84e57fc015871d8">&#9670;&nbsp;</a></span>addCallSiteArgs()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -1436,7 +1436,7 @@ Additional Inherited Members</h2></td></tr>
         <tr>
           <td class="memname">void SVF::SVFIR::addCallSiteArgs </td>
           <td>(</td>
-          <td class="paramtype"><a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a> *&#160;</td>
+          <td class="paramtype"><a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *&#160;</td>
           <td class="paramname"><em>callBlockNode</em>, </td>
         </tr>
         <tr>
@@ -1465,8 +1465,8 @@ Additional Inherited Members</h2></td></tr>
 </div><!-- fragment -->
 </div>
 </div>
-<a id="a3c8070a1d7a6a705433b05dd633185b1"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a3c8070a1d7a6a705433b05dd633185b1">&#9670;&nbsp;</a></span>addCallSiteRets()</h2>
+<a id="a72efebdfe007ec8c515967ede76b6ce0"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a72efebdfe007ec8c515967ede76b6ce0">&#9670;&nbsp;</a></span>addCallSiteRets()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -1477,7 +1477,7 @@ Additional Inherited Members</h2></td></tr>
         <tr>
           <td class="memname">void SVF::SVFIR::addCallSiteRets </td>
           <td>(</td>
-          <td class="paramtype"><a class="el" href="classSVF_1_1RetBlockNode.html">RetBlockNode</a> *&#160;</td>
+          <td class="paramtype"><a class="el" href="classSVF_1_1RetICFGNode.html">RetICFGNode</a> *&#160;</td>
           <td class="paramname"><em>retBlockNode</em>, </td>
         </tr>
         <tr>
@@ -1891,10 +1891,10 @@ Additional Inherited Members</h2></td></tr>
 <p>Add function arguments </p>
 
 <p class="definition">Definition at line <a class="el" href="SVFIR_8h_source.html#l00494">494</a> of file <a class="el" href="SVFIR_8h_source.html">SVFIR.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00495"></a><span class="lineno">  495</span>&#160;    {</div><div class="line"><a name="l00496"></a><span class="lineno">  496</span>&#160;        FunEntryBlockNode* funEntryBlockNode = <a class="code" href="classSVF_1_1SVFIR.html#abe8aa0d325b35dd59ce4a7f302760e51">icfg</a>-&gt;<a class="code" href="classSVF_1_1ICFG.html#ae1ef14cdda27a2062c4c454750444108">getFunEntryBlockNode</a>(fun);</div><div class="line"><a name="l00497"></a><span class="lineno">  497</span>&#160;        funEntryBlockNode-&gt;<a class="code" href="classSVF_1_1FunEntryBlockNode.html#ae6ebc073885c5d47f685c61097dadf20">addFormalParms</a>(arg);</div><div class="line"><a name="l00498"></a><span class="lineno">  498</span>&#160;        <a class="code" href="classSVF_1_1SVFIR.html#a864c465fbfdbbbdcc7fc8bbe26737903">funArgsListMap</a>[fun].push_back(arg);</div><div class="line"><a name="l00499"></a><span class="lineno">  499</span>&#160;    }</div><div class="ttc" id="classSVF_1_1FunEntryBlockNode_html_ae6ebc073885c5d47f685c61097dadf20"><div class="ttname"><a href="classSVF_1_1FunEntryBlockNode.html#ae6ebc073885c5d47f685c61097dadf20">SVF::FunEntryBlockNode::addFormalParms</a></div><div class="ttdeci">void addFormalParms(const SVFVar *fp)</div><div class="ttdoc">Add formal parameters. </div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00274">ICFGNode.h:274</a></div></div>
+<div class="fragment"><div class="line"><a name="l00495"></a><span class="lineno">  495</span>&#160;    {</div><div class="line"><a name="l00496"></a><span class="lineno">  496</span>&#160;        FunEntryICFGNode* funEntryBlockNode = <a class="code" href="classSVF_1_1SVFIR.html#abe8aa0d325b35dd59ce4a7f302760e51">icfg</a>-&gt;<a class="code" href="classSVF_1_1ICFG.html#a2b32cfb0b4b3e420aa8e67fc6d4f1025">getFunEntryBlockNode</a>(fun);</div><div class="line"><a name="l00497"></a><span class="lineno">  497</span>&#160;        funEntryBlockNode-&gt;<a class="code" href="classSVF_1_1FunEntryICFGNode.html#aeb9dfc9dfb0aad871cefcf80da2d881d">addFormalParms</a>(arg);</div><div class="line"><a name="l00498"></a><span class="lineno">  498</span>&#160;        <a class="code" href="classSVF_1_1SVFIR.html#a864c465fbfdbbbdcc7fc8bbe26737903">funArgsListMap</a>[fun].push_back(arg);</div><div class="line"><a name="l00499"></a><span class="lineno">  499</span>&#160;    }</div><div class="ttc" id="classSVF_1_1FunEntryICFGNode_html_aeb9dfc9dfb0aad871cefcf80da2d881d"><div class="ttname"><a href="classSVF_1_1FunEntryICFGNode.html#aeb9dfc9dfb0aad871cefcf80da2d881d">SVF::FunEntryICFGNode::addFormalParms</a></div><div class="ttdeci">void addFormalParms(const SVFVar *fp)</div><div class="ttdoc">Add formal parameters. </div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00274">ICFGNode.h:274</a></div></div>
+<div class="ttc" id="classSVF_1_1ICFG_html_a2b32cfb0b4b3e420aa8e67fc6d4f1025"><div class="ttname"><a href="classSVF_1_1ICFG.html#a2b32cfb0b4b3e420aa8e67fc6d4f1025">SVF::ICFG::getFunEntryBlockNode</a></div><div class="ttdeci">FunEntryICFGNode * getFunEntryBlockNode(const SVFFunction *fun)</div><div class="ttdoc">Add a function entry node. </div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8cpp_source.html#l00242">ICFG.cpp:242</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFIR_html_a864c465fbfdbbbdcc7fc8bbe26737903"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a864c465fbfdbbbdcc7fc8bbe26737903">SVF::SVFIR::funArgsListMap</a></div><div class="ttdeci">FunToArgsListMap funArgsListMap</div><div class="ttdoc">Map a function to a list of all its formal parameters. </div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00083">SVFIR.h:83</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFIR_html_abe8aa0d325b35dd59ce4a7f302760e51"><div class="ttname"><a href="classSVF_1_1SVFIR.html#abe8aa0d325b35dd59ce4a7f302760e51">SVF::SVFIR::icfg</a></div><div class="ttdeci">ICFG * icfg</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00093">SVFIR.h:93</a></div></div>
-<div class="ttc" id="classSVF_1_1ICFG_html_ae1ef14cdda27a2062c4c454750444108"><div class="ttname"><a href="classSVF_1_1ICFG.html#ae1ef14cdda27a2062c4c454750444108">SVF::ICFG::getFunEntryBlockNode</a></div><div class="ttdeci">FunEntryBlockNode * getFunEntryBlockNode(const SVFFunction *fun)</div><div class="ttdoc">Add a function entry node. </div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8cpp_source.html#l00230">ICFG.cpp:230</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -1935,8 +1935,8 @@ Additional Inherited Members</h2></td></tr>
 <p>Add function returns. </p>
 
 <p class="definition">Definition at line <a class="el" href="SVFIR_8h_source.html#l00501">501</a> of file <a class="el" href="SVFIR_8h_source.html">SVFIR.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00502"></a><span class="lineno">  502</span>&#160;    {</div><div class="line"><a name="l00503"></a><span class="lineno">  503</span>&#160;        FunExitBlockNode* funExitBlockNode = <a class="code" href="classSVF_1_1SVFIR.html#abe8aa0d325b35dd59ce4a7f302760e51">icfg</a>-&gt;<a class="code" href="classSVF_1_1ICFG.html#aa33426d57dc150956902945a17a29bcb">getFunExitBlockNode</a>(fun);</div><div class="line"><a name="l00504"></a><span class="lineno">  504</span>&#160;        funExitBlockNode-&gt;<a class="code" href="classSVF_1_1FunExitBlockNode.html#ae1499a3ea7d5bb90dccd5d04a8b97dfc">addFormalRet</a>(ret);</div><div class="line"><a name="l00505"></a><span class="lineno">  505</span>&#160;        <a class="code" href="classSVF_1_1SVFIR.html#a4cef56f7fc77b47dc6e65c59c98551c5">funRetMap</a>[fun] = ret;</div><div class="line"><a name="l00506"></a><span class="lineno">  506</span>&#160;    }</div><div class="ttc" id="classSVF_1_1FunExitBlockNode_html_ae1499a3ea7d5bb90dccd5d04a8b97dfc"><div class="ttname"><a href="classSVF_1_1FunExitBlockNode.html#ae1499a3ea7d5bb90dccd5d04a8b97dfc">SVF::FunExitBlockNode::addFormalRet</a></div><div class="ttdeci">void addFormalRet(const SVFVar *fr)</div><div class="ttdoc">Add actual return parameter. </div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00330">ICFGNode.h:330</a></div></div>
-<div class="ttc" id="classSVF_1_1ICFG_html_aa33426d57dc150956902945a17a29bcb"><div class="ttname"><a href="classSVF_1_1ICFG.html#aa33426d57dc150956902945a17a29bcb">SVF::ICFG::getFunExitBlockNode</a></div><div class="ttdeci">FunExitBlockNode * getFunExitBlockNode(const SVFFunction *fun)</div><div class="ttdoc">Add a function exit node. </div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8cpp_source.html#l00239">ICFG.cpp:239</a></div></div>
+<div class="fragment"><div class="line"><a name="l00502"></a><span class="lineno">  502</span>&#160;    {</div><div class="line"><a name="l00503"></a><span class="lineno">  503</span>&#160;        FunExitICFGNode* funExitBlockNode = <a class="code" href="classSVF_1_1SVFIR.html#abe8aa0d325b35dd59ce4a7f302760e51">icfg</a>-&gt;<a class="code" href="classSVF_1_1ICFG.html#a8f131fd585f6fa0c93023ee193500b26">getFunExitBlockNode</a>(fun);</div><div class="line"><a name="l00504"></a><span class="lineno">  504</span>&#160;        funExitBlockNode-&gt;<a class="code" href="classSVF_1_1FunExitICFGNode.html#a51bdfbda3a351daa7ba898e2f88bb067">addFormalRet</a>(ret);</div><div class="line"><a name="l00505"></a><span class="lineno">  505</span>&#160;        <a class="code" href="classSVF_1_1SVFIR.html#a4cef56f7fc77b47dc6e65c59c98551c5">funRetMap</a>[fun] = ret;</div><div class="line"><a name="l00506"></a><span class="lineno">  506</span>&#160;    }</div><div class="ttc" id="classSVF_1_1FunExitICFGNode_html_a51bdfbda3a351daa7ba898e2f88bb067"><div class="ttname"><a href="classSVF_1_1FunExitICFGNode.html#a51bdfbda3a351daa7ba898e2f88bb067">SVF::FunExitICFGNode::addFormalRet</a></div><div class="ttdeci">void addFormalRet(const SVFVar *fr)</div><div class="ttdoc">Add actual return parameter. </div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00330">ICFGNode.h:330</a></div></div>
+<div class="ttc" id="classSVF_1_1ICFG_html_a8f131fd585f6fa0c93023ee193500b26"><div class="ttname"><a href="classSVF_1_1ICFG.html#a8f131fd585f6fa0c93023ee193500b26">SVF::ICFG::getFunExitBlockNode</a></div><div class="ttdeci">FunExitICFGNode * getFunExitBlockNode(const SVFFunction *fun)</div><div class="ttdoc">Add a function exit node. </div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8cpp_source.html#l00251">ICFG.cpp:251</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFIR_html_abe8aa0d325b35dd59ce4a7f302760e51"><div class="ttname"><a href="classSVF_1_1SVFIR.html#abe8aa0d325b35dd59ce4a7f302760e51">SVF::SVFIR::icfg</a></div><div class="ttdeci">ICFG * icfg</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00093">SVFIR.h:93</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFIR_html_a4cef56f7fc77b47dc6e65c59c98551c5"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a4cef56f7fc77b47dc6e65c59c98551c5">SVF::SVFIR::funRetMap</a></div><div class="ttdeci">FunToRetMap funRetMap</div><div class="ttdoc">Map a function to its unique function return PAGNodes. </div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00086">SVFIR.h:86</a></div></div>
 </div><!-- fragment -->
@@ -1985,7 +1985,7 @@ Additional Inherited Members</h2></td></tr>
 <div class="ttc" id="util_8h_html_a07d17d6d5d1074c0969bc5d3c3d1d84a"><div class="ttname"><a href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a></div><div class="ttdeci">#define assert(ex)</div><div class="ttdef"><b>Definition:</b> <a href="util_8h_source.html#l00141">util.h:141</a></div></div>
 <div class="ttc" id="classSVF_1_1NodeIDAllocator_html_abaff066537f06c4891c199ebfc9624e3"><div class="ttname"><a href="classSVF_1_1NodeIDAllocator.html#abaff066537f06c4891c199ebfc9624e3">SVF::NodeIDAllocator::allocateGepObjectId</a></div><div class="ttdeci">NodeID allocateGepObjectId(NodeID base, u32_t offset, u32_t maxFieldLimit)</div><div class="ttdef"><b>Definition:</b> <a href="NodeIDAllocator_8cpp_source.html#l00082">NodeIDAllocator.cpp:82</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFIR_html_a83bc8ecf4c5d10af10af3c8c44b9882d"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a83bc8ecf4c5d10af10af3c8c44b9882d">SVF::SVFIR::addObjNode</a></div><div class="ttdeci">NodeID addObjNode(const Value *val, NodeID i)</div><div class="ttdoc">Add a memory obj node. </div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00536">SVFIR.h:536</a></div></div>
-<div class="ttc" id="classSVF_1_1StInfo_html_ad6e599717952f8ccc2771cd72254b6b2"><div class="ttname"><a href="classSVF_1_1StInfo.html#ad6e599717952f8ccc2771cd72254b6b2">SVF::StInfo::getMaxFieldLimit</a></div><div class="ttdeci">static u32_t getMaxFieldLimit()</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00534">SymbolTableInfo.h:534</a></div></div>
+<div class="ttc" id="classSVF_1_1StInfo_html_ad6e599717952f8ccc2771cd72254b6b2"><div class="ttname"><a href="classSVF_1_1StInfo.html#ad6e599717952f8ccc2771cd72254b6b2">SVF::StInfo::getMaxFieldLimit</a></div><div class="ttdeci">static u32_t getMaxFieldLimit()</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00535">SymbolTableInfo.h:535</a></div></div>
 <div class="ttc" id="classSVF_1_1GepObjVar_html"><div class="ttname"><a href="classSVF_1_1GepObjVar.html">SVF::GepObjVar</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00456">SVFVariables.h:456</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFIR_html_a148b51118eeba8117e033fea84b56be8"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a148b51118eeba8117e033fea84b56be8">SVF::SVFIR::GepObjVarMap</a></div><div class="ttdeci">NodeLocationSetMap GepObjVarMap</div><div class="ttdoc">Map a pair&lt;base,off&gt; to a gep obj node id. </div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00079">SVFIR.h:79</a></div></div>
 <div class="ttc" id="classSVF_1_1MemObj_html_a3ab6f65ffbf6442daac4d3f70f2d3cb1"><div class="ttname"><a href="classSVF_1_1MemObj.html#a3ab6f65ffbf6442daac4d3f70f2d3cb1">SVF::MemObj::getId</a></div><div class="ttdeci">SymID getId() const</div><div class="ttdoc">Get the memory object id. </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00448">SymbolTableInfo.h:448</a></div></div>
@@ -2157,8 +2157,8 @@ Additional Inherited Members</h2></td></tr>
 </div><!-- fragment -->
 </div>
 </div>
-<a id="aa91db3ebf92eacf077ae7b4d0735635b"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#aa91db3ebf92eacf077ae7b4d0735635b">&#9670;&nbsp;</a></span>addIndirectCallsites()</h2>
+<a id="af4a5fd9ecddb1447207335917adccd68"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#af4a5fd9ecddb1447207335917adccd68">&#9670;&nbsp;</a></span>addIndirectCallsites()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -2169,7 +2169,7 @@ Additional Inherited Members</h2></td></tr>
         <tr>
           <td class="memname">void SVF::SVFIR::addIndirectCallsites </td>
           <td>(</td>
-          <td class="paramtype">const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a> *&#160;</td>
+          <td class="paramtype">const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *&#160;</td>
           <td class="paramname"><em>cs</em>, </td>
         </tr>
         <tr>
@@ -2535,8 +2535,8 @@ Additional Inherited Members</h2></td></tr>
 </div><!-- fragment -->
 </div>
 </div>
-<a id="a12fef4ec0537b26947eb0ab10799f29f"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a12fef4ec0537b26947eb0ab10799f29f">&#9670;&nbsp;</a></span>addRetPE()</h2>
+<a id="af7edf234425e890d1cf3ff812000206d"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#af7edf234425e890d1cf3ff812000206d">&#9670;&nbsp;</a></span>addRetPE()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -2559,7 +2559,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>cs</em>&#160;</td>
         </tr>
         <tr>
@@ -2590,8 +2590,8 @@ Additional Inherited Members</h2></td></tr>
 </div><!-- fragment -->
 </div>
 </div>
-<a id="a4b491e2d3eb5e041677decd73136c870"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a4b491e2d3eb5e041677decd73136c870">&#9670;&nbsp;</a></span>addStoreStmt()</h2>
+<a id="af9804d78e4158d3c8961e1f84bbef91e"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#af9804d78e4158d3c8961e1f84bbef91e">&#9670;&nbsp;</a></span>addStoreStmt()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -2614,7 +2614,7 @@ Additional Inherited Members</h2></td></tr>
         <tr>
           <td class="paramkey"></td>
           <td></td>
-          <td class="paramtype">const <a class="el" href="classSVF_1_1IntraBlockNode.html">IntraBlockNode</a> *&#160;</td>
+          <td class="paramtype">const <a class="el" href="classSVF_1_1IntraICFGNode.html">IntraICFGNode</a> *&#160;</td>
           <td class="paramname"><em>curVal</em>&#160;</td>
         </tr>
         <tr>
@@ -2645,8 +2645,8 @@ Additional Inherited Members</h2></td></tr>
 </div><!-- fragment -->
 </div>
 </div>
-<a id="a787dc5aff6f7a7d8ec3a7a23d9f40a7e"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a787dc5aff6f7a7d8ec3a7a23d9f40a7e">&#9670;&nbsp;</a></span>addThreadForkPE()</h2>
+<a id="aa498f73f62e19f4f9f63e265938ce408"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#aa498f73f62e19f4f9f63e265938ce408">&#9670;&nbsp;</a></span>addThreadForkPE()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -2669,7 +2669,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>cs</em>&#160;</td>
         </tr>
         <tr>
@@ -2700,8 +2700,8 @@ Additional Inherited Members</h2></td></tr>
 </div><!-- fragment -->
 </div>
 </div>
-<a id="a4f64a1a266838ac72b66cca138ec57ca"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a4f64a1a266838ac72b66cca138ec57ca">&#9670;&nbsp;</a></span>addThreadJoinPE()</h2>
+<a id="ad50f150bb3bac77687b3d1210f21d2ed"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#ad50f150bb3bac77687b3d1210f21d2ed">&#9670;&nbsp;</a></span>addThreadJoinPE()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -2724,7 +2724,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>cs</em>&#160;</td>
         </tr>
         <tr>
@@ -3123,8 +3123,8 @@ Additional Inherited Members</h2></td></tr>
 </div><!-- fragment -->
 </div>
 </div>
-<a id="a170bef1e9a07ce0449faf66706ae6e61"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a170bef1e9a07ce0449faf66706ae6e61">&#9670;&nbsp;</a></span>callsiteHasRet()</h2>
+<a id="aa79dba26cb34b40eee682713db299d5f"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#aa79dba26cb34b40eee682713db299d5f">&#9670;&nbsp;</a></span>callsiteHasRet()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -3135,7 +3135,7 @@ Additional Inherited Members</h2></td></tr>
         <tr>
           <td class="memname">bool SVF::SVFIR::callsiteHasRet </td>
           <td>(</td>
-          <td class="paramtype">const <a class="el" href="classSVF_1_1RetBlockNode.html">RetBlockNode</a> *&#160;</td>
+          <td class="paramtype">const <a class="el" href="classSVF_1_1RetICFGNode.html">RetICFGNode</a> *&#160;</td>
           <td class="paramname"><em>cs</em></td><td>)</td>
           <td> const</td>
         </tr>
@@ -3390,8 +3390,8 @@ Additional Inherited Members</h2></td></tr>
 </div><!-- fragment -->
 </div>
 </div>
-<a id="ac7f90610a7b5f456c530a4419393fae5"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#ac7f90610a7b5f456c530a4419393fae5">&#9670;&nbsp;</a></span>getCallSiteArgsList()</h2>
+<a id="a2a1e8ce39bf8deace3c344d5f05fe6ac"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a2a1e8ce39bf8deace3c344d5f05fe6ac">&#9670;&nbsp;</a></span>getCallSiteArgsList()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -3402,7 +3402,7 @@ Additional Inherited Members</h2></td></tr>
         <tr>
           <td class="memname">const <a class="el" href="classSVF_1_1SVFIR.html#a64939d7ecfd8e2cf862782954a56596b">SVFVarList</a>&amp; SVF::SVFIR::getCallSiteArgsList </td>
           <td>(</td>
-          <td class="paramtype">const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a> *&#160;</td>
+          <td class="paramtype">const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *&#160;</td>
           <td class="paramname"><em>cs</em></td><td>)</td>
           <td> const</td>
         </tr>
@@ -3432,7 +3432,7 @@ Additional Inherited Members</h2></td></tr>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname"><a class="el" href="classSVF_1_1SVFIR.html#a0321197dcaf5b00189b6dec732a799ef">CSToArgsListMap</a>&amp; SVF::SVFIR::getCallSiteArgsMap </td>
+          <td class="memname"><a class="el" href="classSVF_1_1SVFIR.html#a32f7ac512aa8d34923dabfe0f0867fca">CSToArgsListMap</a>&amp; SVF::SVFIR::getCallSiteArgsMap </td>
           <td>(</td>
           <td class="paramname"></td><td>)</td>
           <td></td>
@@ -3452,8 +3452,8 @@ Additional Inherited Members</h2></td></tr>
 </div><!-- fragment -->
 </div>
 </div>
-<a id="a70aa4d730ef1d38ef9c46f5014465bdd"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a70aa4d730ef1d38ef9c46f5014465bdd">&#9670;&nbsp;</a></span>getCallSiteRet()</h2>
+<a id="a3145677c7a3763fc0d6aa7e21b264ab6"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a3145677c7a3763fc0d6aa7e21b264ab6">&#9670;&nbsp;</a></span>getCallSiteRet()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -3464,7 +3464,7 @@ Additional Inherited Members</h2></td></tr>
         <tr>
           <td class="memname">const <a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a>* SVF::SVFIR::getCallSiteRet </td>
           <td>(</td>
-          <td class="paramtype">const <a class="el" href="classSVF_1_1RetBlockNode.html">RetBlockNode</a> *&#160;</td>
+          <td class="paramtype">const <a class="el" href="classSVF_1_1RetICFGNode.html">RetICFGNode</a> *&#160;</td>
           <td class="paramname"><em>cs</em></td><td>)</td>
           <td> const</td>
         </tr>
@@ -3494,7 +3494,7 @@ Additional Inherited Members</h2></td></tr>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname"><a class="el" href="classSVF_1_1SVFIR.html#a8a7156b1182e8d32b3899d510514ae42">CSToRetMap</a>&amp; SVF::SVFIR::getCallSiteRets </td>
+          <td class="memname"><a class="el" href="classSVF_1_1SVFIR.html#a3c7f0dff03671f71e0a453a4de722681">CSToRetMap</a>&amp; SVF::SVFIR::getCallSiteRets </td>
           <td>(</td>
           <td class="paramname"></td><td>)</td>
           <td></td>
@@ -3524,7 +3524,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_1SVFIR.html#ab4c2e6d44c679a9ba117843f2234784b">CallSiteSet</a>&amp; SVF::SVFIR::getCallSiteSet </td>
+          <td class="memname">const <a class="el" href="classSVF_1_1SVFIR.html#a2b237e55fd8d7fd61eb3ac6968e4a76e">CallSiteSet</a>&amp; SVF::SVFIR::getCallSiteSet </td>
           <td>(</td>
           <td class="paramname"></td><td>)</td>
           <td> const</td>
@@ -3757,8 +3757,8 @@ Additional Inherited Members</h2></td></tr>
 </div><!-- fragment -->
 </div>
 </div>
-<a id="a533a01d01fab9e45cd1780f9bbd50b0f"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a533a01d01fab9e45cd1780f9bbd50b0f">&#9670;&nbsp;</a></span>getFunPtr()</h2>
+<a id="a17c5d9fa7c0bd3cd03c06b5ff0906eb6"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a17c5d9fa7c0bd3cd03c06b5ff0906eb6">&#9670;&nbsp;</a></span>getFunPtr()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -3769,7 +3769,7 @@ Additional Inherited Members</h2></td></tr>
         <tr>
           <td class="memname"><a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> SVF::SVFIR::getFunPtr </td>
           <td>(</td>
-          <td class="paramtype">const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a> *&#160;</td>
+          <td class="paramtype">const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *&#160;</td>
           <td class="paramname"><em>cs</em></td><td>)</td>
           <td> const</td>
         </tr>
@@ -4082,7 +4082,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_1SVFIR.html#ab4c2e6d44c679a9ba117843f2234784b">CallSiteSet</a>&amp; SVF::SVFIR::getIndCallSites </td>
+          <td class="memname">const <a class="el" href="classSVF_1_1SVFIR.html#a2b237e55fd8d7fd61eb3ac6968e4a76e">CallSiteSet</a>&amp; SVF::SVFIR::getIndCallSites </td>
           <td>(</td>
           <td class="paramtype"><a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a>&#160;</td>
           <td class="paramname"><em>funPtr</em></td><td>)</td>
@@ -4112,7 +4112,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_1SVFIR.html#a0f5732647f3f44ec12617029354fca11">CallSiteToFunPtrMap</a>&amp; SVF::SVFIR::getIndirectCallsites </td>
+          <td class="memname">const <a class="el" href="classSVF_1_1SVFIR.html#a51bf00bfd1d32ea8a4a280cf99725d7d">CallSiteToFunPtrMap</a>&amp; SVF::SVFIR::getIndirectCallsites </td>
           <td>(</td>
           <td class="paramname"></td><td>)</td>
           <td> const</td>
@@ -4569,8 +4569,8 @@ Additional Inherited Members</h2></td></tr>
 </div><!-- fragment -->
 </div>
 </div>
-<a id="a2a4185af81e7e10f0db74c39ee220101"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a2a4185af81e7e10f0db74c39ee220101">&#9670;&nbsp;</a></span>hasCallSiteArgsMap()</h2>
+<a id="a95f77211550ec2374d57779d88cf5138"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a95f77211550ec2374d57779d88cf5138">&#9670;&nbsp;</a></span>hasCallSiteArgsMap()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -4581,7 +4581,7 @@ Additional Inherited Members</h2></td></tr>
         <tr>
           <td class="memname">bool SVF::SVFIR::hasCallSiteArgsMap </td>
           <td>(</td>
-          <td class="paramtype">const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a> *&#160;</td>
+          <td class="paramtype">const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *&#160;</td>
           <td class="paramname"><em>cs</em></td><td>)</td>
           <td> const</td>
         </tr>
@@ -4833,7 +4833,7 @@ Additional Inherited Members</h2></td></tr>
 </div><div class="memdoc">
 
 <p class="definition">Definition at line <a class="el" href="SVFIR_8h_source.html#l00408">408</a> of file <a class="el" href="SVFIR_8h_source.html">SVFIR.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00409"></a><span class="lineno">  409</span>&#160;    {</div><div class="line"><a name="l00410"></a><span class="lineno">  410</span>&#160;        <span class="keyword">const</span> MemObj* obj = <a class="code" href="classSVF_1_1SVFIR.html#a2dd4d5f704906270af13e7a07f900eb1">getObject</a>(<span class="keywordtype">id</span>);</div><div class="line"><a name="l00411"></a><span class="lineno">  411</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(obj &amp;&amp; <span class="stringliteral">&quot;not an object node?&quot;</span>);</div><div class="line"><a name="l00412"></a><span class="lineno">  412</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SymbolTableInfo.html#a704b917b1e1dbaf9cd758fa9acc1083b">SymbolTableInfo::isConstantObj</a>(<span class="keywordtype">id</span>) || obj-&gt;isConstant();</div><div class="line"><a name="l00413"></a><span class="lineno">  413</span>&#160;    }</div><div class="ttc" id="util_8h_html_a07d17d6d5d1074c0969bc5d3c3d1d84a"><div class="ttname"><a href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a></div><div class="ttdeci">#define assert(ex)</div><div class="ttdef"><b>Definition:</b> <a href="util_8h_source.html#l00141">util.h:141</a></div></div>
+<div class="fragment"><div class="line"><a name="l00409"></a><span class="lineno">  409</span>&#160;    {</div><div class="line"><a name="l00410"></a><span class="lineno">  410</span>&#160;        <span class="keyword">const</span> MemObj* obj = <a class="code" href="classSVF_1_1SVFIR.html#a2dd4d5f704906270af13e7a07f900eb1">getObject</a>(<span class="keywordtype">id</span>);</div><div class="line"><a name="l00411"></a><span class="lineno">  411</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(obj &amp;&amp; <span class="stringliteral">&quot;not an object node?&quot;</span>);</div><div class="line"><a name="l00412"></a><span class="lineno">  412</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SymbolTableInfo.html#a704b917b1e1dbaf9cd758fa9acc1083b">SymbolTableInfo::isConstantObj</a>(<span class="keywordtype">id</span>) || obj-&gt;isConstDataOrConstGlobal();</div><div class="line"><a name="l00413"></a><span class="lineno">  413</span>&#160;    }</div><div class="ttc" id="util_8h_html_a07d17d6d5d1074c0969bc5d3c3d1d84a"><div class="ttname"><a href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a></div><div class="ttdeci">#define assert(ex)</div><div class="ttdef"><b>Definition:</b> <a href="util_8h_source.html#l00141">util.h:141</a></div></div>
 <div class="ttc" id="classSVF_1_1SymbolTableInfo_html_a704b917b1e1dbaf9cd758fa9acc1083b"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a704b917b1e1dbaf9cd758fa9acc1083b">SVF::SymbolTableInfo::isConstantObj</a></div><div class="ttdeci">static bool isConstantObj(NodeID id)</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00202">SymbolTableInfo.h:202</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFIR_html_a2dd4d5f704906270af13e7a07f900eb1"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a2dd4d5f704906270af13e7a07f900eb1">SVF::SVFIR::getObject</a></div><div class="ttdeci">const MemObj * getObject(NodeID id) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00357">SVFIR.h:357</a></div></div>
 </div><!-- fragment -->
@@ -4868,8 +4868,8 @@ Additional Inherited Members</h2></td></tr>
 </div><!-- fragment -->
 </div>
 </div>
-<a id="ad44e1ef13d047f8aea8f6ddf5510bd6c"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#ad44e1ef13d047f8aea8f6ddf5510bd6c">&#9670;&nbsp;</a></span>isIndirectCallSites()</h2>
+<a id="a3dbe0b17694daa74f648a70e77efaf23"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a3dbe0b17694daa74f648a70e77efaf23">&#9670;&nbsp;</a></span>isIndirectCallSites()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -4880,7 +4880,7 @@ Additional Inherited Members</h2></td></tr>
         <tr>
           <td class="memname">bool SVF::SVFIR::isIndirectCallSites </td>
           <td>(</td>
-          <td class="paramtype">const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a> *&#160;</td>
+          <td class="paramtype">const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *&#160;</td>
           <td class="paramname"><em>cs</em></td><td>)</td>
           <td> const</td>
         </tr>
@@ -5217,7 +5217,7 @@ Additional Inherited Members</h2></td></tr>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname"><a class="el" href="classSVF_1_1SVFIR.html#a0321197dcaf5b00189b6dec732a799ef">CSToArgsListMap</a> SVF::SVFIR::callSiteArgsListMap</td>
+          <td class="memname"><a class="el" href="classSVF_1_1SVFIR.html#a32f7ac512aa8d34923dabfe0f0867fca">CSToArgsListMap</a> SVF::SVFIR::callSiteArgsListMap</td>
         </tr>
       </table>
   </td>
@@ -5243,7 +5243,7 @@ Additional Inherited Members</h2></td></tr>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname"><a class="el" href="classSVF_1_1SVFIR.html#a8a7156b1182e8d32b3899d510514ae42">CSToRetMap</a> SVF::SVFIR::callSiteRetMap</td>
+          <td class="memname"><a class="el" href="classSVF_1_1SVFIR.html#a3c7f0dff03671f71e0a453a4de722681">CSToRetMap</a> SVF::SVFIR::callSiteRetMap</td>
         </tr>
       </table>
   </td>
@@ -5269,7 +5269,7 @@ Additional Inherited Members</h2></td></tr>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname"><a class="el" href="classSVF_1_1SVFIR.html#ab4c2e6d44c679a9ba117843f2234784b">CallSiteSet</a> SVF::SVFIR::callSiteSet</td>
+          <td class="memname"><a class="el" href="classSVF_1_1SVFIR.html#a2b237e55fd8d7fd61eb3ac6968e4a76e">CallSiteSet</a> SVF::SVFIR::callSiteSet</td>
         </tr>
       </table>
   </td>
@@ -5550,7 +5550,7 @@ Additional Inherited Members</h2></td></tr>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname"><a class="el" href="classSVF_1_1SVFIR.html#a0f5732647f3f44ec12617029354fca11">CallSiteToFunPtrMap</a> SVF::SVFIR::indCallSiteToFunPtrMap</td>
+          <td class="memname"><a class="el" href="classSVF_1_1SVFIR.html#a51bf00bfd1d32ea8a4a280cf99725d7d">CallSiteToFunPtrMap</a> SVF::SVFIR::indCallSiteToFunPtrMap</td>
         </tr>
       </table>
   </td>