svf-tools 1.0.304 → 1.0.308

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

@@ -240,9 +240,6 @@ $(function() {
 <li>releaseVFSWPA()
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a754c77fff88e8f415dc7a2096d1bffe2">SVF::VersionedFlowSensitive</a>
 </li>
-<li>relianceTime
-: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a80535bb813f8bf240a0b54ac6ad4b257">SVF::VersionedFlowSensitive</a>
-</li>
 <li>remapAllPts()
 : <a class="el" href="classSVF_1_1MutableDFPTData.html#ad34e442581dfe57ce7f1add25c8414b2">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDiffPTData.html#a80142c1961d5e71c8f0dbadbb3c82184">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
@@ -264,6 +261,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>
@@ -564,12 +564,14 @@ $(function() {
 <li>reverseNodeMapping
 : <a class="el" href="classSVF_1_1PointsTo.html#a1ae4abe690d21eb5aaf2154243b604c1">SVF::PointsTo</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_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>
 </li>
 <li>revPtsMap
@@ -610,14 +612,14 @@ $(function() {
 </li>
 <li>runOnModule()
 : <a class="el" href="classSVF_1_1BreakConstantGEPs.html#ae99ceb7923161d54e7d0a687f4f68e1a">SVF::BreakConstantGEPs</a>
-, <a class="el" href="classSVF_1_1DDAPass.html#a7bc2c9a62b7d97b8e19bee0c4625aea3">SVF::DDAPass</a>
+, <a class="el" href="classSVF_1_1DDAPass.html#af196994d6ec7f5cead72212407842103">SVF::DDAPass</a>
 , <a class="el" href="classSVF_1_1DoubleFreeChecker.html#a71c9f9450e369d1196c49b7d9019dbda">SVF::DoubleFreeChecker</a>
 , <a class="el" href="classSVF_1_1FileChecker.html#a98a68536b8ffdb2250bbb01437598ac3">SVF::FileChecker</a>
 , <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_1WPAPass.html#a394dcd976c1ef08d9cadcba8f5d07c75">SVF::WPAPass</a>
+, <a class="el" href="classSVF_1_1WPAPass.html#a1f47c1cb5a64bab9a6b8ac38103416ac">SVF::WPAPass</a>
 </li>
 <li>runPointerAnalysis()
 : <a class="el" href="classSVF_1_1DDAPass.html#a13ff3107a0e4f8749b166fa9b8165167">SVF::DDAPass</a>

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

@@ -463,7 +463,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>
@@ -805,12 +805,12 @@ $(function() {
 <li>storesToMRsMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#a255551fd3ff8fb33bcea93d0b00280b3">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>storesToPointsToMap
+: <a class="el" href="classSVF_1_1MRGenerator.html#a7d86f708743a59aa31c0a9fd6de45dac">SVF::MRGenerator</a>
+</li>
 <li>storeTime
 : <a class="el" href="classSVF_1_1FlowSensitive.html#a82b76087363b26fbe749653935569de7">SVF::FlowSensitive</a>
 </li>
@@ -826,12 +826,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#a44420802f9db288515ee09771c3edd4d">SVF::NodeIDAllocator</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>strides
 : <a class="el" href="classSVF_1_1ConstraintNode.html#a873ba0c14dc57bd603c4a6b4d73e4278">SVF::ConstraintNode</a>
 </li>
@@ -949,12 +949,12 @@ $(function() {
 : <a class="el" href="classSVF_1_1ProgSlice.html#af41c438baa739406a35bcb2e9ba431dd">SVF::ProgSlice</a>
 , <a class="el" href="classSVF_1_1SrcSnkDDA.html#ad6935e27bbd95d26a01b22b879efed58">SVF::SrcSnkDDA</a>
 </li>
-<li>svfgNodeToCondMap
-: <a class="el" href="classSVF_1_1ProgSlice.html#aeda61b2786b128e8c45089de60dcafce">SVF::ProgSlice</a>
-</li>
 <li>SVFGNodeToCondMap
 : <a class="el" href="classSVF_1_1ProgSlice.html#ae16157bd0b66dfb3cc18b778a745ed00">SVF::ProgSlice</a>
 </li>
+<li>svfgNodeToCondMap
+: <a class="el" href="classSVF_1_1ProgSlice.html#aeda61b2786b128e8c45089de60dcafce">SVF::ProgSlice</a>
+</li>
 <li>SVFGNodeToCSIDMap
 : <a class="el" href="classSVF_1_1LeakChecker.html#a47a79514e1fdc402453b864407aacd6a">SVF::LeakChecker</a>
 </li>

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

@@ -365,12 +365,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>
@@ -601,13 +601,13 @@ $(function() {
 , <a class="el" href="classSVF_1_1MSSADEF.html#a9e8a03dc2c2f76ef6bc095f21911f5b6">SVF::MSSADEF</a>
 , <a class="el" href="classSVF_1_1MSSAMU.html#a3cbe5ca0cb91090ef0e8b331e2f15f7c">SVF::MSSAMU&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1ObjTypeInfo.html#a6e7780d4e2639c089ff6c853d8d78a4d">SVF::ObjTypeInfo</a>
+, <a class="el" href="classSVF_1_1PointsTo.html#aaa9c956187f2c04a7a242ce440d1416f">SVF::PointsTo</a>
 </li>
 <li>Type
 : <a class="el" href="classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923e">SVF::PointsTo</a>
 </li>
 <li>type
-: <a class="el" href="classSVF_1_1PointsTo.html#aaa9c956187f2c04a7a242ce440d1416f">SVF::PointsTo</a>
-, <a class="el" href="classSVF_1_1PTAType.html#a748b82b463001ba95f08a7ec229c412b">SVF::PTAType</a>
+: <a class="el" href="classSVF_1_1PTAType.html#a748b82b463001ba95f08a7ec229c412b">SVF::PTAType</a>
 </li>
 <li>TypeAnalysis()
 : <a class="el" href="classSVF_1_1TypeAnalysis.html#a994a2914820f7c31b12cc48b180e6e49">SVF::TypeAnalysis</a>

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

@@ -112,14 +112,11 @@ $(function() {
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a07b7d49e1fbe3e5dc694b6aadbee05b8">SVF::LockAnalysis</a>
 , <a class="el" href="classSVF_1_1MHP.html#a08ba219ec02b07b1bbd91a88ebb4acd7">SVF::MHP</a>
 </li>
-<li>LocMeldVersionMap
-: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a31f2c86285f3366d0fc06590eb2a24bd">SVF::VersionedFlowSensitive</a>
-</li>
 <li>LocToDPMVecMap
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#aab76f98ae4f0c1f62f101ac5c5fdbf83">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</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>
 </ul>
 </div><!-- contents -->

package/SVF-doxygen/html/html/functions_type_m.html

@@ -68,7 +68,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MemSSA.html#a57e68097212e88568eea829fb998fe0c">SVF::MemSSA</a>
 </li>
 <li>MeldVersion
-: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#ac09fe1e8199f9ac3adb6c489ab608fd8">SVF::VersionedFlowSensitive</a>
+: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a630eeca9c3344d24fa196f7de45bce18">SVF::VersionedFlowSensitive</a>
 </li>
 <li>MemObjToFieldsMap
 : <a class="el" href="classSVF_1_1PAG.html#a49da7e7d6273a0d8798166f95ce6bb16">SVF::PAG</a>

package/SVF-doxygen/html/html/functions_type_n.html

@@ -71,6 +71,9 @@ $(function() {
 : <a class="el" href="classSVF_1_1CFLSolver.html#a586cfb2dd110d1853e70e534e0f66624">SVF::CFLSolver&lt; GraphType, DPIm &gt;</a>
 , <a class="el" href="classSVF_1_1SCCDetection.html#abaf75ef45e8f5349b902dab063999ad8">SVF::SCCDetection&lt; GraphType &gt;</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_type_o.html

@@ -61,9 +61,6 @@ $(function() {
  
 
 <h3><a id="index_o"></a>- o -</h3><ul>
-<li>ObjToMeldVersionMap
-: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a6e36886fac2c276047def0a5acb85c0e">SVF::VersionedFlowSensitive</a>
-</li>
 <li>ObjToVersionMap
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#af9a43f48b7d99cc6694f3ae3248fd8e0">SVF::VersionedFlowSensitive</a>
 </li>

package/SVF-doxygen/html/html/functions_type_v.html

@@ -77,9 +77,6 @@ $(function() {
 <li>VarToTypeSetMapTy
 : <a class="el" href="classSVF_1_1TypeSystem.html#ae3bb1f41445bc7258f32feadbf20f64e">SVF::TypeSystem</a>
 </li>
-<li>VersionCache
-: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a8509e73c41aa3369c0d05fa38c846960">SVF::VersionedFlowSensitive</a>
-</li>
 <li>VersionedKeyToIDMap
 : <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a2ee473a1654b7d134a602268a2b70248">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 </li>

package/SVF-doxygen/html/html/functions_v.html

@@ -65,9 +65,6 @@ $(function() {
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a8d40e687caf8999369621ed385dfc631">SVF::ForkJoinAnalysis</a>
 , <a class="el" href="classSVF_1_1LockAnalysis.html#ac2fbbabca4506e28f706cf54b1614791">SVF::LockAnalysis</a>
 </li>
-<li>valid
-: <a class="el" href="structSVF_1_1VersionedFlowSensitive_1_1VersionCache.html#aa530b30b6b65bb2ba5cbc0922e8d0654">SVF::VersionedFlowSensitive::VersionCache</a>
-</li>
 <li>validateAll()
 : <a class="el" href="classSVF_1_1RaceResultValidator.html#a58e07fcd0d9a611dfd31ab62802c5990">SVF::RaceResultValidator</a>
 </li>
@@ -135,12 +132,12 @@ $(function() {
 <li>valueNodes
 : <a class="el" href="classSVF_1_1ExternalPAG.html#a4776a673e53d7b0bdd17f29a608a5620">SVF::ExternalPAG</a>
 </li>
-<li>valueToEdgeMap
-: <a class="el" href="classSVF_1_1PAG.html#a42b57f4523f30b0f739b1285ea744766">SVF::PAG</a>
-</li>
 <li>ValueToEdgeMap
 : <a class="el" href="classSVF_1_1PAG.html#a9849898bac3644021638380b60f96891">SVF::PAG</a>
 </li>
+<li>valueToEdgeMap
+: <a class="el" href="classSVF_1_1PAG.html#a42b57f4523f30b0f739b1285ea744766">SVF::PAG</a>
+</li>
 <li>ValueToIDMapTy
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#a03a11c48d748990ddac1ac5866ecb48e">SVF::SymbolTableInfo</a>
 </li>
@@ -222,9 +219,6 @@ $(function() {
 : <a class="el" href="classSVF_1_1DummyVersionPropSVFGNode.html#a6c092656833dd1eae08eac458689e37d">SVF::DummyVersionPropSVFGNode</a>
 , <a class="el" href="classSVF_1_1MRVer.html#afc08020e6d2f1721d1d1363ed3fef151">SVF::MRVer</a>
 </li>
-<li>VersionCache
-: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a8509e73c41aa3369c0d05fa38c846960">SVF::VersionedFlowSensitive</a>
-</li>
 <li>Versioned
 : <a class="el" href="classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848a33bb78ff686c2cd774e127ce77f9cb67">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
@@ -247,6 +241,9 @@ $(function() {
 <li>versionedVarToPropNode
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#af14a4cbc0b990389d31b2f88f50ad8eb">SVF::VersionedFlowSensitive</a>
 </li>
+<li>VersioningThreads
+: <a class="el" href="classSVF_1_1Options.html#adba18ce8f1496fe2e57a934f11c2dfd9">SVF::Options</a>
+</li>
 <li>versionPropTime
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#af15bb6be283fee2fcc4b1fb7d8190451">SVF::VersionedFlowSensitive</a>
 </li>
@@ -316,7 +313,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1PathStmtDPItem.html#a33758a06ff628da74639bbdc348882c4">SVF::PathStmtDPItem&lt; LocCond &gt;</a>
 </li>
 <li>VFPathCond()
-: <a class="el" href="classSVF_1_1VFPathCond.html#ab54d59837160b5499992d7ea0a19723c">SVF::VFPathCond</a>
+: <a class="el" href="classSVF_1_1VFPathCond.html#ab6826c1ee28ed96fa736cdf7323f600c">SVF::VFPathCond</a>
 </li>
 <li>VFS_WPA
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a412254a7738029bf3ee96f5c15a6bec9">SVF::PointerAnalysis</a>
@@ -360,6 +357,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>

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

@@ -333,9 +333,6 @@ $(function() {
 <li>consume
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a2e4e6a84cbfd553ad9cca8fdf9fd4a8d">SVF::VersionedFlowSensitive</a>
 </li>
-<li>consumeCache
-: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a6da3d01bd4f8b58c3dac952bba4ee958">SVF::VersionedFlowSensitive</a>
-</li>
 <li>containingAggs
 : <a class="el" href="classSVF_1_1DCHGraph.html#adc7a17f70ac3fa89624ad874dbd16ff9">SVF::DCHGraph</a>
 </li>

package/SVF-doxygen/html/html/functions_vars_d.html

@@ -104,6 +104,12 @@ $(function() {
 <li>defNodes
 : <a class="el" href="classSVF_1_1SVFGOPT.html#abd524dca72261bbcc7ebb1103b693a2b">SVF::SVFGOPT</a>
 </li>
+<li>deltaMap
+: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a11ddfa1faebf56e74e6dcc53e16142e1">SVF::VersionedFlowSensitive</a>
+</li>
+<li>deltaSourceMap
+: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#aee97e196225aaad29c0bd31d3ccbabf6">SVF::VersionedFlowSensitive</a>
+</li>
 <li>DendrogramTraversalTime
 : <a class="el" href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a67ab9cffacc1584b2e7bae5d1b08c541">SVF::NodeIDAllocator::Clusterer</a>
 </li>

package/SVF-doxygen/html/html/functions_vars_e.html

@@ -126,6 +126,9 @@ $(function() {
 <li>epsilon
 : <a class="el" href="structDdManager.html#ad495ea9a4104c2be5b4ca850a1da8c28">DdManager</a>
 </li>
+<li>equivalentObject
+: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a2d451d89f99a4bff828b682723df477f">SVF::VersionedFlowSensitive</a>
+</li>
 <li>err
 : <a class="el" href="structDdManager.html#a6b0364070de52e689fe3485a86bb2825">DdManager</a>
 </li>

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

@@ -119,6 +119,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>IndirectCallLimit
 : <a class="el" href="classSVF_1_1Options.html#ad6c29b05188c9e06aa89623c61865ed8">SVF::Options</a>
@@ -251,9 +252,15 @@ $(function() {
 <li>isIntri
 : <a class="el" href="classSVF_1_1SVFFunction.html#a29f016522d91f1b78ea05a9334b1c3e3">SVF::SVFFunction</a>
 </li>
+<li>isLoadMap
+: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a6bb3db072db0b899f306b37f1146f83d">SVF::VersionedFlowSensitive</a>
+</li>
 <li>isolated
 : <a class="el" href="structDdManager.html#a0407971624e8cbb0510be72840e1788b">DdManager</a>
 </li>
+<li>isStoreMap
+: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a18e25c3871d7cc1a6bb0592ceca90f88">SVF::VersionedFlowSensitive</a>
+</li>
 <li>isThunkFunc
 : <a class="el" href="structSVF_1_1cppUtil_1_1DemangledName.html#af6117df8aec7f4c077058fa8f00b0243">SVF::cppUtil::DemangledName</a>
 </li>

package/SVF-doxygen/html/html/functions_vars_l.html

@@ -61,9 +61,6 @@ $(function() {
  
 
 <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>
@@ -202,6 +199,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_vars_m.html

@@ -212,21 +212,9 @@ $(function() {
 <li>maxStSize
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#abb8550c9ef856e45cb7675c3796f9a35">SVF::SymbolTableInfo</a>
 </li>
-<li>meldConsume
-: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a0f3bc278aa733bd637c9905530ff2e6c">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>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>
-</li>
 <li>mem
 : <a class="el" href="classSVF_1_1ObjPN.html#a7ec3165f6b61b089e25447f55ebf86a8">SVF::ObjPN</a>
 </li>

package/SVF-doxygen/html/html/functions_vars_o.html

@@ -104,6 +104,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>OnTheFlyIterBudgetForStat
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#afc320fbf269404fe128e69c98e6f9cac">SVF::PointerAnalysis</a>
 </li>
@@ -152,9 +155,6 @@ $(function() {
 : <a class="el" href="classSVF_1_1MutableIncDFPTData.html#af5f7db6c55037a0e117a36982736039e">SVF::MutableIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentIncDFPTData.html#a054f8e2a0668387c092b2802e64a4df0">SVF::PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</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>

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

@@ -203,9 +203,21 @@ $(function() {
 <li>PredictPtOcc
 : <a class="el" href="classSVF_1_1Options.html#af34d8a738db4f40addc1de930e79654f">SVF::Options</a>
 </li>
+<li>preemptiveComplements
+: <a class="el" href="classSVF_1_1PersistentPointsToCache.html#ad9a761bcece141764322247cc326bcbe">SVF::PersistentPointsToCache&lt; Data &gt;</a>
+</li>
+<li>preemptiveIntersections
+: <a class="el" href="classSVF_1_1PersistentPointsToCache.html#ae80c5037ff49f70d9a87a83a8fcb07c7">SVF::PersistentPointsToCache&lt; Data &gt;</a>
+</li>
+<li>preemptiveUnions
+: <a class="el" href="classSVF_1_1PersistentPointsToCache.html#a98dad4f4d39904d90564f1a2279ac664">SVF::PersistentPointsToCache&lt; Data &gt;</a>
+</li>
 <li>preGCHook
 : <a class="el" href="structDdManager.html#a6e7664b46763e45c7388778e6e786a0e">DdManager</a>
 </li>
+<li>prelabeledObjects
+: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#aaae8c6858593ed050dcf2c9220228e3e">SVF::VersionedFlowSensitive</a>
+</li>
 <li>prelabelingTime
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a77a5dd9578def9a8e2b48e8b90d9b996">SVF::VersionedFlowSensitive</a>
 </li>

package/SVF-doxygen/html/html/functions_vars_r.html

@@ -133,9 +133,6 @@ $(function() {
 <li>RegioningTime
 : <a class="el" href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ad5f733cad8a103a64e80270acb67567a">SVF::NodeIDAllocator::Clusterer</a>
 </li>
-<li>relianceTime
-: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a80535bb813f8bf240a0b54ac6ad4b257">SVF::VersionedFlowSensitive</a>
-</li>
 <li>reordCycle
 : <a class="el" href="structDdManager.html#aab2156c5c7271dc0aecf7ffc18e68e5f">DdManager</a>
 </li>

package/SVF-doxygen/html/html/functions_vars_v.html

@@ -61,9 +61,6 @@ $(function() {
  
 
 <h3><a id="index_v"></a>- v -</h3><ul>
-<li>valid
-: <a class="el" href="structSVF_1_1VersionedFlowSensitive_1_1VersionCache.html#aa530b30b6b65bb2ba5cbc0922e8d0654">SVF::VersionedFlowSensitive::VersionCache</a>
-</li>
 <li>ValidateTests
 : <a class="el" href="classSVF_1_1Options.html#aec491143ded97649da1ed61b8fda796c">SVF::Options</a>
 </li>
@@ -124,6 +121,9 @@ $(function() {
 <li>versionedVarToPropNode
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#af14a4cbc0b990389d31b2f88f50ad8eb">SVF::VersionedFlowSensitive</a>
 </li>
+<li>VersioningThreads
+: <a class="el" href="classSVF_1_1Options.html#adba18ce8f1496fe2e57a934f11c2dfd9">SVF::Options</a>
+</li>
 <li>versionPropTime
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#af15bb6be283fee2fcc4b1fb7d8190451">SVF::VersionedFlowSensitive</a>
 </li>

package/SVF-doxygen/html/html/functions_vars_y.html

@@ -67,9 +67,6 @@ $(function() {
 <li>yield
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a16224ee60494bb1fdf1c8a1026fbe7ab">SVF::VersionedFlowSensitive</a>
 </li>
-<li>yieldCache
-: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a86f03759d0c9e739d70d537ab02d7082">SVF::VersionedFlowSensitive</a>
-</li>
 <li>younger
 : <a class="el" href="structMtrNode.html#a954fd8014884285b38a15a4623e77217">MtrNode</a>
 </li>

package/SVF-doxygen/html/html/functions_w.html

@@ -95,13 +95,11 @@ $(function() {
 </li>
 <li>worklist
 : <a class="el" href="classSVF_1_1SVFGOPT.html#a925f39665e13b18dfe66c2dded44c194">SVF::SVFGOPT</a>
+, <a class="el" href="classSVF_1_1WPASolver.html#a1775717a8c8d5d125b7561bc1ae6abf5">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
 <li>WorkList
 : <a class="el" href="classSVF_1_1WPASolver.html#a624e9156b2d3a4f284548cbaaf650334">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
-<li>worklist
-: <a class="el" href="classSVF_1_1WPASolver.html#a1775717a8c8d5d125b7561bc1ae6abf5">SVF::WPASolver&lt; GraphType &gt;</a>
-</li>
 <li>WorkStack
 : <a class="el" href="classSVF_1_1CSC.html#a0490b9998987d245ee6e56bc68db4f1e">SVF::CSC</a>
 </li>

package/SVF-doxygen/html/html/functions_y.html

@@ -67,9 +67,6 @@ $(function() {
 <li>yield
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a16224ee60494bb1fdf1c8a1026fbe7ab">SVF::VersionedFlowSensitive</a>
 </li>
-<li>yieldCache
-: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a86f03759d0c9e739d70d537ab02d7082">SVF::VersionedFlowSensitive</a>
-</li>
 <li>younger
 : <a class="el" href="structMtrNode.html#a954fd8014884285b38a15a4623e77217">MtrNode</a>
 </li>

package/SVF-doxygen/html/html/globals_f.html

@@ -79,12 +79,12 @@ $(function() {
 <li>fixVarTree()
 : <a class="el" href="cuddInt_8c.html#a9a7571d0ca349667f3912593b8a7d8d1">cuddInt.c</a>
 </li>
-<li>free()
-: <a class="el" href="util_8h.html#a3110dcad20c2a6616d360901b94e06a1">util.h</a>
-</li>
 <li>FREE
 : <a class="el" href="util_8h.html#aa279a8302d25fa9dfeb3e00161aee784">util.h</a>
 </li>
+<li>free()
+: <a class="el" href="util_8h.html#a3110dcad20c2a6616d360901b94e06a1">util.h</a>
+</li>
 <li>freeMatrix()
 : <a class="el" href="cuddInt_8c.html#ae61a29ea2e8e94b45114dbb698e14ac7">cuddInt.c</a>
 </li>

package/SVF-doxygen/html/html/globals_func_i.html

@@ -71,26 +71,26 @@ $(function() {
 : <a class="el" href="cuddInt_8c.html#a16251e8ba5d258ae683665b47d2112e9">cuddInt.c</a>
 </li>
 <li>InputFilename()
-: <a class="el" href="dda_8cpp.html#a17d2e24d913aaa7484a3e226255019b7">dda.cpp</a>
-, <a class="el" href="svf-ex_8cpp.html#a2d332c504284f0bc181289ee67479845">svf-ex.cpp</a>
+: <a class="el" href="svf-ex_8cpp.html#a2d332c504284f0bc181289ee67479845">svf-ex.cpp</a>
 , <a class="el" href="mta_8cpp.html#a2d332c504284f0bc181289ee67479845">mta.cpp</a>
 , <a class="el" href="saber_8cpp.html#a2d332c504284f0bc181289ee67479845">saber.cpp</a>
 , <a class="el" href="wpa_8cpp.html#a2d332c504284f0bc181289ee67479845">wpa.cpp</a>
+, <a class="el" href="dda_8cpp.html#a17d2e24d913aaa7484a3e226255019b7">dda.cpp</a>
 </li>
 <li>isAliasTestFunction()
 : <a class="el" href="TypeBasedHeapCloning_8cpp.html#a2be9728908f88e4e16b1e6218801fa06">TypeBasedHeapCloning.cpp</a>
 </li>
 <li>IsInfDouble()
-: <a class="el" href="epd_8c.html#aeda4ed6e719d13f84d757c9709f02ceb">epd.c</a>
-, <a class="el" href="epd_8h.html#aeda4ed6e719d13f84d757c9709f02ceb">epd.h</a>
+: <a class="el" href="epd_8h.html#aeda4ed6e719d13f84d757c9709f02ceb">epd.h</a>
+, <a class="el" href="epd_8c.html#aeda4ed6e719d13f84d757c9709f02ceb">epd.c</a>
 </li>
 <li>IsNanDouble()
-: <a class="el" href="epd_8h.html#a1208453615d2a105e5d8d55b2c4f3c37">epd.h</a>
-, <a class="el" href="epd_8c.html#a1208453615d2a105e5d8d55b2c4f3c37">epd.c</a>
+: <a class="el" href="epd_8c.html#a1208453615d2a105e5d8d55b2c4f3c37">epd.c</a>
+, <a class="el" href="epd_8h.html#a1208453615d2a105e5d8d55b2c4f3c37">epd.h</a>
 </li>
 <li>IsNanOrInfDouble()
-: <a class="el" href="epd_8c.html#aaf0d5247a708131ca7664c74e43d87c9">epd.c</a>
-, <a class="el" href="epd_8h.html#aaf0d5247a708131ca7664c74e43d87c9">epd.h</a>
+: <a class="el" href="epd_8h.html#aaf0d5247a708131ca7664c74e43d87c9">epd.h</a>
+, <a class="el" href="epd_8c.html#aaf0d5247a708131ca7664c74e43d87c9">epd.c</a>
 </li>
 <li>isOperOverload()
 : <a class="el" href="CPPUtil_8cpp.html#aaf7dd7cff6ac20b3702113606aafa175">CPPUtil.cpp</a>

package/SVF-doxygen/html/html/globals_func_s.html

@@ -75,8 +75,8 @@ $(function() {
 , <a class="el" href="st_8c.html#a18fa2f1785eb7a89b8cf437499521f73">st.c</a>
 </li>
 <li>st_delete()
-: <a class="el" href="st_8h.html#aeac35fa92942958472a69117777ec90d">st.h</a>
-, <a class="el" href="st_8c.html#a2d8405879414ed73f3ff6a935f3fc269">st.c</a>
+: <a class="el" href="st_8c.html#a2d8405879414ed73f3ff6a935f3fc269">st.c</a>
+, <a class="el" href="st_8h.html#aeac35fa92942958472a69117777ec90d">st.h</a>
 </li>
 <li>st_foreach()
 : <a class="el" href="st_8h.html#a5341675ff925b7a670ab4705735ceb38">st.h</a>
@@ -91,8 +91,8 @@ $(function() {
 , <a class="el" href="st_8c.html#a93394fd99c5fa4fbcce2be9717abee45">st.c</a>
 </li>
 <li>st_gen()
-: <a class="el" href="st_8h.html#aee509dc4913f3a3a18dbcd8417856ef1">st.h</a>
-, <a class="el" href="st_8c.html#a5864dab6ffcbd5d7a8891b394b76a59c">st.c</a>
+: <a class="el" href="st_8c.html#a5864dab6ffcbd5d7a8891b394b76a59c">st.c</a>
+, <a class="el" href="st_8h.html#aee509dc4913f3a3a18dbcd8417856ef1">st.h</a>
 </li>
 <li>st_gen_int()
 : <a class="el" href="st_8h.html#a2aa2db047a033b23dcd8d0b273b5e83a">st.h</a>
@@ -123,8 +123,8 @@ $(function() {
 , <a class="el" href="st_8c.html#a958c280b8f24c847ca511eaffd410f04">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>
+: <a class="el" href="st_8c.html#a0ba60ae98aae8e6dd21bbe3b485bcfbe">st.c</a>
+, <a class="el" href="st_8h.html#a65b35768bcf5b6f173b063b441a493db">st.h</a>
 </li>
 <li>st_numhash()
 : <a class="el" href="st_8h.html#a487317ef8c55ab34fb58ddfe47163b9e">st.h</a>

package/SVF-doxygen/html/html/globals_r.html

@@ -70,12 +70,12 @@ $(function() {
 <li>random_generator()
 : <a class="el" href="cuddInt_8c.html#a77a931cdec27ae26f4d8e4b9152ff7e6">cuddInt.c</a>
 </li>
-<li>realloc()
-: <a class="el" href="util_8h.html#af6ef63a39a975856bc39bf0f3d13b292">util.h</a>
-</li>
 <li>REALLOC
 : <a class="el" href="util_8h.html#ac3d02b1026db1997f09067d47aed16a8">util.h</a>
 </li>
+<li>realloc()
+: <a class="el" href="util_8h.html#af6ef63a39a975856bc39bf0f3d13b292">util.h</a>
+</li>
 <li>REGPT()
 : <a class="el" href="dda_8cpp.html#a5ed1de5ad06cf459c1b4e63685316618">dda.cpp</a>
 </li>