svf-tools 1.0.342 → 1.0.346

package/SVF-doxygen/html/html/functions_a.html

@@ -80,7 +80,7 @@ $(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>ActualINSVFGNodeSet
 : <a class="el" href="classSVF_1_1SVFG.html#aa9f520779475e4783eccc45c460e346a">SVF::SVFG</a>
@@ -92,19 +92,19 @@ $(function() {
 : <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>ActualOUTSVFGNodeSet
 : <a class="el" href="classSVF_1_1SVFG.html#a2f6ed8a9f14657abc1e2a89247a84b99">SVF::SVFG</a>
 </li>
 <li>ActualParmNodeVec
-: <a class="el" href="classSVF_1_1CallBlockNode.html#a058711bcf2ae9bc15106c8d99ce02c1c">SVF::CallBlockNode</a>
+: <a class="el" href="classSVF_1_1CallICFGNode.html#aa9bdf2b575f08976dcd0ba815a70f841">SVF::CallICFGNode</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>actualRet
-: <a class="el" href="classSVF_1_1RetBlockNode.html#a74ea1e2e7765016e0a07720d9c2e0a81">SVF::RetBlockNode</a>
+: <a class="el" href="classSVF_1_1RetICFGNode.html#ab11aa45c33cdcf5836fa2ee88bda9a9c">SVF::RetICFGNode</a>
 </li>
 <li>ActualRetVFGNode()
 : <a class="el" href="classSVF_1_1ActualRetVFGNode.html#adc425f00b03e7a59725161ce1a78b349">SVF::ActualRetVFGNode</a>
@@ -116,23 +116,23 @@ $(function() {
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a42d52c9444028e72ea8e6dc0c8c08ada">SVF::PointerAnalysis</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>
@@ -194,14 +194,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>
@@ -211,23 +211,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>
@@ -283,10 +283,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>
@@ -307,22 +307,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>
@@ -381,22 +381,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>
@@ -414,10 +414,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>
@@ -453,7 +453,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>
@@ -486,19 +486,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>
@@ -534,7 +534,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>
@@ -555,7 +555,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>
@@ -594,7 +594,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1Options.html#af129d2ff94af3f6830c0678cb4b72371">SVF::Options</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>
@@ -673,7 +673,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>
@@ -714,7 +714,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>
@@ -730,11 +730,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>
@@ -747,7 +747,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>
@@ -783,7 +783,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>
@@ -801,7 +801,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>
@@ -843,22 +843,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>
@@ -947,7 +947,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>
@@ -1240,7 +1240,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ab6ba0a5a5e8d8d37dc5e2a46224fdbad">SVF::VFGNode</a>
 </li>
 <li>APNodes
-: <a class="el" href="classSVF_1_1CallBlockNode.html#a1caa9664587eb96c575af2f293b4cd1e">SVF::CallBlockNode</a>
+: <a class="el" href="classSVF_1_1CallICFGNode.html#a07615cb6245a9dccbba2cc70bde9bf22">SVF::CallICFGNode</a>
 </li>
 <li>APOUT
 : <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a562b0ba840860c8eeaaca1a66e61b54f">SVF::VFGNode</a>