svf-tools 1.0.342 → 1.0.346

package/SVF-doxygen/html/html/functions_g.html

@@ -195,25 +195,25 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFGOPT.html#a550f93b640a6fd68773fbafd2944d7df">SVF::SVFGOPT</a>
 </li>
 <li>getActualINSVFGNodes()
-: <a class="el" href="classSVF_1_1SVFG.html#ab767c329e7fccf9efe16818515199d65">SVF::SVFG</a>
+: <a class="el" href="classSVF_1_1SVFG.html#a475205e221890204c7770c414ee63975">SVF::SVFG</a>
 </li>
 <li>getActualOUTSVFGNodes()
-: <a class="el" href="classSVF_1_1SVFG.html#af0c86a9e83a1f2427dd8e80287be37ed">SVF::SVFG</a>
+: <a class="el" href="classSVF_1_1SVFG.html#a5b7ae610bee28acc2905ca82928e714f">SVF::SVFG</a>
 </li>
 <li>getActualParmAtForkSite()
 : <a class="el" href="classSVF_1_1ThreadAPI.html#a6bc40bc0b35c23e9d1874c844511449d">SVF::ThreadAPI</a>
 </li>
 <li>getActualParms()
-: <a class="el" href="classSVF_1_1CallBlockNode.html#abfc30a2fc6e996c2e1b0902abc7c813b">SVF::CallBlockNode</a>
+: <a class="el" href="classSVF_1_1CallICFGNode.html#ab43c000436d0f6d978f4fff831671d5c">SVF::CallICFGNode</a>
 </li>
 <li>getActualParmVFGNode()
-: <a class="el" href="classSVF_1_1VFG.html#a01b8694a5ab7acf8df0213225550791b">SVF::VFG</a>
+: <a class="el" href="classSVF_1_1VFG.html#a6bbfe457dcc7104e6928323499ea964e">SVF::VFG</a>
 </li>
 <li>getActualPts()
 : <a class="el" href="classSVF_1_1PersistentPointsToCache.html#ab2888b033a29de3af48d377dc2fe70aa">SVF::PersistentPointsToCache&lt; Data &gt;</a>
 </li>
 <li>getActualRet()
-: <a class="el" href="classSVF_1_1RetBlockNode.html#aa9ecd6854337dfa67a828d2416f3813f">SVF::RetBlockNode</a>
+: <a class="el" href="classSVF_1_1RetICFGNode.html#a9815b38f376af31b14ea2e0f3afd3427">SVF::RetICFGNode</a>
 </li>
 <li>getActualRetVFGNode()
 : <a class="el" href="classSVF_1_1VFG.html#a0b072e8e45899b89da0a466140563c38">SVF::VFG</a>
