svf-tools 1.0.281 → 1.0.285

package/SVF-doxygen/html/html/functions_o.html

@@ -189,7 +189,7 @@ $(function() {
 , <a class="el" href="structSVF_1_1Hash_3_01NodePair_01_4.html#a57f65bc02efb8b1d4905030ef437df3e">SVF::Hash&lt; NodePair &gt;</a>
 , <a class="el" href="structSVF_1_1Hash_3_01std_1_1pair_3_01S_00_01T_01_4_01_4.html#a8bc94a83d93639b91f9e02dfdd93d8be">SVF::Hash&lt; std::pair&lt; S, T &gt; &gt;</a>
 , <a class="el" href="structSVF_1_1MemRegion_1_1equalMemRegion.html#a3cd8165dfa543312d2b3bfa798b6154b">SVF::MemRegion::equalMemRegion</a>
-, <a class="el" href="structSVF_1_1MemRegion_1_1equalPointsTo.html#af18d76bf57c17927f1ef4926e16e90e6">SVF::MemRegion::equalPointsTo</a>
+, <a class="el" href="structSVF_1_1SVFUtil_1_1equalNodeBS.html#a023a5352ff198ab9f2e0dbc2a5eadc9e">SVF::SVFUtil::equalNodeBS</a>
 , <a class="el" href="structSVF_1_1SVFUtil_1_1equalPointsTo.html#a4a7e42b2cca7e54766ce7657fefb91f9">SVF::SVFUtil::equalPointsTo</a>
 , <a class="el" href="classSVF_1_1SVFValue.html#abaa61e04b128feff7216d3ecdf4feefa">SVF::SVFValue</a>
 </li>
@@ -332,12 +332,12 @@ $(function() {
 : <a class="el" href="classSVF_1_1CondPointsToSet.html#a74c50cfaf788a828a4fc97eba703ec4e">SVF::CondPointsToSet&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1CondStdSet.html#a90e4c4ead1cbdca01c0be801a68b005b">SVF::CondStdSet&lt; Element &gt;</a>
 </li>
-<li>opIncomingBBs
-: <a class="el" href="classSVF_1_1IntraPHIVFGNode.html#a73f39a488ad82300010abd18afe247a4">SVF::IntraPHIVFGNode</a>
-</li>
 <li>OPIncomingBBs
 : <a class="el" href="classSVF_1_1IntraPHIVFGNode.html#a66928f6cc755bd2a048804d00f859a80">SVF::IntraPHIVFGNode</a>
 </li>
+<li>opIncomingBBs
+: <a class="el" href="classSVF_1_1IntraPHIVFGNode.html#a73f39a488ad82300010abd18afe247a4">SVF::IntraPHIVFGNode</a>
+</li>
 <li>OpIt
 : <a class="el" href="classllvm_1_1generic__bridge__gep__type__iterator.html#aa3fd4dca27e09df9ee726879624ae47e">llvm::generic_bridge_gep_type_iterator&lt; ItTy &gt;</a>
 </li>
@@ -376,13 +376,13 @@ $(function() {
 </li>
 <li>opVers
 : <a class="el" href="classSVF_1_1BinaryOPVFGNode.html#ae803603f567cc28f5a7e1b66fb324cbc">SVF::BinaryOPVFGNode</a>
+, <a class="el" href="classSVF_1_1CmpVFGNode.html#aae30d80fd848d62467476d21c691573c">SVF::CmpVFGNode</a>
 </li>
 <li>OPVers
 : <a class="el" href="classSVF_1_1CmpVFGNode.html#a0db4ada3c366c811962415454a859b22">SVF::CmpVFGNode</a>
 </li>
 <li>opVers
-: <a class="el" href="classSVF_1_1CmpVFGNode.html#aae30d80fd848d62467476d21c691573c">SVF::CmpVFGNode</a>
-, <a class="el" href="classSVF_1_1MSSAPHI.html#abdabd6dff67cd59622f18d48e8b34271">SVF::MSSAPHI&lt; Cond &gt;</a>
+: <a class="el" href="classSVF_1_1MSSAPHI.html#abdabd6dff67cd59622f18d48e8b34271">SVF::MSSAPHI&lt; Cond &gt;</a>
 </li>
 <li>OPVers
 : <a class="el" href="classSVF_1_1MSSAPHI.html#a622892bb1c3c151e646ae1a46838c3ba">SVF::MSSAPHI&lt; Cond &gt;</a>
@@ -394,13 +394,11 @@ $(function() {
 </li>
 <li>OPVers
 : <a class="el" href="classSVF_1_1PHIVFGNode.html#a44ba5254e5f4def007c99916cd58668c">SVF::PHIVFGNode</a>
+, <a class="el" href="classSVF_1_1UnaryOPVFGNode.html#af96b598342bbcbcd739e2603acfc5a41">SVF::UnaryOPVFGNode</a>
 </li>
 <li>opVers
 : <a class="el" href="classSVF_1_1UnaryOPVFGNode.html#ae6fdb5759a0dfeb0635ffd758b752dc1">SVF::UnaryOPVFGNode</a>
 </li>
-<li>OPVers
-: <a class="el" href="classSVF_1_1UnaryOPVFGNode.html#af96b598342bbcbcd739e2603acfc5a41">SVF::UnaryOPVFGNode</a>
-</li>
 <li>OR()
 : <a class="el" href="classSVF_1_1BranchCondManager.html#a7f3fa5e90c08950099ff6f05e96ecb9c">SVF::BranchCondManager</a>
 , <a class="el" href="classSVF_1_1CondManager.html#a83824b36d6cd073a171df9919aa0c704">SVF::CondManager</a>

package/SVF-doxygen/html/html/functions_p.html

@@ -397,7 +397,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1PersistentPTData.html#a8386ddd5a45bd490860685ca18543287">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>PersistentPointsToCache()
-: <a class="el" href="classSVF_1_1PersistentPointsToCache.html#a63b6d7f44773394db09f75042db46f21">SVF::PersistentPointsToCache&lt; Data &gt;</a>
+: <a class="el" href="classSVF_1_1PersistentPointsToCache.html#acbfc07bb91fb08658a911abe0a8113c5">SVF::PersistentPointsToCache&lt; Data &gt;</a>
 </li>
 <li>PersistentPTData()
 : <a class="el" href="classSVF_1_1PersistentPTData.html#a5b24a6efc462014ed8002cefee3c0e6e">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
@@ -454,7 +454,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CondPointsToSet.html#a63f09ca69e00b317de29af6a6a12daac">SVF::CondPointsToSet&lt; Cond &gt;</a>
 </li>
 <li>PointsToList
-: <a class="el" href="classSVF_1_1MRGenerator.html#a2a9b87b7b9a567a7fd94e9267f3eb054">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#a8b254a0c5063e25f297d1b00fb0b515e">SVF::MRGenerator</a>
 </li>
 <li>pop()
 : <a class="el" href="classSVF_1_1FIFOWorkList.html#a8fa72918fce7e9c0b2dc34b683a797c6">SVF::FIFOWorkList&lt; Data &gt;</a>
@@ -880,12 +880,12 @@ $(function() {
 <li>PTAStat()
 : <a class="el" href="classSVF_1_1PTAStat.html#ac9b65b591200c16c420fbd26710b448f">SVF::PTAStat</a>
 </li>
-<li>ptaTy
-: <a class="el" href="classSVF_1_1PointerAnalysis.html#ade83738ac754d5ffc2a3b497b600cad4">SVF::PointerAnalysis</a>
-</li>
 <li>PTATY
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85">SVF::PointerAnalysis</a>
 </li>
+<li>ptaTy
+: <a class="el" href="classSVF_1_1PointerAnalysis.html#ade83738ac754d5ffc2a3b497b600cad4">SVF::PointerAnalysis</a>
+</li>
 <li>PTAType()
 : <a class="el" href="classSVF_1_1PTAType.html#a2c4257200d48cad0bda92b4298879827">SVF::PTAType</a>
 </li>
@@ -900,7 +900,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1BVDataPTAImpl.html#ad76328a8543b02784992afc2d5501d8a">SVF::BVDataPTAImpl</a>
 </li>
 <li>ptCache
-: <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a6c13356f81049d453af61e61aa1b3860">SVF::BVDataPTAImpl</a>
+: <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a94acf249e50ad56f966ddad6843c18f8">SVF::BVDataPTAImpl</a>
 , <a class="el" href="classSVF_1_1PersistentDFPTData.html#af86313e37c5177e45456f813b9b46a4f">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentDiffPTData.html#a444bc59754b4c365327b7ef44baadcd2">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentPTData.html#a146a25bf9ae76f4c3c117433df9d382f">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
@@ -957,12 +957,12 @@ $(function() {
 <li>ptrToBVPtsMap
 : <a class="el" href="classSVF_1_1CondPTAImpl.html#a30b9ee7b1dcd04285f92cf7accd05b2e">SVF::CondPTAImpl&lt; Cond &gt;</a>
 </li>
-<li>PtrToCPtsMap
-: <a class="el" href="classSVF_1_1CondPTAImpl.html#a5043e9d9255d31777d038c48c809bb09">SVF::CondPTAImpl&lt; Cond &gt;</a>
-</li>
 <li>ptrToCPtsMap
 : <a class="el" href="classSVF_1_1CondPTAImpl.html#a61167fcdb2005090de1b38e53450431a">SVF::CondPTAImpl&lt; Cond &gt;</a>
 </li>
+<li>PtrToCPtsMap
+: <a class="el" href="classSVF_1_1CondPTAImpl.html#a5043e9d9255d31777d038c48c809bb09">SVF::CondPTAImpl&lt; Cond &gt;</a>
+</li>
 <li>PtrToNSMap
 : <a class="el" href="classSVF_1_1CondPTAImpl.html#a838c3f2be39d278072f7a9df7c0bcb4d">SVF::CondPTAImpl&lt; Cond &gt;</a>
 </li>
@@ -977,11 +977,15 @@ $(function() {
 , <a class="el" href="classSVF_1_1FlowSensitiveStat.html#a1b605e86f33e79f7d7cd88dc54f2c19e">SVF::FlowSensitiveStat</a>
 , <a class="el" href="classSVF_1_1MutableDFPTData.html#ae7456fccd4c95227cdd7163176703205">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDiffPTData.html#a5d64ef2d4b9ab65cc7a9e33bb6fe47cf">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1MutablePTData.html#ad74cc6c81c4a95f6ba4e89352bccee3e">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>ptsMap
 : <a class="el" href="classSVF_1_1MutablePTData.html#a5ee6e307acd4edbf4f7c2b063032d942">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentPTData.html#a483c690c6cf19e258bdf7bb13e77976e">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+</li>
+<li>PtsMap
+: <a class="el" href="classSVF_1_1MutablePTData.html#ad74cc6c81c4a95f6ba4e89352bccee3e">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+</li>
+<li>ptsMap
+: <a class="el" href="classSVF_1_1PersistentPTData.html#a483c690c6cf19e258bdf7bb13e77976e">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>PtsMapConstIter
 : <a class="el" href="classSVF_1_1MutableDFPTData.html#a3f234abc0def4815a03de164fa258f24">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
@@ -1006,10 +1010,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1PersistentPointsToCache.html#a9a1b0d0d215c048c7200da0e8f816943">SVF::PersistentPointsToCache&lt; Data &gt;</a>
 </li>
 <li>PtsToRepPtsSetMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#a429b45a55b948d6d1ffd73ea0ac6c04c">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#a665836fd866c6393fc4a251eb4929dae">SVF::MRGenerator</a>
 </li>
 <li>PtsToSubPtsMap
-: <a class="el" href="classSVF_1_1IntraDisjointMRG.html#a95e5cc07c8e1838f9336c6a2f0aa941a">SVF::IntraDisjointMRG</a>
+: <a class="el" href="classSVF_1_1IntraDisjointMRG.html#a5ff8d1cade33445ef7c17f0aedd6a4d1">SVF::IntraDisjointMRG</a>
 </li>
 <li>PURE_ABSTRACT
 : <a class="el" href="classSVF_1_1CHNode.html#a7111a3971f9f03e32bfd291a783d43b4ab530567d5ba09c9c579aef964aef8f81">SVF::CHNode</a>

package/SVF-doxygen/html/html/functions_r.html

@@ -525,17 +525,21 @@ $(function() {
 <li>rev
 : <a class="el" href="classSVF_1_1PTData.html#a46fa3ec6462f3dda19549340281bb219">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
+<li>RevPtsMap
+: <a class="el" href="classSVF_1_1MutablePTData.html#a6d491581d17876625d0265cd26acd8e1">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+</li>
 <li>revPtsMap
 : <a class="el" href="classSVF_1_1MutablePTData.html#ad8c9fc1b290372ed9c68e54687724b64">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>RevPtsMap
-: <a class="el" href="classSVF_1_1MutablePTData.html#a6d491581d17876625d0265cd26acd8e1">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentDiffPTData.html#ac008ee5f7e4d286f9e76d85989358305">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentPTData.html#aad89172e6e99d5ee576faa7bc74b36d8">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+: <a class="el" href="classSVF_1_1PersistentDiffPTData.html#ac008ee5f7e4d286f9e76d85989358305">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>revPtsMap
 : <a class="el" href="classSVF_1_1PersistentPTData.html#a7b43ad5045ebdaa86f2587ea3f2f9563">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
+<li>RevPtsMap
+: <a class="el" href="classSVF_1_1PersistentPTData.html#aad89172e6e99d5ee576faa7bc74b36d8">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+</li>
 <li>rid
 : <a class="el" href="classSVF_1_1MemRegion.html#aeb8ba1e0c907aeb3de84d8bd899c98b4">SVF::MemRegion</a>
 </li>
@@ -577,7 +581,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1FlowSensitive.html#a611608ccc9659bd320670f1ec31ad18e">SVF::FlowSensitive</a>
 , <a class="el" href="classSVF_1_1LeakChecker.html#ab3bb79d88d73c8b881d714921e7b5e12">SVF::LeakChecker</a>
 , <a class="el" href="classSVF_1_1MergeFunctionRets.html#a8fe74477a43f80104fb3461d006ad392">SVF::MergeFunctionRets</a>
-, <a class="el" href="classSVF_1_1MTA.html#a9c4b9eb2c04de305a30114019c3b1dae">SVF::MTA</a>
+, <a class="el" href="classSVF_1_1MTA.html#a32f6beffb47e5c2ac86f5c3b8a1bd9ba">SVF::MTA</a>
 , <a class="el" href="classSVF_1_1WPAPass.html#a394dcd976c1ef08d9cadcba8f5d07c75">SVF::WPAPass</a>
 </li>
 <li>runPointerAnalysis()

package/SVF-doxygen/html/html/functions_s.html

@@ -574,7 +574,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1WPASolver.html#af1bb670efde7006e3e99b3735e4fc4cc">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
 <li>sortPointsTo()
-: <a class="el" href="classSVF_1_1MRGenerator.html#a4d20ddfe5cb90d91fd86276a3f010b87">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#a66d94d15fb94e90a771f6b3dd7c0ecdd">SVF::MRGenerator</a>
 </li>
 <li>sources
 : <a class="el" href="classSVF_1_1SrcSnkDDA.html#a96c41d03d2615f952b58dca327a2866c">SVF::SrcSnkDDA</a>
@@ -790,12 +790,12 @@ $(function() {
 <li>StoresToMRsMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#a9d2221818297a7abeb8d8736093105d0">SVF::MRGenerator</a>
 </li>
-<li>StoresToPointsToMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#a4e246650818afd8be99a5ed6e23c4cd7">SVF::MRGenerator</a>
-</li>
 <li>storesToPointsToMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#a7d86f708743a59aa31c0a9fd6de45dac">SVF::MRGenerator</a>
 </li>
+<li>StoresToPointsToMap
+: <a class="el" href="classSVF_1_1MRGenerator.html#a45e786ca09aa6cbfcf17d8e5a166a801">SVF::MRGenerator</a>
+</li>
 <li>storeTime
 : <a class="el" href="classSVF_1_1FlowSensitive.html#a82b76087363b26fbe749653935569de7">SVF::FlowSensitive</a>
 </li>
@@ -811,12 +811,12 @@ $(function() {
 <li>StoreVFGNode()
 : <a class="el" href="classSVF_1_1StoreVFGNode.html#a9935b37ed646ac5c6989ed066468d61b">SVF::StoreVFGNode</a>
 </li>
-<li>Strategy
-: <a class="el" href="classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228">SVF::NodeIDAllocator</a>
-</li>
 <li>strategy
 : <a class="el" href="classSVF_1_1NodeIDAllocator.html#a44420802f9db288515ee09771c3edd4d">SVF::NodeIDAllocator</a>
 </li>
+<li>Strategy
+: <a class="el" href="classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228">SVF::NodeIDAllocator</a>
+</li>
 <li>strides
 : <a class="el" href="classSVF_1_1ConstraintNode.html#a873ba0c14dc57bd603c4a6b4d73e4278">SVF::ConstraintNode</a>
 </li>

package/SVF-doxygen/html/html/functions_t.html

@@ -358,12 +358,12 @@ $(function() {
 <li>timeOfUpdateCallGraph
 : <a class="el" href="classSVF_1_1AndersenBase.html#a2afb49f513c9534fd051117b59dc056b">SVF::AndersenBase</a>
 </li>
-<li>timeStatMap
-: <a class="el" href="classSVF_1_1PTAStat.html#a3724756ac0527ba3d199be32e38c6337">SVF::PTAStat</a>
-</li>
 <li>TIMEStatMap
 : <a class="el" href="classSVF_1_1PTAStat.html#a28f304e7095f3843ca4cc017bc1f7b10">SVF::PTAStat</a>
 </li>
+<li>timeStatMap
+: <a class="el" href="classSVF_1_1PTAStat.html#a3724756ac0527ba3d199be32e38c6337">SVF::PTAStat</a>
+</li>
 <li>TInterPhi
 : <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa501e9891cbacea3950d80aa6071ec69">SVF::VFGNode</a>
 </li>

package/SVF-doxygen/html/html/functions_type_c.html

@@ -163,7 +163,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MRGenerator.html#a55ca7850e00f57a8a4b83bc969493046">SVF::MRGenerator</a>
 </li>
 <li>CallSiteToPointsToMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#ae73349361642cbc0c5f4be0b8bf96090">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#a9d22e9d113393c536c5fe473fd76f388">SVF::MRGenerator</a>
 </li>
 <li>CallSiteToVFunSetMap
 : <a class="el" href="classSVF_1_1CHGraph.html#a0397e5da88106dc8b4a1e207ae455e74">SVF::CHGraph</a>

package/SVF-doxygen/html/html/functions_type_e.html

@@ -88,9 +88,6 @@ $(function() {
 <li>equalMemRegion
 : <a class="el" href="classSVF_1_1MemRegion.html#af0a0b4a5862a136ef4f203f19139da65">SVF::MemRegion</a>
 </li>
-<li>equalPointsTo
-: <a class="el" href="classSVF_1_1MemRegion.html#a52b14094d018fb5d9f024c154ab61b8e">SVF::MemRegion</a>
-</li>
 </ul>
 </div><!-- contents -->
 <!-- start footer part -->

package/SVF-doxygen/html/html/functions_type_f.html

@@ -163,7 +163,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1PAG.html#a369ea2832e74716757a7d4afa7cb5d60">SVF::PAG</a>
 </li>
 <li>FunToPointsToMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#a71b584c7e0feb3014ad5f74eb31467bb">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#ad492e2940936fc7df06127f0cb94d47a">SVF::MRGenerator</a>
+</li>
+<li>FunToPointsTosMap
+: <a class="el" href="classSVF_1_1MRGenerator.html#a6b8bbb60126105cc77c1a6a4c46677fd">SVF::MRGenerator</a>
 </li>
 <li>FunToPostDTMap
 : <a class="el" href="classSVF_1_1PTACFInfoBuilder.html#a8e4d95e3c98ad17b060844063a494946">SVF::PTACFInfoBuilder</a>

package/SVF-doxygen/html/html/functions_type_l.html

@@ -87,7 +87,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MRGenerator.html#a72f55ad36f4ce46c5eee4bf0ce736cee">SVF::MRGenerator</a>
 </li>
 <li>LoadsToPointsToMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#af500450901135fd31ceb2ab497ca1086">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#a7b9b1c326d075a9be473680fef6a9616">SVF::MRGenerator</a>
 </li>
 <li>LoadToMUSetMap
 : <a class="el" href="classSVF_1_1MemSSA.html#ac5a9b2218c946ec17b478a95ab60ec6b">SVF::MemSSA</a>

package/SVF-doxygen/html/html/functions_type_p.html

@@ -164,7 +164,7 @@ $(function() {
 : <a class="el" href="structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01std_1_1unique__ptr_3_01From_01_4_01_4.html#a9d08abc346f3b77c487eba144f3cbd8d">SVF::SVFUtil::cast_retty_impl&lt; To, std::unique_ptr&lt; From &gt; &gt;</a>
 </li>
 <li>PointsToList
-: <a class="el" href="classSVF_1_1MRGenerator.html#a2a9b87b7b9a567a7fd94e9267f3eb054">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#a8b254a0c5063e25f297d1b00fb0b515e">SVF::MRGenerator</a>
 </li>
 <li>PTACGNodeSet
 : <a class="el" href="classSVF_1_1TCT.html#afb579a5bdcc0a1c6b075bb9aae36c237">SVF::TCT</a>
@@ -217,10 +217,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1PersistentPointsToCache.html#a9a1b0d0d215c048c7200da0e8f816943">SVF::PersistentPointsToCache&lt; Data &gt;</a>
 </li>
 <li>PtsToRepPtsSetMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#a429b45a55b948d6d1ffd73ea0ac6c04c">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#a665836fd866c6393fc4a251eb4929dae">SVF::MRGenerator</a>
 </li>
 <li>PtsToSubPtsMap
-: <a class="el" href="classSVF_1_1IntraDisjointMRG.html#a95e5cc07c8e1838f9336c6a2f0aa941a">SVF::IntraDisjointMRG</a>
+: <a class="el" href="classSVF_1_1IntraDisjointMRG.html#a5ff8d1cade33445ef7c17f0aedd6a4d1">SVF::IntraDisjointMRG</a>
 </li>
 </ul>
 </div><!-- contents -->

package/SVF-doxygen/html/html/functions_type_s.html

@@ -89,7 +89,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MRGenerator.html#a9d2221818297a7abeb8d8736093105d0">SVF::MRGenerator</a>
 </li>
 <li>StoresToPointsToMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#a4e246650818afd8be99a5ed6e23c4cd7">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#a45e786ca09aa6cbfcf17d8e5a166a801">SVF::MRGenerator</a>
 </li>
 <li>StoreToChiSetMap
 : <a class="el" href="classSVF_1_1MemSSA.html#a00fc1f85bd92da6f0033a1a385c792ad">SVF::MemSSA</a>

package/SVF-doxygen/html/html/functions_vars_c.html

@@ -348,7 +348,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1MRSVFGNode.html#a3fc32c474e542ebb3c91adb6b5c1bb1f">SVF::MRSVFGNode</a>
 </li>
 <li>cptsSet
-: <a class="el" href="classSVF_1_1MemRegion.html#a0bd542926951c4efe1c67244eeb89090">SVF::MemRegion</a>
+: <a class="el" href="classSVF_1_1MemRegion.html#a77a18bcce56cf48d1c338e852a2be9bc">SVF::MemRegion</a>
 </li>
 <li>cptsToRepCPtsMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#ab4d1ff0357d389a65ff1c2112ce631a1">SVF::MRGenerator</a>
@@ -383,10 +383,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1ICFG.html#af0434d6ffd247eeaf73b9294e659a3f9">SVF::ICFG</a>
 </li>
 <li>csToCallSiteArgsPtsMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#a145cccd6355dd479e8a0c744584cef9a">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#afe91b57b451d7788364493549e015acf">SVF::MRGenerator</a>
 </li>
 <li>csToCallSiteRetPtsMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#a9368636daea4542fa36fff822ff39104">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#a21550f978f42ac3cbb32cbc426ff5cb1">SVF::MRGenerator</a>
 </li>
 <li>csToCHAVFnsMap
 : <a class="el" href="classSVF_1_1CHGraph.html#a5e6502c5baad99c70e1cf56c84ce9474">SVF::CHGraph</a>
@@ -401,10 +401,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1PTACallGraph.html#a75ffe4f24d59ad42601b7550aa988187">SVF::PTACallGraph</a>
 </li>
 <li>csToModsMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#a72222bae993142be1881c34660646b82">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#a603f993995e7d6961e203a195bb56029">SVF::MRGenerator</a>
 </li>
 <li>csToRefsMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#a08779053af9db71ba0bc24710a7e198c">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#ac7b5ca3fd950e1a940f875ac135640f6">SVF::MRGenerator</a>
 </li>
 <li>CSToRetNodeMap
 : <a class="el" href="classSVF_1_1ICFG.html#a0e43308038663c10667177238b23ab3e">SVF::ICFG</a>

package/SVF-doxygen/html/html/functions_vars_f.html

@@ -270,7 +270,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1PTACFInfoBuilder.html#a155db92ff5057abcb929c0ca8e8bee89">SVF::PTACFInfoBuilder</a>
 </li>
 <li>funToModsMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#aeb185d6d9c7bfe4b98c7440db6b8bbc4">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#a2c94bfa19ad8d1d6360b12693c8b891d">SVF::MRGenerator</a>
 </li>
 <li>funToMRsMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#a3e74c3706ffcc14f378771b417dcbb96">SVF::MRGenerator</a>
@@ -279,10 +279,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1PTACFInfoBuilder.html#a11a1bb877406f45ea4c8f7c4678bfa15">SVF::PTACFInfoBuilder</a>
 </li>
 <li>funToPointsToMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#acaf48288039d19bf0bb9f2e506fbfd8d">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#a05c7a5ddbe3079f63be76c35298d1c2b">SVF::MRGenerator</a>
 </li>
 <li>funToRefsMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#afe018918c8acc83cd128b4c56ff42075">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#af6d58e2971c4a8d3ee03f9dfd9072a3a">SVF::MRGenerator</a>
 </li>
 <li>funToReturnMuSetMap
 : <a class="el" href="classSVF_1_1MemSSA.html#abae2396bf8a37a22be9365d368fe455c">SVF::MemSSA</a>

package/SVF-doxygen/html/html/functions_vars_i.html

@@ -101,7 +101,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1GenericGraph.html#a47a1ef8b67b0c92f78b4457dc3bbfe71">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>idToPts
-: <a class="el" href="classSVF_1_1PersistentPointsToCache.html#ac15f8dc2bd850d275c692c3001751c9e">SVF::PersistentPointsToCache&lt; Data &gt;</a>
+: <a class="el" href="classSVF_1_1PersistentPointsToCache.html#a390c08099f16afb4b80b6e094d1adf25">SVF::PersistentPointsToCache&lt; Data &gt;</a>
 </li>
 <li>IgnoreDeadFun
 : <a class="el" href="classSVF_1_1Options.html#a50182faec95c6c4635df65a55148b040">SVF::Options</a>

package/SVF-doxygen/html/html/functions_vars_p.html

@@ -306,7 +306,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1WPAPass.html#a72a66ae158793f5d1bcb37b655db4446">SVF::WPAPass</a>
 </li>
 <li>ptCache
-: <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a6c13356f81049d453af61e61aa1b3860">SVF::BVDataPTAImpl</a>
+: <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a94acf249e50ad56f966ddad6843c18f8">SVF::BVDataPTAImpl</a>
 , <a class="el" href="classSVF_1_1PersistentDFPTData.html#af86313e37c5177e45456f813b9b46a4f">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentDiffPTData.html#a444bc59754b4c365327b7ef44baadcd2">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentPTData.html#a146a25bf9ae76f4c3c117433df9d382f">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>

package/SVF-doxygen/html/html/globals_s.html

@@ -173,13 +173,13 @@ $(function() {
 : <a class="el" href="st_8h.html#ab10245506c3e5d053c75a902ec62a074">st.h</a>
 , <a class="el" href="st_8c.html#a958c280b8f24c847ca511eaffd410f04">st.c</a>
 </li>
-<li>ST_NUMCMP
-: <a class="el" href="st_8c.html#a2796b8bc2a5f15834d61a3519ad149d5">st.c</a>
-</li>
 <li>st_numcmp()
 : <a class="el" href="st_8h.html#a65b35768bcf5b6f173b063b441a493db">st.h</a>
 , <a class="el" href="st_8c.html#a0ba60ae98aae8e6dd21bbe3b485bcfbe">st.c</a>
 </li>
+<li>ST_NUMCMP
+: <a class="el" href="st_8c.html#a2796b8bc2a5f15834d61a3519ad149d5">st.c</a>
+</li>
 <li>ST_NUMHASH
 : <a class="el" href="st_8c.html#a76573cced143d429f99bfb5e286c621e">st.c</a>
 </li>

package/SVF-doxygen/html/html/hierarchy.html

@@ -153,8 +153,8 @@ $(function() {
 <tr id="row_54_" class="even"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="unionEpTypeUnion.html" target="_self">EpTypeUnion</a></td><td class="desc"></td></tr>
 <tr id="row_55_"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericEdge_1_1equalGEdge.html" target="_self">SVF::GenericEdge&lt; NodeTy &gt;::equalGEdge</a></td><td class="desc">Add the hash function for std::set (we also can overload operator&lt; to implement this) </td></tr>
 <tr id="row_56_" class="even"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1MemRegion_1_1equalMemRegion.html" target="_self">SVF::MemRegion::equalMemRegion</a></td><td class="desc"></td></tr>
-<tr id="row_57_"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1SVFUtil_1_1equalPointsTo.html" target="_self">SVF::SVFUtil::equalPointsTo</a></td><td class="desc"></td></tr>
-<tr id="row_58_" class="even"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1MemRegion_1_1equalPointsTo.html" target="_self">SVF::MemRegion::equalPointsTo</a></td><td class="desc"></td></tr>
+<tr id="row_57_"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1SVFUtil_1_1equalNodeBS.html" target="_self">SVF::SVFUtil::equalNodeBS</a></td><td class="desc"></td></tr>
+<tr id="row_58_" class="even"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1SVFUtil_1_1equalPointsTo.html" target="_self">SVF::SVFUtil::equalPointsTo</a></td><td class="desc"></td></tr>
 <tr id="row_59_"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ExtAPI.html" target="_self">SVF::ExtAPI</a></td><td class="desc"></td></tr>
 <tr id="row_60_" class="even"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ExternalPAG.html" target="_self">SVF::ExternalPAG</a></td><td class="desc"></td></tr>
 <tr id="row_61_"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FieldInfo.html" target="_self">SVF::FieldInfo</a></td><td class="desc"></td></tr>

package/SVF-doxygen/html/html/menudata.js

@@ -32,6 +32,7 @@ var menudata={children:[
 {text:"f",url:"namespacemembers_func.html#index_f"},
 {text:"g",url:"namespacemembers_func.html#index_g"},
 {text:"i",url:"namespacemembers_func.html#index_i"},
+{text:"m",url:"namespacemembers_func.html#index_m"},
 {text:"o",url:"namespacemembers_func.html#index_o"},
 {text:"p",url:"namespacemembers_func.html#index_p"},
 {text:"r",url:"namespacemembers_func.html#index_r"},

package/SVF-doxygen/html/html/namespaceSVF.html

@@ -3191,7 +3191,7 @@ template<typename Key , typename Value , typename Hash  = Hash<Key>, ty
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="MemRegion_8h_source.html#l00043">43</a> of file <a class="el" href="MemRegion_8h_source.html">MemRegion.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="MemRegion_8h_source.html#l00045">45</a> of file <a class="el" href="MemRegion_8h_source.html">MemRegion.h</a>.</p>
 
 </div>
 </div>
@@ -3207,7 +3207,7 @@ template&lt;typename Key , typename Value , typename Hash  = Hash&lt;Key&gt;, ty
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="MemRegion_8h_source.html#l00044">44</a> of file <a class="el" href="MemRegion_8h_source.html">MemRegion.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="MemRegion_8h_source.html#l00046">46</a> of file <a class="el" href="MemRegion_8h_source.html">MemRegion.h</a>.</p>
 
 </div>
 </div>
@@ -3223,7 +3223,7 @@ template&lt;typename Key , typename Value , typename Hash  = Hash&lt;Key&gt;, ty
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="MemRegion_8h_source.html#l00045">45</a> of file <a class="el" href="MemRegion_8h_source.html">MemRegion.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="MemRegion_8h_source.html#l00047">47</a> of file <a class="el" href="MemRegion_8h_source.html">MemRegion.h</a>.</p>
 
 </div>
 </div>