svf-tools 1.0.555 → 1.0.558

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

@@ -472,10 +472,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1SparseBitVector.html#a4f618377a31eba119de672b0be4936bc">SVF::SparseBitVector&lt; ElementSize &gt;</a>
 </li>
 <li>SparseBitVectorElement()
-: <a class="el" href="structSVF_1_1SparseBitVectorElement.html#a4ec765790960025d3468866c326ab87b">SVF::SparseBitVectorElement&lt; ElementSize &gt;</a>
+: <a class="el" href="structSVF_1_1SparseBitVectorElement.html#a75777b1461184d8fb2cfa4ec6e95c1c5">SVF::SparseBitVectorElement&lt; ElementSize &gt;</a>
 </li>
 <li>SparseBitVectorIterator()
-: <a class="el" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a5fe4841ca223f13c2aeec4c6e69a7b43">SVF::SparseBitVector&lt; ElementSize &gt;::SparseBitVectorIterator</a>
+: <a class="el" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#aa482a56540a5279f71d93884b57f46ef">SVF::SparseBitVector&lt; ElementSize &gt;::SparseBitVectorIterator</a>
 </li>
 <li>spawneesBegin()
 : <a class="el" href="classSVF_1_1PCG.html#a776beaeae8b6058f1f9c314a77e32083">SVF::PCG</a>