@@ -374,19 +374,19 @@ $(function() {
 , <a class="el" href="classSVF_1_1FlowDDA.html#a950d653b249cfc2d20932adb3498b99b">SVF::FlowDDA</a>
 </li>
 <li>getCallBlockNode()
-: <a class="el" href="classSVF_1_1ICFG.html#a7d10e8a815c836a070d35850f817a18c">SVF::ICFG</a>
-, <a class="el" href="classSVF_1_1PCG.html#a2a7fe720d48d02d4facf3eedb08e3a67">SVF::PCG</a>
-, <a class="el" href="classSVF_1_1RetBlockNode.html#a6f47c3169f64fb7637b544ec1faf6f31">SVF::RetBlockNode</a>
-, <a class="el" href="classSVF_1_1TCT.html#a60a74209bd04b2c42fadee5c31e527d3">SVF::TCT</a>
+: <a class="el" href="classSVF_1_1ICFG.html#a483e92e076a426ec8f177eab3b971723">SVF::ICFG</a>
+, <a class="el" href="classSVF_1_1PCG.html#ab0ab4b42b42b16dd75fc7db16a3df5a8">SVF::PCG</a>
+, <a class="el" href="classSVF_1_1RetICFGNode.html#afd2a06f0749c359c544048ae40085695">SVF::RetICFGNode</a>
+, <a class="el" href="classSVF_1_1TCT.html#afea9de8f27e501fdc2723cc14a8dc93f">SVF::TCT</a>
 </li>
 <li>getCalledFunction()
 : <a class="el" href="classSVF_1_1CallSite.html#ae9b0172e29199f2a938d7cf9e42241cf">SVF::CallSite</a>
 </li>
 <li>getCallEdgeBegin()
-: <a class="el" href="classSVF_1_1PTACallGraph.html#acf542e7e581ffa8453066f4c8cdfb65c">SVF::PTACallGraph</a>
+: <a class="el" href="classSVF_1_1PTACallGraph.html#a4ed2fd37007de9c873d5e197a0b3bd4e">SVF::PTACallGraph</a>
 </li>
 <li>getCallEdgeEnd()
-: <a class="el" href="classSVF_1_1PTACallGraph.html#abfa1f3777d16597392385cf7d8bac472">SVF::PTACallGraph</a>
+: <a class="el" href="classSVF_1_1PTACallGraph.html#a170a33ac22673dfd363c3e3b96987737">SVF::PTACallGraph</a>
 </li>
 <li>getCalledValue()
 : <a class="el" href="classSVF_1_1CallSite.html#a9526f6c3829f8897d1ca617feda8451a">SVF::CallSite</a>
@@ -400,11 +400,11 @@ $(function() {
 : <a class="el" href="classSVF_1_1PTACallGraph.html#aacd5f35171717cb4d758c17bef828a0f">SVF::PTACallGraph</a>
 </li>
 <li>getCallees()
-: <a class="el" href="classSVF_1_1PTACallGraph.html#a486f79252c216eb5a9f4c09261a24ae2">SVF::PTACallGraph</a>
+: <a class="el" href="classSVF_1_1PTACallGraph.html#a317e09edb29b110cf4273009551d31ec">SVF::PTACallGraph</a>
 </li>
 <li>getCaller()
 : <a class="el" href="classSVF_1_1ActualRetVFGNode.html#ac8b9a7d905022c57699b7ba1ad5e3e51">SVF::ActualRetVFGNode</a>
-, <a class="el" href="classSVF_1_1CallBlockNode.html#a5bab98a0b8cf0a804d53abd994e922c0">SVF::CallBlockNode</a>
+, <a class="el" href="classSVF_1_1CallICFGNode.html#a18f4077d42b23c3fed35efc793b6102e">SVF::CallICFGNode</a>
 , <a class="el" href="classSVF_1_1CallSite.html#afd501405e1d3cc673fced6dc56f3b759">SVF::CallSite</a>
 </li>
 <li>getCallerOfCallSite()
@@ -429,42 +429,42 @@ $(function() {
 : <a class="el" href="classSVF_1_1MRGenerator.html#ab3d3ca72d2cddf5336d00dc623f33401">SVF::MRGenerator</a>
 </li>
 <li>getCallICFGNode()
-: <a class="el" href="classSVF_1_1ICFG.html#a288c5cc9fb6595d367f23d1c0c05a57a">SVF::ICFG</a>
+: <a class="el" href="classSVF_1_1ICFG.html#ab10620eaac6b74f7cb18ba0c1211b4f1">SVF::ICFG</a>
 </li>
 <li>getCallInst()
-: <a class="el" href="classSVF_1_1CallPE.html#ac8f25219948d3a6ff205048e746338d5">SVF::CallPE</a>
-, <a class="el" href="classSVF_1_1RetPE.html#ac28900a70a604bbba2b4cdab09709226">SVF::RetPE</a>
+: <a class="el" href="classSVF_1_1CallPE.html#aa50cca8bd91ffb135a7998b58ad7966f">SVF::CallPE</a>
+, <a class="el" href="classSVF_1_1RetPE.html#a9bbf558ffc8e3c1136e20d18d4c95f42">SVF::RetPE</a>
 </li>
 <li>getCallInstToCallGraphEdgesMap()
 : <a class="el" href="classSVF_1_1PTACallGraph.html#a368306a46d84ccc6d07d94833aded629">SVF::PTACallGraph</a>
 </li>
 <li>getCallSite()
-: <a class="el" href="classSVF_1_1ActualINSVFGNode.html#aaf7e2a52f8e70bb5dda80b3616f207aa">SVF::ActualINSVFGNode</a>
-, <a class="el" href="classSVF_1_1ActualOUTSVFGNode.html#a929e15d57bc95e6314be714ae0034c0c">SVF::ActualOUTSVFGNode</a>
-, <a class="el" href="classSVF_1_1ActualParmVFGNode.html#afe9b8911c6e79dd13e0df19b158a3179">SVF::ActualParmVFGNode</a>
-, <a class="el" href="classSVF_1_1ActualRetVFGNode.html#a984d1aa6c67d1f90bb00d3d34f455797">SVF::ActualRetVFGNode</a>
-, <a class="el" href="classSVF_1_1CallBlockNode.html#ad3d50024efcfa94b1246c982b43aff2f">SVF::CallBlockNode</a>
+: <a class="el" href="classSVF_1_1ActualINSVFGNode.html#aab3b2931f60adeb9fd8c87087074d834">SVF::ActualINSVFGNode</a>
+, <a class="el" href="classSVF_1_1ActualOUTSVFGNode.html#a89cb274936513df411a75fb33a86702f">SVF::ActualOUTSVFGNode</a>
+, <a class="el" href="classSVF_1_1ActualParmVFGNode.html#ab153944a366488c5f7e91d61561e9c0e">SVF::ActualParmVFGNode</a>
+, <a class="el" href="classSVF_1_1ActualRetVFGNode.html#a06ea783375c18198b00121214c357c18">SVF::ActualRetVFGNode</a>
 , <a class="el" href="classSVF_1_1CallCFGEdge.html#ab25becb3cae2747eb518a6bfc7ad5332">SVF::CallCFGEdge</a>
-, <a class="el" href="classSVF_1_1CallCHI.html#a7bce9987b6377a24436b878dcd9c76c9">SVF::CallCHI&lt; Cond &gt;</a>
-, <a class="el" href="classSVF_1_1CallMU.html#a401be4fc10a3b9f3d392f1c278bef866">SVF::CallMU&lt; Cond &gt;</a>
-, <a class="el" href="classSVF_1_1CallPE.html#a6a7a917cd6f1235b9453c9672f38c0ef">SVF::CallPE</a>
-, <a class="el" href="classSVF_1_1InterMSSAPHISVFGNode.html#a30ac16715dc9f4281eae2ab969bad348">SVF::InterMSSAPHISVFGNode</a>
-, <a class="el" href="classSVF_1_1InterPHIVFGNode.html#a100fc9476699f36255f538bc07123157">SVF::InterPHIVFGNode</a>
-, <a class="el" href="classSVF_1_1ProgSlice.html#a40ca6247fde5e973298e8383f2180203">SVF::ProgSlice</a>
-, <a class="el" href="classSVF_1_1PTACallGraph.html#a2c8b1674f1f942a3b5aa77b7abccb229">SVF::PTACallGraph</a>
-, <a class="el" href="classSVF_1_1RetBlockNode.html#a436cd30be9fba449fee6bc6dcc18bb18">SVF::RetBlockNode</a>
+, <a class="el" href="classSVF_1_1CallCHI.html#af7f9fb3c01c487686453e25104a5bfc7">SVF::CallCHI&lt; Cond &gt;</a>
+, <a class="el" href="classSVF_1_1CallICFGNode.html#a674753d5ca0fbe28674acb25291f2bcf">SVF::CallICFGNode</a>
+, <a class="el" href="classSVF_1_1CallMU.html#a57616dc30fb97c6dc64c9210b42bbeb7">SVF::CallMU&lt; Cond &gt;</a>
+, <a class="el" href="classSVF_1_1CallPE.html#ab548c22dfbfeeaeb8ffe83417b396c09">SVF::CallPE</a>
+, <a class="el" href="classSVF_1_1InterMSSAPHISVFGNode.html#a5b4ba4b7753d786ff2e3d834bda017ce">SVF::InterMSSAPHISVFGNode</a>
+, <a class="el" href="classSVF_1_1InterPHIVFGNode.html#a0b35e0c57fc0261d67e7080fa50fd581">SVF::InterPHIVFGNode</a>
+, <a class="el" href="classSVF_1_1ProgSlice.html#a8ae327bc7bf72f892d87730edfc67d0d">SVF::ProgSlice</a>
+, <a class="el" href="classSVF_1_1PTACallGraph.html#a16e0017ad3a2d36d7efbc4383e394154">SVF::PTACallGraph</a>
 , <a class="el" href="classSVF_1_1RetCFGEdge.html#a121c3069d4c82b56a0398fd517a9a714">SVF::RetCFGEdge</a>
-, <a class="el" href="classSVF_1_1RetPE.html#a1495bfc171fa21980712f1d729a6b175">SVF::RetPE</a>
-, <a class="el" href="classSVF_1_1VFG.html#af04068b6f6beff961f815cc6eae7f5b0">SVF::VFG</a>
+, <a class="el" href="classSVF_1_1RetICFGNode.html#a8f0490ea9491afdf81641e9928f5a5f7">SVF::RetICFGNode</a>
+, <a class="el" href="classSVF_1_1RetPE.html#ab03f10c0375846a733f3257736a84f9d">SVF::RetPE</a>
+, <a class="el" href="classSVF_1_1VFG.html#a246cce511b8e9164a7c1760d1983f492">SVF::VFG</a>
 </li>
 <li>getCallSiteArgsList()
-: <a class="el" href="classSVF_1_1SVFIR.html#ac7f90610a7b5f456c530a4419393fae5">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#a2a1e8ce39bf8deace3c344d5f05fe6ac">SVF::SVFIR</a>
 </li>
 <li>getCallSiteArgsMap()
 : <a class="el" href="classSVF_1_1SVFIR.html#a346b9300ad16ef65e3ab4e11f88193a7">SVF::SVFIR</a>
 </li>
 <li>getCallSiteArgsPts()
-: <a class="el" href="classSVF_1_1MRGenerator.html#a373b57017e99ee8466d1c8a363adaeef">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#ad402506c2938d4b5440119e6091e4057">SVF::MRGenerator</a>
 </li>
 <li>getCallSiteChiNum()
 : <a class="el" href="classSVF_1_1MemSSA.html#a2c65795ca63a53c833f5ac17a752b6dc">SVF::MemSSA</a>
@@ -474,7 +474,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1CallIndSVFGEdge.html#a3742b87170e0b48edc71ffdd6e5350aa">SVF::CallIndSVFGEdge</a>
 </li>
 <li>getCallSiteID()
-: <a class="el" href="classSVF_1_1PTACallGraph.html#afb2daec804e81f0beb72fbc805d1c82a">SVF::PTACallGraph</a>
+: <a class="el" href="classSVF_1_1PTACallGraph.html#a711bd8ad385f8454fbfcd20f134efe1b">SVF::PTACallGraph</a>
 , <a class="el" href="classSVF_1_1PTACallGraphEdge.html#af9ca9cfffbba3b68838d41be62c914ac">SVF::PTACallGraphEdge</a>
 </li>
 <li>getCallSiteId()
@@ -482,10 +482,10 @@ $(function() {
 , <a class="el" href="classSVF_1_1RetIndSVFGEdge.html#a04f211a0e3e21f60a299a744d3d1e452">SVF::RetIndSVFGEdge</a>
 </li>
 <li>getCallSiteID()
-: <a class="el" href="classSVF_1_1VFG.html#a9bc8e7ee74b652ed7708e95c16a63728">SVF::VFG</a>
+: <a class="el" href="classSVF_1_1VFG.html#a5f82b3c2e8e6412e2781b960ffa98387">SVF::VFG</a>
 </li>
 <li>getCallSiteModMRSet()
-: <a class="el" href="classSVF_1_1MRGenerator.html#acb78098bf1fc8c3a80720a3dff3a0a1d">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#a4ee12b940608c34ee81b07cdc8d35538">SVF::MRGenerator</a>
 </li>
 <li>getCallSiteMuNum()
 : <a class="el" href="classSVF_1_1MemSSA.html#a9e8c5b85957485635d0f72c2f48bb8b5">SVF::MemSSA</a>
@@ -494,13 +494,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1PTACallGraph.html#a9155629ddc58f71c6a6f2aec978e4610">SVF::PTACallGraph</a>
 </li>
 <li>getCallSiteRefMRSet()
-: <a class="el" href="classSVF_1_1MRGenerator.html#a7ede01d58bb2490ded5895ca5bd45948">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#acd4694a030755b7491a6ef55d9ba2682">SVF::MRGenerator</a>
 </li>
 <li>getCallSiteRet()
-: <a class="el" href="classSVF_1_1SVFIR.html#a70aa4d730ef1d38ef9c46f5014465bdd">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#a3145677c7a3763fc0d6aa7e21b264ab6">SVF::SVFIR</a>
 </li>
 <li>getCallSiteRetPts()
-: <a class="el" href="classSVF_1_1MRGenerator.html#aac03d1d2e10543e100530f99165b4388">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#ab19c541dd4c3a0e691287da5dd43540d">SVF::MRGenerator</a>
 </li>
 <li>getCallSiteRets()
 : <a class="el" href="classSVF_1_1SVFIR.html#a650b3931af337a92ffcb5dad5ab47b22">SVF::SVFIR</a>
@@ -526,9 +526,9 @@ $(function() {
 : <a class="el" href="classSVF_1_1DCHGraph.html#a079feacdcc3783f4a9108a3b2d2aed2c">SVF::DCHGraph</a>
 </li>
 <li>getCBN()
-: <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a6a1ad5d1fa9e6884f3ffc4adf7578b91">SVF::ForkJoinAnalysis</a>
-, <a class="el" href="classSVF_1_1LockResultValidator.html#a7cddeb9065b5a3db24b0cb886a959a14">SVF::LockResultValidator</a>
-, <a class="el" href="classSVF_1_1MHP.html#ab956b55910ed74c4c81df622d38d746b">SVF::MHP</a>
+: <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a94d65f9e22a13772042b2af652cf5538">SVF::ForkJoinAnalysis</a>
+, <a class="el" href="classSVF_1_1LockResultValidator.html#a97eef42fa816256818b44382604b53c8">SVF::LockResultValidator</a>
+, <a class="el" href="classSVF_1_1MHP.html#aca4903cf3e3ef5b2ed5959e5e6181d55">SVF::MHP</a>
 </li>
 <li>getCFCond()
 : <a class="el" href="classSVF_1_1PathCondAllocator.html#a8c926057571ca14743e106a5a6ce7ae9">SVF::PathCondAllocator</a>
@@ -971,10 +971,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1ThreadAPI.html#a7ddc0c71aeae315af21972a4905b3456">SVF::ThreadAPI</a>
 </li>
 <li>getForkEdgeBegin()
-: <a class="el" href="classSVF_1_1ThreadCallGraph.html#af33e1701215e9818b22f11789746821e">SVF::ThreadCallGraph</a>
+: <a class="el" href="classSVF_1_1ThreadCallGraph.html#a8721610a39212613ad55bbd46a35c576">SVF::ThreadCallGraph</a>
 </li>
 <li>getForkEdgeEnd()
-: <a class="el" href="classSVF_1_1ThreadCallGraph.html#a43513b641e4f05ec165db78e3ac55fef">SVF::ThreadCallGraph</a>
+: <a class="el" href="classSVF_1_1ThreadCallGraph.html#a8351e7ab445cb7faf0209d1fbc63fce1">SVF::ThreadCallGraph</a>
 </li>
 <li>getForkedThread()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#acd4308b99446c277ccb3407103fe21d0">SVF::ForkJoinAnalysis</a>
@@ -990,13 +990,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFG.html#a287c337697eed7d92889bca0a0e370d7">SVF::SVFG</a>
 </li>
 <li>getFormalParms()
-: <a class="el" href="classSVF_1_1FunEntryBlockNode.html#a2206a196a4bfcc4475c1a0b48e16b180">SVF::FunEntryBlockNode</a>
+: <a class="el" href="classSVF_1_1FunEntryICFGNode.html#a0807f2ce6c0949cafa9c5a1817fbca6c">SVF::FunEntryICFGNode</a>
 </li>
 <li>getFormalParmVFGNode()
 : <a class="el" href="classSVF_1_1VFG.html#a75eb519e4f89a116db98fccb263af4d6">SVF::VFG</a>
 </li>
 <li>getFormalRet()
-: <a class="el" href="classSVF_1_1FunExitBlockNode.html#af1f343711d10adacf264f1aaebf44d54">SVF::FunExitBlockNode</a>
+: <a class="el" href="classSVF_1_1FunExitICFGNode.html#a03a1b6551377b4a85fdecf36ec247767">SVF::FunExitICFGNode</a>
 </li>
 <li>getFormalRetVFGNode()
 : <a class="el" href="classSVF_1_1VFG.html#ab7ba9d179504165f277d347a7cb9f5d8">SVF::VFG</a>
@@ -1007,8 +1007,8 @@ $(function() {
 <li>getFun()
 : <a class="el" href="classSVF_1_1FormalParmVFGNode.html#af3039ab67875b177f7ba0bf246cec2f8">SVF::FormalParmVFGNode</a>
 , <a class="el" href="classSVF_1_1FormalRetVFGNode.html#a68d9c5d58e2282b2891c93203233fd93">SVF::FormalRetVFGNode</a>
-, <a class="el" href="classSVF_1_1FunEntryBlockNode.html#ac0f34c048695a1ed822bc7fec0dfe028">SVF::FunEntryBlockNode</a>
-, <a class="el" href="classSVF_1_1FunExitBlockNode.html#a1463cde3f7e218c4bef996b2e1e9aef4">SVF::FunExitBlockNode</a>
+, <a class="el" href="classSVF_1_1FunEntryICFGNode.html#ac2451fdc53f319bc92528af7edc94b2d">SVF::FunEntryICFGNode</a>
+, <a class="el" href="classSVF_1_1FunExitICFGNode.html#a54dfbbebbfe18a8a493656d6ad8663be">SVF::FunExitICFGNode</a>
 , <a class="el" href="classSVF_1_1ICFGNode.html#ae526280cca2d6cbb2868c80461bc16da">SVF::ICFGNode</a>
 , <a class="el" href="classSVF_1_1InterMSSAPHISVFGNode.html#a242d8967d6fc10ba37e3f0103081ec01">SVF::InterMSSAPHISVFGNode</a>
 , <a class="el" href="classSVF_1_1InterPHIVFGNode.html#a875ffe4fcc25af08ba9be4a568da8b4f">SVF::InterPHIVFGNode</a>
@@ -1034,32 +1034,32 @@ $(function() {
 : <a class="el" href="classSVF_1_1CallSite.html#ad0040f4b7953b509059223d1d52c203f">SVF::CallSite</a>
 </li>
 <li>getFunEntryBlockNode()
-: <a class="el" href="classSVF_1_1ICFG.html#ae1ef14cdda27a2062c4c454750444108">SVF::ICFG</a>
+: <a class="el" href="classSVF_1_1ICFG.html#a2b32cfb0b4b3e420aa8e67fc6d4f1025">SVF::ICFG</a>
 </li>
 <li>getFunEntryChiNum()
 : <a class="el" href="classSVF_1_1MemSSA.html#a15272a4ed019d1c323d1826c1bedb70f">SVF::MemSSA</a>
 </li>
 <li>getFunEntryICFGNode()
-: <a class="el" href="classSVF_1_1ICFG.html#a5d75af18ed4228b89a4bb4e2b0b97925">SVF::ICFG</a>
+: <a class="el" href="classSVF_1_1ICFG.html#a11a2c1f54747069b924ee2870163dc05">SVF::ICFG</a>
 </li>
 <li>getFunEntryNode()
-: <a class="el" href="classSVF_1_1FormalINSVFGNode.html#a9772743379ba322ed5b95f32ae39cf25">SVF::FormalINSVFGNode</a>
+: <a class="el" href="classSVF_1_1FormalINSVFGNode.html#a765f45d67d8b99dc85eb92676ca1be4e">SVF::FormalINSVFGNode</a>
 </li>
 <li>getFunExitBlockNode()
-: <a class="el" href="classSVF_1_1ICFG.html#aa33426d57dc150956902945a17a29bcb">SVF::ICFG</a>
+: <a class="el" href="classSVF_1_1ICFG.html#a8f131fd585f6fa0c93023ee193500b26">SVF::ICFG</a>
 </li>
 <li>getFunExitICFGNode()
-: <a class="el" href="classSVF_1_1ICFG.html#a63479291b885344630ebf024d537ac19">SVF::ICFG</a>
+: <a class="el" href="classSVF_1_1ICFG.html#a12f78e9ce71a904975932e1784060050">SVF::ICFG</a>
 </li>
 <li>getFunExitNode()
-: <a class="el" href="classSVF_1_1FormalOUTSVFGNode.html#a844cc5b0a88501ba6e3a5a0bbce72fb3">SVF::FormalOUTSVFGNode</a>
+: <a class="el" href="classSVF_1_1FormalOUTSVFGNode.html#ae23aa8ff8585c31071726f2b2fb1499d">SVF::FormalOUTSVFGNode</a>
 </li>
 <li>getFunMRSet()
 : <a class="el" href="classSVF_1_1MRGenerator.html#a64ba36ddcd304f6543e416c552763879">SVF::MRGenerator</a>
 </li>
 <li>getFunPtr()
-: <a class="el" href="classSVF_1_1PointerAnalysis.html#a74df51017ceaa389de2c2f33f3522fc3">SVF::PointerAnalysis</a>
-, <a class="el" href="classSVF_1_1SVFIR.html#a533a01d01fab9e45cd1780f9bbd50b0f">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1PointerAnalysis.html#adbceaf90526e44192c2fa4aac5468f5f">SVF::PointerAnalysis</a>
+, <a class="el" href="classSVF_1_1SVFIR.html#a17c5d9fa7c0bd3cd03c06b5ff0906eb6">SVF::SVFIR</a>
 </li>
 <li>getFunRet()
 : <a class="el" href="classSVF_1_1SVFIR.html#a34e27b8bcfeaafda190dcdb9169a346f">SVF::SVFIR</a>
@@ -1107,7 +1107,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1SVFIRBuilder.html#ad0b30ca8fc2939bb7360a3ff08727d58">SVF::SVFIRBuilder</a>
 </li>
 <li>getGlobalBlockNode()
-: <a class="el" href="classSVF_1_1ICFG.html#ae3b8f1b45c75b5fc231da76d3a49ad57">SVF::ICFG</a>
+: <a class="el" href="classSVF_1_1ICFG.html#a51917fa4244cdb46f06ab647b5c2656f">SVF::ICFG</a>
 </li>
 <li>getGlobalRep()
 : <a class="el" href="classSVF_1_1LLVMModuleSet.html#a757bf149437cce22163c764ea9993e12">SVF::LLVMModuleSet</a>
@@ -1189,8 +1189,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1PTACallGraph.html#a9a4b0c6672288b9201ab254b4c49548d">SVF::PTACallGraph</a>
 </li>
 <li>getIndCSCallees()
-: <a class="el" href="classSVF_1_1PointerAnalysis.html#a9e473e97a0bad49996faacbc05be7e68">SVF::PointerAnalysis</a>
-, <a class="el" href="classSVF_1_1PTACallGraph.html#a88bec70a6bf5c1c41bc4efd035ef0e08">SVF::PTACallGraph</a>
+: <a class="el" href="classSVF_1_1PointerAnalysis.html#ae0efd57376195eacded85d58abee5b46">SVF::PointerAnalysis</a>
+, <a class="el" href="classSVF_1_1PTACallGraph.html#ac106536778c829d6925d6ed2149aeb44">SVF::PTACallGraph</a>
 </li>
 <li>getIndexedType()
 : <a class="el" href="classllvm_1_1generic__bridge__gep__type__iterator.html#acc10ad7ecc64270225cb5e8f52689673">llvm::generic_bridge_gep_type_iterator&lt; ItTy &gt;</a>
@@ -1210,7 +1210,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ContextDDA.html#a0d407903c4b0d976da30538ff0c5fc41">SVF::ContextDDA</a>
 </li>
 <li>getInst()
-: <a class="el" href="classSVF_1_1IntraBlockNode.html#ac4d046229e38c7501d7aca638f13f07b">SVF::IntraBlockNode</a>
+: <a class="el" href="classSVF_1_1IntraICFGNode.html#a6f9112d3a9d423bbcd391fbbdea3e785">SVF::IntraICFGNode</a>
 , <a class="el" href="classSVF_1_1StmtVFGNode.html#aae94dd9031a6662d509627e602aef532">SVF::StmtVFGNode</a>
 , <a class="el" href="classSVF_1_1SVFStmt.html#a86628ea173dec4934322f5d1caf2e1db">SVF::SVFStmt</a>
 </li>
@@ -1245,7 +1245,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFG.html#afbaf925e1e165f75161999229fa5f782">SVF::SVFG</a>
 </li>
 <li>getInterVFEdgeAtIndCSFromAPToFP()
-: <a class="el" href="classSVF_1_1SVFG.html#a9b133773dae3e7c613516ba16cfdfa2c">SVF::SVFG</a>
+: <a class="el" href="classSVF_1_1SVFG.html#ac1acdf7bc468d7734359591e45f485fe">SVF::SVFG</a>
 </li>
 <li>getInterVFEdgeAtIndCSFromFOutToAOut()
 : <a class="el" href="classSVF_1_1SVFG.html#a7a88391e0c2cf8a57238dec32c2474a3">SVF::SVFG</a>
@@ -1254,13 +1254,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFG.html#ab2b969b7d5922427622dd875e6b8fe14">SVF::SVFG</a>
 </li>
 <li>getInterVFEdgesForIndirectCallSite()
-: <a class="el" href="classSVF_1_1SVFG.html#af3bb18f904512cd6f450853666810229">SVF::SVFG</a>
+: <a class="el" href="classSVF_1_1SVFG.html#a49fc2c505720d5cfa57231529d1c7534">SVF::SVFG</a>
 </li>
 <li>getIntraBlockICFGNode()
-: <a class="el" href="classSVF_1_1ICFG.html#a5f03c3befe1df9fa62221fc6989d387a">SVF::ICFG</a>
+: <a class="el" href="classSVF_1_1ICFG.html#a5f29490c8c18873fa80fc6b1c40b68bd">SVF::ICFG</a>
 </li>
 <li>getIntraBlockNode()
-: <a class="el" href="classSVF_1_1ICFG.html#a485fcd76a8a864c9b686e68a3ca66dfc">SVF::ICFG</a>
+: <a class="el" href="classSVF_1_1ICFG.html#ad0ad7f96fe2b8f772e7d667d5ba3e9a3">SVF::ICFG</a>
 </li>
 <li>getIntraLockSet()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#ad8e7c32cb1163f4917124fed5cf6c3ab">SVF::LockAnalysis</a>
@@ -1275,10 +1275,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1VFG.html#ae1348fd6d196ee8a6bd8d98022464d50">SVF::VFG</a>
 </li>
 <li>getJoinEdgeBegin()
-: <a class="el" href="classSVF_1_1ThreadCallGraph.html#ad6215527f01188f8e65fe8616e92dbc2">SVF::ThreadCallGraph</a>
+: <a class="el" href="classSVF_1_1ThreadCallGraph.html#af848d7cb8a9f756ff45cca45adbf3b84">SVF::ThreadCallGraph</a>
 </li>
 <li>getJoinEdgeEnd()
-: <a class="el" href="classSVF_1_1ThreadCallGraph.html#a17b7b3f0bdb4a52166b8509bd90499ba">SVF::ThreadCallGraph</a>
+: <a class="el" href="classSVF_1_1ThreadCallGraph.html#a811d7d13c05c71bd816621a9a8765365">SVF::ThreadCallGraph</a>
 </li>
 <li>getJoinedThread()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#ada1e56dfe2d64ea6310142a346c86ed4">SVF::ForkJoinAnalysis</a>
@@ -1426,14 +1426,14 @@ $(function() {
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#a89e9c6da843e5eef25c51afd5d0937e5">SVF::SymbolTableInfo</a>
 </li>
 <li>getModInfoForCall()
-: <a class="el" href="classSVF_1_1MRGenerator.html#af0d1a34ce38e9b20ee6fc7b27fcd5198">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#ae487d7b800d7536b578095c9f140ac80">SVF::MRGenerator</a>
 </li>
 <li>getModRefInfo()
-: <a class="el" href="classSVF_1_1MRGenerator.html#a455e0ba173141ac8ce76a655ac52205f">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#ac14c99ee6064fc9cf30120a83c78e702">SVF::MRGenerator</a>
 , <a class="el" href="classSVF_1_1WPAPass.html#a81277c93b6a89c01a7a1f476bc3d744d">SVF::WPAPass</a>
 </li>
 <li>getModSideEffectOfCallSite()
-: <a class="el" href="classSVF_1_1MRGenerator.html#aebd6abbf574392abce426dc796d2ee56">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#a1535832f5b1ae3178fea950bf71fdd99">SVF::MRGenerator</a>
 </li>
 <li>getModSideEffectOfFunction()
 : <a class="el" href="classSVF_1_1MRGenerator.html#a7d47fbc3dbe8fd19ca5e4210bdecf914">SVF::MRGenerator</a>
@@ -1691,16 +1691,16 @@ $(function() {
 : <a class="el" href="classSVF_1_1CondManager.html#a0ca23ef4850f9be8abf303eafd104dab">SVF::CondManager</a>
 </li>
 <li>getOrAddCallICFGNode()
-: <a class="el" href="classSVF_1_1ICFGBuilder.html#ae9958bebe253db187d403929bc508eac">SVF::ICFGBuilder</a>
+: <a class="el" href="classSVF_1_1ICFGBuilder.html#af0b1627b91de8d007d95ee90c6bfb8da">SVF::ICFGBuilder</a>
 </li>
 <li>getOrAddInterBlockICFGNode()
-: <a class="el" href="classSVF_1_1ICFGBuilder.html#a1fe9bfb1f0cb64fba6b54d598b6d7a74">SVF::ICFGBuilder</a>
+: <a class="el" href="classSVF_1_1ICFGBuilder.html#a1c07cce4cae9bfc8884b37cbda06d8ac">SVF::ICFGBuilder</a>
 </li>
 <li>getOrAddIntraBlockICFGNode()
-: <a class="el" href="classSVF_1_1ICFGBuilder.html#a28bcef712806344a3bcd664ef3d1e48b">SVF::ICFGBuilder</a>
+: <a class="el" href="classSVF_1_1ICFGBuilder.html#a91599e3ddb71462ec61a50fad91288da">SVF::ICFGBuilder</a>
 </li>
 <li>getOrAddRetICFGNode()
-: <a class="el" href="classSVF_1_1ICFGBuilder.html#a2f89ca8d506f90f0b90d18b0f63d8481">SVF::ICFGBuilder</a>
+: <a class="el" href="classSVF_1_1ICFGBuilder.html#afbf56b40d45f14b3a846d840f44d1681">SVF::ICFGBuilder</a>
 </li>
 <li>getOrCreateNode()
 : <a class="el" href="classSVF_1_1DCHGraph.html#a9ed6b91fad334605f514049a2072b538">SVF::DCHGraph</a>
@@ -1787,7 +1787,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1FormalParmVFGNode.html#ab1a9031c1fc5102e072b5035151c131c">SVF::FormalParmVFGNode</a>
 </li>
 <li>getParent()
-: <a class="el" href="classSVF_1_1CallBlockNode.html#aa541f0ab3c35110d5a00ae8bb4af58bc">SVF::CallBlockNode</a>
+: <a class="el" href="classSVF_1_1CallICFGNode.html#afb35b6c191a5a0b8e92019f6f3dbcc54">SVF::CallICFGNode</a>
 </li>
 <li>getParentsBegin()
 : <a class="el" href="classSVF_1_1TCT.html#afa5bd475c4dc068a0ecc0ec5caab77a9">SVF::TCT</a>
@@ -1914,10 +1914,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1OfflineConsG.html#af701f54b1db07a16e926cd40ab17eb12">SVF::OfflineConsG</a>
 </li>
 <li>getRefInfoForCall()
-: <a class="el" href="classSVF_1_1MRGenerator.html#acbc431cc7fb72135e592d74709ea7a77">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#a965a31712341b1fc02e667f325423ca2">SVF::MRGenerator</a>
 </li>
 <li>getRefSideEffectOfCallSite()
-: <a class="el" href="classSVF_1_1MRGenerator.html#ae2cc7d7d6ab427acb0352b388c7a4acc">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#a62757aa995a6a01b484c60df2f51c53d">SVF::MRGenerator</a>
 </li>
 <li>getRefSideEffectOfFunction()
 : <a class="el" href="classSVF_1_1MRGenerator.html#ac0007c8808654ca74feef0d8568378b9">SVF::MRGenerator</a>
@@ -1957,17 +1957,17 @@ $(function() {
 : <a class="el" href="classSVF_1_1FormalRetVFGNode.html#a62a894e71fcf7a3db19c0488d96a7262">SVF::FormalRetVFGNode</a>
 </li>
 <li>getRetBlockNode()
-: <a class="el" href="classSVF_1_1CallBlockNode.html#ad48f8aa952074fba88c54d6e9fad4a17">SVF::CallBlockNode</a>
-, <a class="el" href="classSVF_1_1ICFG.html#a6d66c83cb1656d0f8ec8b8b65a9e9c41">SVF::ICFG</a>
+: <a class="el" href="classSVF_1_1ICFG.html#a392e5ea7c356763a988407f91343f034">SVF::ICFG</a>
 </li>
 <li>getRetICFGNode()
-: <a class="el" href="classSVF_1_1ICFG.html#ae3bd3bf29b3dac286b93be22cbb60b2c">SVF::ICFG</a>
+: <a class="el" href="classSVF_1_1CallICFGNode.html#ae23a7540609879ac0379fc53b4e7eead">SVF::CallICFGNode</a>
+, <a class="el" href="classSVF_1_1ICFG.html#a26ee40d30efc126734b7fb081db5da54">SVF::ICFG</a>
 </li>
 <li>getRetParmAtJoinedSite()
 : <a class="el" href="classSVF_1_1ThreadAPI.html#ad1c595f7b15a2d3079b9e9200c84f7d7">SVF::ThreadAPI</a>
 </li>
 <li>getRetSite()
-: <a class="el" href="classSVF_1_1ProgSlice.html#a2a4c2d573b43f005ae668bffc7fc911d">SVF::ProgSlice</a>
+: <a class="el" href="classSVF_1_1ProgSlice.html#a07ce77afbf69d5e2a47afaa39eaea886">SVF::ProgSlice</a>
 </li>
 <li>getRetSym()
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#afc8b0b6aea972f34a0c099b75114b81e">SVF::SymbolTableInfo</a>
@@ -2049,7 +2049,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1PCG.html#a6efd56a0a1810cf9036dd9203ea5e71e">SVF::PCG</a>
 </li>
 <li>getSrcCSID()
-: <a class="el" href="classSVF_1_1LeakChecker.html#a4918e3e3e289cc39f3442cb26f28bcc4">SVF::LeakChecker</a>
+: <a class="el" href="classSVF_1_1LeakChecker.html#a8cc561fddf3435b3b40ff4aace23b846">SVF::LeakChecker</a>
 </li>
 <li>getSrcID()
 : <a class="el" href="classSVF_1_1AssignStmt.html#aa9e1367635f51e5fb456ac885406c990">SVF::AssignStmt</a>
@@ -2360,10 +2360,10 @@ $(function() {
 , <a class="el" href="classSVF_1_1VFG.html#a18ec674e8ab0285ec086df87e5c591c9">SVF::VFG</a>
 </li>
 <li>getVFnsFromCHA()
-: <a class="el" href="classSVF_1_1PointerAnalysis.html#a0e09e07ee52ba605dc386ae1d7b965e2">SVF::PointerAnalysis</a>
+: <a class="el" href="classSVF_1_1PointerAnalysis.html#ade41f3562704d56c7490dcfc941b3437">SVF::PointerAnalysis</a>
 </li>
 <li>getVFnsFromPts()
-: <a class="el" href="classSVF_1_1PointerAnalysis.html#a8fa5b8a7b410faf63106a879ff72bf51">SVF::PointerAnalysis</a>
+: <a class="el" href="classSVF_1_1PointerAnalysis.html#a011b8401f5ed5fdb6cd507053465a7a2">SVF::PointerAnalysis</a>
 </li>
 <li>getVFnsFromVtbls()
 : <a class="el" href="classSVF_1_1CHGraph.html#ac5f5646db24455609cd86c421774dd3e">SVF::CHGraph</a>
@@ -2396,7 +2396,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a01a199e9fdb5759c7f78ee344dbc413c">SVF::VersionedFlowSensitive</a>
 </li>
 <li>global_begin()
-: <a class="el" href="classSVF_1_1SVFModule.html#a4dc32c583d29d74d052eaa5665b0b70e">SVF::SVFModule</a>
+: <a class="el" href="classSVF_1_1SVFModule.html#af81c6deed3978562f83f120119c6aad2">SVF::SVFModule</a>
 </li>
 <li>global_end()
 : <a class="el" href="classSVF_1_1SVFModule.html#afa9068e662918f6649d5ca25340a3ae2">SVF::SVFModule</a>
@@ -2410,11 +2410,8 @@ $(function() {
 <li>GlobalBlock
 : <a class="el" href="classSVF_1_1ICFGNode.html#a74f598c1c86b023680bb2685aa8ab376ac93cf90864e69a21cbaefccbd48b8648">SVF::ICFGNode</a>
 </li>
-<li>GlobalBlockNode()
-: <a class="el" href="classSVF_1_1GlobalBlockNode.html#a233fceb667e517862fd97d50832a4d7e">SVF::GlobalBlockNode</a>
-</li>
 <li>globalBlockNode
-: <a class="el" href="classSVF_1_1ICFG.html#a37ec47cd95cf25b18720c4267a9fd40c">SVF::ICFG</a>
+: <a class="el" href="classSVF_1_1ICFG.html#a8e43b27d4484a4acb575e4c1c6c8fd02">SVF::ICFG</a>
 </li>
 <li>GlobalDefToRepMap
 : <a class="el" href="classSVF_1_1LLVMModuleSet.html#ae2a1fa0b908cf372c50af90e62c4bf2b">SVF::LLVMModuleSet</a>
@@ -2422,6 +2419,9 @@ $(function() {
 <li>GlobalDefToRepMapTy
 : <a class="el" href="classSVF_1_1LLVMModuleSet.html#a4dc808f3f69a87c74933d1f6183d1459">SVF::LLVMModuleSet</a>
 </li>
+<li>GlobalICFGNode()
+: <a class="el" href="classSVF_1_1GlobalICFGNode.html#a01e8a9844fcad1cc5faa22d8b0e0efd7">SVF::GlobalICFGNode</a>
+</li>
 <li>GlobalSet
 : <a class="el" href="classSVF_1_1SVFModule.html#a4ff4bbd1771615757fc6575282046e30">SVF::SVFModule</a>
 </li>

package/SVF-doxygen/html/html/functions_h.html

@@ -90,7 +90,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1TCT.html#aac0c4c3f1c7cb1d89ebd2a3da2d49bd3">SVF::TCT</a>
 </li>
 <li>handleCallsiteModRef()
-: <a class="el" href="classSVF_1_1MRGenerator.html#a123a2ea51b04f1398b9ee66567f5014a">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#acbf0be131b1fc5d0366157d300d1aa68">SVF::MRGenerator</a>
 </li>
 <li>handleCE()
 : <a class="el" href="classSVF_1_1SymbolTableBuilder.html#abe39a7a3557899b4991bcc60d436dc50">SVF::SymbolTableBuilder</a>
@@ -213,10 +213,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1ExtAPI.html#aab5731ba773144c7cbb5609e9b807eae">SVF::ExtAPI</a>
 </li>
 <li>hasActualINSVFGNodes()
-: <a class="el" href="classSVF_1_1SVFG.html#afec2a195b5e367ec0d3f292168d10811">SVF::SVFG</a>
+: <a class="el" href="classSVF_1_1SVFG.html#a21577bc4b4e55b23aa55083f5321b399">SVF::SVFG</a>
 </li>
 <li>hasActualOUTSVFGNodes()
-: <a class="el" href="classSVF_1_1SVFG.html#abc41243e27c4543ad50b6649839a940c">SVF::SVFG</a>
+: <a class="el" href="classSVF_1_1SVFG.html#ab1fde654cc464c5b4d1bafff83d346ed">SVF::SVFG</a>
 </li>
 <li>hasAllCxtInLockSpan()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a33740d6dc51d24af2d0c8cb2fbf27db6">SVF::LockAnalysis</a>
@@ -225,19 +225,19 @@ $(function() {
 : <a class="el" href="classSVF_1_1VFG.html#a88f6468b9b43bbb06ef757d884580a50">SVF::VFG</a>
 </li>
 <li>hasCallGraphEdge()
-: <a class="el" href="classSVF_1_1PTACallGraph.html#afdd308d681cb2a57e9473186f431db61">SVF::PTACallGraph</a>
+: <a class="el" href="classSVF_1_1PTACallGraph.html#af8df9ca6d906453fa3f7168aa84fd087">SVF::PTACallGraph</a>
 </li>
 <li>hasCallSiteArgsMap()
-: <a class="el" href="classSVF_1_1SVFIR.html#a2a4185af81e7e10f0db74c39ee220101">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#a95f77211550ec2374d57779d88cf5138">SVF::SVFIR</a>
 </li>
 <li>hasCallSiteChi()
-: <a class="el" href="classSVF_1_1SVFG.html#a1027dcf25e914377e02885b786d00edc">SVF::SVFG</a>
+: <a class="el" href="classSVF_1_1SVFG.html#ad9cc1581261182b56ae232d9a9b13296">SVF::SVFG</a>
 </li>
 <li>hasCallSiteID()
-: <a class="el" href="classSVF_1_1PTACallGraph.html#a236d1269b1b560e09f22e0197f6f1ad7">SVF::PTACallGraph</a>
+: <a class="el" href="classSVF_1_1PTACallGraph.html#aa8dbda3e46533680173e55d396f36756">SVF::PTACallGraph</a>
 </li>
 <li>hasCallSiteMu()
-: <a class="el" href="classSVF_1_1SVFG.html#afca91771a622290586bfa941132c322e">SVF::SVFG</a>
+: <a class="el" href="classSVF_1_1SVFG.html#a842f6f2325c9e93ea96367e9cf624ee8">SVF::SVFG</a>
 </li>
 <li>hasCHI()
 : <a class="el" href="classSVF_1_1MemSSA.html#abfb338ce36ad46a9654d50dd6e2b07f1">SVF::MemSSA</a>
@@ -337,8 +337,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFVar.html#a71e4fd7a1271a17e971ed90044e6da24">SVF::SVFVar</a>
 </li>
 <li>hasIndCSCallees()
-: <a class="el" href="classSVF_1_1PointerAnalysis.html#a8d3a457efb1963f8d87305bf33c02754">SVF::PointerAnalysis</a>
-, <a class="el" href="classSVF_1_1PTACallGraph.html#ac46ec4fe0094145c5fdb81394f1dd644">SVF::PTACallGraph</a>
+: <a class="el" href="classSVF_1_1PointerAnalysis.html#abdacd060691add054839aa183babe095">SVF::PointerAnalysis</a>
+, <a class="el" href="classSVF_1_1PTACallGraph.html#a71a63c53a093ea8e450fb53fd60c9424">SVF::PTACallGraph</a>
 </li>
 <li>hasInterICFGEdge()
 : <a class="el" href="classSVF_1_1ICFG.html#a86535e50d1feba706b19491d905baef1">SVF::ICFG</a>
@@ -362,10 +362,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1AndersenLCD.html#ad3f4bd35f98c43a0642b91c6b0e7acb3">SVF::AndersenLCD</a>
 </li>
 <li>hasModMRSet()
-: <a class="el" href="classSVF_1_1MRGenerator.html#a8868281e5f5b5f3a83acf8568971ad40">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#a7d66a341805af7ec4e4893e5a7e0bc2d">SVF::MRGenerator</a>
 </li>
 <li>hasModSideEffectOfCallSite()
-: <a class="el" href="classSVF_1_1MRGenerator.html#a07dc868039c5e2764b3cc34faff6d94a">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#a187d82895b2e1156c6dd5ae28795944f">SVF::MRGenerator</a>
 </li>
 <li>hasMU()
 : <a class="el" href="classSVF_1_1MemSSA.html#af5e356e82c3f93b65bd89908e0f465dc">SVF::MemSSA</a>
@@ -424,10 +424,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1OfflineConsG.html#a576cfa438bb109b7e451b410cd3a8569">SVF::OfflineConsG</a>
 </li>
 <li>hasRefMRSet()
-: <a class="el" href="classSVF_1_1MRGenerator.html#aeed8bcf54d2a72c640e464e256249630">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#af06e8ac43efdedb97a2008cd93fc32d6">SVF::MRGenerator</a>
 </li>
 <li>hasRefSideEffectOfCallSite()
-: <a class="el" href="classSVF_1_1MRGenerator.html#ac91b6f0f33a95ba35cc23e0e4657732a">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#a9718c9e8efc1e6f32441aa5f418711dd">SVF::MRGenerator</a>
 </li>
 <li>hasReturnMu()
 : <a class="el" href="classSVF_1_1MemSSA.html#a3400d9a921672b3872656acecc3eac9f">SVF::MemSSA</a>
@@ -452,13 +452,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1TCT.html#a5d5a753b4d2633e3aaf58859274ffe7a">SVF::TCT</a>
 </li>
 <li>hasThreadForkEdge()
-: <a class="el" href="classSVF_1_1ThreadCallGraph.html#ac528526e77b995de0cd5e718503f42ed">SVF::ThreadCallGraph</a>
+: <a class="el" href="classSVF_1_1ThreadCallGraph.html#a933a6a2f0a0c6364e8df1bc65a07192f">SVF::ThreadCallGraph</a>
 </li>
 <li>hasThreadICFGEdge()
 : <a class="el" href="classSVF_1_1ICFG.html#a29fb70d6638765ce291c5a8a11fbea64">SVF::ICFG</a>
 </li>
 <li>hasThreadJoinEdge()
-: <a class="el" href="classSVF_1_1ThreadCallGraph.html#a10f3f07059d0534e391093372fcd708d">SVF::ThreadCallGraph</a>
+: <a class="el" href="classSVF_1_1ThreadCallGraph.html#a98214e970762f43d0e9ad719961b4021">SVF::ThreadCallGraph</a>
 </li>
 <li>hasThreadStmtSet()
 : <a class="el" href="classSVF_1_1MHP.html#a6841b147e2a681ea372bdddd53616294">SVF::MHP</a>