svf-tools 1.0.303 → 1.0.307

package/SVF-doxygen/html/html/namespacemembers_v.html

@@ -97,6 +97,12 @@ $(function() {
 <li>VersionedVar
 : <a class="el" href="namespaceSVF.html#a32489632f53dce062ca2e8bff42c65cf">SVF</a>
 </li>
+<li>VersionedVarSet
+: <a class="el" href="namespaceSVF.html#a544021f3075a89ff634b215a0efe3385">SVF</a>
+</li>
+<li>VersionSet
+: <a class="el" href="namespaceSVF.html#a046466b2ed3618072fee227b569da6eb">SVF</a>
+</li>
 <li>VFPathPtSet
 : <a class="el" href="namespaceSVF.html#ab2dd5e7169f19030e124d09284ee50c1">SVF</a>
 </li>

package/SVF-doxygen/html/html/search/all_10.js

@@ -47,7 +47,7 @@ var searchData=
   ['pagnodetounaryopvfgnodemap',['PAGNodeToUnaryOPVFGNodeMap',['../classSVF_1_1VFG.html#ac7083aa233d8e3820d6eb8e922f0c051',1,'SVF::VFG']]],
   ['pagnodetounaryopvfgnodemapty',['PAGNodeToUnaryOPVFGNodeMapTy',['../classSVF_1_1VFG.html#acfcd84ac6bedde4e7e74abdeb9233474',1,'SVF::VFG']]],
   ['pagprint',['PAGPrint',['../classSVF_1_1Options.html#a98df022c5da54ea30b3f0ce008d3ca80',1,'SVF::Options']]],
-  ['pagreadfromtxt',['pagReadFromTxt',['../classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f',1,'SVF::SVFModule::pagReadFromTxt()'],['../classSVF_1_1SVFModule.html#a1357c876eccedd58b3abe68875b3a570',1,'SVF::SVFModule::pagReadFromTXT()']]],
+  ['pagreadfromtxt',['pagReadFromTXT',['../classSVF_1_1SVFModule.html#a1357c876eccedd58b3abe68875b3a570',1,'SVF::SVFModule::pagReadFromTXT()'],['../classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f',1,'SVF::SVFModule::pagReadFromTxt()']]],
   ['pairheadmap',['pairheadmap',['../classSVF_1_1MTASVFGBuilder.html#af65f6553c6a7184401e249d777cd520e',1,'SVF::MTASVFGBuilder']]],
   ['pairindex',['pairIndex',['../structDdSubtable.html#a027d40eb603e409faef302acc952ca85',1,'DdSubtable']]],
   ['pairtailmap',['pairtailmap',['../classSVF_1_1MTASVFGBuilder.html#aa444ad49952922e1b862b75c4949de78',1,'SVF::MTASVFGBuilder']]],
@@ -125,7 +125,7 @@ var searchData=
   ['persversionedptdataty',['PersVersionedPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#ae028ae29bdc799f35777b82a39faf5e8',1,'SVF::BVDataPTAImpl']]],
   ['phi',['PHI',['../classSVF_1_1MemSSA.html#a8e948ea7778158107657fdd8195530e1',1,'SVF::MemSSA']]],
   ['phinode',['PHINode',['../namespaceSVF.html#ac8d4990439af7a2ecca7e15383119674',1,'SVF']]],
-  ['phinodemap',['PHINodeMap',['../classSVF_1_1PAG.html#aaf91fa0a5807355e276eeaeee0638aea',1,'SVF::PAG::PHINodeMap()'],['../classSVF_1_1PAG.html#af3158e346a519beca6aebf6c9092efc0',1,'SVF::PAG::phiNodeMap()']]],
+  ['phinodemap',['phiNodeMap',['../classSVF_1_1PAG.html#af3158e346a519beca6aebf6c9092efc0',1,'SVF::PAG::phiNodeMap()'],['../classSVF_1_1PAG.html#aaf91fa0a5807355e276eeaeee0638aea',1,'SVF::PAG::PHINodeMap()']]],
   ['phiset',['PHISet',['../classSVF_1_1SVFG.html#aef7ee9d802934d51b3761663bdaf0c05',1,'SVF::SVFG::PHISet()'],['../classSVF_1_1MemSSA.html#a8a5d3597f3dba9744e170cc8c32bf25f',1,'SVF::MemSSA::PHISet()']]],
   ['phisvfgnode',['PHISVFGNode',['../namespaceSVF.html#a71d4e214e049f02bf26537cba6328673',1,'SVF']]],
   ['phitime',['phiTime',['../classSVF_1_1FlowSensitive.html#aee7d59b7ad00cf1cf6e3fba19513aa42',1,'SVF::FlowSensitive']]],
@@ -167,6 +167,7 @@ var searchData=
   ['predictptocc',['PredictPtOcc',['../classSVF_1_1Options.html#af34d8a738db4f40addc1de930e79654f',1,'SVF::Options']]],
   ['pregchook',['preGCHook',['../structDdManager.html#a6e7664b46763e45c7388778e6e786a0e',1,'DdManager']]],
   ['prelabel',['prelabel',['../classSVF_1_1VersionedFlowSensitive.html#a7d86bc18060c0114a783aa1c3a7e9dda',1,'SVF::VersionedFlowSensitive']]],
+  ['prelabeledobjects',['prelabeledObjects',['../classSVF_1_1VersionedFlowSensitive.html#aaae8c6858593ed050dcf2c9220228e3e',1,'SVF::VersionedFlowSensitive']]],
   ['prelabelingtime',['prelabelingTime',['../classSVF_1_1VersionedFlowSensitive.html#a77a5dd9578def9a8e2b48e8b90d9b996',1,'SVF::VersionedFlowSensitive']]],
   ['prepassschedule',['prePassSchedule',['../classSVF_1_1LLVMModuleSet.html#a8b5f24c873db1f6a0614d1dac48bb4bb',1,'SVF::LLVMModuleSet']]],
   ['preprocessbcs',['preProcessBCs',['../classSVF_1_1LLVMModuleSet.html#a2fdc1bd61b8f6cdf6c07a5059b641b04',1,'SVF::LLVMModuleSet']]],
@@ -262,7 +263,7 @@ var searchData=
   ['pstat',['PStat',['../classSVF_1_1Options.html#a498a1a05a08be1ffd845aefeb0672bcb',1,'SVF::Options']]],
   ['pt',['pt',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#a8be3dd8b1e66eac8577bf16b7403c9c5',1,'SVF::PointsTo::PointsToIterator']]],
   ['pta',['pta',['../classSVF_1_1SVFG.html#a0d6cfa496e6885fe31b6b7a651fa01a8',1,'SVF::SVFG::pta()'],['../classSVF_1_1PTAStat.html#a608441b95be0861d8c1b0a035281f4d5',1,'SVF::PTAStat::pta()'],['../classSVF_1_1MRGenerator.html#afb7ce3a24edda14895999eb15231daff',1,'SVF::MRGenerator::pta()'],['../classSVF_1_1MemSSA.html#a468e1481926df6865678b7232bb79bf3',1,'SVF::MemSSA::pta()'],['../classSVF_1_1PCG.html#adb917fc3adc3b0c3aedd57e9c77eae05',1,'SVF::PCG::pta()'],['../classSVF_1_1TCT.html#a980de0593e41d18d2716aa5120d35d04',1,'SVF::TCT::pta()'],['../classSVF_1_1TypeBasedHeapCloning.html#a7d3f7d27c9491b099a623ba03b1c4732',1,'SVF::TypeBasedHeapCloning::pta()'],['../classSVF_1_1AndersenStat.html#a8af8dd60987c4c99ea3727d9db87c187',1,'SVF::AndersenStat::pta()']]],
-  ['ptacallgraph',['PTACallGraph',['../classSVF_1_1PTACallGraph.html',1,'SVF::PTACallGraph'],['../classSVF_1_1PointerAnalysis.html#ad47b39252e02c68dfb466d4f42dc7ebe',1,'SVF::PointerAnalysis::ptaCallGraph()'],['../classSVF_1_1SrcSnkDDA.html#a97be553370acf305f86e903bc3f0bb1a',1,'SVF::SrcSnkDDA::ptaCallGraph()'],['../classSVF_1_1PTACallGraph.html#a612b05f1c37dc50a888b773b9bbe093f',1,'SVF::PTACallGraph::PTACallGraph()']]],
+  ['ptacallgraph',['PTACallGraph',['../classSVF_1_1PTACallGraph.html',1,'SVF::PTACallGraph'],['../classSVF_1_1PTACallGraph.html#a612b05f1c37dc50a888b773b9bbe093f',1,'SVF::PTACallGraph::PTACallGraph()'],['../classSVF_1_1PointerAnalysis.html#ad47b39252e02c68dfb466d4f42dc7ebe',1,'SVF::PointerAnalysis::ptaCallGraph()'],['../classSVF_1_1SrcSnkDDA.html#a97be553370acf305f86e903bc3f0bb1a',1,'SVF::SrcSnkDDA::ptaCallGraph()']]],
   ['ptacallgraph_2ecpp',['PTACallGraph.cpp',['../PTACallGraph_8cpp.html',1,'']]],
   ['ptacallgraph_2eh',['PTACallGraph.h',['../PTACallGraph_8h.html',1,'']]],
   ['ptacallgraphedge',['PTACallGraphEdge',['../classSVF_1_1PTACallGraphEdge.html',1,'SVF::PTACallGraphEdge'],['../classSVF_1_1PTACallGraphEdge.html#aa34123e6c62c3f152b579510c09984e6',1,'SVF::PTACallGraphEdge::PTACallGraphEdge()']]],

package/SVF-doxygen/html/html/search/all_12.js

@@ -26,7 +26,7 @@ var searchData=
   ['readprecisiontdedge',['ReadPrecisionTDEdge',['../classSVF_1_1Options.html#a6bec8aed8673d10d65cc3df9fad3383b',1,'SVF::Options']]],
   ['realign',['realign',['../structDdManager.html#ab50e58f446cce13dd36cf63230e2d836',1,'DdManager']]],
   ['realignz',['realignZ',['../structDdManager.html#aeb6927b50fc978391e3eda5161df8c5c',1,'DdManager']]],
-  ['realloc',['realloc',['../util_8h.html#af6ef63a39a975856bc39bf0f3d13b292',1,'realloc(): util.h'],['../util_8h.html#ac3d02b1026db1997f09067d47aed16a8',1,'REALLOC(): util.h']]],
+  ['realloc',['REALLOC',['../util_8h.html#ac3d02b1026db1997f09067d47aed16a8',1,'REALLOC(): util.h'],['../util_8h.html#af6ef63a39a975856bc39bf0f3d13b292',1,'realloc(): util.h']]],
   ['reanalyze',['reanalyze',['../classSVF_1_1WPASolver.html#ac460772d9236a2fefe17b2557023b883',1,'SVF::WPASolver']]],
   ['reclaimed',['reclaimed',['../structDdManager.html#a4ab47b179b205207c8e738f4b6ed1ebd',1,'DdManager']]],
   ['recomb',['recomb',['../structDdManager.html#a38b89daefdc8aab944fbc2ff2aece2f4',1,'DdManager']]],
@@ -69,11 +69,11 @@ var searchData=
   ['releasesvfg',['releaseSVFG',['../classSVF_1_1SVFGBuilder.html#a9767f95253f02901da757076e3010b37',1,'SVF::SVFGBuilder']]],
   ['releasesymbolinfo',['releaseSymbolInfo',['../classSVF_1_1SymbolTableInfo.html#a9f8d99c761f3c7108d797b3702fcbfec',1,'SVF::SymbolTableInfo']]],
   ['releasevfswpa',['releaseVFSWPA',['../classSVF_1_1VersionedFlowSensitive.html#a754c77fff88e8f415dc7a2096d1bffe2',1,'SVF::VersionedFlowSensitive']]],
-  ['reliancetime',['relianceTime',['../classSVF_1_1VersionedFlowSensitive.html#a80535bb813f8bf240a0b54ac6ad4b257',1,'SVF::VersionedFlowSensitive']]],
   ['remapallpts',['remapAllPts',['../classSVF_1_1PTData.html#af2f176027169e18730848c7a583aed93',1,'SVF::PTData::remapAllPts()'],['../classSVF_1_1MutablePTData.html#a3b4cd5b4f8704a5b0049923d22ce7665',1,'SVF::MutablePTData::remapAllPts()'],['../classSVF_1_1MutableDiffPTData.html#a80142c1961d5e71c8f0dbadbb3c82184',1,'SVF::MutableDiffPTData::remapAllPts()'],['../classSVF_1_1MutableDFPTData.html#ad34e442581dfe57ce7f1add25c8414b2',1,'SVF::MutableDFPTData::remapAllPts()'],['../classSVF_1_1MutableVersionedPTData.html#a72cbf33b77f5a19221ad265691065695',1,'SVF::MutableVersionedPTData::remapAllPts()'],['../classSVF_1_1PersistentPointsToCache.html#a89c4e8c8edcc6744f298e90d721a0745',1,'SVF::PersistentPointsToCache::remapAllPts()'],['../classSVF_1_1PersistentPTData.html#af8084d77fb666933fd0efe0df983074d',1,'SVF::PersistentPTData::remapAllPts()'],['../classSVF_1_1PersistentDiffPTData.html#add8c649853678b6c7acfa4217f1b7ee0',1,'SVF::PersistentDiffPTData::remapAllPts()'],['../classSVF_1_1PersistentDFPTData.html#aac817d88beae87fcc961a2df7904e61c',1,'SVF::PersistentDFPTData::remapAllPts()'],['../classSVF_1_1PersistentVersionedPTData.html#a0b4feff5bc406088216d9e45941fe3ef',1,'SVF::PersistentVersionedPTData::remapAllPts()']]],
   ['remappointstosets',['remapPointsToSets',['../classSVF_1_1BVDataPTAImpl.html#a7a87ca1a439e871896f92e4342befa2c',1,'SVF::BVDataPTAImpl']]],
   ['removeaddredge',['removeAddrEdge',['../classSVF_1_1ConstraintGraph.html#acc23df2db1fa7b8e0270d8a04f08f2ee',1,'SVF::ConstraintGraph']]],
   ['removealledges',['removeAllEdges',['../classSVF_1_1SVFGOPT.html#ac15b3c2cb127b17ebad3a30fc04b6f40',1,'SVF::SVFGOPT']]],
+  ['removeallindirectsvfgedges',['removeAllIndirectSVFGEdges',['../classSVF_1_1VersionedFlowSensitive.html#a275095f60640d862034ad173af3371c3',1,'SVF::VersionedFlowSensitive']]],
   ['removecandidates',['removeCandidates',['../classSVF_1_1WPAMinimumSolver.html#aa6d8de95ddf703fdac33ef1216ce4aff',1,'SVF::WPAMinimumSolver']]],
   ['removeconstraintnode',['removeConstraintNode',['../classSVF_1_1ConstraintGraph.html#a9e21bc9b86080b4059f0907e9a7b33f3',1,'SVF::ConstraintGraph']]],
   ['removecxtstmttospan',['removeCxtStmtToSpan',['../classSVF_1_1LockAnalysis.html#a0b21446e6d5dfc1b5d0ebd75895225dd',1,'SVF::LockAnalysis']]],
@@ -141,7 +141,7 @@ var searchData=
   ['resulttype',['ResultType',['../structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01std_1_1unique__ptr_3_01From_01_4_01_4.html#a052f7cd3a81e368060f132bf0268fa68',1,'SVF::SVFUtil::cast_retty_impl< To, std::unique_ptr< From > >']]],
   ['resumeinst',['ResumeInst',['../namespaceSVF.html#a8c685f6bff3a67bf7fe3557dbfa84caa',1,'SVF']]],
   ['resver',['resVer',['../classSVF_1_1IntraMSSAPHISVFGNode.html#a84832f678de1f497b4f3d7720a0bc58a',1,'SVF::IntraMSSAPHISVFGNode::resVer()'],['../classSVF_1_1MSSADEF.html#a72560a998968ae2dbc6e5aa8a7e9f813',1,'SVF::MSSADEF::resVer()']]],
-  ['ret',['ret',['../classSVF_1_1CallBlockNode.html#a3d0f509f08dd017efecc949f0a98e1af',1,'SVF::CallBlockNode::ret()'],['../classSVF_1_1PAGEdge.html#a79080505b4744aa8806b55215ac2b0f6a99fe431c7a635d39b5558d1048a94c05',1,'SVF::PAGEdge::Ret()']]],
+  ['ret',['Ret',['../classSVF_1_1PAGEdge.html#a79080505b4744aa8806b55215ac2b0f6a99fe431c7a635d39b5558d1048a94c05',1,'SVF::PAGEdge::Ret()'],['../classSVF_1_1CallBlockNode.html#a3d0f509f08dd017efecc949f0a98e1af',1,'SVF::CallBlockNode::ret()']]],
   ['ret_5ftype',['ret_type',['../structSVF_1_1SVFUtil_1_1cast__retty__impl.html#a5f8f6d651931eba7e0fa14c26a691a04',1,'SVF::SVFUtil::cast_retty_impl::ret_type()'],['../structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01const_01From_01_4.html#ad0bc349135b60cc51fd040b615a979f7',1,'SVF::SVFUtil::cast_retty_impl< To, const From >::ret_type()'],['../structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01From_01_5_01_4.html#a86c02dc15b65d0c052ea4447b3fb6333',1,'SVF::SVFUtil::cast_retty_impl< To, From * >::ret_type()'],['../structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01const_01From_01_5_01_4.html#a98a60de95a331a34dcbad6da9961a9b7',1,'SVF::SVFUtil::cast_retty_impl< To, const From * >::ret_type()'],['../structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01const_01From_01_5const_01_4.html#add8668ca96bbf0808c146cc81c62267c',1,'SVF::SVFUtil::cast_retty_impl< To, const From *const >::ret_type()'],['../structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01std_1_1unique__ptr_3_01From_01_4_01_4.html#a3bf80190e39c339d4e3ec703789ae845',1,'SVF::SVFUtil::cast_retty_impl< To, std::unique_ptr< From > >::ret_type()'],['../structSVF_1_1SVFUtil_1_1cast__retty__wrap.html#af3d80ab43e47626f32c91a6c4454e82e',1,'SVF::SVFUtil::cast_retty_wrap::ret_type()'],['../structSVF_1_1SVFUtil_1_1cast__retty__wrap_3_01To_00_01FromTy_00_01FromTy_01_4.html#ad989c130f2b6cd5a0f1ba0c7abd62b9a',1,'SVF::SVFUtil::cast_retty_wrap< To, FromTy, FromTy >::ret_type()'],['../structSVF_1_1SVFUtil_1_1cast__retty.html#aea91708cabb8176b031f1c1fdb89a15b',1,'SVF::SVFUtil::cast_retty::ret_type()']]],
   ['retargetdstofedge',['reTargetDstOfEdge',['../classSVF_1_1ConstraintGraph.html#a4db3484e3710c3f5cc86ec32dd643722',1,'SVF::ConstraintGraph']]],
   ['retargetedgesofainfout',['retargetEdgesOfAInFOut',['../classSVF_1_1SVFGOPT.html#abefe3efa0232106f1843351ff6dd1063',1,'SVF::SVFGOPT']]],
@@ -171,7 +171,7 @@ var searchData=
   ['returnsymmap',['returnSymMap',['../classSVF_1_1SymbolTableInfo.html#ae6f8a4dbe09ff4756983ffdbed6d0681',1,'SVF::SymbolTableInfo']]],
   ['rev',['rev',['../classSVF_1_1PTData.html#a46fa3ec6462f3dda19549340281bb219',1,'SVF::PTData']]],
   ['reversenodemapping',['reverseNodeMapping',['../classSVF_1_1PointsTo.html#a1ae4abe690d21eb5aaf2154243b604c1',1,'SVF::PointsTo']]],
-  ['revptsmap',['revPtsMap',['../classSVF_1_1MutablePTData.html#ad8c9fc1b290372ed9c68e54687724b64',1,'SVF::MutablePTData::revPtsMap()'],['../classSVF_1_1PersistentPTData.html#a7b43ad5045ebdaa86f2587ea3f2f9563',1,'SVF::PersistentPTData::revPtsMap()'],['../classSVF_1_1MutablePTData.html#a6d491581d17876625d0265cd26acd8e1',1,'SVF::MutablePTData::RevPtsMap()'],['../classSVF_1_1PersistentPTData.html#aad89172e6e99d5ee576faa7bc74b36d8',1,'SVF::PersistentPTData::RevPtsMap()'],['../classSVF_1_1PersistentDiffPTData.html#ac008ee5f7e4d286f9e76d85989358305',1,'SVF::PersistentDiffPTData::RevPtsMap()']]],
+  ['revptsmap',['RevPtsMap',['../classSVF_1_1MutablePTData.html#a6d491581d17876625d0265cd26acd8e1',1,'SVF::MutablePTData::RevPtsMap()'],['../classSVF_1_1PersistentPTData.html#aad89172e6e99d5ee576faa7bc74b36d8',1,'SVF::PersistentPTData::RevPtsMap()'],['../classSVF_1_1PersistentDiffPTData.html#ac008ee5f7e4d286f9e76d85989358305',1,'SVF::PersistentDiffPTData::RevPtsMap()'],['../classSVF_1_1MutablePTData.html#ad8c9fc1b290372ed9c68e54687724b64',1,'SVF::MutablePTData::revPtsMap()'],['../classSVF_1_1PersistentPTData.html#a7b43ad5045ebdaa86f2587ea3f2f9563',1,'SVF::PersistentPTData::revPtsMap()']]],
   ['rfinept',['RFINEPT',['../dda_8cpp.html#a3abc2ce6737d192a5c3f967734fe8389',1,'dda.cpp']]],
   ['rid',['rid',['../classSVF_1_1MemRegion.html#aeb8ba1e0c907aeb3de84d8bd899c98b4',1,'SVF::MemRegion']]],
   ['rlimit_5fdata_5fdefault',['RLIMIT_DATA_DEFAULT',['../util_8c.html#a078d50c5bc23076e0d2af8d96156aeae',1,'util.c']]],

package/SVF-doxygen/html/html/search/all_13.js

@@ -27,13 +27,13 @@ var searchData=
   ['scalar',['SCALAR',['../classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3ad5c99cf0681af30e8ed4cc59cc2371cb',1,'SVF::DCHNode']]],
   ['scalarevolution',['ScalarEvolution',['../namespaceSVF.html#ad8794eb3c00de3d3b5c5e43dded3fb42',1,'SVF']]],
   ['scalarevolutionwrapperpass',['ScalarEvolutionWrapperPass',['../namespaceSVF.html#a9f1aca0384166e42d14e2608009ebc01',1,'SVF']]],
-  ['scc',['scc',['../classSVF_1_1WPASolver.html#a21709a0f33b6238afe735cc9fe49ff70',1,'SVF::WPASolver::scc()'],['../classSVF_1_1MRGenerator.html#af8d52e6c9884c6e1abc6dbcbc5e32629',1,'SVF::MRGenerator::SCC()'],['../classSVF_1_1WPASolver.html#a1352953966be14b2a1d6244f35e74a33',1,'SVF::WPASolver::SCC()']]],
+  ['scc',['SCC',['../classSVF_1_1VersionedFlowSensitive_1_1SCC.html',1,'SVF::VersionedFlowSensitive::SCC'],['../classSVF_1_1MRGenerator.html#af8d52e6c9884c6e1abc6dbcbc5e32629',1,'SVF::MRGenerator::SCC()'],['../classSVF_1_1WPASolver.html#a1352953966be14b2a1d6244f35e74a33',1,'SVF::WPASolver::SCC()'],['../classSVF_1_1WPASolver.html#a21709a0f33b6238afe735cc9fe49ff70',1,'SVF::WPASolver::scc()']]],
   ['scc_2eh',['SCC.h',['../SCC_8h.html',1,'']]],
   ['scccandidates',['sccCandidates',['../classSVF_1_1AndersenSCD.html#aeb0b3644c3bfbfa5768b92c99aeeef40',1,'SVF::AndersenSCD']]],
   ['sccdetect',['SCCDetect',['../classSVF_1_1Andersen.html#a31ea24432ff42ab86a4728f2bde571bc',1,'SVF::Andersen::SCCDetect()'],['../classSVF_1_1AndersenWaveDiffWithType.html#aef46713e8407e5963c5c8f04ff1545d1',1,'SVF::AndersenWaveDiffWithType::SCCDetect()'],['../classSVF_1_1AndersenLCD.html#a078a58b3b3f18cca4e09ff5a9a8ed791',1,'SVF::AndersenLCD::SCCDetect()'],['../classSVF_1_1AndersenSCD.html#a70f69baf47587b742b5013a63a3ce593',1,'SVF::AndersenSCD::SCCDetect()'],['../classSVF_1_1FlowSensitive.html#a5f8a1493f7550a3f7a295e25d87bce12',1,'SVF::FlowSensitive::SCCDetect()'],['../classSVF_1_1WPAFSSolver.html#a2d4cfae34bd4a55f1fe03881c87f8708',1,'SVF::WPAFSSolver::SCCDetect()'],['../classSVF_1_1WPASolver.html#aaa932894d00b69cfa741f9987a9cc6b8',1,'SVF::WPASolver::SCCDetect()'],['../classSVF_1_1WPASolver.html#a16d371c8f6a9bdb1ca984bcb287d6c5a',1,'SVF::WPASolver::SCCDetect(NodeSet &candidates)']]],
   ['sccdetection',['SCCDetection',['../classSVF_1_1SCCDetection.html',1,'SVF::SCCDetection< GraphType >'],['../classSVF_1_1SCCDetection.html#a1bd915ba4079ddd5dd6e57a88129ffee',1,'SVF::SCCDetection::SCCDetection()']]],
   ['sccdetectiontime',['SCCDetectionTime',['../classSVF_1_1PTAStat.html#ad4c1cf3750341f73987c37745f3bd2aa',1,'SVF::PTAStat']]],
-  ['sccedgeflag',['SCCEdgeFlag',['../classSVF_1_1ConstraintNode.html#a6e59b815d784bc1a9437290ff0e1e28c',1,'SVF::ConstraintNode::SCCEdgeFlag()'],['../classSVF_1_1ConstraintNode.html#a0fd9fca5ed82cf83dbd825d23c63783a',1,'SVF::ConstraintNode::sccEdgeFlag()']]],
+  ['sccedgeflag',['sccEdgeFlag',['../classSVF_1_1ConstraintNode.html#a0fd9fca5ed82cf83dbd825d23c63783a',1,'SVF::ConstraintNode::sccEdgeFlag()'],['../classSVF_1_1ConstraintNode.html#a6e59b815d784bc1a9437290ff0e1e28c',1,'SVF::ConstraintNode::SCCEdgeFlag()']]],
   ['sccmergetime',['SCCMergeTime',['../classSVF_1_1PTAStat.html#a8c4101e697057269def501d14a987287',1,'SVF::PTAStat']]],
   ['sccrepnode',['sccRepNode',['../classSVF_1_1ConstraintGraph.html#a39b973543acdcdc5493832cc9d0f586f',1,'SVF::ConstraintGraph::sccRepNode()'],['../classSVF_1_1Andersen.html#aad706e332847e6b0892350a05028ba30',1,'SVF::Andersen::sccRepNode()'],['../classSVF_1_1WPAFSSolver.html#a0bbaffd1673cc3850217afad0ca56e42',1,'SVF::WPAFSSolver::sccRepNode()'],['../classSVF_1_1WPASolver.html#a3bd463cd456a1d58242f118328f51ddb',1,'SVF::WPASolver::sccRepNode()']]],
   ['sccsubnodes',['sccSubNodes',['../classSVF_1_1ConstraintGraph.html#aed605b010e313f4b11e95b83fe50e3b3',1,'SVF::ConstraintGraph::sccSubNodes()'],['../classSVF_1_1Andersen.html#acd2feff818906db49a1bb2d94c33db5f',1,'SVF::Andersen::sccSubNodes()']]],
@@ -48,7 +48,7 @@ var searchData=
   ['selfcycle',['SelfCycle',['../classSVF_1_1Options.html#a3ed96242ac56a05d057ebd11b23cf053',1,'SVF::Options']]],
   ['sentinel',['sentinel',['../structDdManager.html#a8679aac5ecef09b42b3cf11786d57139',1,'DdManager']]],
   ['seq',['SEQ',['../classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228a85142db6ed24203f054117f3a5110e2f',1,'SVF::NodeIDAllocator']]],
-  ['set',['set',['../classSVF_1_1CondStdSet.html#ae11deddad534be115d29daad08c90599',1,'SVF::CondStdSet::set()'],['../classSVF_1_1CondPointsToSet.html#aadf2576b55bbdb82d7affc8466c09861',1,'SVF::CondPointsToSet::set()'],['../classSVF_1_1PointsTo.html#ab196d86cfb48d1c5d27a0c03c7497afa',1,'SVF::PointsTo::set()'],['../classSVF_1_1CoreBitVector.html#a553e3e51bffe1aab04adc047e0fd3f24',1,'SVF::CoreBitVector::set()'],['../lib_2CUDD_2CMakeLists_8txt.html#a97d8d30dc013aa2acba4c146fdcb1acf',1,'set(): CMakeLists.txt'],['../namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb',1,'SVF::Set()']]],
+  ['set',['set',['../classSVF_1_1CondStdSet.html#ae11deddad534be115d29daad08c90599',1,'SVF::CondStdSet::set()'],['../classSVF_1_1CondPointsToSet.html#aadf2576b55bbdb82d7affc8466c09861',1,'SVF::CondPointsToSet::set()'],['../classSVF_1_1PointsTo.html#ab196d86cfb48d1c5d27a0c03c7497afa',1,'SVF::PointsTo::set()'],['../classSVF_1_1CoreBitVector.html#a553e3e51bffe1aab04adc047e0fd3f24',1,'SVF::CoreBitVector::set()'],['../lib_2CUDD_2CMakeLists_8txt.html#a97d8d30dc013aa2acba4c146fdcb1acf',1,'set(SOURCES epd.c st.c util.c mtr.c cuddInt.c) add_llvm_library(Cudd $: CMakeLists.txt'],['../tools_2WPA_2CMakeLists_8txt.html#ae7f9c126d87731a942268db0cad0ac75',1,'set(THREADS_PREFER_PTHREAD_FLAG ON) find_package(Threads REQUIRED) if(DEFINED IN_SOURCE_BUILD) set(LLVM_LINK_COMPONENTS BitWriter Core IPO IrReader InstCombine Instrumentation Target Linker Analysis ScalarOpts Support Svf Cudd) add_llvm_tool(wpa wpa.cpp) else() add_executable(wpa wpa.cpp) target_link_libraries(wpa Svf Cudd $: CMakeLists.txt'],['../namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb',1,'SVF::Set()']]],
   ['setactualindef',['setActualINDef',['../classSVF_1_1SVFGOPT.html#a490695ab536cd455c531fbdc57499cac',1,'SVF::SVFGOPT']]],
   ['setallocationsite',['setAllocationSite',['../classSVF_1_1TypeBasedHeapCloning.html#a006243a1416f4950de254d0d62ba40b0',1,'SVF::TypeBasedHeapCloning']]],
   ['setallreachable',['setAllReachable',['../classSVF_1_1ProgSlice.html#ae6102647fa4985142c293116516612cd',1,'SVF::ProgSlice']]],
@@ -135,7 +135,7 @@ var searchData=
   ['setvardfinsetupdated',['setVarDFInSetUpdated',['../classSVF_1_1MutableIncDFPTData.html#a33b2e976439e489d4bd707379e1bac9c',1,'SVF::MutableIncDFPTData::setVarDFInSetUpdated()'],['../classSVF_1_1PersistentIncDFPTData.html#a3b42e65b301c1e2cf7976e2780cb6fd2',1,'SVF::PersistentIncDFPTData::setVarDFInSetUpdated()']]],
   ['setvardfoutsetupdated',['setVarDFOutSetUpdated',['../classSVF_1_1MutableIncDFPTData.html#a851947de9ccbe51239b76d2d93fcd4c4',1,'SVF::MutableIncDFPTData::setVarDFOutSetUpdated()'],['../classSVF_1_1PersistentIncDFPTData.html#aa9f6b38595cabbb583c52217188457e8',1,'SVF::PersistentIncDFPTData::setVarDFOutSetUpdated()']]],
   ['setver',['setVer',['../classSVF_1_1MSSAMU.html#a2af1e639aabbc5997aa4e6526f6595fb',1,'SVF::MSSAMU']]],
-  ['setversion',['setVersion',['../classSVF_1_1VersionedFlowSensitive.html#ab0f18ae2d9c1b3b8f1d103f16df6877e',1,'SVF::VersionedFlowSensitive']]],
+  ['setversion',['setVersion',['../classSVF_1_1VersionedFlowSensitive.html#adf37ae1f6a07716bca6fbe1603b8a070',1,'SVF::VersionedFlowSensitive']]],
   ['setvfcond',['setVFCond',['../classSVF_1_1ProgSlice.html#add68dd06ab20899bc898d065ae2e82c0',1,'SVF::ProgSlice']]],
   ['setvisited',['setVisited',['../classSVF_1_1SCCDetection.html#ad888a3dc94909823319384055896c84d',1,'SVF::SCCDetection::setVisited()'],['../classSVF_1_1CSC.html#adac02224ec722f0cf1954d7a484bd11e',1,'SVF::CSC::setVisited()']]],
   ['setvtable',['setVTable',['../classSVF_1_1CHNode.html#a2c31580f1cf43fbdd01a07b6f9f6b04e',1,'SVF::CHNode::setVTable()'],['../classSVF_1_1DCHNode.html#ab8a339276172b8aa0fc915e5bde0b3db',1,'SVF::DCHNode::setVTable()']]],
@@ -234,7 +234,7 @@ var searchData=
   ['st_5fis_5fmember',['st_is_member',['../st_8h.html#a3e18b4a4f91b4188aa376a15ca372b9c',1,'st.h']]],
   ['st_5flookup',['st_lookup',['../st_8h.html#a0ed63fd0cb21b0a1fe502e84aa5563ef',1,'st_lookup(st_table *, void *, void *): st.c'],['../st_8c.html#a0664208425f99d5c88fe2a79c425756c',1,'st_lookup(st_table *table, void *key, void *value): st.c']]],
   ['st_5flookup_5fint',['st_lookup_int',['../st_8h.html#ab10245506c3e5d053c75a902ec62a074',1,'st_lookup_int(st_table *, void *, int *): st.c'],['../st_8c.html#a958c280b8f24c847ca511eaffd410f04',1,'st_lookup_int(st_table *table, void *key, int *value): st.c']]],
-  ['st_5fnumcmp',['ST_NUMCMP',['../st_8c.html#a2796b8bc2a5f15834d61a3519ad149d5',1,'ST_NUMCMP(): st.c'],['../st_8h.html#a65b35768bcf5b6f173b063b441a493db',1,'st_numcmp(const char *, const char *): st.c'],['../st_8c.html#a0ba60ae98aae8e6dd21bbe3b485bcfbe',1,'st_numcmp(const char *x, const char *y): st.c']]],
+  ['st_5fnumcmp',['st_numcmp',['../st_8h.html#a65b35768bcf5b6f173b063b441a493db',1,'st_numcmp(const char *, const char *): st.c'],['../st_8c.html#a0ba60ae98aae8e6dd21bbe3b485bcfbe',1,'st_numcmp(const char *x, const char *y): st.c'],['../st_8c.html#a2796b8bc2a5f15834d61a3519ad149d5',1,'ST_NUMCMP(): st.c']]],
   ['st_5fnumhash',['st_numhash',['../st_8h.html#a487317ef8c55ab34fb58ddfe47163b9e',1,'st_numhash(char *, int): st.c'],['../st_8c.html#aede320ef4713f295a335b4da6e1d8358',1,'st_numhash(char *x, int size): st.c'],['../st_8c.html#a76573cced143d429f99bfb5e286c621e',1,'ST_NUMHASH(): st.c']]],
   ['st_5fout_5fof_5fmem',['ST_OUT_OF_MEM',['../st_8h.html#a1276d6ae80c20ae2ec082db7c502ef75',1,'st.h']]],
   ['st_5fpficpcp',['ST_PFICPCP',['../st_8h.html#afb91ce58b9010645ed1cdf1ed2b76b03',1,'st.h']]],
@@ -291,8 +291,8 @@ var searchData=
   ['store2chisetmap',['store2ChiSetMap',['../classSVF_1_1MemSSA.html#a73d7465cf166d9ffa9d234d15edb375a',1,'SVF::MemSSA']]],
   ['storecgedge',['StoreCGEdge',['../classSVF_1_1StoreCGEdge.html',1,'SVF::StoreCGEdge'],['../classSVF_1_1StoreCGEdge.html#a667b277ef845b866d3b11a7fbfce0815',1,'SVF::StoreCGEdge::StoreCGEdge()'],['../classSVF_1_1StoreCGEdge.html#a0f873b0be0ac726e412171119c5b3a50',1,'SVF::StoreCGEdge::StoreCGEdge(const StoreCGEdge &)'],['../classSVF_1_1StoreCGEdge.html#afdba4e02b1ccdc19fdc18bbe43363e79',1,'SVF::StoreCGEdge::StoreCGEdge(ConstraintNode *s, ConstraintNode *d, EdgeID id)']]],
   ['storecgedgeset',['StoreCGEdgeSet',['../classSVF_1_1ConstraintGraph.html#a0f9d5eef25827ac1d380e5d8bd225025',1,'SVF::ConstraintGraph']]],
-  ['storechi',['StoreCHI',['../classSVF_1_1StoreCHI.html',1,'SVF::StoreCHI< Cond >'],['../classSVF_1_1SVFG.html#ad14cdbb3f1df1f716aa03b4d39f4e52b',1,'SVF::SVFG::STORECHI()'],['../classSVF_1_1MemSSA.html#a150e9d53ced1c143bba2d1026f739fa4',1,'SVF::MemSSA::STORECHI()'],['../classSVF_1_1StoreCHI.html#aa220094176013de75a81c0bfa974b99b',1,'SVF::StoreCHI::StoreCHI()']]],
-  ['storedd',['STOREDD',['../cuddInt_8c.html#ad90b4208ba9aa22e8f37b1ce723cdcf5',1,'STOREDD(): cuddInt.c'],['../cuddInt_8c.html#a8ed518c7fe7ea969bd6981b71c37ec07',1,'storedd(): cuddInt.c']]],
+  ['storechi',['StoreCHI',['../classSVF_1_1StoreCHI.html',1,'SVF::StoreCHI< Cond >'],['../classSVF_1_1StoreCHI.html#aa220094176013de75a81c0bfa974b99b',1,'SVF::StoreCHI::StoreCHI()'],['../classSVF_1_1SVFG.html#ad14cdbb3f1df1f716aa03b4d39f4e52b',1,'SVF::SVFG::STORECHI()'],['../classSVF_1_1MemSSA.html#a150e9d53ced1c143bba2d1026f739fa4',1,'SVF::MemSSA::STORECHI()']]],
+  ['storedd',['storedd',['../cuddInt_8c.html#a8ed518c7fe7ea969bd6981b71c37ec07',1,'storedd(): cuddInt.c'],['../cuddInt_8c.html#ad90b4208ba9aa22e8f37b1ce723cdcf5',1,'STOREDD(): cuddInt.c']]],
   ['storedstnodes',['storeDstNodes',['../classSVF_1_1AliasDDAClient.html#aaad2197cec53f7eae91b3c57c168447a',1,'SVF::AliasDDAClient']]],
   ['storeedgelabelcounter',['storeEdgeLabelCounter',['../classSVF_1_1PAGEdge.html#a6086285794f9fcab46458c37a79d962f',1,'SVF::PAGEdge']]],
   ['storeedges',['StoreEdges',['../classSVF_1_1OfflineConsG.html#a9880cb387e24fa2c87297487411f95ea',1,'SVF::OfflineConsG']]],
@@ -302,16 +302,16 @@ var searchData=
   ['storeoutedges',['storeOutEdges',['../classSVF_1_1ConstraintNode.html#a8d28c94a72acf221177aeae135f73ec1',1,'SVF::ConstraintNode']]],
   ['storepe',['StorePE',['../classSVF_1_1StorePE.html',1,'SVF::StorePE'],['../classSVF_1_1StorePE.html#a077224fe9876211abacd4f4ff10ed062',1,'SVF::StorePE::StorePE()'],['../classSVF_1_1StorePE.html#aa9afd5b4bdf803c699c7ccdf0043b469',1,'SVF::StorePE::StorePE(const StorePE &)'],['../classSVF_1_1StorePE.html#a5bc3df0d5c7356d5a64037cf4b56ba24',1,'SVF::StorePE::StorePE(PAGNode *s, PAGNode *d, const IntraBlockNode *st)']]],
   ['storereuse',['storeReuse',['../classSVF_1_1FlowSensitiveTBHC.html#ac7ed9100533dc399c71cdf017bfa2462',1,'SVF::FlowSensitiveTBHC']]],
-  ['storeset',['StoreSet',['../classSVF_1_1MTA.html#a891e56104b9c2daa8b052e3821e85b9b',1,'SVF::MTA::StoreSet()'],['../classSVF_1_1MTAAnnotator.html#a37df9f2416685c535be2faa01e162f3a',1,'SVF::MTAAnnotator::storeset()']]],
+  ['storeset',['storeset',['../classSVF_1_1MTAAnnotator.html#a37df9f2416685c535be2faa01e162f3a',1,'SVF::MTAAnnotator::storeset()'],['../classSVF_1_1MTA.html#a891e56104b9c2daa8b052e3821e85b9b',1,'SVF::MTA::StoreSet()']]],
   ['storestomrsmap',['StoresToMRsMap',['../classSVF_1_1MRGenerator.html#a9d2221818297a7abeb8d8736093105d0',1,'SVF::MRGenerator::StoresToMRsMap()'],['../classSVF_1_1MRGenerator.html#a255551fd3ff8fb33bcea93d0b00280b3',1,'SVF::MRGenerator::storesToMRsMap()']]],
-  ['storestopointstomap',['storesToPointsToMap',['../classSVF_1_1MRGenerator.html#a7d86f708743a59aa31c0a9fd6de45dac',1,'SVF::MRGenerator::storesToPointsToMap()'],['../classSVF_1_1MRGenerator.html#a45e786ca09aa6cbfcf17d8e5a166a801',1,'SVF::MRGenerator::StoresToPointsToMap()']]],
+  ['storestopointstomap',['StoresToPointsToMap',['../classSVF_1_1MRGenerator.html#a45e786ca09aa6cbfcf17d8e5a166a801',1,'SVF::MRGenerator::StoresToPointsToMap()'],['../classSVF_1_1MRGenerator.html#a7d86f708743a59aa31c0a9fd6de45dac',1,'SVF::MRGenerator::storesToPointsToMap()']]],
   ['storesvfgnode',['StoreSVFGNode',['../namespaceSVF.html#a54c5725186e66ead6faf53c10a288714',1,'SVF']]],
   ['storetime',['storeTime',['../classSVF_1_1FlowSensitive.html#a82b76087363b26fbe749653935569de7',1,'SVF::FlowSensitive']]],
   ['storetochisetmap',['StoreToChiSetMap',['../classSVF_1_1MemSSA.html#a00fc1f85bd92da6f0033a1a385c792ad',1,'SVF::MemSSA']]],
   ['storetodpms',['storeToDPMs',['../classSVF_1_1DDAVFSolver.html#af66895278f0ecbc882f9e4f43ef9c8a8',1,'SVF::DDAVFSolver']]],
   ['storetopmsetmap',['StoreToPMSetMap',['../classSVF_1_1DDAVFSolver.html#accaacd2dd680f92ff83cfe75eef6ffab',1,'SVF::DDAVFSolver']]],
   ['storevfgnode',['StoreVFGNode',['../classSVF_1_1StoreVFGNode.html',1,'SVF::StoreVFGNode'],['../classSVF_1_1StoreVFGNode.html#ab4b9182cb0f2ef7dfc1e15789a311ecd',1,'SVF::StoreVFGNode::StoreVFGNode()'],['../classSVF_1_1StoreVFGNode.html#a496607cda1cc26a8753d6a7af620e95a',1,'SVF::StoreVFGNode::StoreVFGNode(const StoreVFGNode &)'],['../classSVF_1_1StoreVFGNode.html#a9935b37ed646ac5c6989ed066468d61b',1,'SVF::StoreVFGNode::StoreVFGNode(NodeID id, const StorePE *edge)']]],
-  ['strategy',['Strategy',['../classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228',1,'SVF::NodeIDAllocator::Strategy()'],['../classSVF_1_1NodeIDAllocator.html#a44420802f9db288515ee09771c3edd4d',1,'SVF::NodeIDAllocator::strategy()']]],
+  ['strategy',['strategy',['../classSVF_1_1NodeIDAllocator.html#a44420802f9db288515ee09771c3edd4d',1,'SVF::NodeIDAllocator::strategy()'],['../classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228',1,'SVF::NodeIDAllocator::Strategy()']]],
   ['strcat',['strcat',['../util_8h.html#ae726f8c6b65e180aacfb570a35dc8375',1,'util.h']]],
   ['strchr',['strchr',['../util_8h.html#ad015a6d0966888e16a0ea0eb360a2be2',1,'util.h']]],
   ['strcmp',['strcmp',['../util_8h.html#a7e3fe9a43bbdc5abae963874b6a63e6b',1,'util.h']]],
@@ -359,7 +359,7 @@ var searchData=
   ['svfbb',['SVFBB',['../classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea732cb3760ef56163428add79824174f4',1,'SVF::SVFValue']]],
   ['svffunc',['SVFFunc',['../classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4582a3728eda9f58c4e7d069e4fec577',1,'SVF::SVFValue']]],
   ['svffunction',['SVFFunction',['../classSVF_1_1SVFFunction.html',1,'SVF::SVFFunction'],['../classSVF_1_1SVFFunction.html#aed73a0604a9fc5b6560ce87cfeaa3944',1,'SVF::SVFFunction::SVFFunction(const std::string &val)'],['../classSVF_1_1SVFFunction.html#ae7a55d86a87088f7d70254980e4325b3',1,'SVF::SVFFunction::SVFFunction(Function *f)']]],
-  ['svfg',['SVFG',['../classSVF_1_1SVFG.html',1,'SVF::SVFG'],['../classSVF_1_1SVFGBuilder.html#a26bc3b9c07472e454bc567cd8746caef',1,'SVF::SVFGBuilder::svfg()'],['../classSVF_1_1ProgSlice.html#a457a759c552a1418538769d79d7a7dde',1,'SVF::ProgSlice::svfg()'],['../classSVF_1_1SrcSnkDDA.html#ae657ebdeae8a083cfec210859a0023e4',1,'SVF::SrcSnkDDA::svfg()'],['../classSVF_1_1FlowSensitive.html#aae032e5f5d53b131d0112dc8faa464a9',1,'SVF::FlowSensitive::svfg()'],['../classSVF_1_1SVFG.html#a68965c5a9cc5136aa0b593851c60ff12',1,'SVF::SVFG::SVFG()']]],
+  ['svfg',['SVFG',['../classSVF_1_1SVFG.html',1,'SVF::SVFG'],['../classSVF_1_1SVFG.html#a68965c5a9cc5136aa0b593851c60ff12',1,'SVF::SVFG::SVFG()'],['../classSVF_1_1SVFGBuilder.html#a26bc3b9c07472e454bc567cd8746caef',1,'SVF::SVFGBuilder::svfg()'],['../classSVF_1_1ProgSlice.html#a457a759c552a1418538769d79d7a7dde',1,'SVF::ProgSlice::svfg()'],['../classSVF_1_1SrcSnkDDA.html#ae657ebdeae8a083cfec210859a0023e4',1,'SVF::SrcSnkDDA::svfg()'],['../classSVF_1_1FlowSensitive.html#aae032e5f5d53b131d0112dc8faa464a9',1,'SVF::FlowSensitive::svfg()']]],
   ['svfg_2ecpp',['SVFG.cpp',['../SVFG_8cpp.html',1,'']]],
   ['svfg_2eh',['SVFG.h',['../SVFG_8h.html',1,'']]],
   ['svfgbuilder',['SVFGBuilder',['../classSVF_1_1SVFGBuilder.html',1,'SVF::SVFGBuilder'],['../classSVF_1_1SVFG.html#ab2f81db3935389480baa5cb14e15e9d7',1,'SVF::SVFG::SVFGBuilder()'],['../classSVF_1_1SVFGBuilder.html#a003c6d9e13e5f73e0648d97400f1854e',1,'SVF::SVFGBuilder::SVFGBuilder()'],['../classSVF_1_1DDAVFSolver.html#a0d563fe8b016b27a58f5b054fec9c38a',1,'SVF::DDAVFSolver::svfgBuilder()']]],
@@ -381,7 +381,7 @@ var searchData=
   ['svfgnodelockspan',['SVFGNodeLockSpan',['../classSVF_1_1SVFGNodeLockSpan.html',1,'SVF::SVFGNodeLockSpan'],['../classSVF_1_1SVFGNodeLockSpan.html#a43f4d595b31259576b141cb99883938e',1,'SVF::SVFGNodeLockSpan::SVFGNodeLockSpan()']]],
   ['svfgnodeset',['SVFGNodeSet',['../classSVF_1_1SVFGOPT.html#a07874e1a77bcd5ff593757d202a4edd6',1,'SVF::SVFGOPT::SVFGNodeSet()'],['../classSVF_1_1SVFGStat.html#aee5ecd6a92c40e1e27197869028689c4',1,'SVF::SVFGStat::SVFGNodeSet()'],['../classSVF_1_1MTASVFGBuilder.html#a467e7b445394acb735b1b24ce39e966a',1,'SVF::MTASVFGBuilder::SVFGNodeSet()'],['../classSVF_1_1ProgSlice.html#a4864972e12f3e95f06bcf2bf8c847b3a',1,'SVF::ProgSlice::SVFGNodeSet()'],['../classSVF_1_1SaberSVFGBuilder.html#a298a94f9b368e37767935a42e5ba954a',1,'SVF::SaberSVFGBuilder::SVFGNodeSet()'],['../classSVF_1_1SrcSnkDDA.html#a19f02a14ee669fadc37fde3816fa2f84',1,'SVF::SrcSnkDDA::SVFGNodeSet()']]],
   ['svfgnodesetiter',['SVFGNodeSetIter',['../classSVF_1_1ProgSlice.html#af41c438baa739406a35bcb2e9ba431dd',1,'SVF::ProgSlice::SVFGNodeSetIter()'],['../classSVF_1_1SrcSnkDDA.html#ad6935e27bbd95d26a01b22b879efed58',1,'SVF::SrcSnkDDA::SVFGNodeSetIter()']]],
-  ['svfgnodetocondmap',['SVFGNodeToCondMap',['../classSVF_1_1ProgSlice.html#ae16157bd0b66dfb3cc18b778a745ed00',1,'SVF::ProgSlice::SVFGNodeToCondMap()'],['../classSVF_1_1ProgSlice.html#aeda61b2786b128e8c45089de60dcafce',1,'SVF::ProgSlice::svfgNodeToCondMap()']]],
+  ['svfgnodetocondmap',['svfgNodeToCondMap',['../classSVF_1_1ProgSlice.html#aeda61b2786b128e8c45089de60dcafce',1,'SVF::ProgSlice::svfgNodeToCondMap()'],['../classSVF_1_1ProgSlice.html#ae16157bd0b66dfb3cc18b778a745ed00',1,'SVF::ProgSlice::SVFGNodeToCondMap()']]],
   ['svfgnodetocsidmap',['SVFGNodeToCSIDMap',['../classSVF_1_1LeakChecker.html#a47a79514e1fdc402453b864407aacd6a',1,'SVF::LeakChecker']]],
   ['svfgnodetodpitemsmap',['SVFGNodeToDPItemsMap',['../classSVF_1_1SrcSnkDDA.html#a4f9de61860db86668606f0c276ce8117',1,'SVF::SrcSnkDDA']]],
   ['svfgnodetoslicemap',['SVFGNodeToSliceMap',['../classSVF_1_1SrcSnkDDA.html#ac96c2f09dee260b4378eae7eb67b21e4',1,'SVF::SrcSnkDDA']]],
@@ -393,7 +393,7 @@ var searchData=
   ['svfgopttimestart',['svfgOptTimeStart',['../classSVF_1_1SVFGStat.html#a1e92f02d43f06ef31e107859d1bd8ac2',1,'SVF::SVFGStat']]],
   ['svfgscc',['SVFGSCC',['../classSVF_1_1DDAPass.html#a5e51ac666db439865846b835bcea9d21',1,'SVF::DDAPass::SVFGSCC()'],['../classSVF_1_1DDAVFSolver.html#a502207f81ed22fa42f9e18ccba83ad4e',1,'SVF::DDAVFSolver::SVFGSCC()'],['../classSVF_1_1SVFGStat.html#a149edd19cd5adafec13cbb49c590f0a8',1,'SVF::SVFGStat::SVFGSCC()']]],
   ['svfgsccdetection',['SVFGSCCDetection',['../classSVF_1_1DDAVFSolver.html#aba0ec611a5cfd096ac0b8b11e0bd5580',1,'SVF::DDAVFSolver']]],
-  ['svfgstat',['SVFGStat',['../classSVF_1_1SVFGStat.html',1,'SVF::SVFGStat'],['../classSVF_1_1FlowSensitive.html#a5f015d8f2b0956306822172d02b415c3',1,'SVF::FlowSensitive::svfgStat()'],['../classSVF_1_1SVFGStat.html#ae61d5bd92ef495a0f6c2f9dedac3da03',1,'SVF::SVFGStat::SVFGStat()']]],
+  ['svfgstat',['SVFGStat',['../classSVF_1_1SVFGStat.html',1,'SVF::SVFGStat'],['../classSVF_1_1SVFGStat.html#ae61d5bd92ef495a0f6c2f9dedac3da03',1,'SVF::SVFGStat::SVFGStat()'],['../classSVF_1_1FlowSensitive.html#a5f015d8f2b0956306822172d02b415c3',1,'SVF::FlowSensitive::svfgStat()']]],
   ['svfgstat_2ecpp',['SVFGStat.cpp',['../SVFGStat_8cpp.html',1,'']]],
   ['svfgstat_2eh',['SVFGStat.h',['../SVFGStat_8h.html',1,'']]],
   ['svfgwithindcall',['SVFGWithIndCall',['../classSVF_1_1SVFGBuilder.html#a70de38086437635d2e44d2a0c9fdded9',1,'SVF::SVFGBuilder']]],

package/SVF-doxygen/html/html/search/all_14.js

@@ -11,7 +11,7 @@ var searchData=
   ['tbhcstorereuse',['TBHCStoreReuse',['../classSVF_1_1Options.html#a10cc9fa1d4e553865343d635cf84592e',1,'SVF::Options']]],
   ['tcg',['tcg',['../classSVF_1_1MHP.html#a4b73d112880ad940e078e801f8725799',1,'SVF::MHP::tcg()'],['../classSVF_1_1MTA.html#a308ca0fa99b3c95f3e62b27522b6aeaa',1,'SVF::MTA::tcg()'],['../classSVF_1_1MTAResultValidator.html#abe087e2e8d92aa218ef282d2493193ef',1,'SVF::MTAResultValidator::tcg()'],['../classSVF_1_1TCT.html#ac9ddd6559e818f37c018ed5435182363',1,'SVF::TCT::tcg()']]],
   ['tcgscc',['tcgSCC',['../classSVF_1_1TCT.html#a30662928bafc97c1e7b123270ca69980',1,'SVF::TCT']]],
-  ['tct',['TCT',['../classSVF_1_1TCT.html',1,'SVF::TCT'],['../classSVF_1_1LockAnalysis.html#a2c4a69b0f2381142c172b3043943c79d',1,'SVF::LockAnalysis::tct()'],['../classSVF_1_1MHP.html#a176eefb65e4ba99ee70513c8add44176',1,'SVF::MHP::tct()'],['../classSVF_1_1ForkJoinAnalysis.html#a2c6ce7aa04c399746d89230be0e0f1ce',1,'SVF::ForkJoinAnalysis::tct()'],['../classSVF_1_1MTA.html#a9c9a42fb8a8ada910cdb9a8fb55d7c36',1,'SVF::MTA::tct()'],['../classSVF_1_1TCT.html#a8eaa746805b0afc17329d0ba4ad6a887',1,'SVF::TCT::TCT()']]],
+  ['tct',['TCT',['../classSVF_1_1TCT.html',1,'SVF::TCT'],['../classSVF_1_1TCT.html#a8eaa746805b0afc17329d0ba4ad6a887',1,'SVF::TCT::TCT()'],['../classSVF_1_1LockAnalysis.html#a2c4a69b0f2381142c172b3043943c79d',1,'SVF::LockAnalysis::tct()'],['../classSVF_1_1MHP.html#a176eefb65e4ba99ee70513c8add44176',1,'SVF::MHP::tct()'],['../classSVF_1_1ForkJoinAnalysis.html#a2c6ce7aa04c399746d89230be0e0f1ce',1,'SVF::ForkJoinAnalysis::tct()'],['../classSVF_1_1MTA.html#a9c9a42fb8a8ada910cdb9a8fb55d7c36',1,'SVF::MTA::tct()']]],
   ['tct_2ecpp',['TCT.cpp',['../TCT_8cpp.html',1,'']]],
   ['tct_2eh',['TCT.h',['../TCT_8h.html',1,'']]],
   ['tct_5faccess',['TCT_ACCESS',['../classSVF_1_1MTAResultValidator.html#ae709b039a68f5600271c40903b1c0dbe',1,'SVF::MTAResultValidator']]],
@@ -43,7 +43,7 @@ var searchData=
   ['td_5ftype',['TD_TYPE',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3',1,'SVF::ThreadAPI']]],
   ['tdalive',['TDAlive',['../classSVF_1_1ForkJoinAnalysis.html#a8d40e687caf8999369621ed385dfc631a2abecc56b7d5c644f7e14c98d33d0a0a',1,'SVF::ForkJoinAnalysis']]],
   ['tdapi',['tdAPI',['../classSVF_1_1ThreadCallGraph.html#af1146c3d8e8b8885a1c48701e5b5a27f',1,'SVF::ThreadCallGraph::tdAPI()'],['../classSVF_1_1MTAResultValidator.html#aa0ca978e95529568edc4bdac1ffac110',1,'SVF::MTAResultValidator::tdAPI()'],['../classSVF_1_1PCG.html#a8215dc3643d1c4fb3d489e80cd3db336',1,'SVF::PCG::tdAPI()'],['../classSVF_1_1ThreadAPI.html#a2faebd2e481362b11ccce4256f81c32d',1,'SVF::ThreadAPI::tdAPI()']]],
-  ['tdapimap',['TDAPIMap',['../classSVF_1_1SaberCheckerAPI.html#a3115116dc595c4b157f2cfc0a6ea89fc',1,'SVF::SaberCheckerAPI::TDAPIMap()'],['../classSVF_1_1ThreadAPI.html#ae9721b91bd60d27ae3dd48cb058301b2',1,'SVF::ThreadAPI::TDAPIMap()'],['../classSVF_1_1SaberCheckerAPI.html#a62471599cba4bde20d2696a91fa064ec',1,'SVF::SaberCheckerAPI::tdAPIMap()'],['../classSVF_1_1ThreadAPI.html#a4277abaae24b43d83470054c247f479c',1,'SVF::ThreadAPI::tdAPIMap()']]],
+  ['tdapimap',['tdAPIMap',['../classSVF_1_1SaberCheckerAPI.html#a62471599cba4bde20d2696a91fa064ec',1,'SVF::SaberCheckerAPI::tdAPIMap()'],['../classSVF_1_1ThreadAPI.html#a4277abaae24b43d83470054c247f479c',1,'SVF::ThreadAPI::tdAPIMap()'],['../classSVF_1_1SaberCheckerAPI.html#a3115116dc595c4b157f2cfc0a6ea89fc',1,'SVF::SaberCheckerAPI::TDAPIMap()'],['../classSVF_1_1ThreadAPI.html#ae9721b91bd60d27ae3dd48cb058301b2',1,'SVF::ThreadAPI::TDAPIMap()']]],
   ['tddead',['TDDead',['../classSVF_1_1ForkJoinAnalysis.html#a8d40e687caf8999369621ed385dfc631ad5af2a561c196e33d88fc63363d0d8f4',1,'SVF::ForkJoinAnalysis']]],
   ['tdforkedge',['TDForkEdge',['../classSVF_1_1PTACallGraphEdge.html#a9738544725458bb022b8d5f2dbd281f7af32caf15ca19d512b5183bcf0d859cd7',1,'SVF::PTACallGraphEdge']]],
   ['tdforkpe',['TDForkPE',['../classSVF_1_1TDForkPE.html',1,'SVF::TDForkPE'],['../classSVF_1_1TDForkPE.html#a8d474c87f2f641336064270536fae8ae',1,'SVF::TDForkPE::TDForkPE()'],['../classSVF_1_1TDForkPE.html#ad55687afd603a027c4d7124061fce40b',1,'SVF::TDForkPE::TDForkPE(const TDForkPE &)'],['../classSVF_1_1TDForkPE.html#ad7b4afe5d25993ebbf2a87e3eaddaa40',1,'SVF::TDForkPE::TDForkPE(PAGNode *s, PAGNode *d, const CallBlockNode *i)']]],
@@ -88,8 +88,8 @@ var searchData=
   ['timelimit',['timeLimit',['../structDdManager.html#a6c14f932c4a66c6234e6b19bd8b6647f',1,'DdManager']]],
   ['timelimitreached',['timeLimitReached',['../namespaceSVF_1_1SVFUtil.html#add4cd21115988f9f5eec12e268ddf1d9',1,'SVF::SVFUtil']]],
   ['timeofcollapse',['timeOfCollapse',['../classSVF_1_1AndersenBase.html#ad40b196c2c699bd115529b806d20de25',1,'SVF::AndersenBase']]],
-  ['timeofcreatemuchi',['timeOfCreateMUCHI',['../classSVF_1_1MemSSA.html#a4d2418b7df74f23d8fd328f66e29f198',1,'SVF::MemSSA::timeOfCreateMUCHI()'],['../classSVF_1_1MemSSAStat.html#a48c70f0ed1c7d031a3cd528035162e52',1,'SVF::MemSSAStat::TimeOfCreateMUCHI()']]],
-  ['timeofgeneratingmemregions',['TimeOfGeneratingMemRegions',['../classSVF_1_1MemSSAStat.html#a74c36654b7452aa94aa241881f0a83c5',1,'SVF::MemSSAStat::TimeOfGeneratingMemRegions()'],['../classSVF_1_1MemSSA.html#a37dca8a7d155de4870358146d219b5e5',1,'SVF::MemSSA::timeOfGeneratingMemRegions()']]],
+  ['timeofcreatemuchi',['TimeOfCreateMUCHI',['../classSVF_1_1MemSSAStat.html#a48c70f0ed1c7d031a3cd528035162e52',1,'SVF::MemSSAStat::TimeOfCreateMUCHI()'],['../classSVF_1_1MemSSA.html#a4d2418b7df74f23d8fd328f66e29f198',1,'SVF::MemSSA::timeOfCreateMUCHI()']]],
+  ['timeofgeneratingmemregions',['timeOfGeneratingMemRegions',['../classSVF_1_1MemSSA.html#a37dca8a7d155de4870358146d219b5e5',1,'SVF::MemSSA::timeOfGeneratingMemRegions()'],['../classSVF_1_1MemSSAStat.html#a74c36654b7452aa94aa241881f0a83c5',1,'SVF::MemSSAStat::TimeOfGeneratingMemRegions()']]],
   ['timeofinsertingphi',['timeOfInsertingPHI',['../classSVF_1_1MemSSA.html#a3c7b5fa73fdc7c805ee3673fbe812b44',1,'SVF::MemSSA::timeOfInsertingPHI()'],['../classSVF_1_1MemSSAStat.html#a0c24822c8549af6a96e82312954fab9b',1,'SVF::MemSSAStat::TimeOfInsertingPHI()']]],
   ['timeofprocesscopygep',['timeOfProcessCopyGep',['../classSVF_1_1AndersenBase.html#aae14de6fbca9280d8d0290326aa493f0',1,'SVF::AndersenBase']]],
   ['timeofprocessloadstore',['timeOfProcessLoadStore',['../classSVF_1_1AndersenBase.html#a9fe738f1e11c80006d540f246a80bfdf',1,'SVF::AndersenBase']]],
@@ -97,7 +97,7 @@ var searchData=
   ['timeofsccmerges',['timeOfSCCMerges',['../classSVF_1_1AndersenBase.html#a02c5a50b214d36921e1404784e76704d',1,'SVF::AndersenBase']]],
   ['timeofssarenaming',['timeOfSSARenaming',['../classSVF_1_1MemSSA.html#a97ccd5e0b9ab6144415e26bdf95cbabd',1,'SVF::MemSSA::timeOfSSARenaming()'],['../classSVF_1_1MemSSAStat.html#a887ff23a7ea1a18f08b1744ff30da773',1,'SVF::MemSSAStat::TimeOfSSARenaming()']]],
   ['timeofupdatecallgraph',['timeOfUpdateCallGraph',['../classSVF_1_1AndersenBase.html#a2afb49f513c9534fd051117b59dc056b',1,'SVF::AndersenBase']]],
-  ['timestatmap',['timeStatMap',['../classSVF_1_1PTAStat.html#a3724756ac0527ba3d199be32e38c6337',1,'SVF::PTAStat::timeStatMap()'],['../classSVF_1_1PTAStat.html#a28f304e7095f3843ca4cc017bc1f7b10',1,'SVF::PTAStat::TIMEStatMap()']]],
+  ['timestatmap',['TIMEStatMap',['../classSVF_1_1PTAStat.html#a28f304e7095f3843ca4cc017bc1f7b10',1,'SVF::PTAStat::TIMEStatMap()'],['../classSVF_1_1PTAStat.html#a3724756ac0527ba3d199be32e38c6337',1,'SVF::PTAStat::timeStatMap()']]],
   ['tinterphi',['TInterPhi',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa501e9891cbacea3950d80aa6071ec69',1,'SVF::VFGNode']]],
   ['tintraphi',['TIntraPhi',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a3d97c6d57d8d2e7387715f4eb719f727',1,'SVF::VFGNode']]],
   ['tlptdata',['tlPTData',['../classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f',1,'SVF::MutableVersionedPTData::tlPTData()'],['../classSVF_1_1PersistentVersionedPTData.html#a29104a2d53d94805e142f778d3d21ad5',1,'SVF::PersistentVersionedPTData::tlPTData()']]],
@@ -148,7 +148,7 @@ var searchData=
   ['treez',['treeZ',['../structDdManager.html#a748a046ca1743d33b4cfaea560cc4d48',1,'DdManager']]],
   ['tripcount',['tripcount',['../classSVF_1_1PTASCEV.html#aa92f2da24c8b6d3548f8b4920a8d157f',1,'SVF::PTASCEV']]],
   ['truecond',['trueCond',['../classSVF_1_1CondManager.html#aed854ecc55a568597f7d7f1f78fb92f4',1,'SVF::CondManager']]],
-  ['type',['type',['../structDdNode.html#ac7e82d45498ac66d16e74db9a7971d9b',1,'DdNode::type()'],['../structDdGen.html#ab08569c7ba12c63288a09a92109aa81d',1,'DdGen::type()'],['../structEpDoubleStruct.html#ad715bfed9d5d6ebd3333b0f9d36030c6',1,'EpDoubleStruct::type()'],['../classSVF_1_1ObjTypeInfo.html#a6e7780d4e2639c089ff6c853d8d78a4d',1,'SVF::ObjTypeInfo::type()'],['../classSVF_1_1PointsTo.html#aaa9c956187f2c04a7a242ce440d1416f',1,'SVF::PointsTo::type()'],['../classSVF_1_1PTAType.html#a748b82b463001ba95f08a7ec229c412b',1,'SVF::PTAType::type()'],['../classSVF_1_1MSSAMU.html#a3cbe5ca0cb91090ef0e8b331e2f15f7c',1,'SVF::MSSAMU::type()'],['../classSVF_1_1MSSADEF.html#a9e8a03dc2c2f76ef6bc095f21911f5b6',1,'SVF::MSSADEF::type()'],['../classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923e',1,'SVF::PointsTo::Type()'],['../namespaceSVF.html#a1d008c0666c145622b81d427be64c52d',1,'SVF::Type()']]],
+  ['type',['Type',['../classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923e',1,'SVF::PointsTo::Type()'],['../structDdNode.html#ac7e82d45498ac66d16e74db9a7971d9b',1,'DdNode::type()'],['../structDdGen.html#ab08569c7ba12c63288a09a92109aa81d',1,'DdGen::type()'],['../structEpDoubleStruct.html#ad715bfed9d5d6ebd3333b0f9d36030c6',1,'EpDoubleStruct::type()'],['../classSVF_1_1ObjTypeInfo.html#a6e7780d4e2639c089ff6c853d8d78a4d',1,'SVF::ObjTypeInfo::type()'],['../classSVF_1_1PointsTo.html#aaa9c956187f2c04a7a242ce440d1416f',1,'SVF::PointsTo::type()'],['../classSVF_1_1PTAType.html#a748b82b463001ba95f08a7ec229c412b',1,'SVF::PTAType::type()'],['../classSVF_1_1MSSAMU.html#a3cbe5ca0cb91090ef0e8b331e2f15f7c',1,'SVF::MSSAMU::type()'],['../classSVF_1_1MSSADEF.html#a9e8a03dc2c2f76ef6bc095f21911f5b6',1,'SVF::MSSADEF::type()'],['../namespaceSVF.html#a1d008c0666c145622b81d427be64c52d',1,'SVF::Type()']]],
   ['typeanalysis',['TypeAnalysis',['../classSVF_1_1TypeAnalysis.html',1,'SVF::TypeAnalysis'],['../classSVF_1_1TypeAnalysis.html#a994a2914820f7c31b12cc48b180e6e49',1,'SVF::TypeAnalysis::TypeAnalysis()']]],
   ['typeanalysis_2ecpp',['TypeAnalysis.cpp',['../TypeAnalysis_8cpp.html',1,'']]],
   ['typeanalysis_2eh',['TypeAnalysis.h',['../TypeAnalysis_8h.html',1,'']]],

package/SVF-doxygen/html/html/search/all_15.js

@@ -3,7 +3,7 @@ var searchData=
   ['u32_5ft',['u32_t',['../namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af',1,'SVF']]],
   ['u64_5ft',['u64_t',['../namespaceSVF.html#a366625858f450a1ea5f985a3c83e0f14',1,'SVF']]],
   ['ub',['ub',['../structDdGen.html#ae51bc3e1c4430dd5b62f280e0e964512',1,'DdGen']]],
-  ['unarynodemap',['UnaryNodeMap',['../classSVF_1_1PAG.html#a471804c7fbdfacd90915c3a9cec7fccd',1,'SVF::PAG::UnaryNodeMap()'],['../classSVF_1_1PAG.html#a5c450f3a87983c66a477081acd97a49f',1,'SVF::PAG::unaryNodeMap()']]],
+  ['unarynodemap',['unaryNodeMap',['../classSVF_1_1PAG.html#a5c450f3a87983c66a477081acd97a49f',1,'SVF::PAG::unaryNodeMap()'],['../classSVF_1_1PAG.html#a471804c7fbdfacd90915c3a9cec7fccd',1,'SVF::PAG::UnaryNodeMap()']]],
   ['unaryop',['UnaryOp',['../classSVF_1_1PAGEdge.html#a79080505b4744aa8806b55215ac2b0f6afad5f112c36b6e35baf38054c14ae597',1,'SVF::PAGEdge::UnaryOp()'],['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a31dae52a5c31284a8fe54294bd34a5dc',1,'SVF::VFGNode::UnaryOp()']]],
   ['unaryoperator',['UnaryOperator',['../namespaceSVF.html#a292a6e8c5b4f2023b5575879c57eca62',1,'SVF']]],
   ['unaryoplist',['UnaryOPList',['../classSVF_1_1PAG.html#a6b8c71339e37338402b82734145898b6',1,'SVF::PAG']]],
@@ -36,7 +36,7 @@ var searchData=
   ['updatecachedpointsto',['updateCachedPointsTo',['../classSVF_1_1DDAVFSolver.html#a239a55960dfbbe73df63063070a18b56',1,'SVF::DDAVFSolver']]],
   ['updatecallgraph',['updateCallGraph',['../classSVF_1_1ICFG.html#a5a00682b75726cacc1b4d88bbf40c824',1,'SVF::ICFG::updateCallGraph()'],['../classSVF_1_1ThreadCallGraph.html#ae25bca6e64ceedc56f1e2f1ae30f89eb',1,'SVF::ThreadCallGraph::updateCallGraph()'],['../classSVF_1_1VFG.html#a0c0a7c8f0bd27bc9e88ce54c0809b11b',1,'SVF::VFG::updateCallGraph()'],['../classSVF_1_1BVDataPTAImpl.html#aa534e475fa34fa322c567bc376a3da70',1,'SVF::BVDataPTAImpl::updateCallGraph()'],['../classSVF_1_1AndersenBase.html#ac05796a5672ddb5bd0e08924d79da065',1,'SVF::AndersenBase::updateCallGraph()'],['../classSVF_1_1Andersen.html#a6c60b761ddf3d6bf08c8a9c3f6fd9f0b',1,'SVF::Andersen::updateCallGraph()'],['../classSVF_1_1AndersenSCD.html#a512c636bdaafe6a3ac8f0cc29392c573',1,'SVF::AndersenSCD::updateCallGraph()'],['../classSVF_1_1FlowSensitive.html#a9d81537ec20196315a9a2541477ec5bf',1,'SVF::FlowSensitive::updateCallGraph()']]],
   ['updatecallgraphandsvfg',['updateCallGraphAndSVFG',['../classSVF_1_1ContextDDA.html#a4b8466d2e8e885fea2f41b5713f785bd',1,'SVF::ContextDDA::updateCallGraphAndSVFG()'],['../classSVF_1_1DDAVFSolver.html#a4f63b6b3a06633675ae99667cbaa6cdc',1,'SVF::DDAVFSolver::updateCallGraphAndSVFG()'],['../classSVF_1_1FlowDDA.html#ad6f9b84e18367f40c7c2d26bedda7684',1,'SVF::FlowDDA::updateCallGraphAndSVFG()']]],
-  ['updatecallgraphtime',['UpdateCallGraphTime',['../classSVF_1_1PTAStat.html#a8aedfeb35f76e6d33135637156468894',1,'SVF::PTAStat::UpdateCallGraphTime()'],['../classSVF_1_1FlowSensitive.html#afc140b6c8e78dc2d962f64fdf53b1e07',1,'SVF::FlowSensitive::updateCallGraphTime()']]],
+  ['updatecallgraphtime',['updateCallGraphTime',['../classSVF_1_1FlowSensitive.html#afc140b6c8e78dc2d962f64fdf53b1e07',1,'SVF::FlowSensitive::updateCallGraphTime()'],['../classSVF_1_1PTAStat.html#a8aedfeb35f76e6d33135637156468894',1,'SVF::PTAStat::UpdateCallGraphTime()']]],
   ['updateconnectednodes',['updateConnectedNodes',['../classSVF_1_1FlowSensitive.html#a1886b4964efa92cfff761493d12768b8',1,'SVF::FlowSensitive::updateConnectedNodes()'],['../classSVF_1_1VersionedFlowSensitive.html#a18f24fe34af677e2a8c78ee89b89be1c',1,'SVF::VersionedFlowSensitive::updateConnectedNodes()']]],
   ['updatedfinfromin',['updateDFInFromIn',['../classSVF_1_1DFPTData.html#a88cf9cd48ee5c1b8b3c71b379f23ab6b',1,'SVF::DFPTData::updateDFInFromIn()'],['../classSVF_1_1MutableDFPTData.html#ac3ebc5afa531118b2b4446d23e3b8c7a',1,'SVF::MutableDFPTData::updateDFInFromIn()'],['../classSVF_1_1MutableIncDFPTData.html#a775ef6458314a1febef3f7372f6a2bbc',1,'SVF::MutableIncDFPTData::updateDFInFromIn()'],['../classSVF_1_1PersistentDFPTData.html#a9b61c0557c6b1460af2328709011b32e',1,'SVF::PersistentDFPTData::updateDFInFromIn()'],['../classSVF_1_1PersistentIncDFPTData.html#a5b015e6801e4320e45e7942f9db82a42',1,'SVF::PersistentIncDFPTData::updateDFInFromIn()']]],
   ['updatedfinfromout',['updateDFInFromOut',['../classSVF_1_1DFPTData.html#a2ec4fb73d87f10c86fac34b3500532b3',1,'SVF::DFPTData::updateDFInFromOut()'],['../classSVF_1_1MutableDFPTData.html#a85c0d93ee01d2c93c255e5a369248d1b',1,'SVF::MutableDFPTData::updateDFInFromOut()'],['../classSVF_1_1MutableIncDFPTData.html#ad199b4b84f7aab48ff1510b118e2982f',1,'SVF::MutableIncDFPTData::updateDFInFromOut()'],['../classSVF_1_1PersistentDFPTData.html#abfacbe37d9e0b5f05eabec66c60c2e2b',1,'SVF::PersistentDFPTData::updateDFInFromOut()'],['../classSVF_1_1PersistentIncDFPTData.html#a9191992b978b643f2d51633b2e330ec6',1,'SVF::PersistentIncDFPTData::updateDFInFromOut()']]],

package/SVF-doxygen/html/html/search/all_16.js

@@ -4,7 +4,6 @@ var searchData=
   ['vacopyinst',['VACopyInst',['../namespaceSVF.html#a0f3339f5241441c7e6023df9e0cfa295',1,'SVF']]],
   ['vaendinst',['VAEndInst',['../namespaceSVF.html#adb305e32f35af19b870b07711ba5b913',1,'SVF']]],
   ['valdomain',['ValDomain',['../classSVF_1_1LockAnalysis.html#ac2fbbabca4506e28f706cf54b1614791',1,'SVF::LockAnalysis::ValDomain()'],['../classSVF_1_1ForkJoinAnalysis.html#a8d40e687caf8999369621ed385dfc631',1,'SVF::ForkJoinAnalysis::ValDomain()']]],
-  ['valid',['valid',['../structSVF_1_1VersionedFlowSensitive_1_1VersionCache.html#aa530b30b6b65bb2ba5cbc0922e8d0654',1,'SVF::VersionedFlowSensitive::VersionCache']]],
   ['validateall',['validateAll',['../classSVF_1_1RaceResultValidator.html#a58e07fcd0d9a611dfd31ab62802c5990',1,'SVF::RaceResultValidator']]],
   ['validatecxtthread',['validateCxtThread',['../classSVF_1_1MTAResultValidator.html#afa01b108b67ec2ac05a6444b55dbfe01',1,'SVF::MTAResultValidator']]],
   ['validateexpectedfailuretests',['validateExpectedFailureTests',['../classSVF_1_1PointerAnalysis.html#ab982e6bbd99a2f9a0a3abbebeeb00dcc',1,'SVF::PointerAnalysis::validateExpectedFailureTests()'],['../classSVF_1_1LeakChecker.html#af098d01a353a217bd54a90f92f62a45f',1,'SVF::LeakChecker::validateExpectedFailureTests()']]],
@@ -24,7 +23,7 @@ var searchData=
   ['value2string',['value2String',['../namespaceSVF_1_1SVFUtil.html#a7486fd8e5350879ed1cbd835c0d4e191',1,'SVF::SVFUtil']]],
   ['value_5ftype',['value_type',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#ab81cda692bb6ad451276f571a25c0751',1,'SVF::PointsTo::PointsToIterator::value_type()'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a6a59f0e97fc9cf278ed22b0a4c109ae1',1,'SVF::CoreBitVector::CoreBitVectorIterator::value_type()']]],
   ['valuenodes',['valueNodes',['../classSVF_1_1ExternalPAG.html#a4776a673e53d7b0bdd17f29a608a5620',1,'SVF::ExternalPAG']]],
-  ['valuetoedgemap',['ValueToEdgeMap',['../classSVF_1_1PAG.html#a9849898bac3644021638380b60f96891',1,'SVF::PAG::ValueToEdgeMap()'],['../classSVF_1_1PAG.html#a42b57f4523f30b0f739b1285ea744766',1,'SVF::PAG::valueToEdgeMap()']]],
+  ['valuetoedgemap',['valueToEdgeMap',['../classSVF_1_1PAG.html#a42b57f4523f30b0f739b1285ea744766',1,'SVF::PAG::valueToEdgeMap()'],['../classSVF_1_1PAG.html#a9849898bac3644021638380b60f96891',1,'SVF::PAG::ValueToEdgeMap()']]],
   ['valuetoidmapty',['ValueToIDMapTy',['../classSVF_1_1SymbolTableInfo.html#a03a11c48d748990ddac1ac5866ecb48e',1,'SVF::SymbolTableInfo']]],
   ['var_5farray_5fobj',['VAR_ARRAY_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830adedc43e0fcaebf433120869aa9307b1c',1,'SVF::ObjTypeInfo']]],
   ['var_5fstruct_5fobj',['VAR_STRUCT_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830aaf98981bd15b41f543fd99d0c6222f08',1,'SVF::ObjTypeInfo']]],
@@ -53,7 +52,6 @@ var searchData=
   ['verifycallgraph',['verifyCallGraph',['../classSVF_1_1PTACallGraph.html#ac695d78f0a78e2e5f1fb4f93264e52b8',1,'SVF::PTACallGraph']]],
   ['verifystructsize',['verifyStructSize',['../classSVF_1_1LocSymTableInfo.html#a1b4b45547634b0c68c363ce21870e610',1,'SVF::LocSymTableInfo']]],
   ['version',['version',['../classSVF_1_1DummyVersionPropSVFGNode.html#a6c092656833dd1eae08eac458689e37d',1,'SVF::DummyVersionPropSVFGNode::version()'],['../classSVF_1_1MRVer.html#afc08020e6d2f1721d1d1363ed3fef151',1,'SVF::MRVer::version()'],['../namespaceSVF.html#a9ec7a8dc63411ee3724a25a59191be0c',1,'SVF::Version()']]],
-  ['versioncache',['VersionCache',['../structSVF_1_1VersionedFlowSensitive_1_1VersionCache.html',1,'SVF::VersionedFlowSensitive::VersionCache'],['../classSVF_1_1VersionedFlowSensitive.html#a8509e73c41aa3369c0d05fa38c846960',1,'SVF::VersionedFlowSensitive::VersionCache()']]],
   ['versioned',['Versioned',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848a33bb78ff686c2cd774e127ce77f9cb67',1,'SVF::PTData']]],
   ['versionedflowsensitive',['VersionedFlowSensitive',['../classSVF_1_1VersionedFlowSensitive.html',1,'SVF::VersionedFlowSensitive'],['../classSVF_1_1VersionedFlowSensitive.html#af52cafc2bb393823f51ca89a0abacec4',1,'SVF::VersionedFlowSensitive::VersionedFlowSensitive()']]],
   ['versionedflowsensitive_2ecpp',['VersionedFlowSensitive.cpp',['../VersionedFlowSensitive_8cpp.html',1,'']]],
@@ -64,10 +62,13 @@ var searchData=
   ['versionedptdata',['VersionedPTData',['../classSVF_1_1VersionedPTData.html',1,'SVF::VersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >'],['../classSVF_1_1VersionedPTData.html#a2cc5ee586042f19aa698fd8ec48e33b5',1,'SVF::VersionedPTData::VersionedPTData()']]],
   ['versionedptdataty',['VersionedPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#a8bc5e039958280b18e5a00a56e0bdc94',1,'SVF::BVDataPTAImpl']]],
   ['versionedvar',['VersionedVar',['../namespaceSVF.html#a32489632f53dce062ca2e8bff42c65cf',1,'SVF']]],
+  ['versionedvarset',['VersionedVarSet',['../namespaceSVF.html#a544021f3075a89ff634b215a0efe3385',1,'SVF']]],
   ['versionedvartopropnode',['versionedVarToPropNode',['../classSVF_1_1VersionedFlowSensitive.html#af14a4cbc0b990389d31b2f88f50ad8eb',1,'SVF::VersionedFlowSensitive']]],
+  ['versioningthreads',['VersioningThreads',['../classSVF_1_1Options.html#adba18ce8f1496fe2e57a934f11c2dfd9',1,'SVF::Options']]],
   ['versionproptime',['versionPropTime',['../classSVF_1_1VersionedFlowSensitive.html#af15bb6be283fee2fcc4b1fb7d8190451',1,'SVF::VersionedFlowSensitive']]],
   ['versionreliance',['versionReliance',['../classSVF_1_1VersionedFlowSensitive.html#a1dc6e3d4931b53e7e426c0f76d06aeb3',1,'SVF::VersionedFlowSensitive']]],
   ['versionreliancemap',['VersionRelianceMap',['../classSVF_1_1VersionedFlowSensitive.html#ad8108ee0b034877dea5e927d29ca0534',1,'SVF::VersionedFlowSensitive']]],
+  ['versionset',['VersionSet',['../namespaceSVF.html#a046466b2ed3618072fee227b569da6eb',1,'SVF']]],
   ['versionstat',['versionStat',['../classSVF_1_1VersionedFlowSensitiveStat.html#ad7fe08f5d684e3411f8f28ec346bd814',1,'SVF::VersionedFlowSensitiveStat']]],
   ['veto',['Veto',['../classSVF_1_1WPAPass.html#a4505a1882956feda3cf83c788149394dabb45a604558e2ebff460adb77b4a5d7c',1,'SVF::WPAPass']]],
   ['vfedgesatindcallsite',['vfEdgesAtIndCallSite',['../classSVF_1_1SVFGBuilder.html#aa9b432dd72f1a39be142c4e2c2d51247',1,'SVF::SVFGBuilder']]],
@@ -106,7 +107,7 @@ var searchData=
   ['virtualcallsites',['virtualCallSites',['../classSVF_1_1TypeAnalysis.html#aa7fb5d1cd8e42058120758a990ed471d',1,'SVF::TypeAnalysis']]],
   ['virtualfunctiontoidmap',['virtualFunctionToIDMap',['../classSVF_1_1CHGraph.html#a6a581e9b4105745c518124b494b41c63',1,'SVF::CHGraph']]],
   ['virtualfunctionvectors',['virtualFunctionVectors',['../classSVF_1_1CHNode.html#a9c81308b3eac1728c122fda39e260a90',1,'SVF::CHNode']]],
-  ['visit',['visit',['../classSVF_1_1SCCDetection.html#af799d7043e501e43e04e51fd4d6c6571',1,'SVF::SCCDetection::visit()'],['../classSVF_1_1CSC.html#ae2cf80e57c85add6e68bf282e833e0e7',1,'SVF::CSC::visit()']]],
+  ['visit',['visit',['../classSVF_1_1SCCDetection.html#af799d7043e501e43e04e51fd4d6c6571',1,'SVF::SCCDetection::visit()'],['../classSVF_1_1CSC.html#ae2cf80e57c85add6e68bf282e833e0e7',1,'SVF::CSC::visit()'],['../classSVF_1_1VersionedFlowSensitive_1_1SCC.html#af7ba77d72962b930a8107752e259008b',1,'SVF::VersionedFlowSensitive::SCC::visit()']]],
   ['visitallocainst',['visitAllocaInst',['../classSVF_1_1PAGBuilder.html#ac119eecbd406c08b473b39c7fa3e475b',1,'SVF::PAGBuilder']]],
   ['visitatomiccmpxchginst',['visitAtomicCmpXchgInst',['../classSVF_1_1PAGBuilder.html#af9e25ea8fee0e6d58c70ed7f1444ccaa',1,'SVF::PAGBuilder']]],
   ['visitatomicrmwinst',['visitAtomicRMWInst',['../classSVF_1_1PAGBuilder.html#a86667fc83e3afd45da76b8a0bf73ea83',1,'SVF::PAGBuilder']]],

package/SVF-doxygen/html/html/search/all_17.js

@@ -1,5 +1,6 @@
 var searchData=
 [
+  ['wall',['Wall',['../classSVF_1_1PTAStat.html#a926cd5ab95f4f42ffe264413a32725cfa6c9d7a9709df10eb67ce27e744e0f61c',1,'SVF::PTAStat']]],
   ['weakupdateoutfromin',['weakUpdateOutFromIn',['../classSVF_1_1FlowSensitive.html#ab492c283e2264b4cbd4c192e805b7750',1,'SVF::FlowSensitive']]],
   ['weight',['WEIGHT',['../cuddInt_8c.html#aa0c21b2677d4dc06dfd0dd175bb1a718',1,'cuddInt.c']]],
   ['wholeprogrampa',['WHOLEPROGRAMPA',['../WPAPass_8cpp.html#a0a306f89dc7cb0253059399b0599c678',1,'WPAPass.cpp']]],
@@ -7,7 +8,7 @@ var searchData=
   ['wordit',['wordIt',['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a1afa1cb9e8377d3dab767aa4bfc713dc',1,'SVF::CoreBitVector::CoreBitVectorIterator']]],
   ['words',['words',['../classSVF_1_1CoreBitVector.html#a807283a917e845ef19c4962b1744e98b',1,'SVF::CoreBitVector']]],
   ['wordsize',['WordSize',['../classSVF_1_1CoreBitVector.html#a63f5e4a36359ae62401e5f8dfecb86a3',1,'SVF::CoreBitVector']]],
-  ['worklist',['WorkList',['../classSVF_1_1ConstraintGraph.html#ae80fc7e5d68e103d8f3a82bc9ffb0f00',1,'SVF::ConstraintGraph::WorkList()'],['../classSVF_1_1SVFGOPT.html#a3ee399dc45e90a512be7575642855f40',1,'SVF::SVFGOPT::WorkList()'],['../classSVF_1_1MRGenerator.html#a68d50c752252bd40c402c7b99b95f0fc',1,'SVF::MRGenerator::WorkList()'],['../classSVF_1_1LeakChecker.html#af1e1f0fd38f72dcdfb5daa3d8af9538b',1,'SVF::LeakChecker::WorkList()'],['../classSVF_1_1SaberSVFGBuilder.html#a8e07c6afc4ae6e2792431065c2948039',1,'SVF::SaberSVFGBuilder::WorkList()'],['../classSVF_1_1SrcSnkDDA.html#a3c0d8850c4dae49a760ce5f80fb8822a',1,'SVF::SrcSnkDDA::WorkList()'],['../classSVF_1_1CHGraph.html#af1b638faf888898cdf168c25e008ab12',1,'SVF::CHGraph::WorkList()'],['../classSVF_1_1ICFGBuilder.html#a2dc4467008cdd6eb896e98b67457082a',1,'SVF::ICFGBuilder::WorkList()'],['../classSVF_1_1CFLSolver.html#a802e04eafce9adfd60506c44951c3d53',1,'SVF::CFLSolver::WorkList()'],['../classSVF_1_1WPASolver.html#a624e9156b2d3a4f284548cbaaf650334',1,'SVF::WPASolver::WorkList()'],['../classSVF_1_1SVFGOPT.html#a925f39665e13b18dfe66c2dded44c194',1,'SVF::SVFGOPT::worklist()'],['../classSVF_1_1CFLSolver.html#a9d3cbcb9db049e3069b6553ab17ccf5b',1,'SVF::CFLSolver::worklist()'],['../classSVF_1_1WPASolver.html#a1775717a8c8d5d125b7561bc1ae6abf5',1,'SVF::WPASolver::worklist()']]],
+  ['worklist',['worklist',['../classSVF_1_1SVFGOPT.html#a925f39665e13b18dfe66c2dded44c194',1,'SVF::SVFGOPT::worklist()'],['../classSVF_1_1CFLSolver.html#a9d3cbcb9db049e3069b6553ab17ccf5b',1,'SVF::CFLSolver::worklist()'],['../classSVF_1_1WPASolver.html#a1775717a8c8d5d125b7561bc1ae6abf5',1,'SVF::WPASolver::worklist()'],['../classSVF_1_1ConstraintGraph.html#ae80fc7e5d68e103d8f3a82bc9ffb0f00',1,'SVF::ConstraintGraph::WorkList()'],['../classSVF_1_1SVFGOPT.html#a3ee399dc45e90a512be7575642855f40',1,'SVF::SVFGOPT::WorkList()'],['../classSVF_1_1MRGenerator.html#a68d50c752252bd40c402c7b99b95f0fc',1,'SVF::MRGenerator::WorkList()'],['../classSVF_1_1LeakChecker.html#af1e1f0fd38f72dcdfb5daa3d8af9538b',1,'SVF::LeakChecker::WorkList()'],['../classSVF_1_1SaberSVFGBuilder.html#a8e07c6afc4ae6e2792431065c2948039',1,'SVF::SaberSVFGBuilder::WorkList()'],['../classSVF_1_1SrcSnkDDA.html#a3c0d8850c4dae49a760ce5f80fb8822a',1,'SVF::SrcSnkDDA::WorkList()'],['../classSVF_1_1CHGraph.html#af1b638faf888898cdf168c25e008ab12',1,'SVF::CHGraph::WorkList()'],['../classSVF_1_1ICFGBuilder.html#a2dc4467008cdd6eb896e98b67457082a',1,'SVF::ICFGBuilder::WorkList()'],['../classSVF_1_1CFLSolver.html#a802e04eafce9adfd60506c44951c3d53',1,'SVF::CFLSolver::WorkList()'],['../classSVF_1_1WPASolver.html#a624e9156b2d3a4f284548cbaaf650334',1,'SVF::WPASolver::WorkList()']]],
   ['worklist_2eh',['WorkList.h',['../WorkList_8h.html',1,'']]],
   ['workstack',['WorkStack',['../classSVF_1_1CSC.html#a0490b9998987d245ee6e56bc68db4f1e',1,'SVF::CSC']]],
   ['wpa_2ecpp',['wpa.cpp',['../wpa_8cpp.html',1,'']]],

package/SVF-doxygen/html/html/search/all_19.js

@@ -2,6 +2,5 @@ var searchData=
 [
   ['y',['y',['../structMove.html#aa9efffa2fedb329783f36f190e6c4b3b',1,'Move']]],
   ['yield',['yield',['../classSVF_1_1VersionedFlowSensitive.html#a16224ee60494bb1fdf1c8a1026fbe7ab',1,'SVF::VersionedFlowSensitive']]],
-  ['yieldcache',['yieldCache',['../classSVF_1_1VersionedFlowSensitive.html#a86f03759d0c9e739d70d537ab02d7082',1,'SVF::VersionedFlowSensitive']]],
   ['younger',['younger',['../structMtrNode.html#a954fd8014884285b38a15a4623e77217',1,'MtrNode']]]
 ];

package/SVF-doxygen/html/html/search/all_2.js

@@ -112,12 +112,14 @@ var searchData=
   ['buildchgnodes',['buildCHGNodes',['../classSVF_1_1CHGraph.html#a185d0eae7e361128e8dbbe47fc18051b',1,'SVF::CHGraph::buildCHGNodes(const GlobalValue *V)'],['../classSVF_1_1CHGraph.html#aa7280c8102df6ee625cbe1accba6f09f',1,'SVF::CHGraph::buildCHGNodes(const SVFFunction *F)']]],
   ['buildclassnametoancestorsdescendantsmap',['buildClassNameToAncestorsDescendantsMap',['../classSVF_1_1CHGraph.html#a3468ae9cbcff4c525c627ddb7a416cda',1,'SVF::CHGraph']]],
   ['buildcstochavtblsandvfnsmap',['buildCSToCHAVtblsAndVfnsMap',['../classSVF_1_1CHGraph.html#a71e74fc9c9a27cd354aa113801ed416f',1,'SVF::CHGraph']]],
+  ['builddeltamaps',['buildDeltaMaps',['../classSVF_1_1VersionedFlowSensitive.html#a3407cc82ef9806e26b79edb677979014',1,'SVF::VersionedFlowSensitive']]],
   ['buildfullsvfg',['buildFullSVFG',['../classSVF_1_1SVFGBuilder.html#a54a713e3989597b11cee70864d0197bd',1,'SVF::SVFGBuilder']]],
   ['buildfullsvfgwithoutopt',['buildFullSVFGWithoutOPT',['../classSVF_1_1SVFGBuilder.html#a7a43ae081645eb74fa48c136548f0809',1,'SVF::SVFGBuilder']]],
   ['buildfuntofunmap',['buildFunToFunMap',['../classSVF_1_1LLVMModuleSet.html#ac7c646a78c989807c52263fc35fb3628',1,'SVF::LLVMModuleSet']]],
   ['buildglobaldeftorepmap',['buildGlobalDefToRepMap',['../classSVF_1_1LLVMModuleSet.html#aaab03cb6ff665bc008c67b866ba81e47',1,'SVF::LLVMModuleSet']]],
   ['buildingchgtime',['buildingCHGTime',['../classSVF_1_1CHGraph.html#ab5bd2348e4418fcb2f3b18227fccd836',1,'SVF::CHGraph']]],
   ['buildinternalmaps',['buildInternalMaps',['../classSVF_1_1CHGraph.html#ab55b057a7be74ad03514dc15b6f01131',1,'SVF::CHGraph']]],
+  ['buildisstoreloadmaps',['buildIsStoreLoadMaps',['../classSVF_1_1VersionedFlowSensitive.html#a8da4b9bd9d0c640a6857b4dc4991817c',1,'SVF::VersionedFlowSensitive']]],
   ['buildmemmodel',['buildMemModel',['../classSVF_1_1SymbolTableInfo.html#a74481bb26d77d8c8bca91efd3e23c08e',1,'SVF::SymbolTableInfo']]],
   ['buildmemssa',['buildMemSSA',['../classSVF_1_1MemSSA.html#ae56d1878046c119d1857727ca3609d74',1,'SVF::MemSSA']]],
   ['buildmssa',['buildMSSA',['../classSVF_1_1SVFGBuilder.html#a49cee21be46d6a3f65eec638714038ed',1,'SVF::SVFGBuilder']]],

package/SVF-doxygen/html/html/search/all_3.js

@@ -190,6 +190,7 @@ var searchData=
   ['clearstat',['clearStat',['../classSVF_1_1FlowSensitiveStat.html#ab4c205136b22a13b54ceb48135730d23',1,'SVF::FlowSensitiveStat::clearStat()'],['../classSVF_1_1VersionedFlowSensitiveStat.html#a6664f28eab3052988ab9e89766373981',1,'SVF::VersionedFlowSensitiveStat::clearStat()']]],
   ['clearvisitedmap',['clearVisitedMap',['../classSVF_1_1SrcSnkDDA.html#af048c70d7e68da22835570a3381eb14d',1,'SVF::SrcSnkDDA']]],
   ['clock_5fin_5fms',['CLOCK_IN_MS',['../SVFBasicTypes_8h.html#af091e361d7961cb895ff2101eceed953',1,'SVFBasicTypes.h']]],
+  ['clocktype',['ClockType',['../classSVF_1_1PTAStat.html#a926cd5ab95f4f42ffe264413a32725cf',1,'SVF::PTAStat::ClockType()'],['../classSVF_1_1Options.html#a6a62b34de8ec23899a8024e0450c43df',1,'SVF::Options::ClockType()']]],
   ['clonedummyobjnode',['CloneDummyObjNode',['../classSVF_1_1PAGNode.html#a5cc5327ba68c3f11ed4bef47d89c3dfda2b633e41b4f1515ba25862f0bae0165c',1,'SVF::PAGNode']]],
   ['clonedummyobjpn',['CloneDummyObjPN',['../classSVF_1_1CloneDummyObjPN.html',1,'SVF::CloneDummyObjPN'],['../classSVF_1_1CloneDummyObjPN.html#a6b2a894267716e725332b85b1fdc670c',1,'SVF::CloneDummyObjPN::CloneDummyObjPN()']]],
   ['clonefiobjnode',['CloneFIObjNode',['../classSVF_1_1PAGNode.html#a5cc5327ba68c3f11ed4bef47d89c3dfda988291beb55638d5558be338c3771c31',1,'SVF::PAGNode']]],
@@ -367,7 +368,6 @@ var searchData=
   ['constructor',['CONSTRUCTOR',['../classSVF_1_1CHGraph.html#a2a1da7f262a2f11653fb583154a93a22a331376f6d22d2346039db7a9c9a311c2',1,'SVF::CHGraph']]],
   ['constsvfgedgeset',['ConstSVFGEdgeSet',['../classSVF_1_1DDAVFSolver.html#aef98e8e9144a69bb7481fef5d2dcb303',1,'SVF::DDAVFSolver']]],
   ['consume',['consume',['../classSVF_1_1VersionedFlowSensitive.html#a2e4e6a84cbfd553ad9cca8fdf9fd4a8d',1,'SVF::VersionedFlowSensitive']]],
-  ['consumecache',['consumeCache',['../classSVF_1_1VersionedFlowSensitive.html#a6da3d01bd4f8b58c3dac952bba4ee958',1,'SVF::VersionedFlowSensitive']]],
   ['containblackholenode',['containBlackHoleNode',['../classSVF_1_1PointerAnalysis.html#a56368369bc37e37b13f19e5eb1890063',1,'SVF::PointerAnalysis::containBlackHoleNode()'],['../classSVF_1_1CondPTAImpl.html#a8cd7b08bd978513cb0faacc47bbaf578',1,'SVF::CondPTAImpl::containBlackHoleNode()']]],
   ['containcallstr',['containCallStr',['../classSVF_1_1ContextCond.html#a6f5b0bbc0978220aaa990f5fd0ddce8d',1,'SVF::ContextCond']]],
   ['containconstantnode',['containConstantNode',['../classSVF_1_1PointerAnalysis.html#afa7d9f6209904acd7893ae583e28dafd',1,'SVF::PointerAnalysis::containConstantNode()'],['../classSVF_1_1CondPTAImpl.html#a3a10f3327d6473c348df5b62a5d6683f',1,'SVF::CondPTAImpl::containConstantNode()']]],
@@ -412,6 +412,7 @@ var searchData=
   ['cptset',['CPtSet',['../classSVF_1_1CondPTAImpl.html#a3f2f48fc122c07ff9eb1382aa7a3f966',1,'SVF::CondPTAImpl']]],
   ['cptsset',['cptsSet',['../classSVF_1_1MemRegion.html#a77a18bcce56cf48d1c338e852a2be9bc',1,'SVF::MemRegion']]],
   ['cptstorepcptsmap',['cptsToRepCPtsMap',['../classSVF_1_1MRGenerator.html#ab4d1ff0357d389a65ff1c2112ce631a1',1,'SVF::MRGenerator']]],
+  ['cpu',['CPU',['../classSVF_1_1PTAStat.html#a926cd5ab95f4f42ffe264413a32725cfa518df17b11048afda951359227f53d2d',1,'SVF::PTAStat']]],
   ['createandersenhcd',['createAndersenHCD',['../classSVF_1_1AndersenHCD.html#a89486ad78857a54f89e1fde47a17e0b1',1,'SVF::AndersenHCD']]],
   ['createandersenhlcd',['createAndersenHLCD',['../classSVF_1_1AndersenHLCD.html#a88488348da1a18724f6c0d5a553068c1',1,'SVF::AndersenHLCD']]],
   ['createandersenlcd',['createAndersenLCD',['../classSVF_1_1AndersenLCD.html#a4686b12f15a80b4bbce52127c937f7ff',1,'SVF::AndersenLCD']]],

package/SVF-doxygen/html/html/search/all_4.js

@@ -253,7 +253,10 @@ var searchData=
   ['default_5fpta',['Default_PTA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85adb3d4cbd8c38c1c498bc51198626a790',1,'SVF::PointerAnalysis']]],
   ['defnodes',['defNodes',['../classSVF_1_1SVFGOPT.html#abd524dca72261bbcc7ebb1103b693a2b',1,'SVF::SVFGOPT']]],
   ['deftype',['DEFTYPE',['../classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18',1,'SVF::MSSADEF']]],
-  ['delta',['delta',['../classSVF_1_1VersionedFlowSensitive.html#acf23b9ce8d07431adf1799dc64c68271',1,'SVF::VersionedFlowSensitive']]],
+  ['delta',['delta',['../classSVF_1_1VersionedFlowSensitive.html#a9f9b00551c157f42d1d995e8c4efb54b',1,'SVF::VersionedFlowSensitive']]],
+  ['deltamap',['deltaMap',['../classSVF_1_1VersionedFlowSensitive.html#a11ddfa1faebf56e74e6dcc53e16142e1',1,'SVF::VersionedFlowSensitive']]],
+  ['deltasource',['deltaSource',['../classSVF_1_1VersionedFlowSensitive.html#a3fa5afa4f54e0828ec090fde07b1bfa2',1,'SVF::VersionedFlowSensitive']]],
+  ['deltasourcemap',['deltaSourceMap',['../classSVF_1_1VersionedFlowSensitive.html#aee97e196225aaad29c0bd31d3ccbabf6',1,'SVF::VersionedFlowSensitive']]],
   ['demangle',['demangle',['../namespaceSVF_1_1cppUtil.html#a1007c092efaeae41002efd91b803a7f6',1,'SVF::cppUtil']]],
   ['demangledname',['DemangledName',['../structSVF_1_1cppUtil_1_1DemangledName.html',1,'SVF::cppUtil']]],
   ['dendrogramtraversaltime',['DendrogramTraversalTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a67ab9cffacc1584b2e7bae5d1b08c541',1,'SVF::NodeIDAllocator::Clusterer']]],
@@ -264,8 +267,8 @@ var searchData=
   ['destroy',['destroy',['../classSVF_1_1ConstraintGraph.html#a77ba38543b1ee164f1ae95589d5dbc44',1,'SVF::ConstraintGraph::destroy()'],['../classSVF_1_1GenericGraph.html#adf0a205f4f62f33c5fa8f2d544aac633',1,'SVF::GenericGraph::destroy()'],['../classSVF_1_1PAG.html#a5a6278a7244c926022288243007da790',1,'SVF::PAG::destroy()'],['../classSVF_1_1PTACallGraph.html#a6a794ee3e4b217a1a0c6edf4bcdbdb69',1,'SVF::PTACallGraph::destroy()'],['../classSVF_1_1SVFG.html#a82a93d9b7fcf1938e3090a0826a1ca7e',1,'SVF::SVFG::destroy()'],['../classSVF_1_1VFG.html#af5005136743913d760d7402bbd308c69',1,'SVF::VFG::destroy()'],['../classSVF_1_1MemObj.html#a1e6ff4c2b04b07c5f71e5e7a6a0d7735',1,'SVF::MemObj::destroy()'],['../classSVF_1_1PointerAnalysis.html#a03dadb5429e2b84f88713a83153979a8',1,'SVF::PointerAnalysis::destroy()'],['../classSVF_1_1BVDataPTAImpl.html#af783769050ab663ad4bb93f901f01a6d',1,'SVF::BVDataPTAImpl::destroy()'],['../classSVF_1_1CondPTAImpl.html#a5fa3d986e4ef710a2148b2854167c3ed',1,'SVF::CondPTAImpl::destroy()'],['../classSVF_1_1MRGenerator.html#ac253d88de2a0cb9624c70d2bcfdac36e',1,'SVF::MRGenerator::destroy()'],['../classSVF_1_1MemSSA.html#a3d6096aeb4155444b532b02bb8559113',1,'SVF::MemSSA::destroy()'],['../classSVF_1_1TCT.html#aa453e3b27ec5fa4782bd6b9adef66877',1,'SVF::TCT::destroy()'],['../classSVF_1_1PathCondAllocator.html#ab89aa330234e363fa04892352da60561',1,'SVF::PathCondAllocator::destroy()'],['../classSVF_1_1ProgSlice.html#a899332b210414ac991b57e83851ee5be',1,'SVF::ProgSlice::destroy()'],['../classSVF_1_1SymbolTableInfo.html#a87cc3289dd69e5378487dd9ae2c9e82e',1,'SVF::SymbolTableInfo::destroy()']]],
   ['destructor',['DESTRUCTOR',['../classSVF_1_1CHGraph.html#a2a1da7f262a2f11653fb583154a93a22adfb68ad45ad216277b580d9a45926dc7',1,'SVF::CHGraph']]],
   ['detect',['detect',['../classSVF_1_1MTA.html#af9558955c068ce922872c259dde1786e',1,'SVF::MTA']]],
+  ['detectsccs',['detectSCCs',['../classSVF_1_1VersionedFlowSensitive_1_1SCC.html#ad52f6f586168ca4ceaf85cca8dfab825',1,'SVF::VersionedFlowSensitive::SCC']]],
   ['determinebestmapping',['determineBestMapping',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a3f86e733cc075180e9682887c554b8fa',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['determinereliance',['determineReliance',['../classSVF_1_1VersionedFlowSensitive.html#a25d9b2fb94c17edca9ccff220c0247b8',1,'SVF::VersionedFlowSensitive']]],
   ['determinewhichgepsareloads',['determineWhichGepsAreLoads',['../classSVF_1_1FlowSensitiveTBHC.html#a80052c89d1a9f54cfbf8f9790110899d',1,'SVF::FlowSensitiveTBHC']]],
   ['df',['df',['../classSVF_1_1MemSSA.html#ac0aeb79ec4f86f55c97bd397509acd05',1,'SVF::MemSSA::df()'],['../classSVF_1_1IteratedDominanceFrontier.html#aa50321ef8e3c9ee5e0b04f95a5a72e24',1,'SVF::IteratedDominanceFrontier::DF()']]],
   ['dfinoutmap',['DFInOutMap',['../classSVF_1_1FlowSensitive.html#af9a2bd5b490f1cc5335ce696173c78dd',1,'SVF::FlowSensitive::DFInOutMap()'],['../classSVF_1_1FlowSensitiveStat.html#a55d45e82ea3d338114e50da877bcfb75',1,'SVF::FlowSensitiveStat::DFInOutMap()']]],

package/SVF-doxygen/html/html/search/all_5.js

@@ -109,6 +109,7 @@ var searchData=
   ['equalmemregion',['equalMemRegion',['../structSVF_1_1MemRegion_1_1equalMemRegion.html',1,'SVF::MemRegion::equalMemRegion'],['../classSVF_1_1MemRegion.html#af0a0b4a5862a136ef4f203f19139da65',1,'SVF::MemRegion::equalMemRegion()']]],
   ['equalnodebs',['equalNodeBS',['../structSVF_1_1SVFUtil_1_1equalNodeBS.html',1,'SVF::SVFUtil::equalNodeBS'],['../namespaceSVF_1_1SVFUtil.html#a5c2b39ae857d78ed9dda83880e703b0f',1,'SVF::SVFUtil::equalNodeBS()']]],
   ['equalpointsto',['equalPointsTo',['../structSVF_1_1SVFUtil_1_1equalPointsTo.html',1,'SVF::SVFUtil::equalPointsTo'],['../namespaceSVF_1_1SVFUtil.html#a68302f07b13f6e1f39aace5699762c41',1,'SVF::SVFUtil::equalPointsTo()']]],
+  ['equivalentobject',['equivalentObject',['../classSVF_1_1VersionedFlowSensitive.html#a2d451d89f99a4bff828b682723df477f',1,'SVF::VersionedFlowSensitive']]],
   ['err',['err',['../structDdManager.html#a6b0364070de52e689fe3485a86bb2825',1,'DdManager']]],
   ['errmsg',['errMsg',['../namespaceSVF_1_1SVFUtil.html#a5d4bb92f5df30417f414397f8e58cf01',1,'SVF::SVFUtil']]],
   ['errorcode',['errorCode',['../structDdManager.html#ae0690f123fc2c3f0ca9a1cfd18923a37',1,'DdManager']]],