svf-tools 1.0.342 → 1.0.346

package/SVF-doxygen/html/html/functions_func.html

@@ -74,38 +74,38 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFGOPT.html#af6fa424cd7518b330a6017839a789bf6">SVF::SVFGOPT</a>
 </li>
 <li>ActualINSVFGNode()
-: <a class="el" href="classSVF_1_1ActualINSVFGNode.html#aa32f5275f25d39d97b5047352858c326">SVF::ActualINSVFGNode</a>
+: <a class="el" href="classSVF_1_1ActualINSVFGNode.html#a7f2648ebb69ebc53638dceb4382b41b0">SVF::ActualINSVFGNode</a>
 </li>
 <li>actualOutOfIndCS()
 : <a class="el" href="classSVF_1_1SVFGOPT.html#a79c435e456474b41e4402c2c9c269fc9">SVF::SVFGOPT</a>
 </li>
 <li>ActualOUTSVFGNode()
-: <a class="el" href="classSVF_1_1ActualOUTSVFGNode.html#acca65d56457f7c4c7f7b30bf4b3e78d0">SVF::ActualOUTSVFGNode</a>
+: <a class="el" href="classSVF_1_1ActualOUTSVFGNode.html#afe2c662d51f3c9d31a20b5c1bee45844">SVF::ActualOUTSVFGNode</a>
 </li>
 <li>ActualParmVFGNode()
-: <a class="el" href="classSVF_1_1ActualParmVFGNode.html#ace169bed651f146af4237b407bfab64d">SVF::ActualParmVFGNode</a>
+: <a class="el" href="classSVF_1_1ActualParmVFGNode.html#a773b6912100fbd3a2a58cfe0da8ea6d5">SVF::ActualParmVFGNode</a>
 </li>
 <li>ActualRetVFGNode()
 : <a class="el" href="classSVF_1_1ActualRetVFGNode.html#adc425f00b03e7a59725161ce1a78b349">SVF::ActualRetVFGNode</a>
 </li>
 <li>addActualINSVFGNode()
-: <a class="el" href="classSVF_1_1SVFG.html#ab6dfac64a363550ef51df246849a13aa">SVF::SVFG</a>
+: <a class="el" href="classSVF_1_1SVFG.html#a923924d3887c668b355f4029502a3754">SVF::SVFG</a>
 </li>
 <li>addActualOUTSVFGNode()
-: <a class="el" href="classSVF_1_1SVFG.html#acc0c102c3773b7d8abb23959fb64ffa4">SVF::SVFG</a>
+: <a class="el" href="classSVF_1_1SVFG.html#a74aa824a68f99756ac3e65231c7bc2e9">SVF::SVFG</a>
 </li>
 <li>addActualParms()
-: <a class="el" href="classSVF_1_1CallBlockNode.html#a6d819186e239e68c117af16ed405da84">SVF::CallBlockNode</a>
+: <a class="el" href="classSVF_1_1CallICFGNode.html#ab389873c50b952b67aeafe7204864d59">SVF::CallICFGNode</a>
 </li>
 <li>addActualParmVFGNode()
-: <a class="el" href="classSVF_1_1SaberSVFGBuilder.html#ac6a3fe78d1459a79055703ea4afa14c6">SVF::SaberSVFGBuilder</a>
-, <a class="el" href="classSVF_1_1VFG.html#a0fabca3c0f9bebe23f66a914dbb99e39">SVF::VFG</a>
+: <a class="el" href="classSVF_1_1SaberSVFGBuilder.html#ab8db9f6681eeb4663614119417a83cec">SVF::SaberSVFGBuilder</a>
+, <a class="el" href="classSVF_1_1VFG.html#a6b373385fa30c83c24844c41c2f05e53">SVF::VFG</a>
 </li>
 <li>addActualRet()
-: <a class="el" href="classSVF_1_1RetBlockNode.html#ad2cd6f6589ce5464d6fbcac49f115714">SVF::RetBlockNode</a>
+: <a class="el" href="classSVF_1_1RetICFGNode.html#ac719aea72183e187f71471e1e58c9e54">SVF::RetICFGNode</a>
 </li>
 <li>addActualRetVFGNode()
