svf-tools 1.0.355 → 1.0.359

package/SVF-doxygen/html/html/functions_func_g.html

@@ -262,9 +262,6 @@ $(function() {
 <li>getBlkPtr()
 : <a class="el" href="classSVF_1_1IRGraph.html#a3b417ee79560fd00f4cf80906044c198">SVF::IRGraph</a>
 </li>
-<li>getBlockICFGNode()
-: <a class="el" href="classSVF_1_1ICFG.html#ab7b0b3088b46ad65451905cc4f567a7b">SVF::ICFG</a>
-</li>
 <li>getBranchCond()
 : <a class="el" href="classSVF_1_1BranchCondExpr.html#acbfed1c7771cdb49237cdd6d3c75d25c">SVF::BranchCondExpr</a>
 , <a class="el" href="classSVF_1_1PathCondAllocator.html#a4d00c3306b92e59568b54a6a72afdb74">SVF::PathCondAllocator</a>
@@ -294,11 +291,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#aac432dfa7ccfc3434d9e0e2eb65afe7f">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 , <a class="el" href="classSVF_1_1FlowDDA.html#a950d653b249cfc2d20932adb3498b99b">SVF::FlowDDA</a>
 </li>
-<li>getCallBlockNode()
-: <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>getCallBlock()
+: <a class="el" href="classSVF_1_1ICFG.html#a47b5fe922b0339980fd49a89ecffd74d">SVF::ICFG</a>
 </li>
 <li>getCalledFunction()
 : <a class="el" href="classSVF_1_1CallSite.html#ae9b0172e29199f2a938d7cf9e42241cf">SVF::CallSite</a>
@@ -350,7 +344,11 @@ $(function() {
 : <a class="el" href="classSVF_1_1MRGenerator.html#ab3d3ca72d2cddf5336d00dc623f33401">SVF::MRGenerator</a>
 </li>
 <li>getCallICFGNode()
-: <a class="el" href="classSVF_1_1ICFG.html#ab10620eaac6b74f7cb18ba0c1211b4f1">SVF::ICFG</a>
+: <a class="el" href="classSVF_1_1ICFG.html#adc66b547720b9271e6805edea0b9d01f">SVF::ICFG</a>
+, <a class="el" href="classSVF_1_1ICFGBuilder.html#a702a888f2175dd32e2467bff27385e02">SVF::ICFGBuilder</a>
+, <a class="el" href="classSVF_1_1PCG.html#a48c51b626e516aa1c0768b57becb6f68">SVF::PCG</a>
+, <a class="el" href="classSVF_1_1RetICFGNode.html#a98c5e8394aa337e53a5ba8f4b0a245d4">SVF::RetICFGNode</a>
+, <a class="el" href="classSVF_1_1TCT.html#a238810a60f1010c5177e01683c8c1159">SVF::TCT</a>
 </li>
 <li>getCallInst()
 : <a class="el" href="classSVF_1_1CallPE.html#aa50cca8bd91ffb135a7998b58ad7966f">SVF::CallPE</a>
@@ -870,6 +868,10 @@ $(function() {
 , <a class="el" href="classSVF_1_1PointerAnalysis.html#a68b05bc02c5473c1e0d39ac4f4454bac">SVF::PointerAnalysis</a>
 , <a class="el" href="classSVF_1_1SVFIR.html#a2878e202045b7f2c817185e8bf95d354">SVF::SVFIR</a>
 </li>
+<li>getFlattenedElemIdxVec()
+: <a class="el" href="classSVF_1_1StInfo.html#a55e5fd85f232c1867c5c6a73646d53eb">SVF::StInfo</a>
+, <a class="el" href="classSVF_1_1SymbolTableInfo.html#a439024050e7b78021259ca5a2d68a83f">SVF::SymbolTableInfo</a>
+</li>
 <li>getFlattenedFieldIdxVec()
 : <a class="el" href="classSVF_1_1StInfo.html#aaf05447c20c9f90eea64ab6e88d6ab05">SVF::StInfo</a>
 , <a class="el" href="classSVF_1_1SymbolTableInfo.html#af0477d1e8af9ad51a9884e687fcdf29b">SVF::SymbolTableInfo</a>
@@ -878,10 +880,6 @@ $(function() {
 : <a class="el" href="classSVF_1_1StInfo.html#ab5908115f11eccee61bd0759a51d5af0">SVF::StInfo</a>
 , <a class="el" href="classSVF_1_1SymbolTableInfo.html#a9ca564bdc1f40a2ccd30d98e0e4075b0">SVF::SymbolTableInfo</a>
 </li>
-<li>getFlattenedOffsetVec()
-: <a class="el" href="classSVF_1_1StInfo.html#acd2021bf9d624d83f86a6fa1a4423c8c">SVF::StInfo</a>
-, <a class="el" href="classSVF_1_1SymbolTableInfo.html#a487561309c56e6ed2e5a0e94c94b0e7a">SVF::SymbolTableInfo</a>
-</li>
 <li>getFlattenElemTy()
 : <a class="el" href="classSVF_1_1FlattenedFieldInfo.html#a92c1b65c36feeabf09541c9af4650f14">SVF::FlattenedFieldInfo</a>
 </li>
@@ -889,7 +887,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1FlattenedFieldInfo.html#a34759f793f0445d2941c9a7d1413b7b2">SVF::FlattenedFieldInfo</a>
 </li>
 <li>getFlatternedFieldType()
-: <a class="el" href="classSVF_1_1StInfo.html#a102181a3ac3c634e3c25a566756ec764">SVF::StInfo</a>
+: <a class="el" href="classSVF_1_1StInfo.html#aecd92dab41e8200a5dd4a10085ad882b">SVF::StInfo</a>
 , <a class="el" href="classSVF_1_1SymbolTableInfo.html#a666d1dff7a629bd34abbd2031c1037a4">SVF::SymbolTableInfo</a>
 </li>
 <li>getFollowers()
@@ -961,23 +959,23 @@ $(function() {
 <li>getFunctionType()
 : <a class="el" href="classSVF_1_1CallSite.html#ad0040f4b7953b509059223d1d52c203f">SVF::CallSite</a>
 </li>
-<li>getFunEntryBlockNode()
-: <a class="el" href="classSVF_1_1ICFG.html#a2b32cfb0b4b3e420aa8e67fc6d4f1025">SVF::ICFG</a>
+<li>getFunEntryBlock()
+: <a class="el" href="classSVF_1_1ICFG.html#acc261924103bd0c357acd3acfa6cf38a">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#a11a2c1f54747069b924ee2870163dc05">SVF::ICFG</a>
+: <a class="el" href="classSVF_1_1ICFG.html#a0dca4655c2f6112a5be1f921b8e81076">SVF::ICFG</a>
 </li>
 <li>getFunEntryNode()
 : <a class="el" href="classSVF_1_1FormalINSVFGNode.html#a765f45d67d8b99dc85eb92676ca1be4e">SVF::FormalINSVFGNode</a>
 </li>
-<li>getFunExitBlockNode()
-: <a class="el" href="classSVF_1_1ICFG.html#a8f131fd585f6fa0c93023ee193500b26">SVF::ICFG</a>
+<li>getFunExitBlock()
+: <a class="el" href="classSVF_1_1ICFG.html#a22d7f37a0cb2df90f73c1f2e3eaa71c6">SVF::ICFG</a>
 </li>
 <li>getFunExitICFGNode()
-: <a class="el" href="classSVF_1_1ICFG.html#a12f78e9ce71a904975932e1784060050">SVF::ICFG</a>
+: <a class="el" href="classSVF_1_1ICFG.html#af1b2d2839f811a00103df87342dfc919">SVF::ICFG</a>
 </li>
 <li>getFunExitNode()
 : <a class="el" href="classSVF_1_1FormalOUTSVFGNode.html#ae23aa8ff8585c31071726f2b2fb1499d">SVF::FormalOUTSVFGNode</a>
@@ -1034,8 +1032,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFIR.html#a811c5eaeef1e52cc2d6f56ec5a76bb02">SVF::SVFIR</a>
 , <a class="el" href="classSVF_1_1SVFIRBuilder.html#ad0b30ca8fc2939bb7360a3ff08727d58">SVF::SVFIRBuilder</a>
 </li>
-<li>getGlobalBlockNode()
-: <a class="el" href="classSVF_1_1ICFG.html#a51917fa4244cdb46f06ab647b5c2656f">SVF::ICFG</a>
+<li>getGlobalICFGNode()
+: <a class="el" href="classSVF_1_1ICFG.html#ae0b05ce161d62362642803158228e5d0">SVF::ICFG</a>
 </li>
 <li>getGlobalRep()
 : <a class="el" href="classSVF_1_1LLVMModuleSet.html#a757bf149437cce22163c764ea9993e12">SVF::LLVMModuleSet</a>
@@ -1184,11 +1182,11 @@ $(function() {
 <li>getInterVFEdgesForIndirectCallSite()
 : <a class="el" href="classSVF_1_1SVFG.html#a49fc2c505720d5cfa57231529d1c7534">SVF::SVFG</a>
 </li>
-<li>getIntraBlockICFGNode()
-: <a class="el" href="classSVF_1_1ICFG.html#a5f29490c8c18873fa80fc6b1c40b68bd">SVF::ICFG</a>
+<li>getIntraBlock()
+: <a class="el" href="classSVF_1_1ICFG.html#aedb66c7897f1d73185979e1297d1976d">SVF::ICFG</a>
 </li>
-<li>getIntraBlockNode()
-: <a class="el" href="classSVF_1_1ICFG.html#ad0ad7f96fe2b8f772e7d667d5ba3e9a3">SVF::ICFG</a>
+<li>getIntraICFGNode()
+: <a class="el" href="classSVF_1_1ICFG.html#a2b3a5a9c3c4c623a6d45ab1eac3c6a8b">SVF::ICFG</a>
 </li>
 <li>getIntraLockSet()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#ad8e7c32cb1163f4917124fed5cf6c3ab">SVF::LockAnalysis</a>
@@ -1289,7 +1287,7 @@ $(function() {
 </li>
 <li>getLockVal()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a785616f9c744d7249fd1080e5ed04d29">SVF::LockAnalysis</a>
-, <a class="el" href="classSVF_1_1ThreadAPI.html#ad1d43e47f5036138e85068a1714f6c48">SVF::ThreadAPI</a>
+, <a class="el" href="classSVF_1_1ThreadAPI.html#a8f1c869eb42f7c89697cf2c7452ba9e9">SVF::ThreadAPI</a>
 </li>
 <li>getLocToDPMVecMap()
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#ad849ae4509e88832f784c748468ab959">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
@@ -1357,7 +1355,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MRGenerator.html#ae487d7b800d7536b578095c9f140ac80">SVF::MRGenerator</a>
 </li>
 <li>getModRefInfo()
-: <a class="el" href="classSVF_1_1MRGenerator.html#ac14c99ee6064fc9cf30120a83c78e702">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#a3a6c0f60c861b6d744225a40aea638d7">SVF::MRGenerator</a>
 , <a class="el" href="classSVF_1_1WPAPass.html#a567f818fa7b29142b18cb39e5c063a4e">SVF::WPAPass</a>
 </li>
 <li>getModSideEffectOfCallSite()
@@ -1432,7 +1430,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFG.html#a49a910bc4ea6e98d1584e74a018badc9">SVF::SVFG</a>
 </li>
 <li>getMUSet()
-: <a class="el" href="classSVF_1_1MemSSA.html#af4d11a0c7da0ddd7dff8d75a00279847">SVF::MemSSA</a>
+: <a class="el" href="classSVF_1_1MemSSA.html#af1a7b3ca0144ebff3747715e89646fbb">SVF::MemSSA</a>
 </li>
 <li>getMutDFPTDataTy()
 : <a class="el" href="classSVF_1_1BVDataPTAImpl.html#acbb979edee9427efa2a7c0dbd881c483">SVF::BVDataPTAImpl</a>
@@ -1515,6 +1513,14 @@ $(function() {
 <li>getNumOfCxtLocks()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a3df63f936d488166109d73bdcf0437d5">SVF::LockAnalysis</a>
 </li>
+<li>getNumOfFlattenElements()
+: <a class="el" href="classSVF_1_1StInfo.html#a518c82138fcadc6634980566c1c0f762">SVF::StInfo</a>
+, <a class="el" href="classSVF_1_1SymbolTableInfo.html#a747073d433e05e15085a2675f6a1e18f">SVF::SymbolTableInfo</a>
+</li>
+<li>getNumOfFlattenFields()
+: <a class="el" href="classSVF_1_1StInfo.html#ae5fad367673315da57a604e64b5889f0">SVF::StInfo</a>
+, <a class="el" href="classSVF_1_1SymbolTableInfo.html#a5ef16ff6a5787d89fd3f829bf518cf87">SVF::SymbolTableInfo</a>
+</li>
 <li>getNumOfForksite()
 : <a class="el" href="classSVF_1_1ThreadCallGraph.html#aa847760765aae18bcb93b260a881441b">SVF::ThreadCallGraph</a>
 </li>
@@ -1618,18 +1624,12 @@ $(function() {
 <li>getOrAddBranchCond()
 : <a class="el" href="classSVF_1_1CondManager.html#a0ca23ef4850f9be8abf303eafd104dab">SVF::CondManager</a>
 </li>
-<li>getOrAddCallICFGNode()
-: <a class="el" href="classSVF_1_1ICFGBuilder.html#af0b1627b91de8d007d95ee90c6bfb8da">SVF::ICFGBuilder</a>
-</li>
 <li>getOrAddInterBlockICFGNode()
 : <a class="el" href="classSVF_1_1ICFGBuilder.html#a1c07cce4cae9bfc8884b37cbda06d8ac">SVF::ICFGBuilder</a>
 </li>
 <li>getOrAddIntraBlockICFGNode()
 : <a class="el" href="classSVF_1_1ICFGBuilder.html#a91599e3ddb71462ec61a50fad91288da">SVF::ICFGBuilder</a>
 </li>
-<li>getOrAddRetICFGNode()
-: <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>
 </li>
@@ -1637,7 +1637,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1TCT.html#a787e815e9c7e53566ce56127dd31a3a9">SVF::TCT</a>
 </li>
 <li>getOriginalFieldType()
-: <a class="el" href="classSVF_1_1StInfo.html#a353476ac0b11f153555557b932847d85">SVF::StInfo</a>
+: <a class="el" href="classSVF_1_1StInfo.html#acf1ba3bc3ffbd2f7d457b613b6c5f4be">SVF::StInfo</a>
 , <a class="el" href="classSVF_1_1SymbolTableInfo.html#a866085ff37b7841606c523817c621f49">SVF::SymbolTableInfo</a>
 </li>
 <li>getOriginalObj()
@@ -1811,15 +1811,15 @@ $(function() {
 <li>getPts()
 : <a class="el" href="classSVF_1_1Andersen.html#a187285a5bdf9422d9188b2b11b667639">SVF::Andersen</a>
 , <a class="el" href="classSVF_1_1BVDataPTAImpl.html#aee289e298e421448caaa604b7eb34fcb">SVF::BVDataPTAImpl</a>
-, <a class="el" href="classSVF_1_1CondPTAImpl.html#a63fa2b3a96696ffc67a119c1ba5ce748">SVF::CondPTAImpl&lt; Cond &gt;</a>
+, <a class="el" href="classSVF_1_1CondPTAImpl.html#a0b96ba98239186d6d676f9540da9e590">SVF::CondPTAImpl&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDFPTData.html#a4cbb9131a89c5c48367fb927693b5c6b">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDiffPTData.html#ac2f494da9379c336bb81a0dc438b5af9">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutablePTData.html#abe4230f3ba78fc660ea291fda36ffa62">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1MutableVersionedPTData.html#afcc34f6cedca6a8f151b1a7251832818">SVF::MutableVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
+, <a class="el" href="classSVF_1_1MutableVersionedPTData.html#aaf519166d2e0ca3c81088b52a1cf3066">SVF::MutableVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentDFPTData.html#a5f6a01d0bb40a718bc14f2cc1bb98a13">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentDiffPTData.html#a9982ecf42416756a0729a28e8713cfed">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentPTData.html#a34f8226202e1654d4e67916b21ec4d99">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#afe80884fa8227e50f28631e20aa6fdf6">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a9b81d20e54d08e36edbff43549b1e820">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 , <a class="el" href="classSVF_1_1PointerAnalysis.html#a4dfb43679e9fa794ebad99b6584c32ec">SVF::PointerAnalysis</a>
 , <a class="el" href="classSVF_1_1PTData.html#a9ae6037637d8b9acb323333f491f4a7d">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1Steensgaard.html#adbcb9af660ab9bb0202bd32342280486">SVF::Steensgaard</a>
@@ -1832,7 +1832,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1MutablePTData.html#a8838058efe94b62553bb5416fdc2ec5b">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>getPtsSubSetMap()
-: <a class="el" href="classSVF_1_1IntraDisjointMRG.html#ad0640ef6e02d9a90964ca495c0fd8f53">SVF::IntraDisjointMRG</a>
+: <a class="el" href="classSVF_1_1IntraDisjointMRG.html#ae3c857c056f4e6e863843bafba7fdea1">SVF::IntraDisjointMRG</a>
 </li>
 <li>getRawCTirMetadata()
 : <a class="el" href="classSVF_1_1FlowSensitiveTBHC.html#a2c47ba37bd250be455a21d1f0049d556">SVF::FlowSensitiveTBHC</a>
@@ -1884,15 +1884,16 @@ $(function() {
 <li>getRet()
 : <a class="el" href="classSVF_1_1FormalRetVFGNode.html#a62a894e71fcf7a3db19c0488d96a7262">SVF::FormalRetVFGNode</a>
 </li>
-<li>getRetBlockNode()
-: <a class="el" href="classSVF_1_1ICFG.html#a392e5ea7c356763a988407f91343f034">SVF::ICFG</a>
+<li>getRetBlock()
+: <a class="el" href="classSVF_1_1CallICFGNode.html#a37c483e7ef957a59bfe9d37e401827a9">SVF::CallICFGNode</a>
+, <a class="el" href="classSVF_1_1ICFG.html#a3b59f9ba22e03d323bc2fa5928902243">SVF::ICFG</a>
 </li>
 <li>getRetICFGNode()
-: <a class="el" href="classSVF_1_1CallICFGNode.html#ae23a7540609879ac0379fc53b4e7eead">SVF::CallICFGNode</a>
-, <a class="el" href="classSVF_1_1ICFG.html#a26ee40d30efc126734b7fb081db5da54">SVF::ICFG</a>
+: <a class="el" href="classSVF_1_1ICFG.html#a66cb50d8c176f800f06d9cb8924eb896">SVF::ICFG</a>
+, <a class="el" href="classSVF_1_1ICFGBuilder.html#a7c1125c992eec20e118e6bfc12cb8bfb">SVF::ICFGBuilder</a>
 </li>
 <li>getRetParmAtJoinedSite()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#a5439ef32c909b02c83cbd30eb0a0fe12">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#ad1c595f7b15a2d3079b9e9200c84f7d7">SVF::ThreadAPI</a>
 </li>
 <li>getRetSite()
 : <a class="el" href="classSVF_1_1ProgSlice.html#a07ce77afbf69d5e2a47afaa39eaea886">SVF::ProgSlice</a>
@@ -2050,7 +2051,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#a90bca8ff906ea48fb5e3a69da463ccab">SVF::SymbolTableInfo</a>
 </li>
 <li>getStructInfoIter()
-: <a class="el" href="classSVF_1_1SymbolTableInfo.html#a075a16b154514e282fcdd6f116a99e43">SVF::SymbolTableInfo</a>
+: <a class="el" href="classSVF_1_1SymbolTableInfo.html#aeb3f594076c60fc313c29d282f347f08">SVF::SymbolTableInfo</a>
 </li>
 <li>getSubNodes()
 : <a class="el" href="classSVF_1_1Steensgaard.html#a95ed4be99e201058cb6d994250d2629f">SVF::Steensgaard</a>
@@ -2070,7 +2071,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1BranchVFGNode.html#a2ef5951de4760d28adb9d82b22067360">SVF::BranchVFGNode</a>
 </li>
 <li>getSuccNodes()
-: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a8164ae39b494115142767abc29cebd53">SVF::MTASVFGBuilder</a>
+: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a7033805052c8fae5cd0104fdd9e345c0">SVF::MTASVFGBuilder</a>
 </li>
 <li>getSVFFun()
 : <a class="el" href="classSVF_1_1PCG.html#ac7dd2bbd4274a5e3a6427f3b674f99ba">SVF::PCG</a>
@@ -2118,10 +2119,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFIR.html#ae2006820c0d00482b85e7ae3adcb5744">SVF::SVFIR</a>
 </li>
 <li>getTaskDataAtHareParForSite()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#a58cf56e35be873a5a26c5eb0d9b5c9b3">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#aee8fac6281a95d8a519add100e8887d1">SVF::ThreadAPI</a>
 </li>
 <li>getTaskFuncAtHareParForSite()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#a282d6aeab91135af4cab8195d67badf6">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#afeedd6e518af76fa9e7142af8899b2f5">SVF::ThreadAPI</a>
 </li>
 <li>getTCG()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a8ad9b8cb0e6300b2ffc55244e53cece6">SVF::ForkJoinAnalysis</a>
@@ -2330,7 +2331,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#a8a34164634d6ad9a7b76175907c8c44b">SVF::SVFModule</a>

package/SVF-doxygen/html/html/functions_func_s.html

@@ -287,6 +287,9 @@ $(function() {
 <li>setNorRep()
 : <a class="el" href="classSVF_1_1OfflineConsG.html#a3cb6384160b50bd0a94de3fd2eb6facd">SVF::OfflineConsG</a>
 </li>
+<li>setNumOfFieldsAndElems()
+: <a class="el" href="classSVF_1_1StInfo.html#a1a07c2b1415c29d7d70791c6dfe602a3">SVF::StInfo</a>
+</li>
 <li>setObjFieldInsensitive()
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#ac5683fe2e24b393ccc5cb6d8bc92cf2b">SVF::PointerAnalysis</a>
 </li>
@@ -471,8 +474,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1PCG.html#a8dcd94e8f996fdb2197159ea95226817">SVF::PCG</a>
 </li>
 <li>split()
-: <a class="el" href="classSVF_1_1LockResultValidator.html#ab8a6935e1ea6f99d60ead862a7b1782f">SVF::LockResultValidator</a>
-, <a class="el" href="classSVF_1_1MTAResultValidator.html#a73db9ad234b263b6e644e4b38be14fe6">SVF::MTAResultValidator</a>
+: <a class="el" href="classSVF_1_1LockResultValidator.html#ad26006e14c866d694bc6e2ebaa41ded9">SVF::LockResultValidator</a>
+, <a class="el" href="classSVF_1_1MTAResultValidator.html#a7dad63ce2a85142a56d13926f10fde47">SVF::MTAResultValidator</a>
 </li>
 <li>SrcSnkDDA()
 : <a class="el" href="classSVF_1_1SrcSnkDDA.html#a73f6ddd4ba868e203109c52e4f3600bd">SVF::SrcSnkDDA</a>
@@ -521,13 +524,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1StmtVFGNode.html#a03c4e0a31d2377ef4ffe46fe183ccd9d">SVF::StmtVFGNode</a>
 </li>
 <li>StoreCGEdge()
-: <a class="el" href="classSVF_1_1StoreCGEdge.html#a667b277ef845b866d3b11a7fbfce0815">SVF::StoreCGEdge</a>
+: <a class="el" href="classSVF_1_1StoreCGEdge.html#a0f873b0be0ac726e412171119c5b3a50">SVF::StoreCGEdge</a>
 </li>
 <li>StoreCHI()
 : <a class="el" href="classSVF_1_1StoreCHI.html#a34433e6e437d302014fd06b5fb624a79">SVF::StoreCHI&lt; Cond &gt;</a>
 </li>
 <li>StoreStmt()
-: <a class="el" href="classSVF_1_1StoreStmt.html#a39ee0d8cc951aff0d6418a3d743fb3ae">SVF::StoreStmt</a>
+: <a class="el" href="classSVF_1_1StoreStmt.html#a22bc2f9290dfd7ade13ba63cc983ac42">SVF::StoreStmt</a>
 </li>
 <li>StoreVFGNode()
 : <a class="el" href="classSVF_1_1StoreVFGNode.html#ab4b9182cb0f2ef7dfc1e15789a311ecd">SVF::StoreVFGNode</a>
@@ -542,7 +545,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1FlowSensitive.html#a8ebe4342c1496b906ee1b6450558c3e8">SVF::FlowSensitive</a>
 </li>
 <li>subNodes()
-: <a class="el" href="classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#aa2b23b22bb0304ce07ab9b14f0fdc395">SVF::SCCDetection&lt; GraphType &gt;::GNodeSCCInfo</a>
+: <a class="el" href="classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a48981e6555ad221d08f16ed2df708027">SVF::SCCDetection&lt; GraphType &gt;::GNodeSCCInfo</a>
 , <a class="el" href="classSVF_1_1SCCDetection.html#a6ab5eff6a576e6d8703c1ea29b7f425d">SVF::SCCDetection&lt; GraphType &gt;</a>
 </li>
 <li>SVFBasicBlock()

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

@@ -339,9 +339,6 @@ $(function() {
 <li>getBlkPtr()
 : <a class="el" href="classSVF_1_1IRGraph.html#a3b417ee79560fd00f4cf80906044c198">SVF::IRGraph</a>
 </li>
-<li>getBlockICFGNode()
-: <a class="el" href="classSVF_1_1ICFG.html#ab7b0b3088b46ad65451905cc4f567a7b">SVF::ICFG</a>
-</li>
 <li>getBranchCond()
 : <a class="el" href="classSVF_1_1BranchCondExpr.html#acbfed1c7771cdb49237cdd6d3c75d25c">SVF::BranchCondExpr</a>
 , <a class="el" href="classSVF_1_1PathCondAllocator.html#a4d00c3306b92e59568b54a6a72afdb74">SVF::PathCondAllocator</a>
@@ -371,11 +368,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#aac432dfa7ccfc3434d9e0e2eb65afe7f">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 , <a class="el" href="classSVF_1_1FlowDDA.html#a950d653b249cfc2d20932adb3498b99b">SVF::FlowDDA</a>
 </li>
-<li>getCallBlockNode()
-: <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>getCallBlock()
+: <a class="el" href="classSVF_1_1ICFG.html#a47b5fe922b0339980fd49a89ecffd74d">SVF::ICFG</a>
 </li>
 <li>getCalledFunction()
 : <a class="el" href="classSVF_1_1CallSite.html#ae9b0172e29199f2a938d7cf9e42241cf">SVF::CallSite</a>
@@ -427,7 +421,11 @@ $(function() {
 : <a class="el" href="classSVF_1_1MRGenerator.html#ab3d3ca72d2cddf5336d00dc623f33401">SVF::MRGenerator</a>
 </li>
 <li>getCallICFGNode()
-: <a class="el" href="classSVF_1_1ICFG.html#ab10620eaac6b74f7cb18ba0c1211b4f1">SVF::ICFG</a>
+: <a class="el" href="classSVF_1_1ICFG.html#adc66b547720b9271e6805edea0b9d01f">SVF::ICFG</a>
+, <a class="el" href="classSVF_1_1ICFGBuilder.html#a702a888f2175dd32e2467bff27385e02">SVF::ICFGBuilder</a>
+, <a class="el" href="classSVF_1_1PCG.html#a48c51b626e516aa1c0768b57becb6f68">SVF::PCG</a>
+, <a class="el" href="classSVF_1_1RetICFGNode.html#a98c5e8394aa337e53a5ba8f4b0a245d4">SVF::RetICFGNode</a>
+, <a class="el" href="classSVF_1_1TCT.html#a238810a60f1010c5177e01683c8c1159">SVF::TCT</a>
 </li>
 <li>getCallInst()
 : <a class="el" href="classSVF_1_1CallPE.html#aa50cca8bd91ffb135a7998b58ad7966f">SVF::CallPE</a>
@@ -947,6 +945,10 @@ $(function() {
 , <a class="el" href="classSVF_1_1PointerAnalysis.html#a68b05bc02c5473c1e0d39ac4f4454bac">SVF::PointerAnalysis</a>
 , <a class="el" href="classSVF_1_1SVFIR.html#a2878e202045b7f2c817185e8bf95d354">SVF::SVFIR</a>
 </li>
+<li>getFlattenedElemIdxVec()
+: <a class="el" href="classSVF_1_1StInfo.html#a55e5fd85f232c1867c5c6a73646d53eb">SVF::StInfo</a>
+, <a class="el" href="classSVF_1_1SymbolTableInfo.html#a439024050e7b78021259ca5a2d68a83f">SVF::SymbolTableInfo</a>
+</li>
 <li>getFlattenedFieldIdxVec()
 : <a class="el" href="classSVF_1_1StInfo.html#aaf05447c20c9f90eea64ab6e88d6ab05">SVF::StInfo</a>
 , <a class="el" href="classSVF_1_1SymbolTableInfo.html#af0477d1e8af9ad51a9884e687fcdf29b">SVF::SymbolTableInfo</a>
@@ -955,10 +957,6 @@ $(function() {
 : <a class="el" href="classSVF_1_1StInfo.html#ab5908115f11eccee61bd0759a51d5af0">SVF::StInfo</a>
 , <a class="el" href="classSVF_1_1SymbolTableInfo.html#a9ca564bdc1f40a2ccd30d98e0e4075b0">SVF::SymbolTableInfo</a>
 </li>
-<li>getFlattenedOffsetVec()
-: <a class="el" href="classSVF_1_1StInfo.html#acd2021bf9d624d83f86a6fa1a4423c8c">SVF::StInfo</a>
-, <a class="el" href="classSVF_1_1SymbolTableInfo.html#a487561309c56e6ed2e5a0e94c94b0e7a">SVF::SymbolTableInfo</a>
-</li>
 <li>getFlattenElemTy()
 : <a class="el" href="classSVF_1_1FlattenedFieldInfo.html#a92c1b65c36feeabf09541c9af4650f14">SVF::FlattenedFieldInfo</a>
 </li>
@@ -966,7 +964,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1FlattenedFieldInfo.html#a34759f793f0445d2941c9a7d1413b7b2">SVF::FlattenedFieldInfo</a>
 </li>
 <li>getFlatternedFieldType()
-: <a class="el" href="classSVF_1_1StInfo.html#a102181a3ac3c634e3c25a566756ec764">SVF::StInfo</a>
+: <a class="el" href="classSVF_1_1StInfo.html#aecd92dab41e8200a5dd4a10085ad882b">SVF::StInfo</a>
 , <a class="el" href="classSVF_1_1SymbolTableInfo.html#a666d1dff7a629bd34abbd2031c1037a4">SVF::SymbolTableInfo</a>
 </li>
 <li>getFollowers()
@@ -1038,23 +1036,23 @@ $(function() {
 <li>getFunctionType()
 : <a class="el" href="classSVF_1_1CallSite.html#ad0040f4b7953b509059223d1d52c203f">SVF::CallSite</a>
 </li>
-<li>getFunEntryBlockNode()
-: <a class="el" href="classSVF_1_1ICFG.html#a2b32cfb0b4b3e420aa8e67fc6d4f1025">SVF::ICFG</a>
+<li>getFunEntryBlock()
+: <a class="el" href="classSVF_1_1ICFG.html#acc261924103bd0c357acd3acfa6cf38a">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#a11a2c1f54747069b924ee2870163dc05">SVF::ICFG</a>
+: <a class="el" href="classSVF_1_1ICFG.html#a0dca4655c2f6112a5be1f921b8e81076">SVF::ICFG</a>
 </li>
 <li>getFunEntryNode()
 : <a class="el" href="classSVF_1_1FormalINSVFGNode.html#a765f45d67d8b99dc85eb92676ca1be4e">SVF::FormalINSVFGNode</a>
 </li>
-<li>getFunExitBlockNode()
-: <a class="el" href="classSVF_1_1ICFG.html#a8f131fd585f6fa0c93023ee193500b26">SVF::ICFG</a>
+<li>getFunExitBlock()
+: <a class="el" href="classSVF_1_1ICFG.html#a22d7f37a0cb2df90f73c1f2e3eaa71c6">SVF::ICFG</a>
 </li>
 <li>getFunExitICFGNode()
-: <a class="el" href="classSVF_1_1ICFG.html#a12f78e9ce71a904975932e1784060050">SVF::ICFG</a>
+: <a class="el" href="classSVF_1_1ICFG.html#af1b2d2839f811a00103df87342dfc919">SVF::ICFG</a>
 </li>
 <li>getFunExitNode()
 : <a class="el" href="classSVF_1_1FormalOUTSVFGNode.html#ae23aa8ff8585c31071726f2b2fb1499d">SVF::FormalOUTSVFGNode</a>
@@ -1111,8 +1109,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFIR.html#a811c5eaeef1e52cc2d6f56ec5a76bb02">SVF::SVFIR</a>
 , <a class="el" href="classSVF_1_1SVFIRBuilder.html#ad0b30ca8fc2939bb7360a3ff08727d58">SVF::SVFIRBuilder</a>
 </li>
-<li>getGlobalBlockNode()
-: <a class="el" href="classSVF_1_1ICFG.html#a51917fa4244cdb46f06ab647b5c2656f">SVF::ICFG</a>
+<li>getGlobalICFGNode()
+: <a class="el" href="classSVF_1_1ICFG.html#ae0b05ce161d62362642803158228e5d0">SVF::ICFG</a>
 </li>
 <li>getGlobalRep()
 : <a class="el" href="classSVF_1_1LLVMModuleSet.html#a757bf149437cce22163c764ea9993e12">SVF::LLVMModuleSet</a>
@@ -1261,11 +1259,11 @@ $(function() {
 <li>getInterVFEdgesForIndirectCallSite()
 : <a class="el" href="classSVF_1_1SVFG.html#a49fc2c505720d5cfa57231529d1c7534">SVF::SVFG</a>
 </li>
-<li>getIntraBlockICFGNode()
-: <a class="el" href="classSVF_1_1ICFG.html#a5f29490c8c18873fa80fc6b1c40b68bd">SVF::ICFG</a>
+<li>getIntraBlock()
+: <a class="el" href="classSVF_1_1ICFG.html#aedb66c7897f1d73185979e1297d1976d">SVF::ICFG</a>
 </li>
-<li>getIntraBlockNode()
-: <a class="el" href="classSVF_1_1ICFG.html#ad0ad7f96fe2b8f772e7d667d5ba3e9a3">SVF::ICFG</a>
+<li>getIntraICFGNode()
+: <a class="el" href="classSVF_1_1ICFG.html#a2b3a5a9c3c4c623a6d45ab1eac3c6a8b">SVF::ICFG</a>
 </li>
 <li>getIntraLockSet()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#ad8e7c32cb1163f4917124fed5cf6c3ab">SVF::LockAnalysis</a>
@@ -1366,7 +1364,7 @@ $(function() {
 </li>
 <li>getLockVal()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a785616f9c744d7249fd1080e5ed04d29">SVF::LockAnalysis</a>
-, <a class="el" href="classSVF_1_1ThreadAPI.html#a8f1c869eb42f7c89697cf2c7452ba9e9">SVF::ThreadAPI</a>
+, <a class="el" href="classSVF_1_1ThreadAPI.html#ad1d43e47f5036138e85068a1714f6c48">SVF::ThreadAPI</a>
 </li>
 <li>getLocToDPMVecMap()
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#ad849ae4509e88832f784c748468ab959">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
@@ -1434,8 +1432,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1MRGenerator.html#ae487d7b800d7536b578095c9f140ac80">SVF::MRGenerator</a>
 </li>
 <li>getModRefInfo()
-: <a class="el" href="classSVF_1_1MRGenerator.html#a7e1c258e120d89d7b9d6e414f91c6e4a">SVF::MRGenerator</a>
-, <a class="el" href="classSVF_1_1WPAPass.html#a148cd86101e402e7ed8d3b3dae151d79">SVF::WPAPass</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#a3a6c0f60c861b6d744225a40aea638d7">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#a1535832f5b1ae3178fea950bf71fdd99">SVF::MRGenerator</a>
@@ -1592,6 +1590,14 @@ $(function() {
 <li>getNumOfCxtLocks()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a3df63f936d488166109d73bdcf0437d5">SVF::LockAnalysis</a>
 </li>
+<li>getNumOfFlattenElements()
+: <a class="el" href="classSVF_1_1StInfo.html#a518c82138fcadc6634980566c1c0f762">SVF::StInfo</a>
+, <a class="el" href="classSVF_1_1SymbolTableInfo.html#a747073d433e05e15085a2675f6a1e18f">SVF::SymbolTableInfo</a>
+</li>
+<li>getNumOfFlattenFields()
+: <a class="el" href="classSVF_1_1StInfo.html#ae5fad367673315da57a604e64b5889f0">SVF::StInfo</a>
+, <a class="el" href="classSVF_1_1SymbolTableInfo.html#a5ef16ff6a5787d89fd3f829bf518cf87">SVF::SymbolTableInfo</a>
+</li>
 <li>getNumOfForksite()
 : <a class="el" href="classSVF_1_1ThreadCallGraph.html#aa847760765aae18bcb93b260a881441b">SVF::ThreadCallGraph</a>
 </li>
@@ -1695,18 +1701,12 @@ $(function() {
 <li>getOrAddBranchCond()
 : <a class="el" href="classSVF_1_1CondManager.html#a0ca23ef4850f9be8abf303eafd104dab">SVF::CondManager</a>
 </li>
-<li>getOrAddCallICFGNode()
-: <a class="el" href="classSVF_1_1ICFGBuilder.html#af0b1627b91de8d007d95ee90c6bfb8da">SVF::ICFGBuilder</a>
-</li>
 <li>getOrAddInterBlockICFGNode()
 : <a class="el" href="classSVF_1_1ICFGBuilder.html#a1c07cce4cae9bfc8884b37cbda06d8ac">SVF::ICFGBuilder</a>
 </li>
 <li>getOrAddIntraBlockICFGNode()
 : <a class="el" href="classSVF_1_1ICFGBuilder.html#a91599e3ddb71462ec61a50fad91288da">SVF::ICFGBuilder</a>
 </li>
-<li>getOrAddRetICFGNode()
-: <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>
 </li>
@@ -1714,7 +1714,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1TCT.html#a787e815e9c7e53566ce56127dd31a3a9">SVF::TCT</a>
 </li>
 <li>getOriginalFieldType()
-: <a class="el" href="classSVF_1_1StInfo.html#a353476ac0b11f153555557b932847d85">SVF::StInfo</a>
+: <a class="el" href="classSVF_1_1StInfo.html#acf1ba3bc3ffbd2f7d457b613b6c5f4be">SVF::StInfo</a>
 , <a class="el" href="classSVF_1_1SymbolTableInfo.html#a866085ff37b7841606c523817c621f49">SVF::SymbolTableInfo</a>
 </li>
 <li>getOriginalObj()
@@ -1896,7 +1896,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1PersistentDFPTData.html#a5f6a01d0bb40a718bc14f2cc1bb98a13">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentDiffPTData.html#a9982ecf42416756a0729a28e8713cfed">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentPTData.html#a34f8226202e1654d4e67916b21ec4d99">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a9b81d20e54d08e36edbff43549b1e820">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#afe80884fa8227e50f28631e20aa6fdf6">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 , <a class="el" href="classSVF_1_1PointerAnalysis.html#a4dfb43679e9fa794ebad99b6584c32ec">SVF::PointerAnalysis</a>
 , <a class="el" href="classSVF_1_1PTData.html#a9ae6037637d8b9acb323333f491f4a7d">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1Steensgaard.html#adbcb9af660ab9bb0202bd32342280486">SVF::Steensgaard</a>
@@ -1961,12 +1961,13 @@ $(function() {
 <li>getRet()
 : <a class="el" href="classSVF_1_1FormalRetVFGNode.html#a62a894e71fcf7a3db19c0488d96a7262">SVF::FormalRetVFGNode</a>
 </li>
-<li>getRetBlockNode()
-: <a class="el" href="classSVF_1_1ICFG.html#a392e5ea7c356763a988407f91343f034">SVF::ICFG</a>
+<li>getRetBlock()
+: <a class="el" href="classSVF_1_1CallICFGNode.html#a37c483e7ef957a59bfe9d37e401827a9">SVF::CallICFGNode</a>
+, <a class="el" href="classSVF_1_1ICFG.html#a3b59f9ba22e03d323bc2fa5928902243">SVF::ICFG</a>
 </li>
 <li>getRetICFGNode()
-: <a class="el" href="classSVF_1_1CallICFGNode.html#ae23a7540609879ac0379fc53b4e7eead">SVF::CallICFGNode</a>
-, <a class="el" href="classSVF_1_1ICFG.html#a26ee40d30efc126734b7fb081db5da54">SVF::ICFG</a>
+: <a class="el" href="classSVF_1_1ICFG.html#a66cb50d8c176f800f06d9cb8924eb896">SVF::ICFG</a>
+, <a class="el" href="classSVF_1_1ICFGBuilder.html#a7c1125c992eec20e118e6bfc12cb8bfb">SVF::ICFGBuilder</a>
 </li>
 <li>getRetParmAtJoinedSite()
 : <a class="el" href="classSVF_1_1ThreadAPI.html#ad1c595f7b15a2d3079b9e9200c84f7d7">SVF::ThreadAPI</a>
@@ -2127,7 +2128,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#a90bca8ff906ea48fb5e3a69da463ccab">SVF::SymbolTableInfo</a>
 </li>
 <li>getStructInfoIter()
-: <a class="el" href="classSVF_1_1SymbolTableInfo.html#a075a16b154514e282fcdd6f116a99e43">SVF::SymbolTableInfo</a>
+: <a class="el" href="classSVF_1_1SymbolTableInfo.html#aeb3f594076c60fc313c29d282f347f08">SVF::SymbolTableInfo</a>
 </li>
 <li>getSubNodes()
 : <a class="el" href="classSVF_1_1Steensgaard.html#a95ed4be99e201058cb6d994250d2629f">SVF::Steensgaard</a>
@@ -2147,7 +2148,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1BranchVFGNode.html#a2ef5951de4760d28adb9d82b22067360">SVF::BranchVFGNode</a>
 </li>
 <li>getSuccNodes()
-: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a8164ae39b494115142767abc29cebd53">SVF::MTASVFGBuilder</a>
+: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a7033805052c8fae5cd0104fdd9e345c0">SVF::MTASVFGBuilder</a>
 </li>
 <li>getSVFFun()
 : <a class="el" href="classSVF_1_1PCG.html#ac7dd2bbd4274a5e3a6427f3b674f99ba">SVF::PCG</a>
@@ -2279,7 +2280,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1TypeBasedHeapCloning.html#ac4565775cced4444ba007e310c4a02d8">SVF::TypeBasedHeapCloning</a>
 </li>
 <li>getTypeSizeInBytes()
-: <a class="el" href="classSVF_1_1SymbolTableInfo.html#af4239ff717303dee25f1f4ba60070f9e">SVF::SymbolTableInfo</a>
+: <a class="el" href="classSVF_1_1SymbolTableInfo.html#ada63ac47515daa4402914083058baec8">SVF::SymbolTableInfo</a>
 </li>
 <li>getTypeSystem()
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#ae615dd279fbf681e3c15e7209e3adfbe">SVF::PointerAnalysis</a>

package/SVF-doxygen/html/html/functions_i.html

@@ -392,12 +392,12 @@ $(function() {
 , <a class="el" href="classSVF_1_1RetPE.html#a028363b55fa19897a93f1c78ec905723">SVF::RetPE</a>
 , <a class="el" href="classSVF_1_1StoreCHI.html#a6e58e7cde1f417ec3feaef98f6f74be2">SVF::StoreCHI&lt; Cond &gt;</a>
 </li>
-<li>Inst2LabelMap
-: <a class="el" href="classSVF_1_1SVFStmt.html#a5a3db6b1335b4adc55b961a6f480f228">SVF::SVFStmt</a>
-</li>
 <li>inst2LabelMap
 : <a class="el" href="classSVF_1_1SVFStmt.html#abb83549118bcd7216a053d82f7180d1c">SVF::SVFStmt</a>
 </li>
+<li>Inst2LabelMap
+: <a class="el" href="classSVF_1_1SVFStmt.html#a5a3db6b1335b4adc55b961a6f480f228">SVF::SVFStmt</a>
+</li>
 <li>INSTANCE
 : <a class="el" href="classSVF_1_1DCHEdge.html#a9ab4cd83d9ee475d3d8445cd91839726a3e807b4caeb170c5cd1e855ac1a92d77">SVF::DCHEdge</a>
 </li>

package/SVF-doxygen/html/html/functions_l.html

@@ -121,12 +121,12 @@ $(function() {
 <li>llvmFunEnd()
 : <a class="el" href="classSVF_1_1SVFModule.html#af38d0f831967d6d8391a4c84e58d6519">SVF::SVFModule</a>
 </li>
-<li>LLVMModuleSet()
-: <a class="el" href="classSVF_1_1LLVMModuleSet.html#a8e70de9eefe2e188b10e214e073750e6">SVF::LLVMModuleSet</a>
-</li>
 <li>llvmModuleSet
 : <a class="el" href="classSVF_1_1LLVMModuleSet.html#ac59b07cafcbacc950eefea4082425b63">SVF::LLVMModuleSet</a>
 </li>
+<li>LLVMModuleSet()
+: <a class="el" href="classSVF_1_1LLVMModuleSet.html#a8e70de9eefe2e188b10e214e073750e6">SVF::LLVMModuleSet</a>
+</li>
 <li>Load
 : <a class="el" href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375a1bdeb9a06641d16b43391120812b40b2">SVF::ConstraintEdge</a>
 , <a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a62ac8480c43fcc657c631ec0003b15d5">SVF::SVFStmt</a>
@@ -184,12 +184,12 @@ $(function() {
 <li>loadsToMRsMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#a0d8229b1f0b8428708e923d19096e4ba">SVF::MRGenerator</a>
 </li>
-<li>loadsToPointsToMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#af47e15d6b8c15d547a718f3577513975">SVF::MRGenerator</a>
-</li>
 <li>LoadsToPointsToMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#acfadd565b5c978c9417e059b3ea7588c">SVF::MRGenerator</a>
 </li>
+<li>loadsToPointsToMap
+: <a class="el" href="classSVF_1_1MRGenerator.html#af47e15d6b8c15d547a718f3577513975">SVF::MRGenerator</a>
+</li>
 <li>loadTime
 : <a class="el" href="classSVF_1_1FlowSensitive.html#aab4f70210eb1e6447a24697d3b459067">SVF::FlowSensitive</a>
 </li>