svf-tools 1.0.302 → 1.0.306

package/SVF-doxygen/html/html/functions_func_m.html

@@ -72,9 +72,6 @@ $(function() {
 <li>makeEdgeFlagWithStoreInst()
 : <a class="el" href="classSVF_1_1PAGEdge.html#af820acc617bcfec5d5f46627fce7dae8">SVF::PAGEdge</a>
 </li>
-<li>mapMeldVersions()
-: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a8e836aaeab108002205d2a7631e8559f">SVF::VersionedFlowSensitive</a>
-</li>
 <li>mapValueToEdge()
 : <a class="el" href="classSVF_1_1PAG.html#a02f02a895816386501e5ba032c0c6e4c">SVF::PAG</a>
 </li>

package/SVF-doxygen/html/html/functions_func_n.html

@@ -68,9 +68,6 @@ $(function() {
 <li>newCond()
 : <a class="el" href="classSVF_1_1PathCondAllocator.html#a3cd08242b82129e6074b2f30a19b5c17">SVF::PathCondAllocator</a>
 </li>
-<li>newMeldVersion()
-: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a24746dcada35f10cb387c94860930e84">SVF::VersionedFlowSensitive</a>
-</li>
 <li>newPointsToId()
 : <a class="el" href="classSVF_1_1PersistentPointsToCache.html#a52ec4a787a199bb4d7553e8bafa9c127">SVF::PersistentPointsToCache&lt; Data &gt;</a>
 </li>
@@ -104,7 +101,7 @@ $(function() {
 : <a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#a8397bafa216b209b6bd2bcb20fec4322">llvm::GraphTraits&lt; SVF::GenericGraph&lt; NodeTy, EdgeTy &gt; *&gt;</a>
 </li>
 <li>NormalGepCGEdge()
-: <a class="el" href="classSVF_1_1NormalGepCGEdge.html#a4f5b8c292822670d2fea3d532cae5257">SVF::NormalGepCGEdge</a>
+: <a class="el" href="classSVF_1_1NormalGepCGEdge.html#a511d6bd2061e0ca441fc80abbf6075f7">SVF::NormalGepCGEdge</a>
 </li>
 <li>NormalGepPE()
 : <a class="el" href="classSVF_1_1NormalGepPE.html#ab0bdab7d9e03eeb6167e4fb46d37af82">SVF::NormalGepPE</a>

package/SVF-doxygen/html/html/functions_func_o.html

@@ -119,6 +119,7 @@ $(function() {
 : <a class="el" href="structstd_1_1hash_3_01const_01SVF_1_1CondVar_3_01Cond_01_4_01_4.html#ae66ac1a976e498f88e382988f17b4df5">std::hash&lt; const SVF::CondVar&lt; Cond &gt; &gt;</a>
 , <a class="el" href="structstd_1_1hash_3_01const_01SVF_1_1ContextCond_01_4.html#a225b0bd057a9d76d7436eae4a6b5baa0">std::hash&lt; const SVF::ContextCond &gt;</a>
 , <a class="el" href="structstd_1_1hash_3_01llvm_1_1SparseBitVector_3_01N_01_4_01_4.html#ae6df53599aefcd010d7e3fd6bf95bdb6">std::hash&lt; llvm::SparseBitVector&lt; N &gt; &gt;</a>
+, <a class="el" href="structstd_1_1hash_3_01std_1_1vector_3_01T_01_4_01_4.html#a921ca626d87c3eed7b71210cfc24d0dd">std::hash&lt; std::vector&lt; T &gt; &gt;</a>
 , <a class="el" href="structstd_1_1hash_3_01SVF_1_1CallSite_01_4.html#a6ed3f621cd155faae27cbd844338409a">std::hash&lt; SVF::CallSite &gt;</a>
 , <a class="el" href="structstd_1_1hash_3_01SVF_1_1CondStdSet_3_01Element_01_4_01_4.html#a0d50f7a011b2174e5c8064a8b03f8529">std::hash&lt; SVF::CondStdSet&lt; Element &gt; &gt;</a>
 , <a class="el" href="structstd_1_1hash_3_01SVF_1_1CondVar_3_01Cond_01_4_01_4.html#ac9b6dd9b7dd77c0303c1f4f5877d87db">std::hash&lt; SVF::CondVar&lt; Cond &gt; &gt;</a>
@@ -138,6 +139,7 @@ $(function() {
 , <a class="el" href="structstd_1_1hash_3_01SVF_1_1SVFGNodeLockSpan_01_4.html#a7854984f902d9a42c6d4e095de8464a7">std::hash&lt; SVF::SVFGNodeLockSpan &gt;</a>
 , <a class="el" href="structSVF_1_1GenericEdge_1_1equalGEdge.html#ac4654da03578f3ab8183b10f98a27f62">SVF::GenericEdge&lt; NodeTy &gt;::equalGEdge</a>
 , <a class="el" href="structSVF_1_1Hash.html#aad49eec16cfdd4d3423f27666d5f28ff">SVF::Hash&lt; T &gt;</a>
+, <a class="el" href="structSVF_1_1Hash_3_01CoreBitVector_01_4.html#ad54ea05fd0e03af862a5d72f8c4db411">SVF::Hash&lt; CoreBitVector &gt;</a>
 , <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>
@@ -230,8 +232,8 @@ $(function() {
 , <a class="el" href="classSVF_1_1NormalGepCGEdge.html#a7f3a388e37e497fc5874e9f392901a39">SVF::NormalGepCGEdge</a>
 , <a class="el" href="classSVF_1_1NormalGepPE.html#ac05756f70d2211c72b7216c1d09ca9bf">SVF::NormalGepPE</a>
 , <a class="el" href="classSVF_1_1PathStmtDPItem.html#a36ff7567d47e3818d79ede424f736817">SVF::PathStmtDPItem&lt; LocCond &gt;</a>
-, <a class="el" href="classSVF_1_1PointsTo.html#ab06c71c3d1ab7ef2a67fc00b42f4be72">SVF::PointsTo</a>
-, <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#acbbcff746f7f0dc37815e688e9172f21">SVF::PointsTo::PointsToIterator</a>
+, <a class="el" href="classSVF_1_1PointsTo.html#a269d334618e4acc7e739317fd58d7fe7">SVF::PointsTo</a>
+, <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#ac35de79e5c5d48d7f8f6f22e8450a0f6">SVF::PointsTo::PointsToIterator</a>
 , <a class="el" href="classSVF_1_1PTASCEV.html#a144e7fa8c5f4987067914416a85656ca">SVF::PTASCEV</a>
 , <a class="el" href="classSVF_1_1RetPE.html#acb2a5e66fab9f95278c44344d268f465">SVF::RetPE</a>
 , <a class="el" href="classSVF_1_1StmtDPItem.html#a072da7dc37fd3f9b7a79196394382499">SVF::StmtDPItem&lt; LocCond &gt;</a>
@@ -289,7 +291,7 @@ $(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>
 , <a class="el" href="classSVF_1_1CoreBitVector.html#af8e63360242a49fb63c3ef3d7071503d">SVF::CoreBitVector</a>
-, <a class="el" href="classSVF_1_1PointsTo.html#aa8644057ec182382e3c34e90d7d61ade">SVF::PointsTo</a>
+, <a class="el" href="classSVF_1_1PointsTo.html#a687b34cac3c43dd957b86a4833a24871">SVF::PointsTo</a>
 </li>
 <li>opPts()
 : <a class="el" href="classSVF_1_1PersistentPointsToCache.html#ac7865b3ea1d76d2c522b465cc8e86639">SVF::PersistentPointsToCache&lt; Data &gt;</a>
@@ -323,7 +325,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1GenericNode.html#aa4f103330118c8976bf95e4bf53416eb">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>OutEdgeEnd()
-: <a class="el" href="classSVF_1_1GenericNode.html#a19a3366fd8a58290d0c740c46c3dcb3d">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
+: <a class="el" href="classSVF_1_1GenericNode.html#ace88b6c7561f61f747ff08f61e2c18bc">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>outgoingAddrEdges()
 : <a class="el" href="classSVF_1_1ConstraintNode.html#ae5acdc3bd73974b6972b60fb3df5e0ea">SVF::ConstraintNode</a>

package/SVF-doxygen/html/html/functions_func_r.html

@@ -176,6 +176,9 @@ $(function() {
 <li>removeAllEdges()
 : <a class="el" href="classSVF_1_1SVFGOPT.html#ac15b3c2cb127b17ebad3a30fc04b6f40">SVF::SVFGOPT</a>
 </li>
+<li>removeAllIndirectSVFGEdges()
+: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a275095f60640d862034ad173af3371c3">SVF::VersionedFlowSensitive</a>
+</li>
 <li>removeCandidates()
 : <a class="el" href="classSVF_1_1WPAMinimumSolver.html#aa6d8de95ddf703fdac33ef1216ce4aff">SVF::WPAMinimumSolver&lt; GraphType &gt;</a>
 </li>
@@ -407,7 +410,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#a32f6beffb47e5c2ac86f5c3b8a1bd9ba">SVF::MTA</a>
+, <a class="el" href="classSVF_1_1MTA.html#a9c4b9eb2c04de305a30114019c3b1dae">SVF::MTA</a>
 , <a class="el" href="classSVF_1_1WPAPass.html#a394dcd976c1ef08d9cadcba8f5d07c75">SVF::WPAPass</a>
 </li>
 <li>runPointerAnalysis()

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

@@ -389,7 +389,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MSSAMU.html#a2af1e639aabbc5997aa4e6526f6595fb">SVF::MSSAMU&lt; Cond &gt;</a>
 </li>
 <li>setVersion()
-: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#ab0f18ae2d9c1b3b8f1d103f16df6877e">SVF::VersionedFlowSensitive</a>
+: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#adf37ae1f6a07716bca6fbe1603b8a070">SVF::VersionedFlowSensitive</a>
 </li>
 <li>setVFCond()
 : <a class="el" href="classSVF_1_1ProgSlice.html#add68dd06ab20899bc898d065ae2e82c0">SVF::ProgSlice</a>

package/SVF-doxygen/html/html/functions_func_v.html

@@ -173,6 +173,7 @@ $(function() {
 <li>visit()
 : <a class="el" href="classSVF_1_1CSC.html#ae2cf80e57c85add6e68bf282e833e0e7">SVF::CSC</a>
 , <a class="el" href="classSVF_1_1SCCDetection.html#af799d7043e501e43e04e51fd4d6c6571">SVF::SCCDetection&lt; GraphType &gt;</a>
+, <a class="el" href="classSVF_1_1VersionedFlowSensitive_1_1SCC.html#af7ba77d72962b930a8107752e259008b">SVF::VersionedFlowSensitive::SCC</a>
 </li>
 <li>visitAllocaInst()
 : <a class="el" href="classSVF_1_1PAGBuilder.html#ac119eecbd406c08b473b39c7fa3e475b">SVF::PAGBuilder</a>
@@ -205,7 +206,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1PAGBuilder.html#ae6f28734ad5b933d347f6ebc95dcd2f2">SVF::PAGBuilder</a>
 </li>
 <li>visited()
-: <a class="el" href="classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a48a7c2de3119762694cdc0a4db77213a">SVF::SCCDetection&lt; GraphType &gt;::GNodeSCCInfo</a>
+: <a class="el" href="classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a8038a801ba0fc31149847a49e074b210">SVF::SCCDetection&lt; GraphType &gt;::GNodeSCCInfo</a>
 , <a class="el" href="classSVF_1_1SCCDetection.html#aa7f342aa9281749d16bb377acf14c0d7">SVF::SCCDetection&lt; GraphType &gt;</a>
 </li>
 <li>visitExtractElementInst()

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

@@ -623,7 +623,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#a26722666cc8f2fce61bed73f086a0e87">SVF::ConstraintGraph</a>
 </li>
 <li>getConsume()
-: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#ad8a7b01257f4b425007f3e0054dc6ae9">SVF::VersionedFlowSensitive</a>
+: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#af93e65faae99459621ae45cf9d36005d">SVF::VersionedFlowSensitive</a>
 </li>
 <li>getContext()
 : <a class="el" href="classSVF_1_1CondExpr.html#a069c3ac3e7f87250a11f590d23c3a864">SVF::CondExpr</a>
@@ -1919,7 +1919,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#ae3c857c056f4e6e863843bafba7fdea1">SVF::IntraDisjointMRG</a>
+: <a class="el" href="classSVF_1_1IntraDisjointMRG.html#ad0640ef6e02d9a90964ca495c0fd8f53">SVF::IntraDisjointMRG</a>
 </li>
 <li>getRawCTirMetadata()
 : <a class="el" href="classSVF_1_1FlowSensitiveTBHC.html#a2c47ba37bd250be455a21d1f0049d556">SVF::FlowSensitiveTBHC</a>
@@ -1943,6 +1943,9 @@ $(function() {
 <li>getRegionSize()
 : <a class="el" href="classSVF_1_1MemRegion.html#a99f106d47fd67f1ae53e144d72a223c9">SVF::MemRegion</a>
 </li>
+<li>getReliantVersions()
+: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#ae83c62a01196991d116ef5c36cb51e31">SVF::VersionedFlowSensitive</a>
+</li>
 <li>getRep()
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#acd1f0ce7936ced59bfaf04956a0f8214">SVF::ConstraintGraph</a>
 </li>
@@ -1973,7 +1976,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ICFG.html#ae3bd3bf29b3dac286b93be22cbb60b2c">SVF::ICFG</a>
 </li>
 <li>getRetParmAtJoinedSite()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#ad1c595f7b15a2d3079b9e9200c84f7d7">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#a5439ef32c909b02c83cbd30eb0a0fe12">SVF::ThreadAPI</a>
 </li>
 <li>getRetSite()
 : <a class="el" href="classSVF_1_1ProgSlice.html#a2a4c2d573b43f005ae668bffc7fc911d">SVF::ProgSlice</a>
@@ -1998,7 +2001,7 @@ $(function() {
 </li>
 <li>getRevPts()
 : <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a58113943e4e7144d94d26991dcc8bcc7">SVF::BVDataPTAImpl</a>
-, <a class="el" href="classSVF_1_1CondPTAImpl.html#a0da0602c5b260afaba4bef1abcbcf7b3">SVF::CondPTAImpl&lt; Cond &gt;</a>
+, <a class="el" href="classSVF_1_1CondPTAImpl.html#aa266eef30817c557882de19aefe135a9">SVF::CondPTAImpl&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDFPTData.html#a2f98940bd8266ad37a975c6d30d948b4">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDiffPTData.html#ad9bd6762fc6525afaed4a6c6da63688d">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutablePTData.html#a36aa05b8f5c308035315d6df7036c096">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
@@ -2074,6 +2077,9 @@ $(function() {
 <li>getStmt()
 : <a class="el" href="classSVF_1_1CxtStmt.html#a5e8c4b10eb5c3240d2e21a020ed834a6">SVF::CxtStmt</a>
 </li>
+<li>getStmtReliance()
+: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a3489def8e16e4d7c83d2c909d3287fc0">SVF::VersionedFlowSensitive</a>
+</li>
 <li>getStmtVFGNode()
 : <a class="el" href="classSVF_1_1VFG.html#a32b1586d326fbe47080bd1fa2d3270e6">SVF::VFG</a>
 </li>
@@ -2163,7 +2169,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MemObj.html#ad7f7de744715c3acaf3d48822865c87b">SVF::MemObj</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>
@@ -2250,7 +2256,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1TypeSystem.html#a6b52e1b6fbf9cfcc0337471bb425f330">SVF::TypeSystem</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>
@@ -2323,7 +2329,7 @@ $(function() {
 </li>
 <li>getVersion()
 : <a class="el" href="classSVF_1_1DummyVersionPropSVFGNode.html#af9f0eaf33502af1533dd1244a383d561">SVF::DummyVersionPropSVFGNode</a>
-, <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a08fbc3ede8007689dcde37d56003650e">SVF::VersionedFlowSensitive</a>
+, <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a6b398d59fc276980dd2d6d48a8675068">SVF::VersionedFlowSensitive</a>
 </li>
 <li>getVersionedKeyRevPts()
 : <a class="el" href="classSVF_1_1MutableVersionedPTData.html#afaef5c61bee74cbd649c787cfdef2a03">SVF::MutableVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
@@ -2386,13 +2392,13 @@ $(function() {
 , <a class="el" href="classSVF_1_1DCHNode.html#a1a75ca91148992166d42d245d6c51988">SVF::DCHNode</a>
 </li>
 <li>getYield()
-: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a6ea3f8e2aa85ea588735514c0b6ff255">SVF::VersionedFlowSensitive</a>
+: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a01a199e9fdb5759c7f78ee344dbc413c">SVF::VersionedFlowSensitive</a>
 </li>
 <li>global_begin()
 : <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>
+: <a class="el" href="classSVF_1_1SVFModule.html#afa9068e662918f6649d5ca25340a3ae2">SVF::SVFModule</a>
 </li>
 <li>global_iterator
 : <a class="el" href="classSVF_1_1SVFModule.html#a4cf1ca2e9f045a0520b0a8a6cd5993f2">SVF::SVFModule</a>

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

@@ -219,6 +219,7 @@ $(function() {
 : <a class="el" href="structDdNode.html#abbd39b25b9abe4b4d53cd267a4103bda">DdNode</a>
 , <a class="el" href="structMtrNode.html#ad10fa600c59f13e195d295dac071e807">MtrNode</a>
 , <a class="el" href="structst__generator.html#af2fe4c02d62ac650ad39cc28a424b798">st_generator</a>
+, <a class="el" href="structSVF_1_1VersionedFlowSensitive_1_1SCC_1_1NodeData.html#a823afbcf2b99a38367b7bc8be17ff2ba">SVF::VersionedFlowSensitive::SCC::NodeData</a>
 </li>
 <li>indexForBit()
 : <a class="el" href="classSVF_1_1CoreBitVector.html#ad73fca28bd4882eaa70817023a632d35">SVF::CoreBitVector</a>
@@ -581,12 +582,6 @@ $(function() {
 <li>inv_child_iterator
 : <a class="el" href="classSVF_1_1CFLSolver.html#a98613e4d455a53183d1f16a58de6244e">SVF::CFLSolver&lt; GraphType, DPIm &gt;</a>
 </li>
-<li>invalidateConsumeCache()
-: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#ab89fb73e63f7766cbaf7735921b0cf4b">SVF::VersionedFlowSensitive</a>
-</li>
-<li>invalidateYieldCache()
-: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a13f00fd438df4feed73f43d6a0d55e0d">SVF::VersionedFlowSensitive</a>
-</li>
 <li>invalidVersion
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a3d44a343a2e3f5d276fd1b069c92e112">SVF::VersionedFlowSensitive</a>
 </li>
@@ -803,7 +798,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ExtAPI.html#a329882c608e9a6b10a758bcd1ca7a0b5">SVF::ExtAPI</a>
 </li>
 <li>isFClose()
-: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a970676d884d66da9fce00fe5b60c96ba">SVF::SaberCheckerAPI</a>
+: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#ad029e2f347ee2aeb5b0abb928a552789">SVF::SaberCheckerAPI</a>
 </li>
 <li>isFieldInsenCondMemObj()
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#a37a6321f50bef2939b287cc088e76170">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
@@ -828,7 +823,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1PCG.html#a7531d638b4f8aca4f0a3af82391001d9">SVF::PCG</a>
 </li>
 <li>isFOpen()
-: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#ad7308258d0186a99325adf030c1138a6">SVF::SaberCheckerAPI</a>
+: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a0977378f6f2a782041c97912762deb5f">SVF::SaberCheckerAPI</a>
 </li>
 <li>isForksite()
 : <a class="el" href="classSVF_1_1ThreadCallGraph.html#aa5c29ac668359942a9bc31cacd0cd9c4">SVF::ThreadCallGraph</a>
@@ -867,7 +862,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1SrcSnkDDA.html#a391bb031b2f244e930b266a29cda0af7">SVF::SrcSnkDDA</a>
 </li>
 <li>isHareParFor()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#a86d75b7e3570337e484397e60f97d88e">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#adb944c2287cf7686a03b0e53a03ba025">SVF::ThreadAPI</a>
 </li>
 <li>isHBPair()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a86c68ce5fd8825b1593d92a5a5bad389">SVF::ForkJoinAnalysis</a>
@@ -994,6 +989,12 @@ $(function() {
 <li>isJoinSiteInRecursion()
 : <a class="el" href="classSVF_1_1TCT.html#a4ff016e5933a4d094989c600ad25dd99">SVF::TCT</a>
 </li>
+<li>isLoad()
+: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a984a4f929a18f97bfefac0102088a7fd">SVF::VersionedFlowSensitive</a>
+</li>
+<li>isLoadMap
+: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a6bb3db072db0b899f306b37f1146f83d">SVF::VersionedFlowSensitive</a>
+</li>
 <li>isLocalCVarInRecursion()
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#a20cadb651b41343437e135e985c4e566">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
@@ -1010,13 +1011,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1TCT.html#a549a95aa04233c98732777ea210d8525">SVF::TCT</a>
 </li>
 <li>isMemAlloc()
-: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a71cbe5fbf582d0801f604595d3dfb416">SVF::SaberCheckerAPI</a>
+: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a8a96f6ee7bd9be1abfa89b05d773539f">SVF::SaberCheckerAPI</a>
 </li>
 <li>isMemcpy()
 : <a class="el" href="classSVF_1_1MTAAnnotator.html#aee9e5ebac543d9a2aab511410b047898">SVF::MTAAnnotator</a>
 </li>
 <li>isMemDealloc()
-: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#abe9fee725114243e16db4c2fd1abf3fa">SVF::SaberCheckerAPI</a>
+: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#ab6d9c2435bdb1c01542cc75e9eef0a4e">SVF::SaberCheckerAPI</a>
 </li>
 <li>isMemset()
 : <a class="el" href="classSVF_1_1MTAAnnotator.html#a36eb47b716c3b44ba5c459052bb0ed93">SVF::MTAAnnotator</a>
@@ -1206,6 +1207,12 @@ $(function() {
 : <a class="el" href="classSVF_1_1MemObj.html#abd776509d1ae281a246acfb168efe2ea">SVF::MemObj</a>
 , <a class="el" href="classSVF_1_1ObjTypeInfo.html#a3594dc1c1943dbac0ab72f2ff163c523">SVF::ObjTypeInfo</a>
 </li>
+<li>isStore()
+: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#aac920c9a5f13dd147e3c130425e005eb">SVF::VersionedFlowSensitive</a>
+</li>
+<li>isStoreMap
+: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a18e25c3871d7cc1a6bb0592ceca90f88">SVF::VersionedFlowSensitive</a>
+</li>
 <li>isStrongUpdate()
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#a94bcddbc7b9ccecb3fbb693b13372785">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 , <a class="el" href="classSVF_1_1FlowSensitive.html#a42a7e39e0e15576742f8ba7c32579ea2">SVF::FlowSensitive</a>
@@ -1222,14 +1229,14 @@ $(function() {
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#add7daee4a0ecae479a5ab015130c8c93">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
 <li>isTailofSpan()
-: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a9c8681767551575a18ee141f7336db05">SVF::MTASVFGBuilder</a>
+: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#ac8339229ade604f4205b111bfc99f23f">SVF::MTASVFGBuilder</a>
 </li>
 <li>isTDAcquire()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a5521de9933ce74d0954a942dfceae772">SVF::LockAnalysis</a>
-, <a class="el" href="classSVF_1_1ThreadAPI.html#a608f0cb60a665745748b6a6654a6e837">SVF::ThreadAPI</a>
+, <a class="el" href="classSVF_1_1ThreadAPI.html#a9db4df7968ec179e5012794c58fdee70">SVF::ThreadAPI</a>
 </li>
 <li>isTDBarWait()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#a0ff50b4312b9aa2c7ebd00e9a40a2668">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#af3aa58dc83dca382162df67c12169585">SVF::ThreadAPI</a>
 </li>
 <li>isTDExit()
 : <a class="el" href="classSVF_1_1ThreadAPI.html#ae87d129560d7015966336f06a516db23">SVF::ThreadAPI</a>
@@ -1243,11 +1250,11 @@ $(function() {
 <li>isTDJoin()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#aac722a42dc6e03e771a7a80de5f8ec94">SVF::ForkJoinAnalysis</a>
 , <a class="el" href="classSVF_1_1MHP.html#ab566508ffd73abd4d5ad047a1d7f9c27">SVF::MHP</a>
-, <a class="el" href="classSVF_1_1ThreadAPI.html#a50e56d63c6d713ac34b4006d248f880b">SVF::ThreadAPI</a>
+, <a class="el" href="classSVF_1_1ThreadAPI.html#a8cc5f9ff6039392ce1471cd830973c44">SVF::ThreadAPI</a>
 </li>
 <li>isTDRelease()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#ae312fa9ddb320674f7bc31e29aa474ed">SVF::LockAnalysis</a>
-, <a class="el" href="classSVF_1_1ThreadAPI.html#a1bba2e9df7a74e7e2f728267ff4bfe0f">SVF::ThreadAPI</a>
+, <a class="el" href="classSVF_1_1ThreadAPI.html#a38adae633d5aceddcca3b3a23ad66db9">SVF::ThreadAPI</a>
 </li>
 <li>isTemplate()
 : <a class="el" href="classSVF_1_1CHNode.html#aff23fda93401c60422a4a5a08d77d749">SVF::CHNode</a>

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

@@ -61,9 +61,6 @@ $(function() {
 <div class="textblock">Here is a list of all class members with links to the classes they belong to:</div>
 
 <h3><a id="index_l"></a>- l -</h3><ul>
-<li>l
-: <a class="el" href="structSVF_1_1VersionedFlowSensitive_1_1VersionCache.html#abbc4b4beea4318f9ccb81dbdeed239b7">SVF::VersionedFlowSensitive::VersionCache</a>
-</li>
 <li>LargestRegion
 : <a class="el" href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a172d72ae4ae45fa2baf2f20ff2b499dc">SVF::NodeIDAllocator::Clusterer</a>
 </li>
@@ -124,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_1PAGEdge.html#a79080505b4744aa8806b55215ac2b0f6a8fcebc849a231c3c87dddbf0ab5a2167">SVF::PAGEdge</a>
@@ -139,7 +136,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MemSSA.html#a5cf94edea3a5c35b3c1d9c6ae4b5f9d6">SVF::MemSSA</a>
 </li>
 <li>LoadCGEdge()
-: <a class="el" href="classSVF_1_1LoadCGEdge.html#a36a21551732bbe3f7ff4babc0804bff2">SVF::LoadCGEdge</a>
+: <a class="el" href="classSVF_1_1LoadCGEdge.html#a74ccf27a1e90fb8f47e9cecf7bd38cf7">SVF::LoadCGEdge</a>
 </li>
 <li>LoadCGEdgeSet
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#a1cb9124b29720e7a5b39d83419f9cc17">SVF::ConstraintGraph</a>
@@ -187,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#a7b9b1c326d075a9be473680fef6a9616">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>
@@ -212,7 +209,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1PTAStat.html#a5b4095f427c9c7b9ec0db497ba33baea">SVF::PTAStat</a>
 </li>
 <li>LocationSet()
-: <a class="el" href="classSVF_1_1LocationSet.html#afd3b135453644cd42e869d378c270d23">SVF::LocationSet</a>
+: <a class="el" href="classSVF_1_1LocationSet.html#ac07e93a10d3f981c2ef6fcc507118182">SVF::LocationSet</a>
 </li>
 <li>LocID
 : <a class="el" href="classSVF_1_1DFPTData.html#a298a5ef6cfffbe10b9d05af0ad12e786">SVF::DFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
@@ -274,9 +271,6 @@ $(function() {
 <li>LockValid
 : <a class="el" href="classSVF_1_1Options.html#a78b3b44f2c0dc94dc1363ca57ee76d66">SVF::Options</a>
 </li>
-<li>LocMeldVersionMap
-: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a31f2c86285f3366d0fc06590eb2a24bd">SVF::VersionedFlowSensitive</a>
-</li>
 <li>LocMemModel
 : <a class="el" href="classSVF_1_1Options.html#a8c7ece61e55940be1a0d310bd2cf77f8">SVF::Options</a>
 </li>
@@ -297,7 +291,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1TypeBasedHeapCloning.html#a848e59ab22069367a97009f1fdebc4d9">SVF::TypeBasedHeapCloning</a>
 </li>
 <li>LocVersionMap
-: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a0ea2cc21f9de287746ca2216b08e22b4">SVF::VersionedFlowSensitive</a>
+: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#aa689d29ead80303b1ef1e1a91f31c296">SVF::VersionedFlowSensitive</a>
 </li>
 <li>lookupComplements
 : <a class="el" href="classSVF_1_1PersistentPointsToCache.html#a47f4e8ef1461396afb2e1c3cbe055e95">SVF::PersistentPointsToCache&lt; Data &gt;</a>
@@ -322,6 +316,9 @@ $(function() {
 <li>low
 : <a class="el" href="structMtrNode.html#a589c940a5262c8da11bf843a369bb2db">MtrNode</a>
 </li>
+<li>lowlink
+: <a class="el" href="structSVF_1_1VersionedFlowSensitive_1_1SCC_1_1NodeData.html#a6d66813dfb5338c22de62c100e951cf2">SVF::VersionedFlowSensitive::SCC::NodeData</a>
+</li>
 <li>ls
 : <a class="el" href="classSVF_1_1GepObjPN.html#ab7a3961b0a3f6a8cc89c3cd81168180b">SVF::GepObjPN</a>
 , <a class="el" href="classSVF_1_1GepValPN.html#afb8bad0c8d61cd59410d99a405dfa9e8">SVF::GepValPN</a>

package/SVF-doxygen/html/html/functions_m.html

@@ -109,9 +109,6 @@ $(function() {
 <li>map
 : <a class="el" href="structDdManager.html#a70b750bb9e3abb295a48cbcb68cef543">DdManager</a>
 </li>
-<li>mapMeldVersions()
-: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a8e836aaeab108002205d2a7631e8559f">SVF::VersionedFlowSensitive</a>
-</li>
 <li>MappingPtr
 : <a class="el" href="classSVF_1_1PointsTo.html#a849f670b38cb6f65fc23707a212591c7">SVF::PointsTo</a>
 </li>
@@ -295,26 +292,14 @@ $(function() {
 <li>meld()
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a1da960df51570b59161e380949d910c4">SVF::VersionedFlowSensitive</a>
 </li>
-<li>meldConsume
-: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a0f3bc278aa733bd637c9905530ff2e6c">SVF::VersionedFlowSensitive</a>
-</li>
 <li>meldLabel()
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#aaff594c78d93f7ad632d344e5c1c7f6a">SVF::VersionedFlowSensitive</a>
 </li>
 <li>meldLabelingTime
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a4a594c8d6ccaa27b5328c6388fdb258d">SVF::VersionedFlowSensitive</a>
 </li>
-<li>meldMappingTime
-: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a8871031546861343c05346ae1a4550cd">SVF::VersionedFlowSensitive</a>
-</li>
 <li>MeldVersion
-: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#ac09fe1e8199f9ac3adb6c489ab608fd8">SVF::VersionedFlowSensitive</a>
-</li>
-<li>meldVersions
-: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a32b9ff0e47ef632626f1b647c38c26f9">SVF::VersionedFlowSensitive</a>
-</li>
-<li>meldYield
-: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#afb0396e095bd461f146b4c5ce957b89e">SVF::VersionedFlowSensitive</a>
+: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a630eeca9c3344d24fa196f7de45bce18">SVF::VersionedFlowSensitive</a>
 </li>
 <li>mem
 : <a class="el" href="classSVF_1_1ObjPN.html#a7ec3165f6b61b089e25447f55ebf86a8">SVF::ObjPN</a>

package/SVF-doxygen/html/html/functions_n.html

@@ -86,9 +86,6 @@ $(function() {
 <li>newExpand
 : <a class="el" href="classSVF_1_1ConstraintNode.html#af760652ba65eb5a0d0d2731b6e1961b8">SVF::ConstraintNode</a>
 </li>
-<li>newMeldVersion()
-: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a24746dcada35f10cb387c94860930e84">SVF::VersionedFlowSensitive</a>
-</li>
 <li>newPointsToId()
 : <a class="el" href="classSVF_1_1PersistentPointsToCache.html#a52ec4a787a199bb4d7553e8bafa9c127">SVF::PersistentPointsToCache&lt; Data &gt;</a>
 </li>
@@ -149,6 +146,9 @@ $(function() {
 <li>NodeAllocStrat
 : <a class="el" href="classSVF_1_1Options.html#a2537be131132830c63d408133619a065">SVF::Options</a>
 </li>
+<li>NodeData
+: <a class="el" href="classSVF_1_1VersionedFlowSensitive_1_1SCC.html#a3b4321bdd7924d05fd3b8506ec1c7c3c">SVF::VersionedFlowSensitive::SCC</a>
+</li>
 <li>NodeID
 : <a class="el" href="classSVF_1_1SCCDetection.html#a4f954a92b432b96f63454b7db46b60e2">SVF::SCCDetection&lt; GraphType &gt;</a>
 </li>

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

@@ -91,9 +91,6 @@ $(function() {
 <li>objToGeps
 : <a class="el" href="classSVF_1_1TypeBasedHeapCloning.html#aa9977ed15f500848b23d4df7a44cd204">SVF::TypeBasedHeapCloning</a>
 </li>
-<li>ObjToMeldVersionMap
-: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a6e36886fac2c276047def0a5acb85c0e">SVF::VersionedFlowSensitive</a>
-</li>
 <li>objToNSRevPtsMap
 : <a class="el" href="classSVF_1_1CondPTAImpl.html#a22c23f3ba1ee7e0aaccf0b8a1b58e33e">SVF::CondPTAImpl&lt; Cond &gt;</a>
 </li>
@@ -104,7 +101,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#af9a43f48b7d99cc6694f3ae3248fd8e0">SVF::VersionedFlowSensitive</a>
 </li>
 <li>ObjTypeInfo()
-: <a class="el" href="classSVF_1_1ObjTypeInfo.html#afa03172e8fe0af6b523e866d54235f3a">SVF::ObjTypeInfo</a>
+: <a class="el" href="classSVF_1_1ObjTypeInfo.html#a1a182e6a8710242f94729412d4683f8d">SVF::ObjTypeInfo</a>
 </li>
 <li>oCG
 : <a class="el" href="classSVF_1_1AndersenHCD.html#af5fe01816e65ece685a3c3537ebd0137">SVF::AndersenHCD</a>
@@ -125,6 +122,9 @@ $(function() {
 <li>one
 : <a class="el" href="structDdManager.html#a239bd99ee654742adc79b8299c2bc92e">DdManager</a>
 </li>
+<li>onStack
+: <a class="el" href="structSVF_1_1VersionedFlowSensitive_1_1SCC_1_1NodeData.html#a0eb5f6b9985b9b512a76537d55b092b5">SVF::VersionedFlowSensitive::SCC::NodeData</a>
+</li>
 <li>onTheFlyCallGraphSolve()
 : <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a9830d4676fd424b633f8e4d918734296">SVF::BVDataPTAImpl</a>
 </li>
@@ -177,6 +177,7 @@ $(function() {
 : <a class="el" href="structstd_1_1hash_3_01const_01SVF_1_1CondVar_3_01Cond_01_4_01_4.html#ae66ac1a976e498f88e382988f17b4df5">std::hash&lt; const SVF::CondVar&lt; Cond &gt; &gt;</a>
 , <a class="el" href="structstd_1_1hash_3_01const_01SVF_1_1ContextCond_01_4.html#a225b0bd057a9d76d7436eae4a6b5baa0">std::hash&lt; const SVF::ContextCond &gt;</a>
 , <a class="el" href="structstd_1_1hash_3_01llvm_1_1SparseBitVector_3_01N_01_4_01_4.html#ae6df53599aefcd010d7e3fd6bf95bdb6">std::hash&lt; llvm::SparseBitVector&lt; N &gt; &gt;</a>
+, <a class="el" href="structstd_1_1hash_3_01std_1_1vector_3_01T_01_4_01_4.html#a921ca626d87c3eed7b71210cfc24d0dd">std::hash&lt; std::vector&lt; T &gt; &gt;</a>
 , <a class="el" href="structstd_1_1hash_3_01SVF_1_1CallSite_01_4.html#a6ed3f621cd155faae27cbd844338409a">std::hash&lt; SVF::CallSite &gt;</a>
 , <a class="el" href="structstd_1_1hash_3_01SVF_1_1CondStdSet_3_01Element_01_4_01_4.html#a0d50f7a011b2174e5c8064a8b03f8529">std::hash&lt; SVF::CondStdSet&lt; Element &gt; &gt;</a>
 , <a class="el" href="structstd_1_1hash_3_01SVF_1_1CondVar_3_01Cond_01_4_01_4.html#ac9b6dd9b7dd77c0303c1f4f5877d87db">std::hash&lt; SVF::CondVar&lt; Cond &gt; &gt;</a>
@@ -196,6 +197,7 @@ $(function() {
 , <a class="el" href="structstd_1_1hash_3_01SVF_1_1SVFGNodeLockSpan_01_4.html#a7854984f902d9a42c6d4e095de8464a7">std::hash&lt; SVF::SVFGNodeLockSpan &gt;</a>
 , <a class="el" href="structSVF_1_1GenericEdge_1_1equalGEdge.html#ac4654da03578f3ab8183b10f98a27f62">SVF::GenericEdge&lt; NodeTy &gt;::equalGEdge</a>
 , <a class="el" href="structSVF_1_1Hash.html#aad49eec16cfdd4d3423f27666d5f28ff">SVF::Hash&lt; T &gt;</a>
+, <a class="el" href="structSVF_1_1Hash_3_01CoreBitVector_01_4.html#ad54ea05fd0e03af862a5d72f8c4db411">SVF::Hash&lt; CoreBitVector &gt;</a>
 , <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>
@@ -300,8 +302,8 @@ $(function() {
 , <a class="el" href="classSVF_1_1NormalGepCGEdge.html#a7f3a388e37e497fc5874e9f392901a39">SVF::NormalGepCGEdge</a>
 , <a class="el" href="classSVF_1_1NormalGepPE.html#ac05756f70d2211c72b7216c1d09ca9bf">SVF::NormalGepPE</a>
 , <a class="el" href="classSVF_1_1PathStmtDPItem.html#a36ff7567d47e3818d79ede424f736817">SVF::PathStmtDPItem&lt; LocCond &gt;</a>
-, <a class="el" href="classSVF_1_1PointsTo.html#a269d334618e4acc7e739317fd58d7fe7">SVF::PointsTo</a>
-, <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#ac35de79e5c5d48d7f8f6f22e8450a0f6">SVF::PointsTo::PointsToIterator</a>
+, <a class="el" href="classSVF_1_1PointsTo.html#ab06c71c3d1ab7ef2a67fc00b42f4be72">SVF::PointsTo</a>
+, <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#acbbcff746f7f0dc37815e688e9172f21">SVF::PointsTo::PointsToIterator</a>
 , <a class="el" href="classSVF_1_1PTASCEV.html#a144e7fa8c5f4987067914416a85656ca">SVF::PTASCEV</a>
 , <a class="el" href="classSVF_1_1RetPE.html#acb2a5e66fab9f95278c44344d268f465">SVF::RetPE</a>
 , <a class="el" href="classSVF_1_1StmtDPItem.html#a072da7dc37fd3f9b7a79196394382499">SVF::StmtDPItem&lt; LocCond &gt;</a>
@@ -405,31 +407,33 @@ $(function() {
 </li>
 <li>OPVers
 : <a class="el" href="classSVF_1_1BinaryOPVFGNode.html#a880c8260e3acb3fbe431446f2c1f5990">SVF::BinaryOPVFGNode</a>
+, <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>
 </li>
 <li>OPVers
-: <a class="el" href="classSVF_1_1CmpVFGNode.html#a0db4ada3c366c811962415454a859b22">SVF::CmpVFGNode</a>
-, <a class="el" href="classSVF_1_1MSSAPHI.html#a622892bb1c3c151e646ae1a46838c3ba">SVF::MSSAPHI&lt; Cond &gt;</a>
+: <a class="el" href="classSVF_1_1MSSAPHI.html#a622892bb1c3c151e646ae1a46838c3ba">SVF::MSSAPHI&lt; Cond &gt;</a>
 </li>
 <li>opVers
 : <a class="el" href="classSVF_1_1MSSAPHI.html#abdabd6dff67cd59622f18d48e8b34271">SVF::MSSAPHI&lt; Cond &gt;</a>
-, <a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a9c327923ab939e06877441ebde5c1139">SVF::MSSAPHISVFGNode</a>
 </li>
 <li>OPVers
 : <a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a300f37203eb84fc57e005c27ce0422fb">SVF::MSSAPHISVFGNode</a>
-, <a class="el" href="classSVF_1_1PHIVFGNode.html#a44ba5254e5f4def007c99916cd58668c">SVF::PHIVFGNode</a>
 </li>
 <li>opVers
-: <a class="el" href="classSVF_1_1PHIVFGNode.html#a08ccd55d0fb6ce33f69959349008daca">SVF::PHIVFGNode</a>
+: <a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a9c327923ab939e06877441ebde5c1139">SVF::MSSAPHISVFGNode</a>
+, <a class="el" href="classSVF_1_1PHIVFGNode.html#a08ccd55d0fb6ce33f69959349008daca">SVF::PHIVFGNode</a>
 </li>
 <li>OPVers
-: <a class="el" href="classSVF_1_1UnaryOPVFGNode.html#af96b598342bbcbcd739e2603acfc5a41">SVF::UnaryOPVFGNode</a>
+: <a class="el" href="classSVF_1_1PHIVFGNode.html#a44ba5254e5f4def007c99916cd58668c">SVF::PHIVFGNode</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>
@@ -451,7 +455,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1FlowSensitiveStat.html#ab11996ab5606f51c977b9b1385c13d71ac018f116c78ed5e314b52e5d743f3fa5">SVF::FlowSensitiveStat</a>
 </li>
 <li>OutEdgeBegin()
-: <a class="el" href="classSVF_1_1GenericNode.html#aa4f103330118c8976bf95e4bf53416eb">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
+: <a class="el" href="classSVF_1_1GenericNode.html#a50219c203fb5a8a44fe22428699f26e7">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>OutEdgeEnd()
 : <a class="el" href="classSVF_1_1GenericNode.html#a19a3366fd8a58290d0c740c46c3dcb3d">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
@@ -499,9 +503,6 @@ $(function() {
 <li>Overlap
 : <a class="el" href="classSVF_1_1LocationSet.html#a002a0c8ec2528835d809bf7eb3ebc83fa8c76affbe3b39db53e8046cd5d79903c">SVF::LocationSet</a>
 </li>
-<li>ovm
-: <a class="el" href="structSVF_1_1VersionedFlowSensitive_1_1VersionCache.html#a6cda550f5fe99fe2407ac9bf73d59319">SVF::VersionedFlowSensitive::VersionCache</a>
-</li>
 <li>owned_modules
 : <a class="el" href="classSVF_1_1LLVMModuleSet.html#ae365189769640adb919a23c36978e5e2">SVF::LLVMModuleSet</a>
 </li>