-: <a class="el" href="classSVF_1_1VFG.html#a71022c8953e89e21b017936286f12251">SVF::VFG</a>
+: <a class="el" href="classSVF_1_1VFG.html#a63994c100593efda25dbd50646dfe0dc">SVF::VFG</a>
 </li>
 <li>addAddrCGEdge()
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#a56cfcc39637cf5208f65297a63dde266">SVF::ConstraintGraph</a>
@@ -161,14 +161,14 @@ $(function() {
 </li>
 <li>addCallEdge()
 : <a class="el" href="classSVF_1_1ICFG.html#abde033687317d47909ee45db7501723f">SVF::ICFG</a>
-, <a class="el" href="classSVF_1_1SVFIRBuilder.html#af4ff212d09284eb377eefd14f60d2f14">SVF::SVFIRBuilder</a>
+, <a class="el" href="classSVF_1_1SVFIRBuilder.html#a5b41510e55eb48781a917e5a9c0e1462">SVF::SVFIRBuilder</a>
 , <a class="el" href="classSVF_1_1VFG.html#aa01f63b17acdd52122a7f1ade329ccea">SVF::VFG</a>
 </li>
 <li>addCallGraphNode()
 : <a class="el" href="classSVF_1_1PTACallGraph.html#a8a1621038edeb847bfc5a4a7be7620a3">SVF::PTACallGraph</a>
 </li>
 <li>addCallICFGNode()
-: <a class="el" href="classSVF_1_1ICFG.html#ac069357c3f5140fcb0d6163c944638fd">SVF::ICFG</a>
+: <a class="el" href="classSVF_1_1ICFG.html#a9168a7e686797d5e09d6d9aebea963e3">SVF::ICFG</a>
 </li>
 <li>addCallIndirectSVFGEdge()
 : <a class="el" href="classSVF_1_1SVFGOPT.html#a11dc712bf74ba61160fed7a5c3efaeee">SVF::SVFGOPT</a>
@@ -178,23 +178,23 @@ $(function() {
 </li>
 <li>addCallPE()
 : <a class="el" href="classSVF_1_1FormalParmVFGNode.html#af0dfc7f8b58d5bc0e47c6ad17216cc1e">SVF::FormalParmVFGNode</a>
-, <a class="el" href="classSVF_1_1SVFIR.html#a9e99fcf29016ef401f53491ec54a4053">SVF::SVFIR</a>
+, <a class="el" href="classSVF_1_1SVFIR.html#a2244c6180cede066186d9f7098bf9325">SVF::SVFIR</a>
 </li>
 <li>addCallSite()
-: <a class="el" href="classSVF_1_1PTACallGraph.html#a72efe87a80f84a3945a93431d9414d3d">SVF::PTACallGraph</a>
-, <a class="el" href="classSVF_1_1SVFIR.html#a51f28f03a236b244b636ca88c5511a30">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1PTACallGraph.html#a979359fc784e647c574de90c7af2cf40">SVF::PTACallGraph</a>
+, <a class="el" href="classSVF_1_1SVFIR.html#a98341496bf470d23384f3d86a58591db">SVF::SVFIR</a>
 </li>
 <li>addCallSiteArgs()
-: <a class="el" href="classSVF_1_1SVFIR.html#a5fafbfd6a30b8796b92a3a1f3409767f">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#a69963e4030433103e84e57fc015871d8">SVF::SVFIR</a>
 </li>
 <li>AddCallSiteCHI()
-: <a class="el" href="classSVF_1_1MemSSA.html#ac6f2171f92e0bdd5dbdb58efed144c18">SVF::MemSSA</a>
+: <a class="el" href="classSVF_1_1MemSSA.html#ad8011273feaf046bf7f3a3f3b904a91d">SVF::MemSSA</a>
 </li>
 <li>AddCallSiteMU()
-: <a class="el" href="classSVF_1_1MemSSA.html#a1aa05f81640286a796db0ded4e10c7ac">SVF::MemSSA</a>
+: <a class="el" href="classSVF_1_1MemSSA.html#a8f121e686d36748e4528d0ea66dcaa24">SVF::MemSSA</a>
 </li>
 <li>addCallSiteRets()
-: <a class="el" href="classSVF_1_1SVFIR.html#a3c8070a1d7a6a705433b05dd633185b1">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#a72efebdfe007ec8c515967ede76b6ce0">SVF::SVFIR</a>
 </li>
 <li>addCandidate()
 : <a class="el" href="classSVF_1_1DDAClient.html#a7c07d9527011ea0165038e3a112a85d8">SVF::DDAClient</a>
@@ -250,10 +250,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1VFG.html#a49d35213a281859ca64398760c485a85">SVF::VFG</a>
 </li>
 <li>addCPtsToCallSiteMods()
-: <a class="el" href="classSVF_1_1MRGenerator.html#a3c9e58dee18cde9a6e1575e34955af78">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#ab5b92ca898739f613f965fc05f86f094">SVF::MRGenerator</a>
 </li>
 <li>addCPtsToCallSiteRefs()
-: <a class="el" href="classSVF_1_1MRGenerator.html#a77cf2b1959581da2b0cdf88291664ff3">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#a94ce7ceff7cee90d672e9f3a4f3aa4e8">SVF::MRGenerator</a>
 </li>
 <li>addCPtsToLoad()
 : <a class="el" href="classSVF_1_1MRGenerator.html#a79a3032b50f7ef905213b770b12e0967">SVF::MRGenerator</a>
@@ -274,22 +274,22 @@ $(function() {
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#a5a8632a957fce63f186dd8b657566dd2">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
 <li>addDirectCallGraphEdge()
-: <a class="el" href="classSVF_1_1PTACallGraph.html#ab0da49175c64d8e2fccd19680d79771e">SVF::PTACallGraph</a>
+: <a class="el" href="classSVF_1_1PTACallGraph.html#a69bf382a228644d1c683b436930ee6df">SVF::PTACallGraph</a>
 </li>
 <li>addDirectCallSite()
-: <a class="el" href="classSVF_1_1PTACallGraphEdge.html#a9f2ef4c539e31e91f26a3af2ffae26de">SVF::PTACallGraphEdge</a>
+: <a class="el" href="classSVF_1_1PTACallGraphEdge.html#a9ccc3f85568639abb8540eb61f6d3158">SVF::PTACallGraphEdge</a>
 </li>
 <li>addDirectForkEdge()
-: <a class="el" href="classSVF_1_1ThreadCallGraph.html#a92e5a3154a98e12bdbbe4e0d39e62b3e">SVF::ThreadCallGraph</a>
+: <a class="el" href="classSVF_1_1ThreadCallGraph.html#a19e505dbca2d2b5128762b223b9a7114">SVF::ThreadCallGraph</a>
 </li>
 <li>addDirectJoinEdge()
-: <a class="el" href="classSVF_1_1ThreadCallGraph.html#a62476a033fb54314da61dff6981bf229">SVF::ThreadCallGraph</a>
+: <a class="el" href="classSVF_1_1ThreadCallGraph.html#a8e1a6710a05e08b9ed87e373bd5bd0ee">SVF::ThreadCallGraph</a>
 </li>
 <li>addDirectlyJoinTID()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a8aa2d4c83981007108b152d05e9c51fe">SVF::ForkJoinAnalysis</a>
 </li>
 <li>addDirectParForEdge()
-: <a class="el" href="classSVF_1_1ThreadCallGraph.html#a700ec3fd1c9d89a7176e05b2f1949aef">SVF::ThreadCallGraph</a>
+: <a class="el" href="classSVF_1_1ThreadCallGraph.html#ae942f7d46198207219e5ce8287497262">SVF::ThreadCallGraph</a>
 </li>
 <li>addDpmToLoc()
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#af7be3fa6c73dde97d6f9fd0395c9aee0">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
@@ -327,22 +327,22 @@ $(function() {
 : <a class="el" href="classSVF_1_1PCG.html#a53e95f74121cd6e35b73f345139f6b00">SVF::PCG</a>
 </li>
 <li>addForksite()
-: <a class="el" href="classSVF_1_1ThreadCallGraph.html#a6e2ebab64fd01e40e7100162fe544b04">SVF::ThreadCallGraph</a>
+: <a class="el" href="classSVF_1_1ThreadCallGraph.html#a563ebb1ece0adb4bafe5e14b2a024a91">SVF::ThreadCallGraph</a>
 </li>
 <li>addFormalINSVFGNode()
-: <a class="el" href="classSVF_1_1SVFG.html#aee7cd64ac52d2ae930ab527325a77a30">SVF::SVFG</a>
+: <a class="el" href="classSVF_1_1SVFG.html#ab4690114393820f580e805d2e0d6a41d">SVF::SVFG</a>
 </li>
 <li>addFormalOUTSVFGNode()
-: <a class="el" href="classSVF_1_1SVFG.html#ae54becb2073591bce004f820cd13b1ca">SVF::SVFG</a>
+: <a class="el" href="classSVF_1_1SVFG.html#a804824faa3a042cb1b63edd9e9eb7207">SVF::SVFG</a>
 </li>
 <li>addFormalParms()
-: <a class="el" href="classSVF_1_1FunEntryBlockNode.html#ae6ebc073885c5d47f685c61097dadf20">SVF::FunEntryBlockNode</a>
+: <a class="el" href="classSVF_1_1FunEntryICFGNode.html#aeb9dfc9dfb0aad871cefcf80da2d881d">SVF::FunEntryICFGNode</a>
 </li>
 <li>addFormalParmVFGNode()
 : <a class="el" href="classSVF_1_1VFG.html#afdb1560eecf692fb646d412dc760088d">SVF::VFG</a>
 </li>
 <li>addFormalRet()
-: <a class="el" href="classSVF_1_1FunExitBlockNode.html#ae1499a3ea7d5bb90dccd5d04a8b97dfc">SVF::FunExitBlockNode</a>
+: <a class="el" href="classSVF_1_1FunExitICFGNode.html#a51bdfbda3a351daa7ba898e2f88bb067">SVF::FunExitICFGNode</a>
 </li>
 <li>addFormalRetVFGNode()
 : <a class="el" href="classSVF_1_1VFG.html#aae3bddc73e39d96fcc97d56ea3dec373">SVF::VFG</a>
@@ -360,10 +360,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1CHGBuilder.html#a77753749b34b00c18d419057b4757a26">SVF::CHGBuilder</a>
 </li>
 <li>addFunEntryICFGNode()
-: <a class="el" href="classSVF_1_1ICFG.html#a37720720adf125ea4f8c12c4bdf41cdd">SVF::ICFG</a>
+: <a class="el" href="classSVF_1_1ICFG.html#a56afcc853b9cf9fcab1e1472c64d5036">SVF::ICFG</a>
 </li>
 <li>addFunExitICFGNode()
-: <a class="el" href="classSVF_1_1ICFG.html#a7874a7a92beb17fd5a4a9575cb183975">SVF::ICFG</a>
+: <a class="el" href="classSVF_1_1ICFG.html#a2c2daaafcdc20d7e800c94a647c2b9da">SVF::ICFG</a>
 </li>
 <li>addFunRet()
 : <a class="el" href="classSVF_1_1SVFIR.html#a53774463f34bb8b528b179b72b48fd69">SVF::SVFIR</a>
@@ -399,7 +399,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1GenericGraph.html#a0a8831a5429005ff9d71adbd6bf3994f">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>addHareParForEdgeSetMap()
-: <a class="el" href="classSVF_1_1ThreadCallGraph.html#a845258d0d19de3dda573521a34dbf705">SVF::ThreadCallGraph</a>
+: <a class="el" href="classSVF_1_1ThreadCallGraph.html#aae1caa7231ab9436db98403d6a175149">SVF::ThreadCallGraph</a>
 </li>
 <li>addICFGEdge()
 : <a class="el" href="classSVF_1_1ICFG.html#a462f590c2604184d69e4efe3d85a7b5b">SVF::ICFG</a>
@@ -432,19 +432,19 @@ $(function() {
 : <a class="el" href="classSVF_1_1ConstraintNode.html#a202193059dd3122d969561080b82c504">SVF::ConstraintNode</a>
 </li>
 <li>addIndirectCallGraphEdge()
-: <a class="el" href="classSVF_1_1PTACallGraph.html#a09d0b8461ec0e678e1e69368b0f66b02">SVF::PTACallGraph</a>
+: <a class="el" href="classSVF_1_1PTACallGraph.html#a46416c668e2f0099394e79f685ede758">SVF::PTACallGraph</a>
 </li>
 <li>addInDirectCallSite()
-: <a class="el" href="classSVF_1_1PTACallGraphEdge.html#aad95920da19b78c0211e68caadba6d39">SVF::PTACallGraphEdge</a>
+: <a class="el" href="classSVF_1_1PTACallGraphEdge.html#ad9faf0a90691497984fb1d8709491a20">SVF::PTACallGraphEdge</a>
 </li>
 <li>addIndirectCallsites()
-: <a class="el" href="classSVF_1_1SVFIR.html#aa91db3ebf92eacf077ae7b4d0735635b">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#af4a5fd9ecddb1447207335917adccd68">SVF::SVFIR</a>
 </li>
 <li>addIndirectForkEdge()
-: <a class="el" href="classSVF_1_1ThreadCallGraph.html#a2b0ccaaf219533907c0733b050628100">SVF::ThreadCallGraph</a>
+: <a class="el" href="classSVF_1_1ThreadCallGraph.html#a579dd874301280f7c9750c2a22f065c7">SVF::ThreadCallGraph</a>
 </li>
 <li>addIndirectParForEdge()
-: <a class="el" href="classSVF_1_1ThreadCallGraph.html#a349b7fce76822de0c13118d9fdcd3db9">SVF::ThreadCallGraph</a>
+: <a class="el" href="classSVF_1_1ThreadCallGraph.html#a9258b680de64d8d2fdd1cb9aed8ae428">SVF::ThreadCallGraph</a>
 </li>
 <li>addInEdge()
 : <a class="el" href="classSVF_1_1SVFVar.html#a9376133075b0d44ff09876af933c8618">SVF::SVFVar</a>
@@ -480,7 +480,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFGOPT.html#a72c573ecbc12c44e6ce1d67527f888a8">SVF::SVFGOPT</a>
 </li>
 <li>addIntraBlockICFGNode()
-: <a class="el" href="classSVF_1_1ICFG.html#a9c9984f07859c7b0a4cc05ef7acf28af">SVF::ICFG</a>
+: <a class="el" href="classSVF_1_1ICFG.html#a9e1f6fb3e078357ec19a24fcb3bf7537">SVF::ICFG</a>
 </li>
 <li>addIntraDirectVFEdge()
 : <a class="el" href="classSVF_1_1VFG.html#a3c97d77bc0348471d6c098d5655f15b2">SVF::VFG</a>
@@ -501,7 +501,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1VFG.html#a6a1435f8ac7f74cc81608839fa3da3df">SVF::VFG</a>
 </li>
 <li>addJoinsite()
-: <a class="el" href="classSVF_1_1ThreadCallGraph.html#ae72e4e29bfda892f059f719454f6fcd2">SVF::ThreadCallGraph</a>
+: <a class="el" href="classSVF_1_1ThreadCallGraph.html#a795d504a098634b1725af272b37e46e7">SVF::ThreadCallGraph</a>
 </li>
 <li>addLCDCandidate()
 : <a class="el" href="classSVF_1_1AndersenLCD.html#aa830cfc0e46114751337e8ea3586d0bb">SVF::AndersenLCD</a>
@@ -537,7 +537,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1AndersenLCD.html#a0c5adfc0876e9bea02fe8ded41baeb91">SVF::AndersenLCD</a>
 </li>
 <li>addModSideEffectOfCallSite()
-: <a class="el" href="classSVF_1_1MRGenerator.html#a8b00b46136ce2586b5f94248d0826a94">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#a915486be8b119c1f1cc87143a2a5180e">SVF::MRGenerator</a>
 </li>
 <li>addModSideEffectOfFunction()
 : <a class="el" href="classSVF_1_1MRGenerator.html#a39604645ca9ba10607ada3872b14705a">SVF::MRGenerator</a>
@@ -616,7 +616,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#ae1e77060ac22d465b5cc9430962e280c">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
 <li>addParForSite()
-: <a class="el" href="classSVF_1_1ThreadCallGraph.html#a9daa0817e1f88a2478d7094646c72e13">SVF::ThreadCallGraph</a>
+: <a class="el" href="classSVF_1_1ThreadCallGraph.html#a69719915e8c23e3afd6766daea946ffe">SVF::ThreadCallGraph</a>
 </li>
 <li>addPath()
 : <a class="el" href="classSVF_1_1VFPathCond.html#a47d117a7c5e789766f28cdca6d71ff19">SVF::VFPathCond</a>
@@ -649,7 +649,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1OfflineConsG.html#a6c8afd3dc37fc60aecc6efd238312940">SVF::OfflineConsG</a>
 </li>
 <li>addRefSideEffectOfCallSite()
-: <a class="el" href="classSVF_1_1MRGenerator.html#a4e02c3aee7eb0206f6d643b72e39d059">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#a83f5087e84eb7a18976cbd3a446605ee">SVF::MRGenerator</a>
 </li>
 <li>addRefSideEffectOfFunction()
 : <a class="el" href="classSVF_1_1MRGenerator.html#a899c81db92c6bcf24f6f9b769e02e5bf">SVF::MRGenerator</a>
@@ -659,11 +659,11 @@ $(function() {
 </li>
 <li>addRetEdge()
 : <a class="el" href="classSVF_1_1ICFG.html#a4a44849b596c89ab14d2e5f18366e848">SVF::ICFG</a>
-, <a class="el" href="classSVF_1_1SVFIRBuilder.html#a50702f09af1ea9d50ee4726fc8f8a65c">SVF::SVFIRBuilder</a>
+, <a class="el" href="classSVF_1_1SVFIRBuilder.html#aaff4b288ac5f338fbe5dbc145d4087ba">SVF::SVFIRBuilder</a>
 , <a class="el" href="classSVF_1_1VFG.html#a27ac8d60de7be75e831b4a28f8f8f1d2">SVF::VFG</a>
 </li>
 <li>addRetICFGNode()
-: <a class="el" href="classSVF_1_1ICFG.html#a45891a968511d4779288a1a0aa089619">SVF::ICFG</a>
+: <a class="el" href="classSVF_1_1ICFG.html#a10a3b111322e551dc781d732e2015261">SVF::ICFG</a>
 </li>
 <li>addRetIndirectSVFGEdge()
 : <a class="el" href="classSVF_1_1SVFGOPT.html#afa99da68ef756d968d39a85f0fac3649">SVF::SVFGOPT</a>
@@ -676,7 +676,7 @@ $(function() {
 </li>
 <li>addRetPE()
 : <a class="el" href="classSVF_1_1FormalRetVFGNode.html#a051f7dc0da465d7ce0dc733d9a8fae6a">SVF::FormalRetVFGNode</a>
-, <a class="el" href="classSVF_1_1SVFIR.html#a12fef4ec0537b26947eb0ab10799f29f">SVF::SVFIR</a>
+, <a class="el" href="classSVF_1_1SVFIR.html#af7edf234425e890d1cf3ff812000206d">SVF::SVFIR</a>
 </li>
 <li>addRevPts()
 : <a class="el" href="classSVF_1_1MutablePTData.html#ad3175d9c02d8a9f6ad1752ccf3e468cb">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
@@ -706,7 +706,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1PCG.html#a1d946482cce92f7b1718a2a8c178be0b">SVF::PCG</a>
 </li>
 <li>addSrcToCSID()
-: <a class="el" href="classSVF_1_1LeakChecker.html#a5046d4a090560dd6f4ffd85631086b10">SVF::LeakChecker</a>
+: <a class="el" href="classSVF_1_1LeakChecker.html#a155da7c60f3232b43a3996313b0496c7">SVF::LeakChecker</a>
 </li>
 <li>addStartRoutineOfCxtThread()
 : <a class="el" href="classSVF_1_1TCT.html#a11d9eeffdb1fc777f573fae75f48532a">SVF::TCT</a>
@@ -724,7 +724,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFIRBuilder.html#ac5795471aff6ccb07a84ffe1277ff2d4">SVF::SVFIRBuilder</a>
 </li>
 <li>addStoreStmt()
-: <a class="el" href="classSVF_1_1SVFIR.html#a4b491e2d3eb5e041677decd73136c870">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#af9804d78e4158d3c8961e1f84bbef91e">SVF::SVFIR</a>
 </li>
 <li>addStoreVFGNode()
 : <a class="el" href="classSVF_1_1VFG.html#a13f7caf44741db3b0e8a44b13d8931f5">SVF::VFG</a>
@@ -766,22 +766,22 @@ $(function() {
 : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a2e654f80c3680cd434fd04932a309a2d">SVF::MTASVFGBuilder</a>
 </li>
 <li>addThreadForkEdge()
-: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a7a311f7789c6c7a028ad0f595c1e0295">SVF::SVFIRBuilder</a>
+: <a class="el" href="classSVF_1_1SVFIRBuilder.html#acd0678f7f35abd7aee656c2a49167ae9">SVF::SVFIRBuilder</a>
 </li>
 <li>addThreadForkEdgeSetMap()
-: <a class="el" href="classSVF_1_1ThreadCallGraph.html#a29d3e4d720f61b4c29fee9691cedff96">SVF::ThreadCallGraph</a>
+: <a class="el" href="classSVF_1_1ThreadCallGraph.html#ab20211a66583387f0da4769bee65e300">SVF::ThreadCallGraph</a>
 </li>
 <li>addThreadForkPE()
-: <a class="el" href="classSVF_1_1SVFIR.html#a787dc5aff6f7a7d8ec3a7a23d9f40a7e">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#aa498f73f62e19f4f9f63e265938ce408">SVF::SVFIR</a>
 </li>
 <li>addThreadJoinEdge()
-: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a4acfddb8e683bbcc2e3949907361ea29">SVF::SVFIRBuilder</a>
+: <a class="el" href="classSVF_1_1SVFIRBuilder.html#ab40720aeeeaf3be64cc65179f54e214d">SVF::SVFIRBuilder</a>
 </li>
 <li>addThreadJoinEdgeSetMap()
-: <a class="el" href="classSVF_1_1ThreadCallGraph.html#a70a03bcaa6386ef39188acb6b2aa9d5a">SVF::ThreadCallGraph</a>
+: <a class="el" href="classSVF_1_1ThreadCallGraph.html#a7100a68c27a965927975e26bb06e061c">SVF::ThreadCallGraph</a>
 </li>
 <li>addThreadJoinPE()
-: <a class="el" href="classSVF_1_1SVFIR.html#a4f64a1a266838ac72b66cca138ec57ca">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#ad50f150bb3bac77687b3d1210f21d2ed">SVF::SVFIR</a>
 </li>
 <li>addThreadMHPIndirectVFEdge()
 : <a class="el" href="classSVF_1_1SVFG.html#a1aba3845bad017f81cd5f938db03a161">SVF::SVFG</a>
@@ -864,7 +864,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1VFG.html#a84cf5facb15e1d598c2527fba0c7634d">SVF::VFG</a>
 </li>
 <li>addVFGInterEdges()
-: <a class="el" href="classSVF_1_1VFG.html#ab1f4c2765af027e903634d5262aea80b">SVF::VFG</a>
+: <a class="el" href="classSVF_1_1VFG.html#aff0c7fcfe42752388f34d16d3d91b0b6">SVF::VFG</a>
 </li>
 <li>addVFGNode()
 : <a class="el" href="classSVF_1_1ICFGNode.html#aff18898b9bbd85d08b00d64d48eea6a5">SVF::ICFGNode</a>

package/SVF-doxygen/html/html/functions_func_c.html

@@ -70,14 +70,11 @@ $(function() {
 <li>calculateNodeDegrees()
 : <a class="el" href="classSVF_1_1SVFGStat.html#a570b8466e99ce5f68e02546d1ef21971">SVF::SVFGStat</a>
 </li>
-<li>CallBlockNode()
-: <a class="el" href="classSVF_1_1CallBlockNode.html#a4f5af7780f4290ae69724fd3050dab1a">SVF::CallBlockNode</a>
-</li>
 <li>CallCFGEdge()
 : <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>CallDirSVFGEdge()
 : <a class="el" href="classSVF_1_1CallDirSVFGEdge.html#a76db2165a2f956cbb43f63f2949679f4">SVF::CallDirSVFGEdge</a>
@@ -94,14 +91,17 @@ $(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>
 <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>CallPE()
-: <a class="el" href="classSVF_1_1CallPE.html#a74951537cff8b14c1cf8eb706fca5049">SVF::CallPE</a>
+: <a class="el" href="classSVF_1_1CallPE.html#af84a1badb8734b54bf01b2b5b89af091">SVF::CallPE</a>
 </li>
 <li>callPEBegin()
 : <a class="el" href="classSVF_1_1FormalParmVFGNode.html#ac2711b6bf2b27386def742aa0959ba35">SVF::FormalParmVFGNode</a>
@@ -113,7 +113,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CallSite.html#ac56325e360c7f6720a4c78a7b50f57df">SVF::CallSite</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>canBeRemoved()
 : <a class="el" href="classSVF_1_1SVFGOPT.html#ab72ce28409a440bbf5b84a68e5f82b85">SVF::SVFGOPT</a>
@@ -179,10 +179,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>
@@ -212,22 +212,22 @@ $(function() {
 , <a class="el" href="classSVF_1_1FormalOUTSVFGNode.html#a3b1387416f3ca61eed5581c9112cfcde">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#a5fdc1edafbd26a57c1c563f8df439cfc">SVF::FunExitBlockNode</a>
+, <a class="el" href="classSVF_1_1FunEntryICFGNode.html#ad7f8c8f10b067b6766d7c7974f2b751c">SVF::FunEntryICFGNode</a>
+, <a class="el" href="classSVF_1_1FunExitICFGNode.html#ab81f7f50638b8ce85f83ca3b7b566213">SVF::FunExitICFGNode</a>
 , <a class="el" href="classSVF_1_1GepCGEdge.html#af9fbe33becd8f832267ab7ea6e0437b6">SVF::GepCGEdge</a>
 , <a class="el" href="classSVF_1_1GepObjVar.html#ab3129ad98687e6352675d84373d96ffe">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>
@@ -257,9 +257,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>
@@ -438,7 +438,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>
@@ -635,23 +635,23 @@ $(function() {
 : <a class="el" href="classSVF_1_1CondStdSet.html#a3f1885562bb34c3ccbd15117788725e0">SVF::CondStdSet&lt; Element &gt;</a>
 </li>
 <li>CondVar()
-: <a class="el" href="classSVF_1_1CondVar.html#afd729e068419ed45bb9da8d5920f8674">SVF::CondVar&lt; Cond &gt;</a>
+: <a class="el" href="classSVF_1_1CondVar.html#a93101c4401ed4ced33d64b5726e9cd69">SVF::CondVar&lt; Cond &gt;</a>
 </li>
 <li>connectAInAndFIn()
 : <a class="el" href="classSVF_1_1SVFG.html#ac9ab2a95cd7a09bbe4b4aa3e6fafaf62">SVF::SVFG</a>
 , <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>
@@ -683,7 +683,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a1010ef4fc52e312f2b22867a63a5810d">SVF::MTASVFGBuilder</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>constantSymID()
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#ab582424fdb6d9674c1bd4466cdfbe497">SVF::SymbolTableInfo</a>
@@ -750,10 +750,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1ICFGStat.html#a632f57db1f1e17f49289b5dfec048ef6">SVF::ICFGStat</a>
 </li>
 <li>cptsBegin()
-: <a class="el" href="classSVF_1_1CondPointsToSet.html#ad26570b94c56d6d2ae1cd5093ac66670">SVF::CondPointsToSet&lt; Cond &gt;</a>
+: <a class="el" href="classSVF_1_1CondPointsToSet.html#acc5c77fbd1a6133d5e80c3f587d49fb3">SVF::CondPointsToSet&lt; Cond &gt;</a>
 </li>
 <li>cptsEnd()
-: <a class="el" href="classSVF_1_1CondPointsToSet.html#aa4c47630b9a06d70375daf5e9237303d">SVF::CondPointsToSet&lt; Cond &gt;</a>
+: <a class="el" href="classSVF_1_1CondPointsToSet.html#a20026db57cfef6bf6a978140b2372cea">SVF::CondPointsToSet&lt; Cond &gt;</a>
 </li>
 <li>createAndersenHCD()
 : <a class="el" href="classSVF_1_1AndersenHCD.html#aa3553e6d7c7245d3d2cdc9d083889c28">SVF::AndersenHCD</a>
@@ -836,25 +836,25 @@ $(function() {
 , <a class="el" href="classSVF_1_1DCHGraph.html#a2fef8f7209f100c7a266cf3102b1219b">SVF::DCHGraph</a>
 </li>
 <li>CxtDPItem()
-: <a class="el" href="classSVF_1_1CxtDPItem.html#a53fa464132d5e51e832158d2e928db32">SVF::CxtDPItem</a>
+: <a class="el" href="classSVF_1_1CxtDPItem.html#a673749f246b002b33ca3718a566779ca">SVF::CxtDPItem</a>
 </li>
 <li>CxtProc()
-: <a class="el" href="classSVF_1_1CxtProc.html#ac1ca3a049f6d0f8a0548a153cc903aa0">SVF::CxtProc</a>
+: <a class="el" href="classSVF_1_1CxtProc.html#a25a80c93a6aeb1112a846d6c588364cc">SVF::CxtProc</a>
 </li>
 <li>cxtSize()
 : <a class="el" href="classSVF_1_1ContextCond.html#a20f15a1661f928ab80bacaf8f5c497b1">SVF::ContextCond</a>
 </li>
 <li>CxtStmt()
-: <a class="el" href="classSVF_1_1CxtStmt.html#ad976db5b794019bb68ccc9a35349fb41">SVF::CxtStmt</a>
+: <a class="el" href="classSVF_1_1CxtStmt.html#ac11734a3e0db8415fdf55157b20b56a4">SVF::CxtStmt</a>
 </li>
 <li>CxtStmtDPItem()
 : <a class="el" href="classSVF_1_1CxtStmtDPItem.html#a5c3bd4e8f26bfdc863baeb1241a557d1">SVF::CxtStmtDPItem&lt; LocCond &gt;</a>
 </li>
 <li>CxtThread()
-: <a class="el" href="classSVF_1_1CxtThread.html#a7f842879cad19328575f33220491352a">SVF::CxtThread</a>
+: <a class="el" href="classSVF_1_1CxtThread.html#ac6af46ba08bbad4454358298fd2557d3">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>CxtThreadStmt()
 : <a class="el" href="classSVF_1_1CxtThreadStmt.html#ab5487e3f330bb18685281c5effcecfbb">SVF::CxtThreadStmt</a>

package/SVF-doxygen/html/html/functions_func_f.html

@@ -146,13 +146,13 @@ $(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>formalOutOfAddressTakenFunc()
 : <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>FormalParmVFGNode()
 : <a class="el" href="classSVF_1_1FormalParmVFGNode.html#a4f51e718a8519f6edcee627cdd51b272">SVF::FormalParmVFGNode</a>
@@ -178,11 +178,11 @@ $(function() {
 <li>FSMPTA()
 : <a class="el" href="classSVF_1_1FSMPTA.html#a551da3b02d2387cd551365e4c61e4d35">SVF::FSMPTA</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>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>funHasRet()
 : <a class="el" href="classSVF_1_1SVFIR.html#afe8274c3b7317fccef5314662a182046">SVF::SVFIR</a>