svf-tools 1.0.302 → 1.0.306

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

@@ -201,12 +201,12 @@ $(function() {
 <li>PAGPrint
 : <a class="el" href="classSVF_1_1Options.html#a98df022c5da54ea30b3f0ce008d3ca80">SVF::Options</a>
 </li>
-<li>pagReadFromTxt
-: <a class="el" href="classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f">SVF::SVFModule</a>
-</li>
 <li>pagReadFromTXT()
 : <a class="el" href="classSVF_1_1SVFModule.html#a1357c876eccedd58b3abe68875b3a570">SVF::SVFModule</a>
 </li>
+<li>pagReadFromTxt
+: <a class="el" href="classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f">SVF::SVFModule</a>
+</li>
 <li>pairheadmap
 : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#af65f6553c6a7184401e249d777cd520e">SVF::MTASVFGBuilder</a>
 </li>
@@ -422,12 +422,12 @@ $(function() {
 <li>PHI
 : <a class="el" href="classSVF_1_1MemSSA.html#a8e948ea7778158107657fdd8195530e1">SVF::MemSSA</a>
 </li>
-<li>PHINodeMap
-: <a class="el" href="classSVF_1_1PAG.html#aaf91fa0a5807355e276eeaeee0638aea">SVF::PAG</a>
-</li>
 <li>phiNodeMap
 : <a class="el" href="classSVF_1_1PAG.html#af3158e346a519beca6aebf6c9092efc0">SVF::PAG</a>
 </li>
+<li>PHINodeMap
+: <a class="el" href="classSVF_1_1PAG.html#aaf91fa0a5807355e276eeaeee0638aea">SVF::PAG</a>
+</li>
 <li>PHISet
 : <a class="el" href="classSVF_1_1MemSSA.html#a8a5d3597f3dba9744e170cc8c32bf25f">SVF::MemSSA</a>
 , <a class="el" href="classSVF_1_1SVFG.html#aef7ee9d802934d51b3761663bdaf0c05">SVF::SVFG</a>
@@ -523,6 +523,9 @@ $(function() {
 <li>prelabel()
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a7d86bc18060c0114a783aa1c3a7e9dda">SVF::VersionedFlowSensitive</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>
@@ -780,7 +783,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1FlowSensitive.html#a3abffe1434386b1ce349fbed0cfe0967">SVF::FlowSensitive</a>
 </li>
 <li>propagateVersion()
-: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a7a98162b69de90f80ce853a6ff43af56">SVF::VersionedFlowSensitive</a>
+: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#ad1aa83a71379164d3b7ccf6b61639cb1">SVF::VersionedFlowSensitive</a>
 </li>
 <li>propagateViaObj()
 : <a class="el" href="classSVF_1_1ContextDDA.html#a45d7a381fec0692b4d2f7d0eec47ccf1">SVF::ContextDDA</a>
@@ -879,12 +882,12 @@ $(function() {
 <li>PTACGNodeSet
 : <a class="el" href="classSVF_1_1TCT.html#afb579a5bdcc0a1c6b075bb9aae36c237">SVF::TCT</a>
 </li>
-<li>ptaImplTy
-: <a class="el" href="classSVF_1_1PointerAnalysis.html#a5d3c3094e263bf16a4f312a118c1bd36">SVF::PointerAnalysis</a>
-</li>
 <li>PTAImplTy
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#ac0c0855918cb2cdc3d8ebc175acfbd4d">SVF::PointerAnalysis</a>
 </li>
+<li>ptaImplTy
+: <a class="el" href="classSVF_1_1PointerAnalysis.html#a5d3c3094e263bf16a4f312a118c1bd36">SVF::PointerAnalysis</a>
+</li>
 <li>PTAName()
 : <a class="el" href="classSVF_1_1Andersen.html#ad92dbecc91170b235180e59ba307acda">SVF::Andersen</a>
 , <a class="el" href="classSVF_1_1ContextDDA.html#afb0ab7fc43e6f0331072419e39ae0606">SVF::ContextDDA</a>
@@ -976,12 +979,12 @@ $(function() {
 <li>PTRONLYSVFG_OPT
 : <a class="el" href="classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6a8ed0b9aea88fbbbe91f33301bea0c9dd">SVF::VFG</a>
 </li>
-<li>ptrToBVPtsMap
-: <a class="el" href="classSVF_1_1CondPTAImpl.html#a30b9ee7b1dcd04285f92cf7accd05b2e">SVF::CondPTAImpl&lt; Cond &gt;</a>
-</li>
 <li>PtrToBVPtsMap
 : <a class="el" href="classSVF_1_1CondPTAImpl.html#aba828ca8e2aa2bd71b78be8b45a48c9b">SVF::CondPTAImpl&lt; Cond &gt;</a>
 </li>
+<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#a61167fcdb2005090de1b38e53450431a">SVF::CondPTAImpl&lt; Cond &gt;</a>
 </li>

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,14 +564,12 @@ $(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_1PersistentDiffPTData.html#ac008ee5f7e4d286f9e76d85989358305">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+: <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>
 </li>
 <li>revPtsMap
@@ -612,7 +610,7 @@ $(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>

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

@@ -112,13 +112,11 @@ $(function() {
 </li>
 <li>SCC
 : <a class="el" href="classSVF_1_1MRGenerator.html#af8d52e6c9884c6e1abc6dbcbc5e32629">SVF::MRGenerator</a>
+, <a class="el" href="classSVF_1_1WPASolver.html#a1352953966be14b2a1d6244f35e74a33">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
 <li>scc
 : <a class="el" href="classSVF_1_1WPASolver.html#a21709a0f33b6238afe735cc9fe49ff70">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
-<li>SCC
-: <a class="el" href="classSVF_1_1WPASolver.html#a1352953966be14b2a1d6244f35e74a33">SVF::WPASolver&lt; GraphType &gt;</a>
-</li>
 <li>sccCandidates
 : <a class="el" href="classSVF_1_1AndersenSCD.html#aeb0b3644c3bfbfa5768b92c99aeeef40">SVF::AndersenSCD</a>
 </li>
@@ -137,12 +135,12 @@ $(function() {
 <li>SCCDetectionTime
 : <a class="el" href="classSVF_1_1PTAStat.html#ad4c1cf3750341f73987c37745f3bd2aa">SVF::PTAStat</a>
 </li>
-<li>SCCEdgeFlag
-: <a class="el" href="classSVF_1_1ConstraintNode.html#a6e59b815d784bc1a9437290ff0e1e28c">SVF::ConstraintNode</a>
-</li>
 <li>sccEdgeFlag
 : <a class="el" href="classSVF_1_1ConstraintNode.html#a0fd9fca5ed82cf83dbd825d23c63783a">SVF::ConstraintNode</a>
 </li>
+<li>SCCEdgeFlag
+: <a class="el" href="classSVF_1_1ConstraintNode.html#a6e59b815d784bc1a9437290ff0e1e28c">SVF::ConstraintNode</a>
+</li>
 <li>SCCMergeTime
 : <a class="el" href="classSVF_1_1PTAStat.html#a8c4101e697057269def501d14a987287">SVF::PTAStat</a>
 </li>
@@ -465,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>
@@ -807,12 +805,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#a45e786ca09aa6cbfcf17d8e5a166a801">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>
@@ -828,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#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>
@@ -951,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

@@ -196,18 +196,18 @@ $(function() {
 , <a class="el" href="classSVF_1_1ThreadAPI.html#a2faebd2e481362b11ccce4256f81c32d">SVF::ThreadAPI</a>
 , <a class="el" href="classSVF_1_1ThreadCallGraph.html#af1146c3d8e8b8885a1c48701e5b5a27f">SVF::ThreadCallGraph</a>
 </li>
-<li>TDAPIMap
-: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a3115116dc595c4b157f2cfc0a6ea89fc">SVF::SaberCheckerAPI</a>
-</li>
 <li>tdAPIMap
 : <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a62471599cba4bde20d2696a91fa064ec">SVF::SaberCheckerAPI</a>
 </li>
 <li>TDAPIMap
-: <a class="el" href="classSVF_1_1ThreadAPI.html#ae9721b91bd60d27ae3dd48cb058301b2">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a3115116dc595c4b157f2cfc0a6ea89fc">SVF::SaberCheckerAPI</a>
 </li>
 <li>tdAPIMap
 : <a class="el" href="classSVF_1_1ThreadAPI.html#a4277abaae24b43d83470054c247f479c">SVF::ThreadAPI</a>
 </li>
+<li>TDAPIMap
+: <a class="el" href="classSVF_1_1ThreadAPI.html#ae9721b91bd60d27ae3dd48cb058301b2">SVF::ThreadAPI</a>
+</li>
 <li>TDDead
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a8d40e687caf8999369621ed385dfc631ad5af2a561c196e33d88fc63363d0d8f4">SVF::ForkJoinAnalysis</a>
 </li>
@@ -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_1PTAType.html#a748b82b463001ba95f08a7ec229c412b">SVF::PTAType</a>
+: <a class="el" href="classSVF_1_1PointsTo.html#aaa9c956187f2c04a7a242ce440d1416f">SVF::PointsTo</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_u.html

@@ -64,12 +64,12 @@ $(function() {
 <li>ub
 : <a class="el" href="structDdGen.html#ae51bc3e1c4430dd5b62f280e0e964512">DdGen</a>
 </li>
-<li>UnaryNodeMap
-: <a class="el" href="classSVF_1_1PAG.html#a471804c7fbdfacd90915c3a9cec7fccd">SVF::PAG</a>
-</li>
 <li>unaryNodeMap
 : <a class="el" href="classSVF_1_1PAG.html#a5c450f3a87983c66a477081acd97a49f">SVF::PAG</a>
 </li>
+<li>UnaryNodeMap
+: <a class="el" href="classSVF_1_1PAG.html#a471804c7fbdfacd90915c3a9cec7fccd">SVF::PAG</a>
+</li>
 <li>UnaryOp
 : <a class="el" href="classSVF_1_1PAGEdge.html#a79080505b4744aa8806b55215ac2b0f6afad5f112c36b6e35baf38054c14ae597">SVF::PAGEdge</a>
 , <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a31dae52a5c31284a8fe54294bd34a5dc">SVF::VFGNode</a>

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#a9849898bac3644021638380b60f96891">SVF::PAG</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>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

@@ -252,6 +252,9 @@ $(function() {
 <li>classNum
 : <a class="el" href="classSVF_1_1CHGraph.html#adb99b732d20cfc8cc0f078cda6753bc0">SVF::CHGraph</a>
 </li>
+<li>ClockType
+: <a class="el" href="classSVF_1_1Options.html#a6a62b34de8ec23899a8024e0450c43df">SVF::Options</a>
+</li>
 <li>cloneToOriginalObj
 : <a class="el" href="classSVF_1_1TypeBasedHeapCloning.html#accbf71007be662ee2436ca3d76b903ed">SVF::TypeBasedHeapCloning</a>
 </li>
@@ -330,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

@@ -206,6 +206,9 @@ $(function() {
 <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

@@ -61,6 +61,9 @@ $(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_w"></a>- w -</h3><ul>
+<li>Wall
+: <a class="el" href="classSVF_1_1PTAStat.html#a926cd5ab95f4f42ffe264413a32725cfa6c9d7a9709df10eb67ce27e744e0f61c">SVF::PTAStat</a>
+</li>
 <li>weakUpdateOutFromIn()
 : <a class="el" href="classSVF_1_1FlowSensitive.html#ab492c283e2264b4cbd4c192e805b7750">SVF::FlowSensitive</a>
 </li>
@@ -88,15 +91,11 @@ $(function() {
 , <a class="el" href="classSVF_1_1MRGenerator.html#a68d50c752252bd40c402c7b99b95f0fc">SVF::MRGenerator</a>
 , <a class="el" href="classSVF_1_1SaberSVFGBuilder.html#a8e07c6afc4ae6e2792431065c2948039">SVF::SaberSVFGBuilder</a>
 , <a class="el" href="classSVF_1_1SrcSnkDDA.html#a3c0d8850c4dae49a760ce5f80fb8822a">SVF::SrcSnkDDA</a>
+, <a class="el" href="classSVF_1_1SVFGOPT.html#a3ee399dc45e90a512be7575642855f40">SVF::SVFGOPT</a>
 </li>
 <li>worklist
 : <a class="el" href="classSVF_1_1SVFGOPT.html#a925f39665e13b18dfe66c2dded44c194">SVF::SVFGOPT</a>
-</li>
-<li>WorkList
-: <a class="el" href="classSVF_1_1SVFGOPT.html#a3ee399dc45e90a512be7575642855f40">SVF::SVFGOPT</a>
-</li>
-<li>worklist
-: <a class="el" href="classSVF_1_1WPASolver.html#a1775717a8c8d5d125b7561bc1ae6abf5">SVF::WPASolver&lt; GraphType &gt;</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>