@@ -497,7 +497,7 @@ $(function() {
 </li>
 <li>split()
 : <a class="el" href="classSVF_1_1LockResultValidator.html#ab8a6935e1ea6f99d60ead862a7b1782f">SVF::LockResultValidator</a>
-, <a class="el" href="classSVF_1_1MTAResultValidator.html#a73db9ad234b263b6e644e4b38be14fe6">SVF::MTAResultValidator</a>
+, <a class="el" href="classSVF_1_1MTAResultValidator.html#a7dad63ce2a85142a56d13926f10fde47">SVF::MTAResultValidator</a>
 </li>
 <li>SrcSnkDDA()
 : <a class="el" href="classSVF_1_1SrcSnkDDA.html#a73f6ddd4ba868e203109c52e4f3600bd">SVF::SrcSnkDDA</a>
@@ -512,7 +512,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MemSSA.html#a271c20725d49dd65b95c062938ffde4c">SVF::MemSSA</a>
 </li>
 <li>startClk()
-: <a class="el" href="classSVF_1_1PTAStat.html#a5524ff7901659f56e9de343992be8f3b">SVF::PTAStat</a>
+: <a class="el" href="classSVF_1_1SVFStat.html#a730cc814fede3edb563aa9957c869e9e">SVF::SVFStat</a>
 </li>
 <li>startNewPTCompFromLoadSrc()
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#acd694c2092adf8c516d1aba5f798cec7">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
@@ -549,19 +549,19 @@ $(function() {
 : <a class="el" href="classSVF_1_1StmtVFGNode.html#a03c4e0a31d2377ef4ffe46fe183ccd9d">SVF::StmtVFGNode</a>
 </li>
 <li>store()
-: <a class="el" href="classSVF_1_1ExeState.html#ade4fc12b40dd05bf840c313f2b723879">SVF::ExeState</a>
+: <a class="el" href="classSVF_1_1ExeState.html#a08db85e0e599d17b54743feb03a7717a">SVF::ExeState</a>
 </li>
 <li>StoreCGEdge()
-: <a class="el" href="classSVF_1_1StoreCGEdge.html#a667b277ef845b866d3b11a7fbfce0815">SVF::StoreCGEdge</a>
+: <a class="el" href="classSVF_1_1StoreCGEdge.html#a0f873b0be0ac726e412171119c5b3a50">SVF::StoreCGEdge</a>
 </li>
 <li>StoreCHI()
 : <a class="el" href="classSVF_1_1StoreCHI.html#a34433e6e437d302014fd06b5fb624a79">SVF::StoreCHI&lt; Cond &gt;</a>
 </li>
 <li>StoreStmt()
-: <a class="el" href="classSVF_1_1StoreStmt.html#a22bc2f9290dfd7ade13ba63cc983ac42">SVF::StoreStmt</a>
+: <a class="el" href="classSVF_1_1StoreStmt.html#a39ee0d8cc951aff0d6418a3d743fb3ae">SVF::StoreStmt</a>
 </li>
 <li>StoreVFGNode()
-: <a class="el" href="classSVF_1_1StoreVFGNode.html#a496607cda1cc26a8753d6a7af620e95a">SVF::StoreVFGNode</a>
+: <a class="el" href="classSVF_1_1StoreVFGNode.html#ab4b9182cb0f2ef7dfc1e15789a311ecd">SVF::StoreVFGNode</a>
 </li>
 <li>str2Kind()
 : <a class="el" href="classSVF_1_1GrammarBase.html#ad2d56d8cdc4539d4201d1995fb36e772">SVF::GrammarBase</a>
@@ -585,14 +585,14 @@ $(function() {
 : <a class="el" href="classSVF_1_1CFGNormalizer.html#adbd98b8ece3c8234d5791fab47dcdbf9">SVF::CFGNormalizer</a>
 </li>
 <li>subNodes()
-: <a class="el" href="classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#aa2b23b22bb0304ce07ab9b14f0fdc395">SVF::SCCDetection&lt; GraphType &gt;::GNodeSCCInfo</a>
+: <a class="el" href="classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a48981e6555ad221d08f16ed2df708027">SVF::SCCDetection&lt; GraphType &gt;::GNodeSCCInfo</a>
 , <a class="el" href="classSVF_1_1SCCDetection.html#a6ab5eff6a576e6d8703c1ea29b7f425d">SVF::SCCDetection&lt; GraphType &gt;</a>
 </li>
 <li>SVFBasicBlock()
 : <a class="el" href="classSVF_1_1SVFBasicBlock.html#abf53678f536d64c4d979600c9fe429d1">SVF::SVFBasicBlock</a>
 </li>
 <li>SVFFunction()
-: <a class="el" href="classSVF_1_1SVFFunction.html#a9f26d10b95201148e0ef54ee7ad9e022">SVF::SVFFunction</a>
+: <a class="el" href="classSVF_1_1SVFFunction.html#ae7a55d86a87088f7d70254980e4325b3">SVF::SVFFunction</a>
 </li>
 <li>SVFG()
 : <a class="el" href="classSVF_1_1SVFG.html#a68965c5a9cc5136aa0b593851c60ff12">SVF::SVFG</a>
@@ -630,6 +630,9 @@ $(function() {
 <li>SVFModule()
 : <a class="el" href="classSVF_1_1SVFModule.html#a22b214595dd7841eb974e7c633ed8bb1">SVF::SVFModule</a>
 </li>
+<li>SVFStat()
+: <a class="el" href="classSVF_1_1SVFStat.html#ad22433722f7c71df19a891a5b5039d26">SVF::SVFStat</a>
+</li>
 <li>SVFStmt()
 : <a class="el" href="classSVF_1_1SVFStmt.html#a2ab7295fe26d2c6d2d5c9fd027f96a47">SVF::SVFStmt</a>
 </li>
@@ -643,7 +646,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1GrammarBase.html#a4c0b76ce574087acdcb3e884480b18b0">SVF::GrammarBase</a>
 </li>
 <li>Symbol()
-: <a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#aa37072e1a6c0875305260c7c2414d767">SVF::GrammarBase::Symbol</a>
+: <a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#ad8268060892644d15b13f84124bc1eaf">SVF::GrammarBase::Symbol</a>
 </li>
 <li>SymbolInfo()
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#a267169023fc4f8dd66b145f7231fec11">SVF::SymbolTableInfo</a>

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

@@ -79,7 +79,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1GenericNode.html#a03c6da4a73c47f84f5c5b47252bc339a">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>generalNumMap
-: <a class="el" href="classSVF_1_1PTAStat.html#afa718535839a939e51afc0f8c1fbdac6">SVF::PTAStat</a>
+: <a class="el" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">SVF::SVFStat</a>
 </li>
 <li>generateMRs()
 : <a class="el" href="classSVF_1_1MRGenerator.html#a4f65593325e4391333fa1b0bedbffc4a">SVF::MRGenerator</a>
@@ -571,7 +571,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MemSSA.html#a2e656a50f8964fc3e99d1d436de64418">SVF::MemSSA</a>
 </li>
 <li>getClk()
-: <a class="el" href="classSVF_1_1PTAStat.html#a3c4eaa1695ea13405911ae1621f98edc">SVF::PTAStat</a>
+: <a class="el" href="classSVF_1_1SVFStat.html#ac9d390c417df6f6af6b274618b87010d">SVF::SVFStat</a>
 </li>
 <li>getCmpVFGNode()
 : <a class="el" href="classSVF_1_1VFG.html#a9215c1d7f1152967f0731057a085e793">SVF::VFG</a>

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

@@ -116,12 +116,12 @@ $(function() {
 <li>LLVMLoopAnalysis()
 : <a class="el" href="classSVF_1_1LLVMLoopAnalysis.html#a93161bbdb47c74fce1d8e54a45df2df8">SVF::LLVMLoopAnalysis</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>
 </li>
@@ -172,12 +172,12 @@ $(function() {
 <li>LoadStmt()
 : <a class="el" href="classSVF_1_1LoadStmt.html#a4bd939005c7c6a5da4ed3b6be6ef1a22">SVF::LoadStmt</a>
 </li>
-<li>loadsToMRsMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#a0d8229b1f0b8428708e923d19096e4ba">SVF::MRGenerator</a>
-</li>
 <li>LoadsToMRsMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#a273b2634adcfa10a08924517e8d51175">SVF::MRGenerator</a>
 </li>
+<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>

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

@@ -364,6 +364,7 @@ $(function() {
 </li>
 <li>moduleName
 : <a class="el" href="classSVF_1_1PTAStat.html#a194734855aa1c9e0ba891f1085d50d5d">SVF::PTAStat</a>
+, <a class="el" href="classSVF_1_1SVFStat.html#a3333e45303dcc9c3da00858628cdbbff">SVF::SVFStat</a>
 </li>
 <li>modulePass
 : <a class="el" href="classSVF_1_1MTA.html#a3dd09dcdcf58ae8ee1745634cefbb8aa">SVF::MTA</a>
@@ -478,7 +479,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFStmt.html#a9ea22adbfc307dddee42ffec07cc88ed">SVF::SVFStmt</a>
 </li>
 <li>MultiOpndStmt()
-: <a class="el" href="classSVF_1_1MultiOpndStmt.html#a6b01d569057dda1783503563c20c74e6">SVF::MultiOpndStmt</a>
+: <a class="el" href="classSVF_1_1MultiOpndStmt.html#a60420a9681df31686eb4a42adf37e1e3">SVF::MultiOpndStmt</a>
 </li>
 <li>MUSet
 : <a class="el" href="classSVF_1_1MemSSA.html#a81bba824495a882b49e687683954b112">SVF::MemSSA</a>

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

@@ -693,7 +693,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ac5fe44f10cdbca9754444943a0f5c3c1">SVF::NodeIDAllocator::Clusterer</a>
 </li>
 <li>NUMStatMap
-: <a class="el" href="classSVF_1_1PTAStat.html#a7e8f9f9c1662822f3f8bd016db84e1e6">SVF::PTAStat</a>
+: <a class="el" href="classSVF_1_1SVFStat.html#ab810863d70cb2f5b4e312d07eae51227">SVF::SVFStat</a>
 </li>
 <li>numSymbols
 : <a class="el" href="classSVF_1_1NodeIDAllocator.html#a3a160f4c6e761a130b863a3df0af7f96">SVF::NodeIDAllocator</a>

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

@@ -456,12 +456,12 @@ $(function() {
 <li>opVarBegin()
 : <a class="el" href="classSVF_1_1MultiOpndStmt.html#abebed8985cb4d4d1361c42e5454c90b9">SVF::MultiOpndStmt</a>
 </li>
-<li>opVars
-: <a class="el" href="classSVF_1_1MultiOpndStmt.html#a172025849492f4de8f87564ef08f5880">SVF::MultiOpndStmt</a>
-</li>
 <li>OPVars
 : <a class="el" href="classSVF_1_1MultiOpndStmt.html#acf8c7cfbf1c8baab672040635bb9a007">SVF::MultiOpndStmt</a>
 </li>
+<li>opVars
+: <a class="el" href="classSVF_1_1MultiOpndStmt.html#a172025849492f4de8f87564ef08f5880">SVF::MultiOpndStmt</a>
+</li>
 <li>opVer
 : <a class="el" href="classSVF_1_1MSSACHI.html#a86f2f3f6e2215cdbe31caee048510757">SVF::MSSACHI&lt; Cond &gt;</a>
 </li>

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

@@ -86,12 +86,12 @@ $(function() {
 <li>PAGEdgeSetTy
 : <a class="el" href="classSVF_1_1SVFStmt.html#a2bdfa37167b5496629e5cae62705d5f2">SVF::SVFStmt</a>
 </li>
-<li>PAGEdgeToFunMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#a82be01b460a498c07fb6a8aba853ed31">SVF::MRGenerator</a>
-</li>
 <li>pagEdgeToFunMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#ab250a4950269f57027d8e8ef10089f58">SVF::MRGenerator</a>
 </li>
+<li>PAGEdgeToFunMap
+: <a class="el" href="classSVF_1_1MRGenerator.html#a82be01b460a498c07fb6a8aba853ed31">SVF::MRGenerator</a>
+</li>
 <li>PAGEdgeToSetMapTy
 : <a class="el" href="classSVF_1_1SVFStmt.html#a229c78147511f2a581c761552179b6fa">SVF::SVFStmt</a>
 </li>
@@ -172,12 +172,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>
@@ -285,9 +285,10 @@ $(function() {
 , <a class="el" href="classSVF_1_1ICFGStat.html#aabe0779dc44ddc4e06300ea912cca39f">SVF::ICFGStat</a>
 , <a class="el" href="classSVF_1_1MemSSA.html#a89c40c8fad70f3aead6531261e5a3cc3">SVF::MemSSA</a>
 , <a class="el" href="classSVF_1_1MemSSAStat.html#a8b4b9466a676d2391c71d38e8be16bc9">SVF::MemSSAStat</a>
-, <a class="el" href="classSVF_1_1PTAStat.html#acfed70588cf921694db35990ec3c7497">SVF::PTAStat</a>
+, <a class="el" href="classSVF_1_1PTAStat.html#ad6de9d3f25c20705768000c987af0eb6">SVF::PTAStat</a>
 , <a class="el" href="classSVF_1_1SVFG.html#adc9fbb4553472b238d6c3bb5062279cb">SVF::SVFG</a>
 , <a class="el" href="classSVF_1_1SVFGStat.html#a037600bfff11659542f8595d8700dec4">SVF::SVFGStat</a>
+, <a class="el" href="classSVF_1_1SVFStat.html#a6113f8d009c42519f3a43913a0c02b95">SVF::SVFStat</a>
 , <a class="el" href="classSVF_1_1VersionedFlowSensitiveStat.html#af202623692135ad746aed1be995c55fb">SVF::VersionedFlowSensitiveStat</a>
 </li>
 <li>performStatforIFDS()
@@ -295,7 +296,7 @@ $(function() {
 </li>
 <li>performStatPerQuery()
 : <a class="el" href="classSVF_1_1DDAStat.html#a11dd60d124a8d3433312589ede4e7b11">SVF::DDAStat</a>
-, <a class="el" href="classSVF_1_1PTAStat.html#adef061d4454a1b1fb46efa4013d9a956">SVF::PTAStat</a>
+, <a class="el" href="classSVF_1_1SVFStat.html#ab03780f736bed7861c9be14637e37ba3">SVF::SVFStat</a>
 </li>
 <li>performTCTStat()
 : <a class="el" href="classSVF_1_1MTAStat.html#a12f6bd291b206c18001f5d4775251481">SVF::MTAStat</a>
@@ -382,7 +383,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1SVFG.html#aef7ee9d802934d51b3761663bdaf0c05">SVF::SVFG</a>
 </li>
 <li>PhiStmt()
-: <a class="el" href="classSVF_1_1PhiStmt.html#a7ac7cc8a4fd0c692b45df02fc5166b3b">SVF::PhiStmt</a>
+: <a class="el" href="classSVF_1_1PhiStmt.html#a74e4c9a108d70aff8acaf3f32a16335f">SVF::PhiStmt</a>
 </li>
 <li>phiTime
 : <a class="el" href="classSVF_1_1FlowSensitive.html#aee7d59b7ad00cf1cf6e3fba19513aa42">SVF::FlowSensitive</a>
@@ -571,15 +572,16 @@ $(function() {
 <li>printStat()
 : <a class="el" href="classSVF_1_1AndersenBase.html#a566830d0c7a1f5cd967bb8f2ab168f8d">SVF::AndersenBase</a>
 , <a class="el" href="classSVF_1_1DDAStat.html#ae6fd32471e0b9bf51233a36676658b49">SVF::DDAStat</a>
-, <a class="el" href="classSVF_1_1ICFGStat.html#a2058c584a93cb6c90f165207dbdb01d6">SVF::ICFGStat</a>
+, <a class="el" href="classSVF_1_1ICFGStat.html#af9c004e3532968ae806a3d344ef885ea">SVF::ICFGStat</a>
 , <a class="el" href="classSVF_1_1MemSSAStat.html#ad5fbe23c3374e5b3a45ac5fa4900441a">SVF::MemSSAStat</a>
 , <a class="el" href="classSVF_1_1PointerAnalysis.html#a4880571f57542afc50da506dfe273183">SVF::PointerAnalysis</a>
-, <a class="el" href="classSVF_1_1PTAStat.html#aa5f455bfa79743b8e263431593d29bbf">SVF::PTAStat</a>
+, <a class="el" href="classSVF_1_1PTAStat.html#aca3e99ad83bddabee1dd565522691c78">SVF::PTAStat</a>
 , <a class="el" href="classSVF_1_1SVFGStat.html#a2e0adcfbe233523212e1ffbf5b01ba88">SVF::SVFGStat</a>
+, <a class="el" href="classSVF_1_1SVFStat.html#a77c3cfb0c2b85a343ad0fac3682557c3">SVF::SVFStat</a>
 </li>
 <li>printStatPerQuery()
 : <a class="el" href="classSVF_1_1DDAStat.html#ae695696e5cd06eb27635887f0de30eff">SVF::DDAStat</a>
-, <a class="el" href="classSVF_1_1PTAStat.html#a7ce0630cfe41448bec002f03a176175d">SVF::PTAStat</a>
+, <a class="el" href="classSVF_1_1SVFStat.html#a2dd8ce8bb1970344533babb9fc8ddd02">SVF::SVFStat</a>
 </li>
 <li>printStats()
 : <a class="el" href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ac10cbda6a84ce890c9946a5ff35800b7">SVF::NodeIDAllocator::Clusterer</a>
@@ -810,12 +812,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>
@@ -838,11 +840,13 @@ $(function() {
 </li>
 <li>PTAVector
 : <a class="el" href="classSVF_1_1DDAPass.html#acc7ad5d3266cb3e24fba0b4db186348a">SVF::DDAPass</a>
-, <a class="el" href="classSVF_1_1WPAPass.html#ad4e3d480ebcc6bbbb7bcc8dc3df8663e">SVF::WPAPass</a>
 </li>
 <li>ptaVector
 : <a class="el" href="classSVF_1_1WPAPass.html#a72a66ae158793f5d1bcb37b655db4446">SVF::WPAPass</a>
 </li>
+<li>PTAVector
+: <a class="el" href="classSVF_1_1WPAPass.html#ad4e3d480ebcc6bbbb7bcc8dc3df8663e">SVF::WPAPass</a>
+</li>
 <li>PTBackingType
 : <a class="el" href="classSVF_1_1BVDataPTAImpl.html#ad76328a8543b02784992afc2d5501d8a">SVF::BVDataPTAImpl</a>
 </li>
@@ -904,18 +908,18 @@ $(function() {
 <li>ptrsInUncalledFunctions
 : <a class="el" href="classSVF_1_1SVFModule.html#a816a7065cd2cf664626ee023f9dfbd1d">SVF::SVFModule</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#a5043e9d9255d31777d038c48c809bb09">SVF::CondPTAImpl&lt; Cond &gt;</a>
+<li>PtrToBVPtsMap
+: <a class="el" href="classSVF_1_1CondPTAImpl.html#aba828ca8e2aa2bd71b78be8b45a48c9b">SVF::CondPTAImpl&lt; Cond &gt;</a>
 </li>
 <li>ptrToCPtsMap
 : <a class="el" href="classSVF_1_1CondPTAImpl.html#a61167fcdb2005090de1b38e53450431a">SVF::CondPTAImpl&lt; Cond &gt;</a>
 </li>
+<li>PtrToCPtsMap
+: <a class="el" href="classSVF_1_1CondPTAImpl.html#a5043e9d9255d31777d038c48c809bb09">SVF::CondPTAImpl&lt; Cond &gt;</a>
+</li>
 <li>PtrToNSMap
 : <a class="el" href="classSVF_1_1CondPTAImpl.html#a838c3f2be39d278072f7a9df7c0bcb4d">SVF::CondPTAImpl&lt; Cond &gt;</a>
 </li>

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

@@ -540,17 +540,21 @@ $(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_1PersistentPTData.html#aad89172e6e99d5ee576faa7bc74b36d8">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+: <a class="el" href="classSVF_1_1PersistentDiffPTData.html#ac008ee5f7e4d286f9e76d85989358305">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>revPtsMap
 : <a class="el" href="classSVF_1_1PersistentPTData.html#a7b43ad5045ebdaa86f2587ea3f2f9563">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
+<li>RevPtsMap
+: <a class="el" href="classSVF_1_1PersistentPTData.html#aad89172e6e99d5ee576faa7bc74b36d8">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+</li>
 <li>rid
 : <a class="el" href="classSVF_1_1MemRegion.html#aeb8ba1e0c907aeb3de84d8bd899c98b4">SVF::MemRegion</a>
 </li>

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

@@ -118,13 +118,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>
@@ -511,7 +509,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1AndersenSFR.html#a0865c50224ffc1e053cf859122f83f75">SVF::AndersenSFR</a>
 </li>
 <li>SFRTrait
-: <a class="el" href="classSVF_1_1AndersenSFR.html#a654c391ad41b026eec2e0a1a54146600">SVF::AndersenSFR</a>
+: <a class="el" href="classSVF_1_1AndersenSFR.html#a2d41b49a1474c030ef2324c14467af30">SVF::AndersenSFR</a>
 </li>
 <li>sfvgOptEnd()
 : <a class="el" href="classSVF_1_1SVFGStat.html#aaec3a7f29b3ded0c971d57376d2779ff">SVF::SVFGStat</a>
@@ -677,7 +675,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1PTASCEV.html#a0de1531fc72f5aa0bafc59101faae68d">SVF::PTASCEV</a>
 </li>
 <li>startClk()
-: <a class="el" href="classSVF_1_1PTAStat.html#a5524ff7901659f56e9de343992be8f3b">SVF::PTAStat</a>
+: <a class="el" href="classSVF_1_1SVFStat.html#a730cc814fede3edb563aa9957c869e9e">SVF::SVFStat</a>
 </li>
 <li>startKind
 : <a class="el" href="classSVF_1_1CFLGraph.html#a0723f25be2a163b21f478cddca5293d2">SVF::CFLGraph</a>
@@ -691,6 +689,7 @@ $(function() {
 </li>
 <li>startTime
 : <a class="el" href="classSVF_1_1PTAStat.html#a59e0fe6fa506f1cf319b5acaf9d28be9">SVF::PTAStat</a>
+, <a class="el" href="classSVF_1_1SVFStat.html#abd7a79d1fe50110a0c1d448027492669">SVF::SVFStat</a>
 </li>
 <li>stat
 : <a class="el" href="classSVF_1_1MemSSA.html#a4fc930040ec54eb60629da18fb6a4d04">SVF::MemSSA</a>
@@ -736,7 +735,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1PTASCEV.html#aead435732fbb492627f746b3d0654ce2">SVF::PTASCEV</a>
 </li>
 <li>StInfo()
-: <a class="el" href="classSVF_1_1StInfo.html#acf028061b5a83c339766c30b19e8fc65">SVF::StInfo</a>
+: <a class="el" href="classSVF_1_1StInfo.html#a72dd2114d61e1489676a524b83ebb5ac">SVF::StInfo</a>
 </li>
 <li>StmtDPItem()
 : <a class="el" href="classSVF_1_1StmtDPItem.html#aed9239e5558569f6e957e691fa1872d7">SVF::StmtDPItem&lt; LocCond &gt;</a>
@@ -754,7 +753,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375a20d6a102ddc06257a822ffffcc5a3b47">SVF::ConstraintEdge</a>
 </li>
 <li>store()
-: <a class="el" href="classSVF_1_1ExeState.html#ade4fc12b40dd05bf840c313f2b723879">SVF::ExeState</a>
+: <a class="el" href="classSVF_1_1ExeState.html#a08db85e0e599d17b54743feb03a7717a">SVF::ExeState</a>
 </li>
 <li>Store
 : <a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9aa0f700b514c431ec5329aec49df56dcc">SVF::SVFStmt</a>
@@ -764,7 +763,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MemSSA.html#a73d7465cf166d9ffa9d234d15edb375a">SVF::MemSSA</a>
 </li>
 <li>StoreCGEdge()
-: <a class="el" href="classSVF_1_1StoreCGEdge.html#afdba4e02b1ccdc19fdc18bbe43363e79">SVF::StoreCGEdge</a>
+: <a class="el" href="classSVF_1_1StoreCGEdge.html#a667b277ef845b866d3b11a7fbfce0815">SVF::StoreCGEdge</a>
 </li>
 <li>StoreCGEdgeSet
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#a0f9d5eef25827ac1d380e5d8bd225025">SVF::ConstraintGraph</a>
@@ -800,20 +799,20 @@ $(function() {
 : <a class="el" href="classSVF_1_1MTAAnnotator.html#a37df9f2416685c535be2faa01e162f3a">SVF::MTAAnnotator</a>
 </li>
 <li>StoreStmt()
-: <a class="el" href="classSVF_1_1StoreStmt.html#a39ee0d8cc951aff0d6418a3d743fb3ae">SVF::StoreStmt</a>
-</li>
-<li>StoresToMRsMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#afacb458ca832ef459e873b7d90134a8c">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1StoreStmt.html#a22bc2f9290dfd7ade13ba63cc983ac42">SVF::StoreStmt</a>
 </li>
 <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#a357e1654e30b2f91f6ea30ea5a52e91d">SVF::MRGenerator</a>
+<li>StoresToMRsMap
+: <a class="el" href="classSVF_1_1MRGenerator.html#afacb458ca832ef459e873b7d90134a8c">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#a357e1654e30b2f91f6ea30ea5a52e91d">SVF::MRGenerator</a>
+</li>
 <li>storeTime
 : <a class="el" href="classSVF_1_1FlowSensitive.html#a82b76087363b26fbe749653935569de7">SVF::FlowSensitive</a>
 </li>
@@ -827,7 +826,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#accaacd2dd680f92ff83cfe75eef6ffab">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
 <li>StoreVFGNode()
-: <a class="el" href="classSVF_1_1StoreVFGNode.html#ab4b9182cb0f2ef7dfc1e15789a311ecd">SVF::StoreVFGNode</a>
+: <a class="el" href="classSVF_1_1StoreVFGNode.html#a496607cda1cc26a8753d6a7af620e95a">SVF::StoreVFGNode</a>
 </li>
 <li>str2Kind()
 : <a class="el" href="classSVF_1_1GrammarBase.html#ad2d56d8cdc4539d4201d1995fb36e772">SVF::GrammarBase</a>
@@ -835,12 +834,12 @@ $(function() {
 <li>str2Symbol()
 : <a class="el" href="classSVF_1_1GrammarBase.html#a5c081c6ff0501fc91b71352995d6d9dc">SVF::GrammarBase</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>stride
 : <a class="el" href="classSVF_1_1StInfo.html#a6c52ecbeeeeb0dda019c68aec687f2c2">SVF::StInfo</a>
 </li>
@@ -897,7 +896,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4582a3728eda9f58c4e7d069e4fec577">SVF::SVFValue</a>
 </li>
 <li>SVFFunction()
-: <a class="el" href="classSVF_1_1SVFFunction.html#ae7a55d86a87088f7d70254980e4325b3">SVF::SVFFunction</a>
+: <a class="el" href="classSVF_1_1SVFFunction.html#a9f26d10b95201148e0ef54ee7ad9e022">SVF::SVFFunction</a>
 </li>
 <li>svfg
 : <a class="el" href="classSVF_1_1FlowSensitive.html#aae032e5f5d53b131d0112dc8faa464a9">SVF::FlowSensitive</a>
@@ -970,12 +969,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#adaf0bb2e3104c9d86d997b2e7c93275e">SVF::ProgSlice</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#adaf0bb2e3104c9d86d997b2e7c93275e">SVF::ProgSlice</a>
+</li>
 <li>SVFGNodeToCSIDMap
 : <a class="el" href="classSVF_1_1LeakChecker.html#a90c7275babe222f006233d2f2d2b6700">SVF::LeakChecker</a>
 </li>
@@ -1052,6 +1051,9 @@ $(function() {
 <li>SVFModule()
 : <a class="el" href="classSVF_1_1SVFModule.html#a22b214595dd7841eb974e7c633ed8bb1">SVF::SVFModule</a>
 </li>
+<li>SVFStat()
+: <a class="el" href="classSVF_1_1SVFStat.html#ad22433722f7c71df19a891a5b5039d26">SVF::SVFStat</a>
+</li>
 <li>SVFStmt()
 : <a class="el" href="classSVF_1_1SVFStmt.html#a2ab7295fe26d2c6d2d5c9fd027f96a47">SVF::SVFStmt</a>
 </li>

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

@@ -184,18 +184,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#a62471599cba4bde20d2696a91fa064ec">SVF::SaberCheckerAPI</a>
-</li>
 <li>TDAPIMap
 : <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a7acbb76087b863393e0214c77bb934b2">SVF::SaberCheckerAPI</a>
 </li>
 <li>tdAPIMap
-: <a class="el" href="classSVF_1_1ThreadAPI.html#a4277abaae24b43d83470054c247f479c">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a62471599cba4bde20d2696a91fa064ec">SVF::SaberCheckerAPI</a>
 </li>
 <li>TDAPIMap
 : <a class="el" href="classSVF_1_1ThreadAPI.html#abad7c113fd56c30537444ae4bdff2144">SVF::ThreadAPI</a>
 </li>
+<li>tdAPIMap
+: <a class="el" href="classSVF_1_1ThreadAPI.html#a4277abaae24b43d83470054c247f479c">SVF::ThreadAPI</a>
+</li>
 <li>TDDead
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a8d40e687caf8999369621ed385dfc631ad5af2a561c196e33d88fc63363d0d8f4">SVF::ForkJoinAnalysis</a>
 </li>
@@ -358,11 +358,11 @@ $(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>
+: <a class="el" href="classSVF_1_1SVFStat.html#aeded7780a3f826b3efab971807e2dd98">SVF::SVFStat</a>
+</li>
+<li>timeStatMap
+: <a class="el" href="classSVF_1_1SVFStat.html#a5383691a34426a1a997b5eed387f1831">SVF::SVFStat</a>
 </li>
 <li>TInterPhi
 : <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa501e9891cbacea3950d80aa6071ec69">SVF::VFGNode</a>

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

@@ -157,7 +157,7 @@ $(function() {
 : <a class="el" href="structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4.html#aadddb18b44c9744dcc639a3de603151d">SVF::SVFUtil::simplify_type&lt; const From &gt;</a>
 </li>
 <li>NUMStatMap
-: <a class="el" href="classSVF_1_1PTAStat.html#a7e8f9f9c1662822f3f8bd016db84e1e6">SVF::PTAStat</a>
+: <a class="el" href="classSVF_1_1SVFStat.html#ab810863d70cb2f5b4e312d07eae51227">SVF::SVFStat</a>
 </li>
 </ul>
 </div><!-- contents -->

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

@@ -66,7 +66,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1WPASolver.html#a1352953966be14b2a1d6244f35e74a33">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
 <li>SFRTrait
-: <a class="el" href="classSVF_1_1AndersenSFR.html#a654c391ad41b026eec2e0a1a54146600">SVF::AndersenSFR</a>
+: <a class="el" href="classSVF_1_1AndersenSFR.html#a2d41b49a1474c030ef2324c14467af30">SVF::AndersenSFR</a>
 </li>
 <li>SimpleType
 : <a class="el" href="structSVF_1_1SVFUtil_1_1simplify__type.html#a40c0d9a74681d3eaa7172ba137d489e4">SVF::SVFUtil::simplify_type&lt; From &gt;</a>

package/SVF-doxygen/html/html/functions_type_t.html

@@ -82,7 +82,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MHP.html#ac30f283cb2ad020a054ee6525ca94025">SVF::MHP</a>
 </li>
 <li>TIMEStatMap
-: <a class="el" href="classSVF_1_1PTAStat.html#a28f304e7095f3843ca4cc017bc1f7b10">SVF::PTAStat</a>
+: <a class="el" href="classSVF_1_1SVFStat.html#aeded7780a3f826b3efab971807e2dd98">SVF::SVFStat</a>
 </li>
 <li>TypeToFieldInfoMap
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#a9c9a9da876d41ab48e55f25efc266494">SVF::SymbolTableInfo</a>

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

@@ -114,6 +114,7 @@ $(function() {
 </li>
 <li>endTime
 : <a class="el" href="classSVF_1_1PTAStat.html#a267ba4aac2e7ceb65f008f9486d3d9f7">SVF::PTAStat</a>
+, <a class="el" href="classSVF_1_1SVFStat.html#a8b01f1564408b51f28c107454bf9068d">SVF::SVFStat</a>
 </li>
 <li>entry
 : <a class="el" href="classSVF_1_1CallPE.html#a88e420e259b8d7d34c9850ddde53d372">SVF::CallPE</a>

package/SVF-doxygen/html/html/functions_vars_g.html

@@ -62,7 +62,7 @@ $(function() {
 
 <h3><a id="index_g"></a>- g -</h3><ul>
 <li>generalNumMap
-: <a class="el" href="classSVF_1_1PTAStat.html#afa718535839a939e51afc0f8c1fbdac6">SVF::PTAStat</a>
+: <a class="el" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">SVF::SVFStat</a>
 </li>
 <li>gepInEdges
 : <a class="el" href="classSVF_1_1ConstraintNode.html#a4d0113f2af3a61892acee1fb21f0b938">SVF::ConstraintNode</a>

package/SVF-doxygen/html/html/functions_vars_m.html

@@ -203,6 +203,7 @@ $(function() {
 </li>
 <li>moduleName
 : <a class="el" href="classSVF_1_1PTAStat.html#a194734855aa1c9e0ba891f1085d50d5d">SVF::PTAStat</a>
+, <a class="el" href="classSVF_1_1SVFStat.html#a3333e45303dcc9c3da00858628cdbbff">SVF::SVFStat</a>
 </li>
 <li>modulePass
 : <a class="el" href="classSVF_1_1MTA.html#a3dd09dcdcf58ae8ee1745634cefbb8aa">SVF::MTA</a>

package/SVF-doxygen/html/html/functions_vars_s.html

@@ -182,6 +182,7 @@ $(function() {
 </li>
 <li>startTime
 : <a class="el" href="classSVF_1_1PTAStat.html#a59e0fe6fa506f1cf319b5acaf9d28be9">SVF::PTAStat</a>
+, <a class="el" href="classSVF_1_1SVFStat.html#abd7a79d1fe50110a0c1d448027492669">SVF::SVFStat</a>
 </li>
 <li>stat
 : <a class="el" href="classSVF_1_1MemSSA.html#a4fc930040ec54eb60629da18fb6a4d04">SVF::MemSSA</a>

package/SVF-doxygen/html/html/functions_vars_t.html

@@ -175,7 +175,7 @@ $(function() {
 : <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>
+: <a class="el" href="classSVF_1_1SVFStat.html#a5383691a34426a1a997b5eed387f1831">SVF::SVFStat</a>
 </li>
 <li>tlPTData
 : <a class="el" href="classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f">SVF::MutableVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>