svf-tools 1.0.342 → 1.0.346

package/SVF-doxygen/html/html/functions_c.html

@@ -106,11 +106,8 @@ $(function() {
 <li>Call
 : <a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a97ca16eba4c5f92e16388f0cdbcfcc00">SVF::SVFStmt</a>
 </li>
-<li>CallBlockNode()
-: <a class="el" href="classSVF_1_1CallBlockNode.html#a4f5af7780f4290ae69724fd3050dab1a">SVF::CallBlockNode</a>
-</li>
 <li>callBlockNode
-: <a class="el" href="classSVF_1_1RetBlockNode.html#aa135efaadc44746c585cb295b8b2bf77">SVF::RetBlockNode</a>
+: <a class="el" href="classSVF_1_1RetICFGNode.html#a42f4b87f590b3a393059bcca5736c596">SVF::RetICFGNode</a>
 </li>
 <li>CallCF
 : <a class="el" href="classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429a3486c9d9a182f2ba5d986fe74439ec2e">SVF::ICFGEdge</a>
@@ -119,7 +116,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CallCFGEdge.html#ab62ae6ed463def78bb2cdc01527d4b02">SVF::CallCFGEdge</a>
 </li>
 <li>CallCHI()
-: <a class="el" href="classSVF_1_1CallCHI.html#a5a03b5679ded2115a396ef04b388d6f5">SVF::CallCHI&lt; Cond &gt;</a>
+: <a class="el" href="classSVF_1_1CallCHI.html#a011044a63529bdd773dd2ad447668029">SVF::CallCHI&lt; Cond &gt;</a>
 </li>
 <li>CALLCHI
 : <a class="el" href="classSVF_1_1MemSSA.html#a56ffeb1f76c73766d06aedd60235c8d9">SVF::MemSSA</a>
@@ -137,8 +134,8 @@ $(function() {
 <li>CallEdgeMap
 : <a class="el" href="classSVF_1_1FlowDDA.html#a5a5548577e4a3e225185c4001386fc84">SVF::FlowDDA</a>
 , <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a5bbc071046b2a81bd23ba084d30230e5">SVF::MTASVFGBuilder</a>
-, <a class="el" href="classSVF_1_1PointerAnalysis.html#aa9661d26d1ae9c829a9296d1b6d874f4">SVF::PointerAnalysis</a>
-, <a class="el" href="classSVF_1_1PTACallGraph.html#a47bfbae96294592f4e6060deddbe5700">SVF::PTACallGraph</a>
+, <a class="el" href="classSVF_1_1PointerAnalysis.html#a35bd5f0fb2c146199e9f1aa6a19b4062">SVF::PointerAnalysis</a>
+, <a class="el" href="classSVF_1_1PTACallGraph.html#a4948c9e7ff7f1c86d0f27c49e7208aa3">SVF::PTACallGraph</a>
 , <a class="el" href="classSVF_1_1SVFGBuilder.html#ae12f803f5ccdb47232043c8c5ae129bf">SVF::SVFGBuilder</a>
 </li>
 <li>callgraph
@@ -190,6 +187,9 @@ $(function() {
 <li>callgraphStat()
 : <a class="el" href="classSVF_1_1PTAStat.html#a1772bc87370b5625f71edd4476277064">SVF::PTAStat</a>
 </li>
+<li>CallICFGNode()
+: <a class="el" href="classSVF_1_1CallICFGNode.html#a7c514653ca97c9a97f5a26a57a2955e1">SVF::CallICFGNode</a>
+</li>
 <li>CallIndSVFGEdge()
 : <a class="el" href="classSVF_1_1CallIndSVFGEdge.html#a9651aa6a85a7ee9e626dd66a5410b191">SVF::CallIndSVFGEdge</a>
 </li>
@@ -197,32 +197,32 @@ $(function() {
 : <a class="el" href="classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5a978c857fcc06d2f988bc9ce16ce10145">SVF::VFGEdge</a>
 </li>
 <li>callInst
-: <a class="el" href="classSVF_1_1InterMSSAPHISVFGNode.html#aabcc62d4f7750bd8c24f7b2a9fff5bc6">SVF::InterMSSAPHISVFGNode</a>
-, <a class="el" href="classSVF_1_1InterPHIVFGNode.html#a4a32f56cda476a323db8c7ebd2831431">SVF::InterPHIVFGNode</a>
+: <a class="el" href="classSVF_1_1InterMSSAPHISVFGNode.html#aac74080dd5078d31d6f43edc2caf3c08">SVF::InterMSSAPHISVFGNode</a>
+, <a class="el" href="classSVF_1_1InterPHIVFGNode.html#a6a8b370c8de218abf89cf00a72d3cd0c">SVF::InterPHIVFGNode</a>
 </li>
 <li>CallInstSet
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#ac227096ad71dfda8bc48c139fccb3af2">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 , <a class="el" href="classSVF_1_1PCG.html#a866cab5d550f60984d66068474755e2d">SVF::PCG</a>
-, <a class="el" href="classSVF_1_1PTACallGraphEdge.html#aca11d1b778309a72e9d345bd02324459">SVF::PTACallGraphEdge</a>
+, <a class="el" href="classSVF_1_1PTACallGraphEdge.html#adbedb15ac0f9395c5264f087a63bad3b">SVF::PTACallGraphEdge</a>
 , <a class="el" href="classSVF_1_1TCTEdge.html#a7b3463c5a458ac6472f2a4e531b80a94">SVF::TCTEdge</a>
 </li>
 <li>callinstToCallGraphEdgesMap
 : <a class="el" href="classSVF_1_1PTACallGraph.html#ab29003352d8152b9d0fd37919ac212c5">SVF::PTACallGraph</a>
 </li>
 <li>CallInstToCallGraphEdgesMap
-: <a class="el" href="classSVF_1_1PTACallGraph.html#a16d115dd425ec02ab6d91c711fab7fd9">SVF::PTACallGraph</a>
+: <a class="el" href="classSVF_1_1PTACallGraph.html#a09245c929079024095cfe0d6570b70e8">SVF::PTACallGraph</a>
 </li>
 <li>CallInstToForkEdgesMap
-: <a class="el" href="classSVF_1_1ThreadCallGraph.html#ad0d6585b7d26cd4597466a79e2fedacd">SVF::ThreadCallGraph</a>
+: <a class="el" href="classSVF_1_1ThreadCallGraph.html#aec88ec07a721b120290a7dde94ae1b51">SVF::ThreadCallGraph</a>
 </li>
 <li>callinstToHareParForEdgesMap
 : <a class="el" href="classSVF_1_1ThreadCallGraph.html#a42a088dba9cda7a7718685f80f52c928">SVF::ThreadCallGraph</a>
 </li>
 <li>CallInstToJoinEdgesMap
-: <a class="el" href="classSVF_1_1ThreadCallGraph.html#a2f24d314b211151182bee38b61731749">SVF::ThreadCallGraph</a>
+: <a class="el" href="classSVF_1_1ThreadCallGraph.html#ab446ddd20cf46eeb76fcd5789faef521">SVF::ThreadCallGraph</a>
 </li>
 <li>CallInstToParForEdgesMap
-: <a class="el" href="classSVF_1_1ThreadCallGraph.html#ac6eb68444968f7bfc3e1e16099454cab">SVF::ThreadCallGraph</a>
+: <a class="el" href="classSVF_1_1ThreadCallGraph.html#aba9d3e04e923cc787ab46a1f7eebb554">SVF::ThreadCallGraph</a>
 </li>
 <li>callinstToThreadForkEdgesMap
 : <a class="el" href="classSVF_1_1ThreadCallGraph.html#a79ba3df9d85eed3c9a55e6797fdcb9b9">SVF::ThreadCallGraph</a>
@@ -237,7 +237,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9ba5e02921dfd30772024d77915d9f15f18">SVF::MSSAMU&lt; Cond &gt;</a>
 </li>
 <li>CallMU()
-: <a class="el" href="classSVF_1_1CallMU.html#a267c7345f42e1aaa0ca7ffdcb85b45b3">SVF::CallMU&lt; Cond &gt;</a>
+: <a class="el" href="classSVF_1_1CallMU.html#abb981eb0739d7b3fdcc271b693e708ae">SVF::CallMU&lt; Cond &gt;</a>
 </li>
 <li>CALLMU
 : <a class="el" href="classSVF_1_1MemSSA.html#a7be50dd82679b45a8c400f5a12056a25">SVF::MemSSA</a>
@@ -264,8 +264,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1PTACallGraphEdge.html#a9738544725458bb022b8d5f2dbd281f7aa968b68fb87a0135833105f4e6413c69">SVF::PTACallGraphEdge</a>
 </li>
 <li>callsite
-: <a class="el" href="classSVF_1_1CallCHI.html#adfecaac7c36b56b7eac321d6066cdb9d">SVF::CallCHI&lt; Cond &gt;</a>
-, <a class="el" href="classSVF_1_1CallMU.html#ae748ea61422184b513c09b842be9b076">SVF::CallMU&lt; Cond &gt;</a>
+: <a class="el" href="classSVF_1_1CallCHI.html#a30f1f8f2b23df3bad70d8083397e28eb">SVF::CallCHI&lt; Cond &gt;</a>
+, <a class="el" href="classSVF_1_1CallMU.html#aa90a06c9e44914a7a8e104aa80bf1374">SVF::CallMU&lt; Cond &gt;</a>
 </li>
 <li>CallSite()
 : <a class="el" href="classSVF_1_1CallSite.html#ac56325e360c7f6720a4c78a7b50f57df">SVF::CallSite</a>
@@ -280,10 +280,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFIR.html#aa0920f5f967efdb89e23f12d31b112a2">SVF::SVFIR</a>
 </li>
 <li>callsiteHasRet()
-: <a class="el" href="classSVF_1_1SVFIR.html#a170bef1e9a07ce0449faf66706ae6e61">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#aa79dba26cb34b40eee682713db299d5f">SVF::SVFIR</a>
 </li>
 <li>CallSitePair
-: <a class="el" href="classSVF_1_1PTACallGraph.html#a1d1ea71cb29e190ad3c6817810bd57c7">SVF::PTACallGraph</a>
+: <a class="el" href="classSVF_1_1PTACallGraph.html#a178d9971028e8ce26ab8894c5c6b5784">SVF::PTACallGraph</a>
 </li>
 <li>callSiteRetMap
 : <a class="el" href="classSVF_1_1SVFIR.html#a11ab07f48c934f45c239393332aa60e1">SVF::SVFIR</a>
@@ -292,15 +292,15 @@ $(function() {
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#a0c590e9d56b6d37cb6e0c9081363a0ef">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 , <a class="el" href="classSVF_1_1FlowDDA.html#a5f51c3ba53410fa31225b8ff6fb5e4b4">SVF::FlowDDA</a>
 , <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a6a56d37d832ebe1d98ea32120b58bc1e">SVF::MTASVFGBuilder</a>
-, <a class="el" href="classSVF_1_1PointerAnalysis.html#a1f5f2ecf1e893759633ffec1b23d5650">SVF::PointerAnalysis</a>
-, <a class="el" href="classSVF_1_1SrcSnkDDA.html#af254f2a00cabb91c61a0a592bdb7f0f1">SVF::SrcSnkDDA</a>
+, <a class="el" href="classSVF_1_1PointerAnalysis.html#a5583b5fc0db461a0138b1f2f1c9a89a0">SVF::PointerAnalysis</a>
+, <a class="el" href="classSVF_1_1SrcSnkDDA.html#a47a4be28c625bf4d079a04ac24132165">SVF::SrcSnkDDA</a>
 , <a class="el" href="classSVF_1_1SVFGBuilder.html#a77bc88750823c8a0d19aad002e56ce07">SVF::SVFGBuilder</a>
 </li>
 <li>callSiteSet
 : <a class="el" href="classSVF_1_1SVFIR.html#ac6c537688366e73bb0ae5db49c0b2450">SVF::SVFIR</a>
 </li>
 <li>CallSiteSet
-: <a class="el" href="classSVF_1_1SVFIR.html#ab4c2e6d44c679a9ba117843f2234784b">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#a2b237e55fd8d7fd61eb3ac6968e4a76e">SVF::SVFIR</a>
 </li>
 <li>callSiteSet
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#a05a05894819e9cad6ee0033a6695e35e">SVF::SymbolTableInfo</a>
@@ -313,16 +313,16 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFG.html#af9313ebec4a52fd887169b7c6373a7d4">SVF::SVFG</a>
 </li>
 <li>CallSiteToActualINsMapTy
-: <a class="el" href="classSVF_1_1SVFG.html#a9ccf41f90af56c89f2acb59a6ca9b0dc">SVF::SVFG</a>
+: <a class="el" href="classSVF_1_1SVFG.html#a727af89a305e48f399ad33cc7149dbcb">SVF::SVFG</a>
 </li>
 <li>callSiteToActualOUTMap
 : <a class="el" href="classSVF_1_1SVFG.html#a39873b954b6e0eb0641f56ca4cd06ef9">SVF::SVFG</a>
 </li>
 <li>CallSiteToActualOUTsMapTy
-: <a class="el" href="classSVF_1_1SVFG.html#a8c7dea646606e723e6cf5055611e43c8">SVF::SVFG</a>
+: <a class="el" href="classSVF_1_1SVFG.html#a7c4e9c0fad457a2dc81a85f96fcec9ec">SVF::SVFG</a>
 </li>
 <li>CallSiteToCHISetMap
-: <a class="el" href="classSVF_1_1MemSSA.html#ab985012d7730beed71a5e77595d29548">SVF::MemSSA</a>
+: <a class="el" href="classSVF_1_1MemSSA.html#a43b118f1b16a032fd1f27f8258c748ab">SVF::MemSSA</a>
 </li>
 <li>callsiteToChiSetMap
 : <a class="el" href="classSVF_1_1MemSSA.html#a1be5a6776c8785f26573b597881c8195">SVF::MemSSA</a>
@@ -332,7 +332,7 @@ $(function() {
 </li>
 <li>CallSiteToFunPtrMap
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#ad95c842964e6ca46e51fb763fefec585">SVF::PointerAnalysis</a>
-, <a class="el" href="classSVF_1_1SVFIR.html#a0f5732647f3f44ec12617029354fca11">SVF::SVFIR</a>
+, <a class="el" href="classSVF_1_1SVFIR.html#a51bf00bfd1d32ea8a4a280cf99725d7d">SVF::SVFIR</a>
 </li>
 <li>CallSiteToIdMap
 : <a class="el" href="classSVF_1_1PTACallGraph.html#ae4e3e5f108bc1e47af8f58d2e43345d2">SVF::PTACallGraph</a>
@@ -347,19 +347,19 @@ $(function() {
 : <a class="el" href="classSVF_1_1MRGenerator.html#ab8df193e84009e406c301731d17dc7b9">SVF::MRGenerator</a>
 </li>
 <li>CallSiteToMRsMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#a71b5ce2c754ffff5a84fdb0c3aa16819">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#af9872d1175874a920e6df10268518233">SVF::MRGenerator</a>
 </li>
 <li>CallSiteToMUSetMap
-: <a class="el" href="classSVF_1_1MemSSA.html#af7d3abb0b38f83c6f0a3c6a9e1ebff97">SVF::MemSSA</a>
+: <a class="el" href="classSVF_1_1MemSSA.html#a5d4ba728fb55e615cacfc5278e6bc4b7">SVF::MemSSA</a>
 </li>
 <li>callsiteToMuSetMap
 : <a class="el" href="classSVF_1_1MemSSA.html#aba54e534d18f68fbb97b26befd06ba1a">SVF::MemSSA</a>
 </li>
 <li>CallSiteToNodeBSMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#a55ca7850e00f57a8a4b83bc969493046">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#a934a90164cc1364ea6aba5b4ae3cf2a9">SVF::MRGenerator</a>
 </li>
 <li>CallSiteToPointsToMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#a9d22e9d113393c536c5fe473fd76f388">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#a255e42c2b2062bbc799517c77ec25336">SVF::MRGenerator</a>
 </li>
 <li>callsiteToRefMRsMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#a7a7ed21181c2486b60170a479a5a534e">SVF::MRGenerator</a>
@@ -599,10 +599,10 @@ $(function() {
 , <a class="el" href="classSVF_1_1BranchStmt.html#a750ffca6648fafedfb271fb90d975847">SVF::BranchStmt</a>
 , <a class="el" href="classSVF_1_1BranchVFGNode.html#abaeefcd88c47e21065947f7587af2181">SVF::BranchVFGNode</a>
 , <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a6ba68138c10d1fbe5be6346c8dfeca74">SVF::BVDataPTAImpl</a>
-, <a class="el" href="classSVF_1_1CallBlockNode.html#a1c688ff81489957e775cb2463c59d1ef">SVF::CallBlockNode</a>
 , <a class="el" href="classSVF_1_1CallCFGEdge.html#a38b56212fb58934ee50079b1e69ad5ff">SVF::CallCFGEdge</a>
 , <a class="el" href="classSVF_1_1CallCHI.html#a7c0708ad9a2aa6278b1e7404340ca2ad">SVF::CallCHI&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1CallDirSVFGEdge.html#a977cb840fbed0b89b445a1b7384d3352">SVF::CallDirSVFGEdge</a>
+, <a class="el" href="classSVF_1_1CallICFGNode.html#afb8bed9242cea8c927d14028526c19b9">SVF::CallICFGNode</a>
 , <a class="el" href="classSVF_1_1CallIndSVFGEdge.html#a9da25118e904862eb1f39231c2b191bd">SVF::CallIndSVFGEdge</a>
 , <a class="el" href="classSVF_1_1CallMU.html#af8a0defe4c5b36893e155a4b074c0f30">SVF::CallMU&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1CallPE.html#a6df0149f79122c5a7d517f75d0235e73">SVF::CallPE</a>
@@ -632,22 +632,22 @@ $(function() {
 , <a class="el" href="classSVF_1_1FormalOUTSVFGNode.html#ac29004272d47ad58ea1e05fbfc1ac639">SVF::FormalOUTSVFGNode</a>
 , <a class="el" href="classSVF_1_1FormalParmVFGNode.html#af91ecca224b99cd6dd3b9b17ad0d8e6f">SVF::FormalParmVFGNode</a>
 , <a class="el" href="classSVF_1_1FormalRetVFGNode.html#af90572e9ac08cb2fffc9c63d51d5a129">SVF::FormalRetVFGNode</a>
-, <a class="el" href="classSVF_1_1FunEntryBlockNode.html#a7a3c08df6a65f82ecda01d3f547aa158">SVF::FunEntryBlockNode</a>
-, <a class="el" href="classSVF_1_1FunExitBlockNode.html#abeae6aae021670c80206c1f5a82ccd97">SVF::FunExitBlockNode</a>
+, <a class="el" href="classSVF_1_1FunEntryICFGNode.html#ad7f8c8f10b067b6766d7c7974f2b751c">SVF::FunEntryICFGNode</a>
+, <a class="el" href="classSVF_1_1FunExitICFGNode.html#acace98ae1961dcd498678694b7ba4699">SVF::FunExitICFGNode</a>
 , <a class="el" href="classSVF_1_1GepCGEdge.html#af9fbe33becd8f832267ab7ea6e0437b6">SVF::GepCGEdge</a>
 , <a class="el" href="classSVF_1_1GepObjVar.html#ad7fc6e6ed6fca8641c44b91ab29524bd">SVF::GepObjVar</a>
 , <a class="el" href="classSVF_1_1GepStmt.html#a441cd8487b320ceff9d62884b4f28176">SVF::GepStmt</a>
 , <a class="el" href="classSVF_1_1GepValVar.html#a28e42f01110a2d0a5f1f90bca14c5035">SVF::GepValVar</a>
 , <a class="el" href="classSVF_1_1GepVFGNode.html#a77aa023b0c19e72a1263c63419643241">SVF::GepVFGNode</a>
-, <a class="el" href="classSVF_1_1GlobalBlockNode.html#a42b0e52fb503c704bec4b1506991ed75">SVF::GlobalBlockNode</a>
+, <a class="el" href="classSVF_1_1GlobalICFGNode.html#a06d0940d1b923991144c827e145a028e">SVF::GlobalICFGNode</a>
 , <a class="el" href="classSVF_1_1HareParForEdge.html#ab1dba5dff1e71bce578dc7b0009ba518">SVF::HareParForEdge</a>
 , <a class="el" href="classSVF_1_1IndirectSVFGEdge.html#a65d58ce28f0bec8ba20191257a80221f">SVF::IndirectSVFGEdge</a>
-, <a class="el" href="classSVF_1_1InterBlockNode.html#aba751d4e1585e5e42bf505574f8b288a">SVF::InterBlockNode</a>
+, <a class="el" href="classSVF_1_1InterICFGNode.html#a67ef8b6f4d8961c54145df0ce8a5c843">SVF::InterICFGNode</a>
 , <a class="el" href="classSVF_1_1InterMSSAPHISVFGNode.html#a62c0f4f98a42fe65f1dd570ec277b13f">SVF::InterMSSAPHISVFGNode</a>
 , <a class="el" href="classSVF_1_1InterPHIVFGNode.html#af05335676298acd6ad0bf2f445c8105b">SVF::InterPHIVFGNode</a>
-, <a class="el" href="classSVF_1_1IntraBlockNode.html#afec0f1abe96e4f6e0e3f9e4d075bf308">SVF::IntraBlockNode</a>
 , <a class="el" href="classSVF_1_1IntraCFGEdge.html#a70bdadf898a10c6db89e9f432529092c">SVF::IntraCFGEdge</a>
 , <a class="el" href="classSVF_1_1IntraDirSVFGEdge.html#a66c199063471c5b3fcbe6a8cce47a1fe">SVF::IntraDirSVFGEdge</a>
+, <a class="el" href="classSVF_1_1IntraICFGNode.html#a295649753e583729a9f3bfd9e8a1e87f">SVF::IntraICFGNode</a>
 , <a class="el" href="classSVF_1_1IntraIndSVFGEdge.html#ae1e57e6cc223a06f957c4d6761c35402">SVF::IntraIndSVFGEdge</a>
 , <a class="el" href="classSVF_1_1IntraMSSAPHISVFGNode.html#ae1fef4865427f59811fde241d4ac80cc">SVF::IntraMSSAPHISVFGNode</a>
 , <a class="el" href="classSVF_1_1IntraPHIVFGNode.html#a30aa2227c1d94c2726d29cdbe800f91e">SVF::IntraPHIVFGNode</a>
@@ -677,9 +677,9 @@ $(function() {
 , <a class="el" href="classSVF_1_1PhiStmt.html#abb620d35e77989c2f7f9ed480e5fa1e9">SVF::PhiStmt</a>
 , <a class="el" href="classSVF_1_1PHIVFGNode.html#a522b90297d1a34858c9ae830cc24f1aa">SVF::PHIVFGNode</a>
 , <a class="el" href="classSVF_1_1PTACallGraphEdge.html#adb10c32eff8a794d9f2b1b4a47d85d21">SVF::PTACallGraphEdge</a>
-, <a class="el" href="classSVF_1_1RetBlockNode.html#abd3a2b54fdb7e1339f765b3e5ab86947">SVF::RetBlockNode</a>
 , <a class="el" href="classSVF_1_1RetCFGEdge.html#aa26fbdb6a5fc801eef8a7f59ea28bc3a">SVF::RetCFGEdge</a>
 , <a class="el" href="classSVF_1_1RetDirSVFGEdge.html#ae13c787500749e182c7b48d4750fc0bb">SVF::RetDirSVFGEdge</a>
+, <a class="el" href="classSVF_1_1RetICFGNode.html#a495a6ff3a561fac9a5157308c68a5ea8">SVF::RetICFGNode</a>
 , <a class="el" href="classSVF_1_1RetIndSVFGEdge.html#a436d46d2a475a291ecc56cc2f26b910f">SVF::RetIndSVFGEdge</a>
 , <a class="el" href="classSVF_1_1RetMU.html#ace8b780beda75de78d08247335e1738a">SVF::RetMU&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1RetPE.html#a43c6965616d67e77087b486265139d21">SVF::RetPE</a>
@@ -896,7 +896,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1PathCondAllocator.html#a391cb347cf98f33c261e59975900048e">SVF::PathCondAllocator</a>
 </li>
 <li>collectCallSitePts()
-: <a class="el" href="classSVF_1_1MRGenerator.html#ac43b3f895efd160c7dd5860c0dfd1625">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#a9de695122660c1d8b65e1f3dab8a7ece">SVF::MRGenerator</a>
 </li>
 <li>collectCallsiteTargets()
 : <a class="el" href="classSVF_1_1MTAResultValidator.html#a1fc4116b134aa87420d055b193208e68">SVF::MTAResultValidator</a>
@@ -1148,16 +1148,16 @@ $(function() {
 , <a class="el" href="classSVF_1_1SVFGOPT.html#aa39900e11f5689f8bd70f3ec45865225">SVF::SVFGOPT</a>
 </li>
 <li>connectAParamAndFParam()
-: <a class="el" href="classSVF_1_1SVFGOPT.html#a00b0b986f81495becae90098517739e4">SVF::SVFGOPT</a>
-, <a class="el" href="classSVF_1_1VFG.html#acbc1f5ae3b9016b1ce97314a2b8b54c0">SVF::VFG</a>
+: <a class="el" href="classSVF_1_1SVFGOPT.html#a5e65ac95b96fb87a11a765c51f366ec1">SVF::SVFGOPT</a>
+, <a class="el" href="classSVF_1_1VFG.html#a2c508fbf07bad33d5b56d2acc6e012d3">SVF::VFG</a>
 </li>
 <li>connectCaller2CalleeParams()
 : <a class="el" href="classSVF_1_1Andersen.html#a5a90e681e46c52ffd3debf02910c7ecf">SVF::Andersen</a>
 </li>
 <li>connectCallerAndCallee()
 : <a class="el" href="classSVF_1_1FlowSensitive.html#ad7640ada31b5cb542e492e27ab4fe1af">SVF::FlowSensitive</a>
-, <a class="el" href="classSVF_1_1SVFG.html#a0cebc2ba5ae81a6d45b224a4f94fc8b4">SVF::SVFG</a>
-, <a class="el" href="classSVF_1_1VFG.html#aa1e09df7b3724bf18e450b16735998ab">SVF::VFG</a>
+, <a class="el" href="classSVF_1_1SVFG.html#aefca97f043b3e220ef6012a049b83fdf">SVF::SVFG</a>
+, <a class="el" href="classSVF_1_1VFG.html#aa055ce3c4fe1cde5529cd63dd1ef2ed6">SVF::VFG</a>
 </li>
 <li>connectDirectVFGEdges()
 : <a class="el" href="classSVF_1_1VFG.html#adedaba0713164e10ce6273b2947535e0">SVF::VFG</a>
@@ -1204,7 +1204,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1Options.html#a485ec0be47c5e78bac4511d00687aee1">SVF::Options</a>
 </li>
 <li>connectVCallToVFns()
-: <a class="el" href="classSVF_1_1PointerAnalysis.html#a8ff3f219b9f118a4f06360750408c9cb">SVF::PointerAnalysis</a>
+: <a class="el" href="classSVF_1_1PointerAnalysis.html#a6a5dec067fa2a1babc83f36daa8afcc3">SVF::PointerAnalysis</a>
 </li>
 <li>consCG
 : <a class="el" href="classSVF_1_1AndersenBase.html#ae21e38a06a4397d11cdd17b0f8f282fd">SVF::AndersenBase</a>
@@ -1321,7 +1321,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LeakChecker.html#a42f54433e5ca60928f3c329ab545842da1524077f4425b7e2d6cc32917a02c356">SVF::LeakChecker</a>
 </li>
 <li>ContextCond()
-: <a class="el" href="classSVF_1_1ContextCond.html#a5f31275f74ff9eb5734481f36275c6d9">SVF::ContextCond</a>
+: <a class="el" href="classSVF_1_1ContextCond.html#a9b81bf11679645d32d50b91bdb6d2dc1">SVF::ContextCond</a>
 </li>
 <li>ContextDDA()
 : <a class="el" href="classSVF_1_1ContextDDA.html#ac73213825d188fb4d1105ddc472fde05">SVF::ContextDDA</a>
@@ -1480,14 +1480,14 @@ $(function() {
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#ae7cf16ad79c13104dd9981e6b984057e">SVF::VersionedFlowSensitive</a>
 </li>
 <li>cs
-: <a class="el" href="classSVF_1_1ActualINSVFGNode.html#a2c98367f823ddbc091674b50b877c7e5">SVF::ActualINSVFGNode</a>
-, <a class="el" href="classSVF_1_1ActualOUTSVFGNode.html#a0c305793d2c1ed2c27fb28dafe6927ff">SVF::ActualOUTSVFGNode</a>
-, <a class="el" href="classSVF_1_1ActualParmVFGNode.html#afec49cb3b0f571edc4c35823ca5b55eb">SVF::ActualParmVFGNode</a>
-, <a class="el" href="classSVF_1_1ActualRetVFGNode.html#a17a849feee552005bed5ac7c6410009e">SVF::ActualRetVFGNode</a>
-, <a class="el" href="classSVF_1_1CallBlockNode.html#a4236d60c129adc0d959bed14dce71053">SVF::CallBlockNode</a>
+: <a class="el" href="classSVF_1_1ActualINSVFGNode.html#a7260c36cd5a063e3c1de2b2ca7bd0802">SVF::ActualINSVFGNode</a>
+, <a class="el" href="classSVF_1_1ActualOUTSVFGNode.html#a075773fa5b13cc067d24fbbb35c1d042">SVF::ActualOUTSVFGNode</a>
+, <a class="el" href="classSVF_1_1ActualParmVFGNode.html#a652f865955c1f345c656c9178376228a">SVF::ActualParmVFGNode</a>
+, <a class="el" href="classSVF_1_1ActualRetVFGNode.html#af1217e120a09ae262205278c69d8c643">SVF::ActualRetVFGNode</a>
 , <a class="el" href="classSVF_1_1CallCFGEdge.html#a2939111c1df48ca33b46a61d273b9a7d">SVF::CallCFGEdge</a>
-, <a class="el" href="classSVF_1_1RetBlockNode.html#a9ed7b40bb07977642484362673e7ba2d">SVF::RetBlockNode</a>
+, <a class="el" href="classSVF_1_1CallICFGNode.html#ae1af4091b0f7f2c34f4909b96ab17586">SVF::CallICFGNode</a>
 , <a class="el" href="classSVF_1_1RetCFGEdge.html#a9fd322ebb9aec43f9f49feb2b593c9b6">SVF::RetCFGEdge</a>
+, <a class="el" href="classSVF_1_1RetICFGNode.html#abd7b5e9cdb73b6e52b4fcb8b5e1b2b23">SVF::RetICFGNode</a>
 </li>
 <li>csc
 : <a class="el" href="classSVF_1_1AndersenSFR.html#aa39c668b1473ac4fb99da3aa736c9edb">SVF::AndersenSFR</a>
@@ -1528,13 +1528,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85adf8fe4349f84779601a0b41659ca8e27">SVF::PointerAnalysis</a>
 </li>
 <li>CSToArgsListMap
-: <a class="el" href="classSVF_1_1SVFIR.html#a0321197dcaf5b00189b6dec732a799ef">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#a32f7ac512aa8d34923dabfe0f0867fca">SVF::SVFIR</a>
 </li>
 <li>CSToCallNodeMap
 : <a class="el" href="classSVF_1_1ICFG.html#af0434d6ffd247eeaf73b9294e659a3f9">SVF::ICFG</a>
 </li>
 <li>CSToCallNodeMapTy
-: <a class="el" href="classSVF_1_1ICFG.html#a13694bd3990dd29ebce641a7c827a370">SVF::ICFG</a>
+: <a class="el" href="classSVF_1_1ICFG.html#ac603cd3bb9c52c4261bba04e2c8ea193">SVF::ICFG</a>
 </li>
 <li>csToCallSiteArgsPtsMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#afe91b57b451d7788364493549e015acf">SVF::MRGenerator</a>
@@ -1561,16 +1561,16 @@ $(function() {
 : <a class="el" href="classSVF_1_1MRGenerator.html#ac7b5ca3fd950e1a940f875ac135640f6">SVF::MRGenerator</a>
 </li>
 <li>CSToRetMap
-: <a class="el" href="classSVF_1_1SVFIR.html#a8a7156b1182e8d32b3899d510514ae42">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#a3c7f0dff03671f71e0a453a4de722681">SVF::SVFIR</a>
 </li>
 <li>CSToRetNodeMap
 : <a class="el" href="classSVF_1_1ICFG.html#a0e43308038663c10667177238b23ab3e">SVF::ICFG</a>
 </li>
 <li>CSToRetNodeMapTy
-: <a class="el" href="classSVF_1_1ICFG.html#a3d519765c4bbc1479b64ef211f845edd">SVF::ICFG</a>
+: <a class="el" href="classSVF_1_1ICFG.html#a8ca1b5e8478ffefed30d3dc138a67a8e">SVF::ICFG</a>
 </li>
 <li>CSWorkList
-: <a class="el" href="classSVF_1_1LeakChecker.html#ae4622afe7eae8f6d8a3616de70c09fe0">SVF::LeakChecker</a>
+: <a class="el" href="classSVF_1_1LeakChecker.html#aa0d4c66929f8ae39cf5efc77e873f642">SVF::LeakChecker</a>
 </li>
 <li>CTirAliasEval
 : <a class="el" href="classSVF_1_1Options.html#ad148549070b042aeddafca39ee949c77">SVF::Options</a>
@@ -1668,12 +1668,12 @@ $(function() {
 <li>CxtLockProcVec
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a058f3518f0b861c46c99095922e373f0">SVF::LockAnalysis</a>
 </li>
-<li>CxtLockSet
-: <a class="el" href="classSVF_1_1LockAnalysis.html#a0716c155b42b3ae7a6c8d7593bb6ac83">SVF::LockAnalysis</a>
-</li>
 <li>cxtLockset
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a3081e7c7165908ed4aa282f398c5236d">SVF::LockAnalysis</a>
 </li>
+<li>CxtLockSet
+: <a class="el" href="classSVF_1_1LockAnalysis.html#a0716c155b42b3ae7a6c8d7593bb6ac83">SVF::LockAnalysis</a>
+</li>
 <li>cxtLockSet
 : <a class="el" href="classSVF_1_1LockResultValidator.html#a51e6f48be9f2a65b390e4e0350eb12a9">SVF::LockResultValidator</a>
 </li>
@@ -1712,23 +1712,21 @@ $(function() {
 <li>CxtStmtSet
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a42ed881d4cd79eae099266a9e171aeb2">SVF::LockAnalysis</a>
 </li>
-<li>cxtStmtToAliveFlagMap
-: <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#aa31b3f3d51b963ccd475e66b77143dba">SVF::ForkJoinAnalysis</a>
-</li>
 <li>CxtStmtToAliveFlagMap
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#acdc652faba35e45820cce0cdd20ea99c">SVF::ForkJoinAnalysis</a>
 </li>
+<li>cxtStmtToAliveFlagMap
+: <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#aa31b3f3d51b963ccd475e66b77143dba">SVF::ForkJoinAnalysis</a>
+</li>
 <li>CxtStmtToCxtLockS
 : <a class="el" href="classSVF_1_1LockResultValidator.html#a03954bdf28345cd7fbcd5cc242d40681">SVF::LockResultValidator</a>
 </li>
-<li>cxtStmtToCxtLockSet
-: <a class="el" href="classSVF_1_1LockAnalysis.html#ae256a84fd63947a6f81bee030bdbe7fc">SVF::LockAnalysis</a>
-</li>
 <li>CxtStmtToCxtLockSet
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a710aad28484677637367e9098a55c7d7">SVF::LockAnalysis</a>
 </li>
 <li>cxtStmtToCxtLockSet
-: <a class="el" href="classSVF_1_1LockResultValidator.html#ad8a03181445edeb835fed08c88f6e0bb">SVF::LockResultValidator</a>
+: <a class="el" href="classSVF_1_1LockAnalysis.html#ae256a84fd63947a6f81bee030bdbe7fc">SVF::LockAnalysis</a>
+, <a class="el" href="classSVF_1_1LockResultValidator.html#ad8a03181445edeb835fed08c88f6e0bb">SVF::LockResultValidator</a>
 </li>
 <li>CxtStmtToLockFlagMap
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a451d9b41fd048e11615ea47872f614c9">SVF::LockAnalysis</a>
@@ -1747,7 +1745,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CxtThread.html#a7f842879cad19328575f33220491352a">SVF::CxtThread</a>
 </li>
 <li>CxtThreadProc()
-: <a class="el" href="classSVF_1_1CxtThreadProc.html#a1c7dd7740266a07d354df537a9167bcc">SVF::CxtThreadProc</a>
+: <a class="el" href="classSVF_1_1CxtThreadProc.html#acce14996e41ae55ae8e27b29408ef7c8">SVF::CxtThreadProc</a>
 </li>
 <li>CxtThreadProcSet
 : <a class="el" href="classSVF_1_1TCT.html#a09493a428c0ebe7f67847b48f0481f40">SVF::TCT</a>
@@ -1756,7 +1754,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1TCT.html#a23df579f18d4ea4b0f47272091ddc43e">SVF::TCT</a>
 </li>
 <li>CxtThreadStmt()
-: <a class="el" href="classSVF_1_1CxtThreadStmt.html#adeef75dbfd24665521931780c70aa5f9">SVF::CxtThreadStmt</a>
+: <a class="el" href="classSVF_1_1CxtThreadStmt.html#ab5487e3f330bb18685281c5effcecfbb">SVF::CxtThreadStmt</a>
 </li>
 <li>CxtThreadStmtSet
 : <a class="el" href="classSVF_1_1MHP.html#a28031502c4f8f0d4012c0827c57efb32">SVF::MHP</a>

package/SVF-doxygen/html/html/functions_eval_r.html

@@ -82,6 +82,9 @@ $(function() {
 <li>RetSymbol
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89ba8ac9528bf8b81f7942c1cdc0bf63ec35">SVF::SymbolTableInfo</a>
 </li>
+<li>REVERSE_DENSE
+: <a class="el" href="classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228ae21bc1064d05499c2dc6051d153df9e6">SVF::NodeIDAllocator</a>
+</li>
 </ul>
 </div><!-- contents -->
 <!-- start footer part -->

package/SVF-doxygen/html/html/functions_f.html

@@ -251,7 +251,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFGOPT.html#a6eeec9fa475316f52689728a1af7bd05">SVF::SVFGOPT</a>
 </li>
 <li>FormalINSVFGNode()
-: <a class="el" href="classSVF_1_1FormalINSVFGNode.html#a109121a6d83e2c3b09bd3e4de0e61fa8">SVF::FormalINSVFGNode</a>
+: <a class="el" href="classSVF_1_1FormalINSVFGNode.html#a199d0b978417c694a2200f22737904df">SVF::FormalINSVFGNode</a>
 </li>
 <li>FormalINSVFGNodeSet
 : <a class="el" href="classSVF_1_1SVFG.html#a8859409373454b6b3d1252776e169cf5">SVF::SVFG</a>
@@ -260,7 +260,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFGOPT.html#a86cb63258b49077587d44ba45d023f02">SVF::SVFGOPT</a>
 </li>
 <li>FormalOUTSVFGNode()
-: <a class="el" href="classSVF_1_1FormalOUTSVFGNode.html#aeab06b16f89bb9a50d4812d3d50791dc">SVF::FormalOUTSVFGNode</a>
+: <a class="el" href="classSVF_1_1FormalOUTSVFGNode.html#a87832feaa312a4aff2de2ca0209dfe72">SVF::FormalOUTSVFGNode</a>
 </li>
 <li>FormalOUTSVFGNodeSet
 : <a class="el" href="classSVF_1_1SVFG.html#acb7262c3b9161c77eb1b491048152fb0">SVF::SVFG</a>
@@ -269,13 +269,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFGOPT.html#abbd6ac28826b9cc4c4981271393c8b19">SVF::SVFGOPT</a>
 </li>
 <li>FormalParmNodeVec
-: <a class="el" href="classSVF_1_1FunEntryBlockNode.html#a44354534e0f2fc7626e5ed11126f2549">SVF::FunEntryBlockNode</a>
+: <a class="el" href="classSVF_1_1FunEntryICFGNode.html#a0e8ff24e445a670f5ea1fef66ea928c5">SVF::FunEntryICFGNode</a>
 </li>
 <li>FormalParmVFGNode()
 : <a class="el" href="classSVF_1_1FormalParmVFGNode.html#a4f51e718a8519f6edcee627cdd51b272">SVF::FormalParmVFGNode</a>
 </li>
 <li>formalRet
-: <a class="el" href="classSVF_1_1FunExitBlockNode.html#ae759d153ed7d3296b67574c888b99e4f">SVF::FunExitBlockNode</a>
+: <a class="el" href="classSVF_1_1FunExitICFGNode.html#ac3765c6a34ddff0018e38ce644d96641">SVF::FunExitICFGNode</a>
 </li>
 <li>FormalRetVFGNode()
 : <a class="el" href="classSVF_1_1FormalRetVFGNode.html#a0155a71f08dfb1fb43f054084b2380c6">SVF::FormalRetVFGNode</a>
@@ -305,7 +305,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a3c58aedc46cdafac26b47ec9674c2ac5">SVF::VFGNode</a>
 </li>
 <li>FPNodes
-: <a class="el" href="classSVF_1_1FunEntryBlockNode.html#afc829a259f3c15524a71cef27d294949">SVF::FunEntryBlockNode</a>
+: <a class="el" href="classSVF_1_1FunEntryICFGNode.html#a30e8c63bf2ae7a7528b9d8a516340ade">SVF::FunEntryICFGNode</a>
 </li>
 <li>FPOUT
 : <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ac2c5b04acc4f754e70a782adee522e09">SVF::VFGNode</a>
@@ -370,7 +370,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1EntryCHI.html#afd2b2d4a7198f62467b4062740e5196c">SVF::EntryCHI&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1FormalParmVFGNode.html#ad8f56074e213d2e7dc1d22a1b0765f8c">SVF::FormalParmVFGNode</a>
 , <a class="el" href="classSVF_1_1FormalRetVFGNode.html#ae267daf3681188e6e74f656a73d21be3">SVF::FormalRetVFGNode</a>
-, <a class="el" href="classSVF_1_1FunExitBlockNode.html#a0d18e92e60f6060ee188d4e4947f8097">SVF::FunExitBlockNode</a>
+, <a class="el" href="classSVF_1_1FunExitICFGNode.html#adfcebc33f3c36b8145074d370dfa1cb9">SVF::FunExitICFGNode</a>
 , <a class="el" href="classSVF_1_1ICFGNode.html#a03587dbd558d8fffe25307b42e3195be">SVF::ICFGNode</a>
 , <a class="el" href="classSVF_1_1InterMSSAPHISVFGNode.html#aa7ccd369a342e151e22062c92bf1f978">SVF::InterMSSAPHISVFGNode</a>
 , <a class="el" href="classSVF_1_1InterPHIVFGNode.html#a5aa8e8a10a5c30f2f4669c9190e18740">SVF::InterPHIVFGNode</a>
@@ -448,20 +448,20 @@ $(function() {
 <li>FunEntryBlock
 : <a class="el" href="classSVF_1_1ICFGNode.html#a74f598c1c86b023680bb2685aa8ab376ad2fb9517b64addcced67efe9cc83b994">SVF::ICFGNode</a>
 </li>
-<li>FunEntryBlockNode()
-: <a class="el" href="classSVF_1_1FunEntryBlockNode.html#ad515c9a6d982b08afc8ecdf716ae4083">SVF::FunEntryBlockNode</a>
+<li>FunEntryICFGNode()
+: <a class="el" href="classSVF_1_1FunEntryICFGNode.html#a15fd95468e2200d92d650625d4fa2f31">SVF::FunEntryICFGNode</a>
 </li>
 <li>funEntryNode
-: <a class="el" href="classSVF_1_1FormalINSVFGNode.html#ace06f0de65274270f993b810e27943db">SVF::FormalINSVFGNode</a>
+: <a class="el" href="classSVF_1_1FormalINSVFGNode.html#a4a574589ae53d38e63fc4a26a5b9af61">SVF::FormalINSVFGNode</a>
 </li>
 <li>FunExitBlock
 : <a class="el" href="classSVF_1_1ICFGNode.html#a74f598c1c86b023680bb2685aa8ab376acf25925678f7fa5fba01766bd06a1fb8">SVF::ICFGNode</a>
 </li>
-<li>FunExitBlockNode()
-: <a class="el" href="classSVF_1_1FunExitBlockNode.html#add93917bcec04f3925563f8890041151">SVF::FunExitBlockNode</a>
+<li>FunExitICFGNode()
+: <a class="el" href="classSVF_1_1FunExitICFGNode.html#a84f43a81c2b6df125f32ddcb47b8858b">SVF::FunExitICFGNode</a>
 </li>
 <li>funExitNode
-: <a class="el" href="classSVF_1_1FormalOUTSVFGNode.html#a0d888af907e0c434b968653e09f05938">SVF::FormalOUTSVFGNode</a>
+: <a class="el" href="classSVF_1_1FormalOUTSVFGNode.html#af5235111849f826880c10d7bcc635748">SVF::FormalOUTSVFGNode</a>
 </li>
 <li>funHasRet()
 : <a class="el" href="classSVF_1_1SVFIR.html#afe8274c3b7317fccef5314662a182046">SVF::SVFIR</a>
@@ -527,13 +527,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1ICFG.html#a69076849bd256fb0ca59711a59a7c092">SVF::ICFG</a>
 </li>
 <li>FunToFunEntryNodeMapTy
-: <a class="el" href="classSVF_1_1ICFG.html#a05067e577bfcdcd37b94198ee97e7eb7">SVF::ICFG</a>
+: <a class="el" href="classSVF_1_1ICFG.html#a44a95ca43a7b3148c1aee9ad5da6e9d1">SVF::ICFG</a>
 </li>
 <li>FunToFunExitNodeMap
 : <a class="el" href="classSVF_1_1ICFG.html#ab87a90adae3e9db06da7ecc0bd9d920f">SVF::ICFG</a>
 </li>
 <li>FunToFunExitNodeMapTy
-: <a class="el" href="classSVF_1_1ICFG.html#a456ecdf6f28e6325613833ac07a9ca4d">SVF::ICFG</a>
+: <a class="el" href="classSVF_1_1ICFG.html#a25f4e5330af9d3fba19ad70520b2ec7f">SVF::ICFG</a>
 </li>
 <li>FunToIDMapTy
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#ada2191cb0e3798ba29aa442dca762290">SVF::SymbolTableInfo</a>