npm - svf-tools - Versions diffs - 1.0.286 → 1.0.287 - Mend

svf-tools 1.0.286 → 1.0.287

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (139) hide show

package/SVF-doxygen/html/html/search/all_1.js CHANGED Viewed

@@ -217,7 +217,7 @@ var searchData=
   ['addparforsite',['addParForSite',['../classSVF_1_1ThreadCallGraph.html#a9daa0817e1f88a2478d7094646c72e13',1,'SVF::ThreadCallGraph']]],
   ['addpath',['addPath',['../classSVF_1_1VFPathCond.html#a47d117a7c5e789766f28cdca6d71ff19',1,'SVF::VFPathCond']]],
   ['addphinode',['addPhiNode',['../classSVF_1_1PAG.html#ad117554c86d9e1ed90231032c96504b0',1,'SVF::PAG']]],
-  ['addpointsto',['addPointsTo',['../classSVF_1_1IndirectSVFGEdge.html#ab4138387b74d13458b09884c6f543790',1,'SVF::IndirectSVFGEdge']]],
+  ['addpointsto',['addPointsTo',['../classSVF_1_1IndirectSVFGEdge.html#a50ac2e33c6a4a41291c0a476ed07de53',1,'SVF::IndirectSVFGEdge']]],
   ['addpts',['addPts',['../classSVF_1_1PTData.html#ac1b9dc035fb0bdf468c7d14b9f9d437a',1,'SVF::PTData::addPts()'],['../classSVF_1_1VersionedPTData.html#ae00316730227769a39b22d3df1b6d38a',1,'SVF::VersionedPTData::addPts()'],['../classSVF_1_1MutablePTData.html#aab4a2eec11e83beca70b016102431ab1',1,'SVF::MutablePTData::addPts(const Key &amp;dstKey, const Data &amp;element) override'],['../classSVF_1_1MutablePTData.html#a8cdeda0ef0e976102d05de3004bd8c8a',1,'SVF::MutablePTData::addPts(DataSet &amp;d, const Data &amp;e)'],['../classSVF_1_1MutableDiffPTData.html#a717c166c5efdf2e1d71be1772fc0898d',1,'SVF::MutableDiffPTData::addPts()'],['../classSVF_1_1MutableDFPTData.html#ab75373d16f57dbbf1e9472e9a27d6b4b',1,'SVF::MutableDFPTData::addPts(const Key &amp;dstKey, const Key &amp;srcKey) override'],['../classSVF_1_1MutableDFPTData.html#ab7d1a3464e561029573f6f3c13c9bff4',1,'SVF::MutableDFPTData::addPts(DataSet &amp;d, const Data &amp;e)'],['../classSVF_1_1MutableVersionedPTData.html#a00a88cc3e802921c6a0951801ec712a6',1,'SVF::MutableVersionedPTData::addPts(const Key &amp;k, const Data &amp;element) override'],['../classSVF_1_1MutableVersionedPTData.html#af39232f64ff0ede20161c7f265da6cf5',1,'SVF::MutableVersionedPTData::addPts(const VersionedKey &amp;vk, const Data &amp;element) override'],['../classSVF_1_1PersistentPTData.html#a8d53322eadc657ed88a8b724647070b2',1,'SVF::PersistentPTData::addPts()'],['../classSVF_1_1PersistentDiffPTData.html#a9f748619f67f3ff9c4c4a429e6614989',1,'SVF::PersistentDiffPTData::addPts()'],['../classSVF_1_1PersistentDFPTData.html#a95df7d565ba8e990b61b1c932c8d4273',1,'SVF::PersistentDFPTData::addPts()'],['../classSVF_1_1PersistentVersionedPTData.html#a7f3730473af9218bea520ec0498fb4ac',1,'SVF::PersistentVersionedPTData::addPts(const Key &amp;k, const Data &amp;element) override'],['../classSVF_1_1PersistentVersionedPTData.html#ae4877cf4db5b1da5e7d05fe65ae8ed32',1,'SVF::PersistentVersionedPTData::addPts(const VersionedKey &amp;vk, const Data &amp;element) override'],['../classSVF_1_1BVDataPTAImpl.html#af68485a2208553579f9c2e4b2cb20cff',1,'SVF::BVDataPTAImpl::addPts()'],['../classSVF_1_1CondPTAImpl.html#a08037f32b927fe2e6be47a61a060463c',1,'SVF::CondPTAImpl::addPts()']]],
   ['addr',['Addr',['../classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375aed68bc43e8aae49e8590e140eb0ffaf3',1,'SVF::ConstraintEdge::Addr()'],['../classSVF_1_1PAGEdge.html#a79080505b4744aa8806b55215ac2b0f6ac29bb583428e3c20d758bb9cf2d2d626',1,'SVF::PAGEdge::Addr()'],['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75af866301a661c59a7aa3182c0a7fc0c92',1,'SVF::VFGNode::Addr()']]],
   ['addrcgedge',['AddrCGEdge',['../classSVF_1_1AddrCGEdge.html',1,'SVF::AddrCGEdge'],['../classSVF_1_1AddrCGEdge.html#a9c8da69a469e51d83c5009ba2685bcf6',1,'SVF::AddrCGEdge::AddrCGEdge()'],['../classSVF_1_1AddrCGEdge.html#a3e07c316815631b1ddfd35ae3781daab',1,'SVF::AddrCGEdge::AddrCGEdge(const AddrCGEdge &amp;)'],['../classSVF_1_1AddrCGEdge.html#a131779667553499b85423e1932664252',1,'SVF::AddrCGEdge::AddrCGEdge(ConstraintNode *s, ConstraintNode *d, EdgeID id)']]],

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

@@ -1,6 +1,6 @@
 var searchData=
 [
-  ['pag',['PAG',['../classSVF_1_1PAG.html',1,'SVF::PAG'],['../classSVF_1_1DDAClient.html#a9b5fe841dca605d3a30fe0e9e77baf08',1,'SVF::DDAClient::pag()'],['../classSVF_1_1ConstraintGraph.html#adcafd4b3c58e882bb4143e3a4fb96688',1,'SVF::ConstraintGraph::pag()'],['../classSVF_1_1PAG.html#a50d0968c6a467ab224ebc73d8beff852',1,'SVF::PAG::pag()'],['../classSVF_1_1VFG.html#ad4f5debd234a444516c3a406c464795c',1,'SVF::VFG::pag()'],['../classSVF_1_1PAGBuilderFromFile.html#a74811707c0bf095450cfb8db234c45b3',1,'SVF::PAGBuilderFromFile::pag()'],['../classSVF_1_1PointerAnalysis.html#a8771956f7595b66d825b3dc459d1ae49',1,'SVF::PointerAnalysis::pag()'],['../classSVF_1_1PAGBuilder.html#ae92e89e096a5f65c0c0421efc778523e',1,'SVF::PAGBuilder::pag()'],['../classSVF_1_1PAG.html#a0a417d229823991031eda0b97148481c',1,'SVF::PAG::PAG()']]],
+  ['pag',['PAG',['../classSVF_1_1PAG.html',1,'SVF::PAG'],['../classSVF_1_1PAG.html#a0a417d229823991031eda0b97148481c',1,'SVF::PAG::PAG()'],['../classSVF_1_1DDAClient.html#a9b5fe841dca605d3a30fe0e9e77baf08',1,'SVF::DDAClient::pag()'],['../classSVF_1_1ConstraintGraph.html#adcafd4b3c58e882bb4143e3a4fb96688',1,'SVF::ConstraintGraph::pag()'],['../classSVF_1_1PAG.html#a50d0968c6a467ab224ebc73d8beff852',1,'SVF::PAG::pag()'],['../classSVF_1_1VFG.html#ad4f5debd234a444516c3a406c464795c',1,'SVF::VFG::pag()'],['../classSVF_1_1PAGBuilderFromFile.html#a74811707c0bf095450cfb8db234c45b3',1,'SVF::PAGBuilderFromFile::pag()'],['../classSVF_1_1PointerAnalysis.html#a8771956f7595b66d825b3dc459d1ae49',1,'SVF::PointerAnalysis::pag()'],['../classSVF_1_1PAGBuilder.html#ae92e89e096a5f65c0c0421efc778523e',1,'SVF::PAGBuilder::pag()']]],
   ['pag_2ecpp',['PAG.cpp',['../PAG_8cpp.html',1,'']]],
   ['pag_2eh',['PAG.h',['../PAG_8h.html',1,'']]],
   ['pagbuilder',['PAGBuilder',['../classSVF_1_1PAGBuilder.html',1,'SVF::PAGBuilder'],['../classSVF_1_1PAGBuilder.html#a7c6b147496561a0efa5e4c27d5e1df8c',1,'SVF::PAGBuilder::PAGBuilder()']]],
@@ -11,7 +11,7 @@ var searchData=
   ['pagbuilderfromfile_2eh',['PAGBuilderFromFile.h',['../PAGBuilderFromFile_8h.html',1,'']]],
   ['pagdotgraph',['PAGDotGraph',['../classSVF_1_1Options.html#a3a20311c732fb391332ae0ee1cb450a0',1,'SVF::Options']]],
   ['pagdotgraphshorter',['PAGDotGraphShorter',['../classSVF_1_1Options.html#a8eba08052f7af57b762155a58844480c',1,'SVF::Options']]],
-  ['pagedge',['PAGEdge',['../classSVF_1_1PAGEdge.html',1,'SVF::PAGEdge'],['../classSVF_1_1StmtVFGNode.html#ab5f48de8258f92bb7b9d411e178beb49',1,'SVF::StmtVFGNode::pagEdge()'],['../classSVF_1_1PAGEdge.html#ab686138c420a0b03cf8f1c1dff044318',1,'SVF::PAGEdge::PAGEdge()']]],
+  ['pagedge',['PAGEdge',['../classSVF_1_1PAGEdge.html',1,'SVF::PAGEdge'],['../classSVF_1_1PAGEdge.html#ab686138c420a0b03cf8f1c1dff044318',1,'SVF::PAGEdge::PAGEdge()'],['../classSVF_1_1StmtVFGNode.html#ab5f48de8258f92bb7b9d411e178beb49',1,'SVF::StmtVFGNode::pagEdge()']]],
   ['pagedge_2eh',['PAGEdge.h',['../PAGEdge_8h.html',1,'']]],
   ['pagedgekindtosetmap',['PAGEdgeKindToSetMap',['../classSVF_1_1PAG.html#a32c107e02c73642ff4afd08b6cf22232',1,'SVF::PAG']]],
   ['pagedgelist',['PAGEdgeList',['../classSVF_1_1ICFGNode.html#a31df97cc8bea7de78c99fcef820e3a96',1,'SVF::ICFGNode::PAGEdgeList()'],['../classSVF_1_1PAG.html#a3b70f1f3b785d735243962e83e210652',1,'SVF::PAG::PAGEdgeList()'],['../classSVF_1_1MRGenerator.html#a1715322c61a3f41f1a093098591869d4',1,'SVF::MRGenerator::PAGEdgeList()'],['../classSVF_1_1MemSSA.html#ac04de5e349ced05d7289b8ee55c86e34',1,'SVF::MemSSA::PAGEdgeList()']]],
@@ -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#a1357c876eccedd58b3abe68875b3a570',1,'SVF::SVFModule::pagReadFromTXT()'],['../classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f',1,'SVF::SVFModule::pagReadFromTxt()']]],
+  ['pagreadfromtxt',['pagReadFromTxt',['../classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f',1,'SVF::SVFModule::pagReadFromTxt()'],['../classSVF_1_1SVFModule.html#a1357c876eccedd58b3abe68875b3a570',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']]],
@@ -71,7 +71,7 @@ var searchData=
   ['path_5fleak',['PATH_LEAK',['../classSVF_1_1LeakChecker.html#a42f54433e5ca60928f3c329ab545842da5ef9b70f9a245b7a6b94a4456daabcda',1,'SVF::LeakChecker']]],
   ['pathallocator',['pathAllocator',['../classSVF_1_1ProgSlice.html#adc27c77d68f54030bdbb714139a974e5',1,'SVF::ProgSlice']]],
   ['pathcond',['PathCond',['../classSVF_1_1VFPathCond.html#a69d1ab707592342b8890459697ce7258',1,'SVF::VFPathCond::PathCond()'],['../classSVF_1_1PathStmtDPItem.html#a9092ac46745ceac6c9d9e7e560df6e86',1,'SVF::PathStmtDPItem::PathCond()']]],
-  ['pathcondallocator',['PathCondAllocator',['../classSVF_1_1PathCondAllocator.html',1,'SVF::PathCondAllocator'],['../classSVF_1_1PathCondAllocator.html#ad7ff43210c36654ae775e0542be79da1',1,'SVF::PathCondAllocator::PathCondAllocator()'],['../classSVF_1_1SrcSnkDDA.html#a3008dc334d4500516507544a86ec6d9c',1,'SVF::SrcSnkDDA::pathCondAllocator()']]],
+  ['pathcondallocator',['PathCondAllocator',['../classSVF_1_1PathCondAllocator.html',1,'SVF::PathCondAllocator'],['../classSVF_1_1SrcSnkDDA.html#a3008dc334d4500516507544a86ec6d9c',1,'SVF::SrcSnkDDA::pathCondAllocator()'],['../classSVF_1_1PathCondAllocator.html#ad7ff43210c36654ae775e0542be79da1',1,'SVF::PathCondAllocator::PathCondAllocator()']]],
   ['pathcondallocator_2ecpp',['PathCondAllocator.cpp',['../PathCondAllocator_8cpp.html',1,'']]],
   ['pathcondallocator_2eh',['PathCondAllocator.h',['../PathCondAllocator_8h.html',1,'']]],
   ['pathdpitem_2eh',['PathDPItem.h',['../PathDPItem_8h.html',1,'']]],
@@ -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#af3158e346a519beca6aebf6c9092efc0',1,'SVF::PAG::phiNodeMap()'],['../classSVF_1_1PAG.html#aaf91fa0a5807355e276eeaeee0638aea',1,'SVF::PAG::PHINodeMap()']]],
+  ['phinodemap',['PHINodeMap',['../classSVF_1_1PAG.html#aaf91fa0a5807355e276eeaeee0638aea',1,'SVF::PAG::PHINodeMap()'],['../classSVF_1_1PAG.html#af3158e346a519beca6aebf6c9092efc0',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']]],
@@ -188,7 +188,7 @@ var searchData=
   ['printlocks',['printLocks',['../classSVF_1_1LockAnalysis.html#ac1b42b0a53feae04f848e5b0828ff01a',1,'SVF::LockAnalysis']]],
   ['printlockspan',['PrintLockSpan',['../classSVF_1_1Options.html#ab8a9641b660197b4421fbd6141858c58',1,'SVF::Options']]],
   ['printmodel',['printModel',['../classSVF_1_1CondManager.html#ab9772aa1a35e963ccc9ce1007ebc1310',1,'SVF::CondManager']]],
-  ['printpathcond',['PrintPathCond',['../classSVF_1_1Options.html#ae6b763ff293381ed5da9b07c2e8ae496',1,'SVF::Options::PrintPathCond()'],['../classSVF_1_1PathCondAllocator.html#a2932b15ef74e46b676075ba1b2e82111',1,'SVF::PathCondAllocator::printPathCond()']]],
+  ['printpathcond',['printPathCond',['../classSVF_1_1PathCondAllocator.html#a2932b15ef74e46b676075ba1b2e82111',1,'SVF::PathCondAllocator::printPathCond()'],['../classSVF_1_1Options.html#ae6b763ff293381ed5da9b07c2e8ae496',1,'SVF::Options::PrintPathCond()']]],
   ['printpts',['printPts',['../svf-ex_8cpp.html#ae004a620ad67220b6dd8212a2ad625a9',1,'svf-ex.cpp']]],
   ['printquerypts',['printQueryPTS',['../classSVF_1_1DDAPass.html#afc700bd3abb5d9199621741b9bd04f0f',1,'SVF::DDAPass::printQueryPTS()'],['../classSVF_1_1Options.html#aabfcfcd67df527cdf587aff5ecc26a10',1,'SVF::Options::PrintQueryPts()']]],
   ['printresults',['printResults',['../classSVF_1_1PCG.html#ab8a16eb34da91f2b7cd5a456653b1da0',1,'SVF::PCG']]],
@@ -269,10 +269,10 @@ var searchData=
   ['ptastat',['PTAStat',['../classSVF_1_1PTAStat.html',1,'SVF::PTAStat'],['../classSVF_1_1PTAStat.html#ac9b65b591200c16c420fbd26710b448f',1,'SVF::PTAStat::PTAStat()']]],
   ['ptastat_2ecpp',['PTAStat.cpp',['../PTAStat_8cpp.html',1,'']]],
   ['ptastat_2eh',['PTAStat.h',['../PTAStat_8h.html',1,'']]],
-  ['ptaty',['PTATY',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85',1,'SVF::PointerAnalysis::PTATY()'],['../classSVF_1_1PointerAnalysis.html#ade83738ac754d5ffc2a3b497b600cad4',1,'SVF::PointerAnalysis::ptaTy()']]],
+  ['ptaty',['ptaTy',['../classSVF_1_1PointerAnalysis.html#ade83738ac754d5ffc2a3b497b600cad4',1,'SVF::PointerAnalysis::ptaTy()'],['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85',1,'SVF::PointerAnalysis::PTATY()']]],
   ['ptatype',['PTAType',['../classSVF_1_1PTAType.html',1,'SVF::PTAType'],['../classSVF_1_1PTAType.html#a2c4257200d48cad0bda92b4298879827',1,'SVF::PTAType::PTAType()']]],
   ['ptatype_2eh',['PTAType.h',['../PTAType_8h.html',1,'']]],
-  ['ptavector',['PTAVector',['../classSVF_1_1DDAPass.html#acc7ad5d3266cb3e24fba0b4db186348a',1,'SVF::DDAPass::PTAVector()'],['../classSVF_1_1WPAPass.html#ad4e3d480ebcc6bbbb7bcc8dc3df8663e',1,'SVF::WPAPass::PTAVector()'],['../classSVF_1_1WPAPass.html#a72a66ae158793f5d1bcb37b655db4446',1,'SVF::WPAPass::ptaVector()']]],
+  ['ptavector',['ptaVector',['../classSVF_1_1WPAPass.html#a72a66ae158793f5d1bcb37b655db4446',1,'SVF::WPAPass::ptaVector()'],['../classSVF_1_1DDAPass.html#acc7ad5d3266cb3e24fba0b4db186348a',1,'SVF::DDAPass::PTAVector()'],['../classSVF_1_1WPAPass.html#ad4e3d480ebcc6bbbb7bcc8dc3df8663e',1,'SVF::WPAPass::PTAVector()']]],
   ['ptbackingtype',['PTBackingType',['../classSVF_1_1BVDataPTAImpl.html#ad76328a8543b02784992afc2d5501d8a',1,'SVF::BVDataPTAImpl']]],
   ['ptcache',['ptCache',['../classSVF_1_1PersistentPTData.html#a146a25bf9ae76f4c3c117433df9d382f',1,'SVF::PersistentPTData::ptCache()'],['../classSVF_1_1PersistentDiffPTData.html#a444bc59754b4c365327b7ef44baadcd2',1,'SVF::PersistentDiffPTData::ptCache()'],['../classSVF_1_1PersistentDFPTData.html#af86313e37c5177e45456f813b9b46a4f',1,'SVF::PersistentDFPTData::ptCache()'],['../classSVF_1_1BVDataPTAImpl.html#a94acf249e50ad56f966ddad6843c18f8',1,'SVF::BVDataPTAImpl::ptCache()']]],
   ['ptd',['ptD',['../classSVF_1_1BVDataPTAImpl.html#aee07488c4d53551826439d79b28e2e6d',1,'SVF::BVDataPTAImpl::ptD()'],['../classSVF_1_1CondPTAImpl.html#af960c10e49932ea5e9dcdd299ff300ce',1,'SVF::CondPTAImpl::ptD()']]],
@@ -288,14 +288,14 @@ var searchData=
   ['ptronlymssa',['ptrOnlyMSSA',['../classSVF_1_1MRGenerator.html#a6a62d2dede5d2506c19b2d058d1cd9d3',1,'SVF::MRGenerator']]],
   ['ptronlysvfg',['PTRONLYSVFG',['../classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6ada8562b20e8d888a4b421c200957294d',1,'SVF::VFG']]],
   ['ptronlysvfg_5fopt',['PTRONLYSVFG_OPT',['../classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6a8ed0b9aea88fbbbe91f33301bea0c9dd',1,'SVF::VFG']]],
-  ['ptrtobvptsmap',['ptrToBVPtsMap',['../classSVF_1_1CondPTAImpl.html#a30b9ee7b1dcd04285f92cf7accd05b2e',1,'SVF::CondPTAImpl::ptrToBVPtsMap()'],['../classSVF_1_1CondPTAImpl.html#aba828ca8e2aa2bd71b78be8b45a48c9b',1,'SVF::CondPTAImpl::PtrToBVPtsMap()']]],
+  ['ptrtobvptsmap',['PtrToBVPtsMap',['../classSVF_1_1CondPTAImpl.html#aba828ca8e2aa2bd71b78be8b45a48c9b',1,'SVF::CondPTAImpl::PtrToBVPtsMap()'],['../classSVF_1_1CondPTAImpl.html#a30b9ee7b1dcd04285f92cf7accd05b2e',1,'SVF::CondPTAImpl::ptrToBVPtsMap()']]],
   ['ptrtocptsmap',['PtrToCPtsMap',['../classSVF_1_1CondPTAImpl.html#a5043e9d9255d31777d038c48c809bb09',1,'SVF::CondPTAImpl::PtrToCPtsMap()'],['../classSVF_1_1CondPTAImpl.html#a61167fcdb2005090de1b38e53450431a',1,'SVF::CondPTAImpl::ptrToCPtsMap()']]],
   ['ptrtointinst',['PtrToIntInst',['../namespaceSVF.html#a3d5581c375ee3fe856327dc648c379f0',1,'SVF']]],
   ['ptrtonsmap',['PtrToNSMap',['../classSVF_1_1CondPTAImpl.html#a838c3f2be39d278072f7a9df7c0bcb4d',1,'SVF::CondPTAImpl']]],
   ['ptruint',['ptruint',['../cuddInt_8h.html#afd9afe0bf7ac5855fcd5eb42ea5fcb18',1,'cuddInt.h']]],
   ['ptsallprint',['PTSAllPrint',['../classSVF_1_1Options.html#a113ee30422ef08b6790eed9a83277b9c',1,'SVF::Options']]],
   ['ptsdiff',['PtsDiff',['../classSVF_1_1Options.html#acf7262c0b0bd91e6dab56a631be51206',1,'SVF::Options']]],
-  ['ptsmap',['PtsMap',['../classSVF_1_1MutablePTData.html#ad74cc6c81c4a95f6ba4e89352bccee3e',1,'SVF::MutablePTData::PtsMap()'],['../classSVF_1_1MutableDiffPTData.html#a5d64ef2d4b9ab65cc7a9e33bb6fe47cf',1,'SVF::MutableDiffPTData::PtsMap()'],['../classSVF_1_1MutableDFPTData.html#ae7456fccd4c95227cdd7163176703205',1,'SVF::MutableDFPTData::PtsMap()'],['../classSVF_1_1FlowSensitive.html#a7bb300f30f4f8cee208229ae10faa291',1,'SVF::FlowSensitive::PtsMap()'],['../classSVF_1_1FlowSensitiveStat.html#a1b605e86f33e79f7d7cd88dc54f2c19e',1,'SVF::FlowSensitiveStat::PtsMap()'],['../classSVF_1_1MutablePTData.html#a5ee6e307acd4edbf4f7c2b063032d942',1,'SVF::MutablePTData::ptsMap()'],['../classSVF_1_1PersistentPTData.html#a483c690c6cf19e258bdf7bb13e77976e',1,'SVF::PersistentPTData::ptsMap()']]],
+  ['ptsmap',['ptsMap',['../classSVF_1_1MutablePTData.html#a5ee6e307acd4edbf4f7c2b063032d942',1,'SVF::MutablePTData::ptsMap()'],['../classSVF_1_1PersistentPTData.html#a483c690c6cf19e258bdf7bb13e77976e',1,'SVF::PersistentPTData::ptsMap()'],['../classSVF_1_1MutablePTData.html#ad74cc6c81c4a95f6ba4e89352bccee3e',1,'SVF::MutablePTData::PtsMap()'],['../classSVF_1_1MutableDiffPTData.html#a5d64ef2d4b9ab65cc7a9e33bb6fe47cf',1,'SVF::MutableDiffPTData::PtsMap()'],['../classSVF_1_1MutableDFPTData.html#ae7456fccd4c95227cdd7163176703205',1,'SVF::MutableDFPTData::PtsMap()'],['../classSVF_1_1FlowSensitive.html#a7bb300f30f4f8cee208229ae10faa291',1,'SVF::FlowSensitive::PtsMap()'],['../classSVF_1_1FlowSensitiveStat.html#a1b605e86f33e79f7d7cd88dc54f2c19e',1,'SVF::FlowSensitiveStat::PtsMap()']]],
   ['ptsmapconstiter',['PtsMapConstIter',['../classSVF_1_1MutablePTData.html#ae9c96f369fbe955a841badcf3fcfcc03',1,'SVF::MutablePTData::PtsMapConstIter()'],['../classSVF_1_1MutableDFPTData.html#a3f234abc0def4815a03de164fa258f24',1,'SVF::MutableDFPTData::PtsMapConstIter()']]],
   ['ptsmapiter',['PtsMapIter',['../classSVF_1_1MutablePTData.html#ad08dbfa28cd0d622322091d6600748ed',1,'SVF::MutablePTData']]],
   ['ptsprint',['PTSPrint',['../classSVF_1_1Options.html#ace0fa364337374ce75a58a9e2f229e24',1,'SVF::Options']]],

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

@@ -162,7 +162,7 @@ var searchData=
   ['returnnode',['returnNode',['../classSVF_1_1ExternalPAG.html#a72d638670931f9984cea132f38cdce5a',1,'SVF::ExternalPAG']]],
   ['returnsymmap',['returnSymMap',['../classSVF_1_1SymbolTableInfo.html#ae6f8a4dbe09ff4756983ffdbed6d0681',1,'SVF::SymbolTableInfo']]],
   ['rev',['rev',['../classSVF_1_1PTData.html#a46fa3ec6462f3dda19549340281bb219',1,'SVF::PTData']]],
-  ['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 CHANGED Viewed

@@ -24,13 +24,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_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',['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_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 &amp;candidates)']]],
   ['sccdetection',['SCCDetection',['../classSVF_1_1SCCDetection.html',1,'SVF::SCCDetection&lt; GraphType &gt;'],['../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#a0fd9fca5ed82cf83dbd825d23c63783a',1,'SVF::ConstraintNode::sccEdgeFlag()'],['../classSVF_1_1ConstraintNode.html#a6e59b815d784bc1a9437290ff0e1e28c',1,'SVF::ConstraintNode::SCCEdgeFlag()']]],
+  ['sccedgeflag',['SCCEdgeFlag',['../classSVF_1_1ConstraintNode.html#a6e59b815d784bc1a9437290ff0e1e28c',1,'SVF::ConstraintNode::SCCEdgeFlag()'],['../classSVF_1_1ConstraintNode.html#a0fd9fca5ed82cf83dbd825d23c63783a',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()']]],
@@ -297,8 +297,8 @@ 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 &amp;)'],['../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()']]],
-  ['storestomrsmap',['storesToMRsMap',['../classSVF_1_1MRGenerator.html#a255551fd3ff8fb33bcea93d0b00280b3',1,'SVF::MRGenerator::storesToMRsMap()'],['../classSVF_1_1MRGenerator.html#a9d2221818297a7abeb8d8736093105d0',1,'SVF::MRGenerator::StoresToMRsMap()']]],
+  ['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()']]],
   ['storesvfgnode',['StoreSVFGNode',['../namespaceSVF.html#a54c5725186e66ead6faf53c10a288714',1,'SVF']]],
   ['storetime',['storeTime',['../classSVF_1_1FlowSensitive.html#a82b76087363b26fbe749653935569de7',1,'SVF::FlowSensitive']]],
@@ -306,7 +306,7 @@ var searchData=
   ['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 &amp;)'],['../classSVF_1_1StoreVFGNode.html#a9935b37ed646ac5c6989ed066468d61b',1,'SVF::StoreVFGNode::StoreVFGNode(NodeID id, const StorePE *edge)']]],
-  ['strategy',['strategy',['../classSVF_1_1NodeIDAllocator.html#a44420802f9db288515ee09771c3edd4d',1,'SVF::NodeIDAllocator::strategy()'],['../classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228',1,'SVF::NodeIDAllocator::Strategy()']]],
+  ['strategy',['Strategy',['../classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228',1,'SVF::NodeIDAllocator::Strategy()'],['../classSVF_1_1NodeIDAllocator.html#a44420802f9db288515ee09771c3edd4d',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']]],
@@ -354,7 +354,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 &amp;val)'],['../classSVF_1_1SVFFunction.html#ae7a55d86a87088f7d70254980e4325b3',1,'SVF::SVFFunction::SVFFunction(Function *f)']]],
-  ['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',['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_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_1DDAVFSolver.html#a0d563fe8b016b27a58f5b054fec9c38a',1,'SVF::DDAVFSolver::svfgBuilder()'],['../classSVF_1_1SVFG.html#ab2f81db3935389480baa5cb14e15e9d7',1,'SVF::SVFG::SVFGBuilder()'],['../classSVF_1_1SVFGBuilder.html#a003c6d9e13e5f73e0648d97400f1854e',1,'SVF::SVFGBuilder::SVFGBuilder()']]],
@@ -397,7 +397,7 @@ var searchData=
   ['svfinstruction',['SVFInstruction',['../classSVF_1_1SVFInstruction.html',1,'SVF::SVFInstruction'],['../classSVF_1_1SVFInstruction.html#aadf4790ce7be8e1a95803e25cd4af424',1,'SVF::SVFInstruction::SVFInstruction()']]],
   ['svfmain',['SVFMain',['../classSVF_1_1Options.html#a868fa5069b01b7a7dfbc5fb99cb76385',1,'SVF::Options']]],
   ['svfmod',['svfMod',['../classSVF_1_1PointerAnalysis.html#a7e8b3f6843e5ea75fd189162d2cd60a5',1,'SVF::PointerAnalysis::svfMod()'],['../classSVF_1_1CHGraph.html#a62a3ccdbc55381d5f8d96dc23141f2e5',1,'SVF::CHGraph::svfMod()'],['../classSVF_1_1PAGBuilder.html#a7c197702fff05b1b6cd744b70a4a278c',1,'SVF::PAGBuilder::svfMod()']]],
-  ['svfmodule',['SVFModule',['../classSVF_1_1SVFModule.html',1,'SVF::SVFModule'],['../classSVF_1_1DCHGraph.html#a85a3c9a6a60a4379717773f8722ae42e',1,'SVF::DCHGraph::svfModule()'],['../classSVF_1_1LLVMModuleSet.html#a43832e93a42ae43d44b0cc160981678f',1,'SVF::LLVMModuleSet::svfModule()'],['../classSVF_1_1SVFModule.html#a22b214595dd7841eb974e7c633ed8bb1',1,'SVF::SVFModule::SVFModule()']]],
+  ['svfmodule',['SVFModule',['../classSVF_1_1SVFModule.html',1,'SVF::SVFModule'],['../classSVF_1_1SVFModule.html#a22b214595dd7841eb974e7c633ed8bb1',1,'SVF::SVFModule::SVFModule()'],['../classSVF_1_1DCHGraph.html#a85a3c9a6a60a4379717773f8722ae42e',1,'SVF::DCHGraph::svfModule()'],['../classSVF_1_1LLVMModuleSet.html#a43832e93a42ae43d44b0cc160981678f',1,'SVF::LLVMModuleSet::svfModule()']]],
   ['svfmodule_2ecpp',['SVFModule.cpp',['../SVFModule_8cpp.html',1,'']]],
   ['svfmodule_2eh',['SVFModule.h',['../SVFModule_8h.html',1,'']]],
   ['svfutil',['SVFUtil',['../namespaceSVF_1_1SVFUtil.html',1,'SVF']]],

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

@@ -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_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',['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_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']]],
@@ -88,13 +88,13 @@ var searchData=
   ['timelimitreached',['timeLimitReached',['../namespaceSVF_1_1SVFUtil.html#add4cd21115988f9f5eec12e268ddf1d9',1,'SVF::SVFUtil']]],
   ['timeofcollapse',['timeOfCollapse',['../classSVF_1_1AndersenBase.html#ad40b196c2c699bd115529b806d20de25',1,'SVF::AndersenBase']]],
   ['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()']]],
+  ['timeofgeneratingmemregions',['TimeOfGeneratingMemRegions',['../classSVF_1_1MemSSAStat.html#a74c36654b7452aa94aa241881f0a83c5',1,'SVF::MemSSAStat::TimeOfGeneratingMemRegions()'],['../classSVF_1_1MemSSA.html#a37dca8a7d155de4870358146d219b5e5',1,'SVF::MemSSA::timeOfGeneratingMemRegions()']]],
   ['timeofinsertingphi',['TimeOfInsertingPHI',['../classSVF_1_1MemSSAStat.html#a0c24822c8549af6a96e82312954fab9b',1,'SVF::MemSSAStat::TimeOfInsertingPHI()'],['../classSVF_1_1MemSSA.html#a3c7b5fa73fdc7c805ee3673fbe812b44',1,'SVF::MemSSA::timeOfInsertingPHI()']]],
   ['timeofprocesscopygep',['timeOfProcessCopyGep',['../classSVF_1_1AndersenBase.html#aae14de6fbca9280d8d0290326aa493f0',1,'SVF::AndersenBase']]],
   ['timeofprocessloadstore',['timeOfProcessLoadStore',['../classSVF_1_1AndersenBase.html#a9fe738f1e11c80006d540f246a80bfdf',1,'SVF::AndersenBase']]],
   ['timeofsccdetection',['timeOfSCCDetection',['../classSVF_1_1AndersenBase.html#a6b7d0e57f741c446d0bf178939960143',1,'SVF::AndersenBase']]],
   ['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()']]],
+  ['timeofssarenaming',['TimeOfSSARenaming',['../classSVF_1_1MemSSAStat.html#a887ff23a7ea1a18f08b1744ff30da773',1,'SVF::MemSSAStat::TimeOfSSARenaming()'],['../classSVF_1_1MemSSA.html#a97ccd5e0b9ab6144415e26bdf95cbabd',1,'SVF::MemSSA::timeOfSSARenaming()']]],
   ['timeofupdatecallgraph',['timeOfUpdateCallGraph',['../classSVF_1_1AndersenBase.html#a2afb49f513c9534fd051117b59dc056b',1,'SVF::AndersenBase']]],
   ['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']]],

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

@@ -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_1FlowSensitive.html#afc140b6c8e78dc2d962f64fdf53b1e07',1,'SVF::FlowSensitive::updateCallGraphTime()'],['../classSVF_1_1PTAStat.html#a8aedfeb35f76e6d33135637156468894',1,'SVF::PTAStat::UpdateCallGraphTime()']]],
+  ['updatecallgraphtime',['UpdateCallGraphTime',['../classSVF_1_1PTAStat.html#a8aedfeb35f76e6d33135637156468894',1,'SVF::PTAStat::UpdateCallGraphTime()'],['../classSVF_1_1FlowSensitive.html#afc140b6c8e78dc2d962f64fdf53b1e07',1,'SVF::FlowSensitive::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 CHANGED Viewed

@@ -23,7 +23,7 @@ var searchData=
   ['value',['value',['../structDdNode.html#a4daed26b440c68f410d46eb180a55abb',1,'DdNode::value()'],['../structDdGen.html#ace0cb69e960420e07582b760bb7a648b',1,'DdGen::value()'],['../structDdLocalCacheItem.html#a6b2c56e824fa116168915e1391e467d1',1,'DdLocalCacheItem::value()'],['../structDdHashItem.html#a79c808ed42f415d140c3f1684ec8ae0e',1,'DdHashItem::value()'],['../unionEpTypeUnion.html#ac0adcfc8125e941c974a96530221d200',1,'EpTypeUnion::value()'],['../classSVF_1_1PAGEdge.html#a8b10bded7a25c801dc48926319da0525',1,'SVF::PAGEdge::value()'],['../classSVF_1_1PAGNode.html#a8662a272081441af5440af58c975b85e',1,'SVF::PAGNode::value()'],['../structSVF_1_1SVFUtil_1_1is__simple__type.html#a700d43a1b318fb30fa9472da323cb34f',1,'SVF::SVFUtil::is_simple_type::value()'],['../classSVF_1_1SVFValue.html#ae0c3918bbf8338efd8e6c00c51d9d9d2',1,'SVF::SVFValue::value()'],['../unionhack.html#a57925aea3fe6bc712a7d34f05e3c31f4',1,'hack::value()'],['../namespaceSVF.html#a90b263fd2f541eca78135078114cabda',1,'SVF::Value()']]],
   ['value2string',['value2String',['../namespaceSVF_1_1SVFUtil.html#a7486fd8e5350879ed1cbd835c0d4e191',1,'SVF::SVFUtil']]],
   ['valuenodes',['valueNodes',['../classSVF_1_1ExternalPAG.html#a4776a673e53d7b0bdd17f29a608a5620',1,'SVF::ExternalPAG']]],
-  ['valuetoedgemap',['valueToEdgeMap',['../classSVF_1_1PAG.html#a42b57f4523f30b0f739b1285ea744766',1,'SVF::PAG::valueToEdgeMap()'],['../classSVF_1_1PAG.html#a9849898bac3644021638380b60f96891',1,'SVF::PAG::ValueToEdgeMap()']]],
+  ['valuetoedgemap',['ValueToEdgeMap',['../classSVF_1_1PAG.html#a9849898bac3644021638380b60f96891',1,'SVF::PAG::ValueToEdgeMap()'],['../classSVF_1_1PAG.html#a42b57f4523f30b0f739b1285ea744766',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']]],

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

@@ -128,6 +128,7 @@ var searchData=
   ['cha',['cha',['../classSVF_1_1DCHGraph.html#a0a3dfe1f2757eabd75082e2c4caec47a',1,'SVF::DCHGraph']]],
   ['chaffmap',['chaFFMap',['../classSVF_1_1DCHGraph.html#abe8d313b501182ab62f2276a19d670a4',1,'SVF::DCHGraph']]],
   ['chamap',['chaMap',['../classSVF_1_1DCHGraph.html#ac0d5f1e10f642aac5b64792bf5fcbd9d',1,'SVF::DCHGraph']]],
+  ['checkandremap',['checkAndRemap',['../classSVF_1_1CondStdSet.html#a347097404761b16a077eac1ae9fbfd94',1,'SVF::CondStdSet']]],
   ['checkargtypes',['checkArgTypes',['../CHG_8cpp.html#a35a17be62be820e4de41ba53a7f7a905',1,'CHG.cpp']]],
   ['checker_5ftype',['CHECKER_TYPE',['../classSVF_1_1SaberCheckerAPI.html#a32f3c37a5957dc7533f7e82617d5d056',1,'SVF::SaberCheckerAPI']]],
   ['checkintraedgeparents',['checkIntraEdgeParents',['../classSVF_1_1ICFG.html#a70421a19a494eb6131a9ae72ef1a64d6',1,'SVF::ICFG::checkIntraEdgeParents()'],['../classSVF_1_1VFG.html#a43b0c126c2e32cb3d286a78b14e09a96',1,'SVF::VFG::checkIntraEdgeParents()']]],
@@ -233,7 +234,7 @@ var searchData=
   ['collectmodrefforloadstore',['collectModRefForLoadStore',['../classSVF_1_1MRGenerator.html#a207dfa4c9f044764665478142c6e6b22',1,'SVF::MRGenerator']]],
   ['collectmultiforkedthreads',['collectMultiForkedThreads',['../classSVF_1_1TCT.html#ad15753a9c20d738325e5c0edea6c9c56',1,'SVF::TCT']]],
   ['collectobj',['collectObj',['../classSVF_1_1SymbolTableInfo.html#af639e9bc59f5fb9a6bf1748ef0d07d5e',1,'SVF::SymbolTableInfo']]],
-  ['collectptschain',['CollectPtsChain',['../classSVF_1_1MRGenerator.html#a81bd687d34eea884dfcf68274fcec7b5',1,'SVF::MRGenerator::CollectPtsChain()'],['../classSVF_1_1SaberSVFGBuilder.html#a7ed419e4356c1d9f6235449ab848d2ab',1,'SVF::SaberSVFGBuilder::CollectPtsChain()']]],
+  ['collectptschain',['CollectPtsChain',['../classSVF_1_1MRGenerator.html#a81bd687d34eea884dfcf68274fcec7b5',1,'SVF::MRGenerator::CollectPtsChain()'],['../classSVF_1_1SaberSVFGBuilder.html#a411e168e2a6c27e15186c609c5e216b3',1,'SVF::SaberSVFGBuilder::CollectPtsChain()']]],
   ['collectregdefs',['collectRegDefs',['../classSVF_1_1MemSSA.html#a7c0bb1406f0e583c38e522ca06dfa73a',1,'SVF::MemSSA']]],
   ['collectreguses',['collectRegUses',['../classSVF_1_1MemSSA.html#a8032c530b44e264544881d53d2fac390',1,'SVF::MemSSA']]],
   ['collectret',['collectRet',['../classSVF_1_1SymbolTableInfo.html#ae4a7d078322e99af965193c82b357239',1,'SVF::SymbolTableInfo']]],
@@ -392,7 +393,7 @@ var searchData=
   ['cpp_5feft_5fdynamic_5fcast',['CPP_EFT_DYNAMIC_CAST',['../classSVF_1_1ExtAPI.html#aaf94c82d98f8ed1514ee49c9881a4094a6c9b3a6987d311c61156dab96e5ad3b9',1,'SVF::ExtAPI']]],
   ['cpputil_2ecpp',['CPPUtil.cpp',['../CPPUtil_8cpp.html',1,'']]],
   ['cpputil_2eh',['CPPUtil.h',['../CPPUtil_8h.html',1,'']]],
-  ['cpts',['cpts',['../classSVF_1_1IndirectSVFGEdge.html#ac730b7fd9dfe729a184d9f3065c33dfc',1,'SVF::IndirectSVFGEdge::cpts()'],['../classSVF_1_1MRSVFGNode.html#a3fc32c474e542ebb3c91adb6b5c1bb1f',1,'SVF::MRSVFGNode::cpts()']]],
+  ['cpts',['cpts',['../classSVF_1_1IndirectSVFGEdge.html#a2d54c1c3567ef6676ba15f88c622e5b7',1,'SVF::IndirectSVFGEdge::cpts()'],['../classSVF_1_1MRSVFGNode.html#a640153ff592bf0058882a0d05a76b1ba',1,'SVF::MRSVFGNode::cpts()']]],
   ['cptsbegin',['cptsBegin',['../classSVF_1_1CondPointsToSet.html#acc5c77fbd1a6133d5e80c3f587d49fb3',1,'SVF::CondPointsToSet::cptsBegin()'],['../classSVF_1_1CondPointsToSet.html#ad26570b94c56d6d2ae1cd5093ac66670',1,'SVF::CondPointsToSet::cptsBegin() const']]],
   ['cptsend',['cptsEnd',['../classSVF_1_1CondPointsToSet.html#a20026db57cfef6bf6a978140b2372cea',1,'SVF::CondPointsToSet::cptsEnd()'],['../classSVF_1_1CondPointsToSet.html#aa4c47630b9a06d70375daf5e9237303d',1,'SVF::CondPointsToSet::cptsEnd() const']]],
   ['cptset',['CPtSet',['../classSVF_1_1CondPTAImpl.html#a3f2f48fc122c07ff9eb1382aa7a3f966',1,'SVF::CondPTAImpl']]],

package/SVF-doxygen/html/html/search/all_6.js CHANGED Viewed

@@ -175,7 +175,7 @@ var searchData=
   ['funtointermap',['FunToInterMap',['../classSVF_1_1IntraDisjointMRG.html#ad59c11753db0b310246418df4c62f639',1,'SVF::IntraDisjointMRG']]],
   ['funtoloopinfomap',['FunToLoopInfoMap',['../classSVF_1_1MTA.html#a2473be56f2861ad101f65a65e02dff8d',1,'SVF::MTA::FunToLoopInfoMap()'],['../classSVF_1_1PTACFInfoBuilder.html#ad76c187197c73fad8dd0c8bdb57b10f7',1,'SVF::PTACFInfoBuilder::FunToLoopInfoMap()'],['../classSVF_1_1PTACFInfoBuilder.html#a155db92ff5057abcb929c0ca8e8bee89',1,'SVF::PTACFInfoBuilder::funToLoopInfoMap()']]],
   ['funtomodsmap',['funToModsMap',['../classSVF_1_1MRGenerator.html#a2c94bfa19ad8d1d6360b12693c8b891d',1,'SVF::MRGenerator']]],
-  ['funtomrsmap',['FunToMRsMap',['../classSVF_1_1MRGenerator.html#a090070379a09460aef0c07270d32d27b',1,'SVF::MRGenerator::FunToMRsMap()'],['../classSVF_1_1MRGenerator.html#a3e74c3706ffcc14f378771b417dcbb96',1,'SVF::MRGenerator::funToMRsMap()']]],
+  ['funtomrsmap',['funToMRsMap',['../classSVF_1_1MRGenerator.html#a3e74c3706ffcc14f378771b417dcbb96',1,'SVF::MRGenerator::funToMRsMap()'],['../classSVF_1_1MRGenerator.html#a090070379a09460aef0c07270d32d27b',1,'SVF::MRGenerator::FunToMRsMap()']]],
   ['funtonodebsmap',['FunToNodeBSMap',['../classSVF_1_1MRGenerator.html#ab01e492f002c73e2c89eb0b4c8f9647d',1,'SVF::MRGenerator']]],
   ['funtopagedgesetmap',['FunToPAGEdgeSetMap',['../classSVF_1_1PAG.html#a369ea2832e74716757a7d4afa7cb5d60',1,'SVF::PAG']]],
   ['funtopdtmap',['funToPDTMap',['../classSVF_1_1PTACFInfoBuilder.html#a11a1bb877406f45ea4c8f7c4678bfa15',1,'SVF::PTACFInfoBuilder']]],
@@ -185,7 +185,7 @@ var searchData=
   ['funtoptsmap',['FunToPtsMap',['../classSVF_1_1IntraDisjointMRG.html#a824dec1bb1df5052252e7fe0dd55a894',1,'SVF::IntraDisjointMRG']]],
   ['funtorefsmap',['funToRefsMap',['../classSVF_1_1MRGenerator.html#af6d58e2971c4a8d3ee03f9dfd9072a3a',1,'SVF::MRGenerator']]],
   ['funtoretmap',['FunToRetMap',['../classSVF_1_1PAG.html#a46ce928b6bfa06c0b4a08cd3c282f696',1,'SVF::PAG']]],
-  ['funtoreturnmusetmap',['FunToReturnMuSetMap',['../classSVF_1_1MemSSA.html#a3cfc6d7134f98e5876c16c6c043a3d92',1,'SVF::MemSSA::FunToReturnMuSetMap()'],['../classSVF_1_1MemSSA.html#abae2396bf8a37a22be9365d368fe455c',1,'SVF::MemSSA::funToReturnMuSetMap()']]],
+  ['funtoreturnmusetmap',['funToReturnMuSetMap',['../classSVF_1_1MemSSA.html#abae2396bf8a37a22be9365d368fe455c',1,'SVF::MemSSA::funToReturnMuSetMap()'],['../classSVF_1_1MemSSA.html#a3cfc6d7134f98e5876c16c6c043a3d92',1,'SVF::MemSSA::FunToReturnMuSetMap()']]],
   ['funtosemap',['FunToSEMap',['../classSVF_1_1MTA.html#a2c92809f1395aa064c80aef0c3e4c944',1,'SVF::MTA']]],
   ['funtovfgnodesmap',['funToVFGNodesMap',['../classSVF_1_1VFG.html#a9a99ae86d16ffe69bff9d52de769d049',1,'SVF::VFG']]],
   ['funtovfgnodesmapty',['FunToVFGNodesMapTy',['../classSVF_1_1VFG.html#ad63218978f65ab91ae21bc24c882a716',1,'SVF::VFG']]],

package/SVF-doxygen/html/html/search/all_7.js CHANGED Viewed

@@ -554,7 +554,7 @@ var searchData=
   ['getphicopypes',['getPhiCopyPEs',['../classSVF_1_1PAG.html#a582b8b5ca32b0fbb984e62c55b408bfc',1,'SVF::PAG']]],
   ['getphinodemap',['getPhiNodeMap',['../classSVF_1_1PAG.html#ad81e9de87891387c6fc860d964316d4f',1,'SVF::PAG']]],
   ['getphiset',['getPHISet',['../classSVF_1_1MemSSA.html#a964f3fe39ece9a7b8b2033428b75a274',1,'SVF::MemSSA']]],
-  ['getpointsto',['getPointsTo',['../classSVF_1_1IndirectSVFGEdge.html#abfabfa0478515d18e43ae47214e38cc6',1,'SVF::IndirectSVFGEdge::getPointsTo()'],['../classSVF_1_1MRSVFGNode.html#a59a85a4adee33bc5452996840e30cdd0',1,'SVF::MRSVFGNode::getPointsTo()'],['../classSVF_1_1MemRegion.html#a1e5befaa1a46943e101b33adaf141ca1',1,'SVF::MemRegion::getPointsTo()']]],
+  ['getpointsto',['getPointsTo',['../classSVF_1_1IndirectSVFGEdge.html#a30aca718d25924f1babdf348bb0ace71',1,'SVF::IndirectSVFGEdge::getPointsTo()'],['../classSVF_1_1MRSVFGNode.html#a28fe266d0e4618aa4448aa218495a332',1,'SVF::MRSVFGNode::getPointsTo()'],['../classSVF_1_1MemRegion.html#a1e5befaa1a46943e101b33adaf141ca1',1,'SVF::MemRegion::getPointsTo()']]],
   ['getpointstolist',['getPointsToList',['../classSVF_1_1MRGenerator.html#a6d86c8ebe87cb54f39e52daa7ffb0e2e',1,'SVF::MRGenerator']]],
   ['getpostdt',['getPostDT',['../classSVF_1_1TCT.html#ae4d26d2a77e45104523cfc481012bccc',1,'SVF::TCT::getPostDT()'],['../classSVF_1_1PTACFInfoBuilder.html#a00e3339dab62325354e8ecd8251da0f1',1,'SVF::PTACFInfoBuilder::getPostDT()'],['../classSVF_1_1PathCondAllocator.html#a1295e2c2c0a9c1a3744ba3927b95363e',1,'SVF::PathCondAllocator::getPostDT()']]],
   ['getprevinsts',['getPrevInsts',['../namespaceSVF_1_1SVFUtil.html#a7e3a8d6cb1715db9518579fb60181d5b',1,'SVF::SVFUtil']]],
@@ -729,7 +729,7 @@ var searchData=
   ['globalvfgnodes',['globalVFGNodes',['../classSVF_1_1VFG.html#a6c3daf2777cc5f76ce07241f803720f3',1,'SVF::VFG']]],
   ['globalvfgnodeset',['GlobalVFGNodeSet',['../classSVF_1_1VFG.html#a113185086912213257b04daa4590bf13',1,'SVF::VFG']]],
   ['globpagedgesset',['globPAGEdgesSet',['../classSVF_1_1PAG.html#a1235a44b3fed25e3d3bcfc868948822f',1,'SVF::PAG']]],
-  ['globs',['globs',['../classSVF_1_1SaberSVFGBuilder.html#aa17b6decf323982b2efa28c5585b9835',1,'SVF::SaberSVFGBuilder']]],
+  ['globs',['globs',['../classSVF_1_1SaberSVFGBuilder.html#a967dba864a6032e448222525aedb1f2a',1,'SVF::SaberSVFGBuilder']]],
   ['globsvfgnodes',['globSVFGNodes',['../classSVF_1_1SaberSVFGBuilder.html#a9431a9dcbcf88b78e721b0347046e997',1,'SVF::SaberSVFGBuilder']]],
   ['globvar_5fobj',['GLOBVAR_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830ad2ba0edfac1460f3fd89e7a6c4c4691b',1,'SVF::ObjTypeInfo']]],
   ['gnode',['GNODE',['../classSVF_1_1CFLSolver.html#a7a180d7878fc7b4c055fa72298398127',1,'SVF::CFLSolver::GNODE()'],['../classSVF_1_1SCCDetection.html#a7d7b354d8a7ce69b27dc775ccd192a62',1,'SVF::SCCDetection::GNODE()'],['../classSVF_1_1WPASCCSolver.html#aa40ff9a4090744e66034f9de38f7f45f',1,'SVF::WPASCCSolver::GNODE()'],['../classSVF_1_1WPAMinimumSolver.html#ab694f375b6b15991bc6a7c228db3242b',1,'SVF::WPAMinimumSolver::GNODE()'],['../classSVF_1_1WPASolver.html#a2b0c0c4d1f172e8eeae0230fa09f365e',1,'SVF::WPASolver::GNODE()']]],

package/SVF-doxygen/html/html/search/all_8.js CHANGED Viewed

@@ -86,6 +86,7 @@ var searchData=
   ['hash_3c_20nodepair_20_3e',['Hash&lt; NodePair &gt;',['../structSVF_1_1Hash_3_01NodePair_01_4.html',1,'SVF']]],
   ['hash_3c_20std_3a_3apair_3c_20s_2c_20t_20_3e_20_3e',['Hash&lt; std::pair&lt; S, T &gt; &gt;',['../structSVF_1_1Hash_3_01std_1_1pair_3_01S_00_01T_01_4_01_4.html',1,'SVF']]],
   ['hash_3c_20svf_3a_3acallsite_20_3e',['hash&lt; SVF::CallSite &gt;',['../structstd_1_1hash_3_01SVF_1_1CallSite_01_4.html',1,'std']]],
+  ['hash_3c_20svf_3a_3acondstdset_3c_20element_20_3e_20_3e',['hash&lt; SVF::CondStdSet&lt; Element &gt; &gt;',['../structstd_1_1hash_3_01SVF_1_1CondStdSet_3_01Element_01_4_01_4.html',1,'std']]],
   ['hash_3c_20svf_3a_3acondvar_3c_20cond_20_3e_20_3e',['hash&lt; SVF::CondVar&lt; Cond &gt; &gt;',['../structstd_1_1hash_3_01SVF_1_1CondVar_3_01Cond_01_4_01_4.html',1,'std']]],
   ['hash_3c_20svf_3a_3acontextcond_20_3e',['hash&lt; SVF::ContextCond &gt;',['../structstd_1_1hash_3_01SVF_1_1ContextCond_01_4.html',1,'std']]],
   ['hash_3c_20svf_3a_3acxtdpitem_20_3e',['hash&lt; SVF::CxtDPItem &gt;',['../structstd_1_1hash_3_01SVF_1_1CxtDPItem_01_4.html',1,'std']]],

package/SVF-doxygen/html/html/search/all_9.js CHANGED Viewed

@@ -105,7 +105,7 @@ var searchData=
   ['insertphi',['insertPHI',['../classSVF_1_1MemSSA.html#acc6f72d96cf29e36093ba08ea86b8983',1,'SVF::MemSSA']]],
   ['insertvalueinst',['InsertValueInst',['../namespaceSVF.html#a485b10fc29e76fdb6f31a56ebbde8f24',1,'SVF']]],
   ['inst',['inst',['../classSVF_1_1IntraBlockNode.html#a2381ce8fea9eb3213bd2f2d00db0086d',1,'SVF::IntraBlockNode::inst()'],['../classSVF_1_1CallPE.html#a86b76d7390dc0f650ec2428c394bf41a',1,'SVF::CallPE::inst()'],['../classSVF_1_1RetPE.html#ad78a287bde15c03eec8d633d363e2ed2',1,'SVF::RetPE::inst()'],['../classSVF_1_1LoadMU.html#aea021fa025a51b1ee663ea3a6dfbae2a',1,'SVF::LoadMU::inst()'],['../classSVF_1_1StoreCHI.html#a787017e8aab6f713a409cdec76549293',1,'SVF::StoreCHI::inst()'],['../classSVF_1_1CxtStmt.html#a237b8738885e57d5a9b984221f611567',1,'SVF::CxtStmt::inst()']]],
-  ['inst2labelmap',['Inst2LabelMap',['../classSVF_1_1PAGEdge.html#aea1cb2d45d301eea27d451241fa8ddd1',1,'SVF::PAGEdge::Inst2LabelMap()'],['../classSVF_1_1PAGEdge.html#a5c7605aa20425ef49294e6f153842a56',1,'SVF::PAGEdge::inst2LabelMap()']]],
+  ['inst2labelmap',['inst2LabelMap',['../classSVF_1_1PAGEdge.html#a5c7605aa20425ef49294e6f153842a56',1,'SVF::PAGEdge::inst2LabelMap()'],['../classSVF_1_1PAGEdge.html#aea1cb2d45d301eea27d451241fa8ddd1',1,'SVF::PAGEdge::Inst2LabelMap()']]],
   ['inst2pagedgesmap',['Inst2PAGEdgesMap',['../classSVF_1_1PAG.html#a8fb39e9156bb5cf07dc2329bfcfcd6f7',1,'SVF::PAG::Inst2PAGEdgesMap()'],['../classSVF_1_1PAG.html#ace643a606d59eb972d0f55590745bd5f',1,'SVF::PAG::inst2PAGEdgesMap()']]],
   ['inst2ptapagedgesmap',['inst2PTAPAGEdgesMap',['../classSVF_1_1PAG.html#a925ccfc7169d5c03bffbe945dedc90b6',1,'SVF::PAG']]],
   ['inst_5fiterator',['inst_iterator',['../namespaceSVF.html#a255af6ff30782cb9a548feadb0fe7d6b',1,'SVF']]],

package/SVF-doxygen/html/html/search/all_c.js CHANGED Viewed

@@ -36,7 +36,7 @@ var searchData=
   ['llvmfunend',['llvmFunEnd',['../classSVF_1_1SVFModule.html#af38d0f831967d6d8391a4c84e58d6519',1,'SVF::SVFModule::llvmFunEnd()'],['../classSVF_1_1SVFModule.html#a7662ba877691e7e337af54835c15c3c5',1,'SVF::SVFModule::llvmFunEnd() const']]],
   ['llvmmodule_2ecpp',['LLVMModule.cpp',['../LLVMModule_8cpp.html',1,'']]],
   ['llvmmodule_2eh',['LLVMModule.h',['../LLVMModule_8h.html',1,'']]],
-  ['llvmmoduleset',['LLVMModuleSet',['../classSVF_1_1LLVMModuleSet.html',1,'SVF::LLVMModuleSet'],['../classSVF_1_1LLVMModuleSet.html#a8e70de9eefe2e188b10e214e073750e6',1,'SVF::LLVMModuleSet::LLVMModuleSet()'],['../classSVF_1_1LLVMModuleSet.html#ac59b07cafcbacc950eefea4082425b63',1,'SVF::LLVMModuleSet::llvmModuleSet()']]],
+  ['llvmmoduleset',['LLVMModuleSet',['../classSVF_1_1LLVMModuleSet.html',1,'SVF::LLVMModuleSet'],['../classSVF_1_1LLVMModuleSet.html#ac59b07cafcbacc950eefea4082425b63',1,'SVF::LLVMModuleSet::llvmModuleSet()'],['../classSVF_1_1LLVMModuleSet.html#a8e70de9eefe2e188b10e214e073750e6',1,'SVF::LLVMModuleSet::LLVMModuleSet()']]],
   ['llvmutil_2ecpp',['LLVMUtil.cpp',['../LLVMUtil_8cpp.html',1,'']]],
   ['llvmutil_2eh',['LLVMUtil.h',['../LLVMUtil_8h.html',1,'']]],
   ['load',['Load',['../classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375a1bdeb9a06641d16b43391120812b40b2',1,'SVF::ConstraintEdge::Load()'],['../classSVF_1_1PAGEdge.html#a79080505b4744aa8806b55215ac2b0f6a8fcebc849a231c3c87dddbf0ab5a2167',1,'SVF::PAGEdge::Load()'],['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a0dfbaf92c48e11aebc85760e6e799d80',1,'SVF::VFGNode::Load()']]],

package/SVF-doxygen/html/html/search/all_d.js CHANGED Viewed

@@ -58,7 +58,7 @@ var searchData=
   ['maxpointstosetsize',['MaxPointsToSetSize',['../classSVF_1_1PTAStat.html#af2b45aab2eee96a1cabba3025e4375a2',1,'SVF::PTAStat::MaxPointsToSetSize()'],['../classSVF_1_1AndersenBase.html#a7cfafe54d564c9401f435362d44d3f9c',1,'SVF::AndersenBase::MaxPointsToSetSize()']]],
   ['maxreorderings',['maxReorderings',['../structDdManager.html#a61170edf6d08bb1c4bacab68823a825d',1,'DdManager']]],
   ['maxsccsize',['maxSCCSize',['../classSVF_1_1FlowSensitive.html#a90deaa3c1afa762f568ceab0fe174353',1,'SVF::FlowSensitive']]],
-  ['maxsize',['maxsize',['../structDdHashTable.html#aba376a6d310dcead9f74cfc459f4a248',1,'DdHashTable::maxsize()'],['../structDdLevelQueue.html#acb7146e9f3dd73a052340c0e4010e6b6',1,'DdLevelQueue::maxsize()'],['../structDdManager.html#aa4d0701dc4e6f11b30085ae30c09fab6',1,'DdManager::maxSize()']]],
+  ['maxsize',['maxSize',['../structDdManager.html#aa4d0701dc4e6f11b30085ae30c09fab6',1,'DdManager::maxSize()'],['../structDdHashTable.html#aba376a6d310dcead9f74cfc459f4a248',1,'DdHashTable::maxsize()'],['../structDdLevelQueue.html#acb7146e9f3dd73a052340c0e4010e6b6',1,'DdLevelQueue::maxsize()']]],
   ['maxsizez',['maxSizeZ',['../structDdManager.html#a4a0b8f95d02bc99557fb55140e9b0963',1,'DdManager']]],
   ['maxslots',['maxslots',['../structDdLocalCache.html#af4379636b29a9bfe4a55708ac637545a',1,'DdLocalCache']]],
   ['maxstepinwrapper',['MaxStepInWrapper',['../classSVF_1_1Options.html#a0b82f16ee0c7e6566a6ae20662525e84',1,'SVF::Options']]],

package/SVF-doxygen/html/html/search/all_e.js CHANGED Viewed

@@ -3,7 +3,7 @@ var searchData=
   ['namedmdnode',['NamedMDNode',['../namespaceSVF.html#a3011dbac9102f044ad5f36a4ad3d4a71',1,'SVF']]],
   ['nametochnodesmap',['NameToCHNodesMap',['../classSVF_1_1CHGraph.html#aedb20aca2fa11a070cfe28e14fd3552b',1,'SVF::CHGraph']]],
   ['nan',['nan',['../unionEpTypeUnion.html#a110c7a597a2ccf931b674e2338c64885',1,'EpTypeUnion']]],
-  ['neg',['neg',['../structcuddPathPair.html#a968dc3d34b592da2876517a687873281',1,'cuddPathPair::neg()'],['../classSVF_1_1BranchCondManager.html#ad7832b33b3b73fcaca5c8278ed4d3e7f',1,'SVF::BranchCondManager::NEG()'],['../classSVF_1_1CondManager.html#a5751792e45c8abd5ffd3610d94e9f0b7',1,'SVF::CondManager::NEG()']]],
+  ['neg',['NEG',['../classSVF_1_1BranchCondManager.html#ad7832b33b3b73fcaca5c8278ed4d3e7f',1,'SVF::BranchCondManager::NEG()'],['../classSVF_1_1CondManager.html#a5751792e45c8abd5ffd3610d94e9f0b7',1,'SVF::CondManager::NEG()'],['../structcuddPathPair.html#a968dc3d34b592da2876517a687873281',1,'cuddPathPair::neg()']]],
   ['never_5ffree_5fleak',['NEVER_FREE_LEAK',['../classSVF_1_1LeakChecker.html#a42f54433e5ca60928f3c329ab545842da3ec849f333df9530fb0a6a285c26b86d',1,'SVF::LeakChecker']]],
   ['newcond',['newCond',['../classSVF_1_1PathCondAllocator.html#a3cd08242b82129e6074b2f30a19b5c17',1,'SVF::PathCondAllocator']]],
   ['newexpand',['newExpand',['../classSVF_1_1ConstraintNode.html#af760652ba65eb5a0d0d2731b6e1961b8',1,'SVF::ConstraintNode']]],
@@ -16,7 +16,7 @@ var searchData=
   ['nextfree',['nextFree',['../structDdHashTable.html#a2c4a170b93727184b147b4aa8945471c',1,'DdHashTable::nextFree()'],['../structDdManager.html#a01395a8c5e505bddc9ba02de6780fbff',1,'DdManager::nextFree()']]],
   ['nil',['NIL',['../util_8h.html#a31bfee01545b78af63301bf9e857218b',1,'util.h']]],
   ['no_5fstruct_5falloc',['no_struct_alloc',['../classSVF_1_1ExtAPI.html#a235ef40373e36583004eb6d289ce63f9',1,'SVF::ExtAPI']]],
-  ['node',['Node',['../classSVF_1_1List.html#a4eba65b40d347ea80e2427320eb9c5a1',1,'SVF::List::Node()'],['../classSVF_1_1SCCDetection.html#a6458c27c625add944fcb8a3ef7b536a6',1,'SVF::SCCDetection::Node()'],['../classSVF_1_1WPASolver.html#a5fd488d74e04aa9e66ca4eb42c6dbbf4',1,'SVF::WPASolver::Node()'],['../structDdGen.html#a7678908601787fa2d5ce4bccdd004ffb',1,'DdGen::node()'],['../classSVF_1_1NullPtrVFGNode.html#adef43dcc86e61145a7fdc6711b28239d',1,'SVF::NullPtrVFGNode::node()']]],
+  ['node',['node',['../structDdGen.html#a7678908601787fa2d5ce4bccdd004ffb',1,'DdGen::node()'],['../classSVF_1_1NullPtrVFGNode.html#adef43dcc86e61145a7fdc6711b28239d',1,'SVF::NullPtrVFGNode::node()'],['../classSVF_1_1List.html#a4eba65b40d347ea80e2427320eb9c5a1',1,'SVF::List::Node()'],['../classSVF_1_1SCCDetection.html#a6458c27c625add944fcb8a3ef7b536a6',1,'SVF::SCCDetection::Node()'],['../classSVF_1_1WPASolver.html#a5fd488d74e04aa9e66ca4eb42c6dbbf4',1,'SVF::WPASolver::Node()']]],
   ['node_5findex',['Node_Index',['../classSVF_1_1SCCDetection.html#a5fa111bb849052b8a753194cd0cd5e0c',1,'SVF::SCCDetection::Node_Index()'],['../classSVF_1_1WPASolver.html#a01450e1475679d093413e6496c198fc0',1,'SVF::WPASolver::Node_Index()']]],
   ['node_5fiterator',['node_iterator',['../classSVF_1_1CFLSolver.html#a586cfb2dd110d1853e70e534e0f66624',1,'SVF::CFLSolver::node_iterator()'],['../classSVF_1_1SCCDetection.html#abaf75ef45e8f5349b902dab063999ad8',1,'SVF::SCCDetection::node_iterator()']]],
   ['nodeallocstrat',['NodeAllocStrat',['../classSVF_1_1Options.html#a2537be131132830c63d408133619a065',1,'SVF::Options']]],
@@ -54,7 +54,7 @@ var searchData=
   ['nodetoecmap',['nodeToECMap',['../classSVF_1_1Steensgaard.html#a0dccd5cc44d4d56a035514e9251e70f6',1,'SVF::Steensgaard']]],
   ['nodetoequivclassmap',['NodeToEquivClassMap',['../classSVF_1_1Steensgaard.html#a7f975fd9a694f4b06bab8f3deef9d60b',1,'SVF::Steensgaard']]],
   ['nodetonodemap',['NodeToNodeMap',['../classSVF_1_1PAG.html#a8974543192816d31127076f5f7292825',1,'SVF::PAG::NodeToNodeMap()'],['../classSVF_1_1SCCDetection.html#a7e9a12e188a93ea8e571bac4e49e2a6b',1,'SVF::SCCDetection::NodeToNodeMap()'],['../classSVF_1_1AndersenSCD.html#a88ab40d553f49e173f9c53b32575ccda',1,'SVF::AndersenSCD::NodeToNodeMap()']]],
-  ['nodetoptssmap',['NodeToPTSSMap',['../classSVF_1_1MRGenerator.html#ab075a7c7fbc60f678b3fee8bbc06194d',1,'SVF::MRGenerator::NodeToPTSSMap()'],['../classSVF_1_1SaberSVFGBuilder.html#ae8c189214a61febd7529ad7209d789f3',1,'SVF::SaberSVFGBuilder::NodeToPTSSMap()']]],
+  ['nodetoptssmap',['NodeToPTSSMap',['../classSVF_1_1MRGenerator.html#ab075a7c7fbc60f678b3fee8bbc06194d',1,'SVF::MRGenerator::NodeToPTSSMap()'],['../classSVF_1_1SaberSVFGBuilder.html#a4cb1f607e33d106dfa178e822c5ab7e1',1,'SVF::SaberSVFGBuilder::NodeToPTSSMap()']]],
   ['nodetorefmap',['nodeToRefMap',['../classSVF_1_1OfflineConsG.html#aebeb8a44fcfbb677a738fa04c8e9c5e1',1,'SVF::OfflineConsG']]],
   ['nodetorepmap',['nodeToRepMap',['../classSVF_1_1ConstraintGraph.html#ab1b5ee9202bd9f5d738f9850b42a45d2',1,'SVF::ConstraintGraph::nodeToRepMap()'],['../classSVF_1_1ConstraintGraph.html#afe34ca6bdbb22b188799a4297fd19004',1,'SVF::ConstraintGraph::NodeToRepMap()']]],
   ['nodetosubsmap',['nodeToSubsMap',['../classSVF_1_1ConstraintGraph.html#af91f1027cd5de591ae40865f691c5f60',1,'SVF::ConstraintGraph::nodeToSubsMap()'],['../classSVF_1_1Steensgaard.html#aca87fc74b6acb096a7165f105b14854b',1,'SVF::Steensgaard::nodeToSubsMap()'],['../classSVF_1_1ConstraintGraph.html#ac7d24753491a9bab39a13b32bb65f139',1,'SVF::ConstraintGraph::NodeToSubsMap()'],['../classSVF_1_1Steensgaard.html#a45d49eef110e3bc15509a2020be38453',1,'SVF::Steensgaard::NodeToSubsMap()']]],
@@ -147,7 +147,7 @@ var searchData=
   ['numofmhpld',['numOfMHPLd',['../classSVF_1_1MTAAnnotator.html#a29e0123620ab072fddc45331c6aa46e8',1,'SVF::MTAAnnotator']]],
   ['numofmhpqueries',['numOfMHPQueries',['../classSVF_1_1MHP.html#ab8bd382e0c70b0feb2a291ecc4043106',1,'SVF::MHP']]],
   ['numofmhpst',['numOfMHPSt',['../classSVF_1_1MTAAnnotator.html#a3a53e90b4f361d1298983bc89795b3d2',1,'SVF::MTAAnnotator']]],
-  ['numofmssaphi',['NumOfMSSAPhi',['../classSVF_1_1MemSSAStat.html#a4b598cb1d06c4c0963787036862b1c3d',1,'SVF::MemSSAStat::NumOfMSSAPhi()'],['../classSVF_1_1SVFGStat.html#a9fc87025af3b7e54442e78f46ebe0360',1,'SVF::SVFGStat::numOfMSSAPhi()']]],
+  ['numofmssaphi',['numOfMSSAPhi',['../classSVF_1_1SVFGStat.html#a9fc87025af3b7e54442e78f46ebe0360',1,'SVF::SVFGStat::numOfMSSAPhi()'],['../classSVF_1_1MemSSAStat.html#a4b598cb1d06c4c0963787036862b1c3d',1,'SVF::MemSSAStat::NumOfMSSAPhi()']]],
   ['numofnewsvfgedges',['numOfNewSVFGEdges',['../classSVF_1_1MTASVFGBuilder.html#a019a4597074fdad6e51d936ed4ead0d9',1,'SVF::MTASVFGBuilder']]],
   ['numofnodes',['numOfNodes',['../classSVF_1_1ICFGStat.html#a8e71a19c266aacd7acb1fee6bb339788',1,'SVF::ICFGStat::numOfNodes()'],['../classSVF_1_1SVFGStat.html#ab499c24856a990dd4adb366107eb3302',1,'SVF::SVFGStat::numOfNodes()']]],
   ['numofnodesincycles',['NumOfNodesInCycles',['../classSVF_1_1PTAStat.html#aea3e95097b3b9d326bef0d36f17e51a5',1,'SVF::PTAStat']]],
@@ -185,7 +185,7 @@ var searchData=
   ['numofretnodes',['numOfRetNodes',['../classSVF_1_1ICFGStat.html#ac9bfce40c058ed7ab178fe1f1818e9de',1,'SVF::ICFGStat']]],
   ['numofreturns',['NumOfReturns',['../classSVF_1_1PTAStat.html#a0a552611fcd20e1310290bdae404a514',1,'SVF::PTAStat']]],
   ['numofscc',['numOfSCC',['../classSVF_1_1FlowSensitive.html#ab6c2494ca36cefb5409c5c20befb326f',1,'SVF::FlowSensitive']]],
-  ['numofsccdetection',['NumOfSCCDetection',['../classSVF_1_1PTAStat.html#ad1731b88c24bb79728f62cd3e9c55699',1,'SVF::PTAStat::NumOfSCCDetection()'],['../classSVF_1_1AndersenBase.html#a6da6e1231a46fde6925493045b8b2490',1,'SVF::AndersenBase::numOfSCCDetection()']]],
+  ['numofsccdetection',['numOfSCCDetection',['../classSVF_1_1AndersenBase.html#a6da6e1231a46fde6925493045b8b2490',1,'SVF::AndersenBase::numOfSCCDetection()'],['../classSVF_1_1PTAStat.html#ad1731b88c24bb79728f62cd3e9c55699',1,'SVF::PTAStat::NumOfSCCDetection()']]],
   ['numofsfr',['NumOfSfr',['../classSVF_1_1PTAStat.html#a07a1db62ddba50bda787b2985ef8d135',1,'SVF::PTAStat']]],
   ['numofsfrs',['numOfSfrs',['../classSVF_1_1AndersenBase.html#aa31bc83cdeaa30dd0975976e29a5be12',1,'SVF::AndersenBase']]],
   ['numofstackobjs',['NumOfStackObjs',['../classSVF_1_1PTAStat.html#ae05503909688a17dc1f282d1d029d24e',1,'SVF::PTAStat']]],

package/SVF-doxygen/html/html/search/all_f.js CHANGED Viewed

@@ -31,7 +31,7 @@ var searchData=
   ['operator_20_26_3d',['operator &amp;=',['../classSVF_1_1CondStdSet.html#abb97324d865818f0a51992ee86d1c5ad',1,'SVF::CondStdSet']]],
   ['operator_21_3d',['operator!=',['../classSVF_1_1CondVar.html#a50321e5ead24c8a9d6c58998072634f0',1,'SVF::CondVar::operator!=()'],['../classSVF_1_1CondStdSet.html#a060a01d33fcd5ed4dfcaecb3d24cda07',1,'SVF::CondStdSet::operator!=()'],['../classSVF_1_1CondPointsToSet.html#af06ca0ddfcdca69199fbc9ab42f98558',1,'SVF::CondPointsToSet::operator!=()'],['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a4b1e8adca9e8d1b046930e9d2abeb08f',1,'SVF::CondPointsToSet::CondPtsSetIterator::operator!=(int val)'],['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a82068bca4dfc43402625638dcd1b9775',1,'SVF::CondPointsToSet::CondPtsSetIterator::operator!=(const CondPtsSetIterator &amp;RHS) const'],['../classSVF_1_1PTAType.html#a705267b70cb6f29d14c0308da1d77b82',1,'SVF::PTAType::operator!=()'],['../classSVF_1_1SVFGNodeLockSpan.html#afa11dc0e8124bb36bfb404bfd94f4b40',1,'SVF::SVFGNodeLockSpan::operator!=()'],['../classSVF_1_1PTASCEV.html#a0541ce30f889355425d2aaeedbc857b9',1,'SVF::PTASCEV::operator!=()'],['../classllvm_1_1generic__bridge__gep__type__iterator.html#ab831157001de89b02c7df98a9b513e9c',1,'llvm::generic_bridge_gep_type_iterator::operator!=()'],['../classSVF_1_1CallSite.html#a44d8147b8b6d54e05a7108858dbaa7c6',1,'SVF::CallSite::operator!=()'],['../classSVF_1_1CxtStmt.html#a2a9aa82c6d4b95c6f1af0332666d8070',1,'SVF::CxtStmt::operator!=()'],['../classSVF_1_1CxtThreadStmt.html#ab900fccf35773064aae491d552df3825',1,'SVF::CxtThreadStmt::operator!=()'],['../classSVF_1_1CxtThread.html#acee7934273db9dde73b25743ed4aa911',1,'SVF::CxtThread::operator!=()'],['../classSVF_1_1CxtProc.html#a1e9e5490dead73e1cd9ddd964848eb13',1,'SVF::CxtProc::operator!=()'],['../classSVF_1_1CxtThreadProc.html#a7f65ade2a231590c26643ef907061727',1,'SVF::CxtThreadProc::operator!=()'],['../classSVF_1_1DPItem.html#add804064ca2bfaa16bcc25503698a1ea',1,'SVF::DPItem::operator!=()'],['../classSVF_1_1StmtDPItem.html#ab89875a3b692ed348b1b28bb9a173254',1,'SVF::StmtDPItem::operator!=()'],['../classSVF_1_1ContextCond.html#a357317ef5f0a848a30eb38eec8c8a0f8',1,'SVF::ContextCond::operator!=()'],['../classSVF_1_1CxtStmtDPItem.html#a2cab28448a57f568ac7c3ff43af0d60d',1,'SVF::CxtStmtDPItem::operator!=()'],['../classSVF_1_1CxtDPItem.html#ac4c40bac3d914c61db60751503201c57',1,'SVF::CxtDPItem::operator!=()'],['../classSVF_1_1VFPathCond.html#a6511e52c695247cd887f04ef37de15ff',1,'SVF::VFPathCond::operator!=()'],['../classSVF_1_1PathStmtDPItem.html#a886e2443efb35d18b92186a83875c7c9',1,'SVF::PathStmtDPItem::operator!=()'],['../classSVF_1_1SVFValue.html#ac64744d3e0c41be76ceef4b5715050b5',1,'SVF::SVFValue::operator!=()']]],
   ['operator_26_3d',['operator&amp;=',['../classSVF_1_1CondPointsToSet.html#ab86fdf68183d05f66e1405c6346038c4',1,'SVF::CondPointsToSet']]],
-  ['operator_28_29',['operator()',['../structSVF_1_1GenericEdge_1_1equalGEdge.html#ac4654da03578f3ab8183b10f98a27f62',1,'SVF::GenericEdge::equalGEdge::operator()()'],['../structstd_1_1hash_3_01const_01SVF_1_1CondVar_3_01Cond_01_4_01_4.html#ae66ac1a976e498f88e382988f17b4df5',1,'std::hash&lt; const SVF::CondVar&lt; Cond &gt; &gt;::operator()()'],['../structstd_1_1hash_3_01SVF_1_1CondVar_3_01Cond_01_4_01_4.html#ac9b6dd9b7dd77c0303c1f4f5877d87db',1,'std::hash&lt; SVF::CondVar&lt; Cond &gt; &gt;::operator()()'],['../structstd_1_1hash_3_01SVF_1_1LocationSet_01_4.html#a701401db0e876205424e9cc797fb5984',1,'std::hash&lt; SVF::LocationSet &gt;::operator()()'],['../structSVF_1_1MemRegion_1_1equalMemRegion.html#a3cd8165dfa543312d2b3bfa798b6154b',1,'SVF::MemRegion::equalMemRegion::operator()()'],['../structstd_1_1hash_3_01SVF_1_1SVFGNodeLockSpan_01_4.html#a7854984f902d9a42c6d4e095de8464a7',1,'std::hash&lt; SVF::SVFGNodeLockSpan &gt;::operator()()'],['../structstd_1_1hash_3_01SVF_1_1CallSite_01_4.html#a6ed3f621cd155faae27cbd844338409a',1,'std::hash&lt; SVF::CallSite &gt;::operator()()'],['../structstd_1_1hash_3_01llvm_1_1SparseBitVector_3_4_01_4.html#a253f8fe84b188082a323aa1f769bf741',1,'std::hash&lt; llvm::SparseBitVector&lt;&gt; &gt;::operator()()'],['../structstd_1_1hash_3_01SVF_1_1CxtThread_01_4.html#acba6d528a8f587af9bc95f4b5aa4e201',1,'std::hash&lt; SVF::CxtThread &gt;::operator()()'],['../structstd_1_1hash_3_01SVF_1_1CxtThreadProc_01_4.html#aa88f8da2c709601e69e309604a384863',1,'std::hash&lt; SVF::CxtThreadProc &gt;::operator()()'],['../structstd_1_1hash_3_01SVF_1_1CxtThreadStmt_01_4.html#ae4d5049073212fdd47fb976585653c26',1,'std::hash&lt; SVF::CxtThreadStmt &gt;::operator()()'],['../structstd_1_1hash_3_01SVF_1_1CxtStmt_01_4.html#ad7e6b6c9db44d924cdef8b99394fd5bb',1,'std::hash&lt; SVF::CxtStmt &gt;::operator()()'],['../structstd_1_1hash_3_01SVF_1_1CxtProc_01_4.html#a318fb6797f07e8d780c949ad673cfae8',1,'std::hash&lt; SVF::CxtProc &gt;::operator()()'],['../structstd_1_1hash_3_01SVF_1_1CxtDPItem_01_4.html#af1d24d13fd5262019f58882dc53e83cc',1,'std::hash&lt; SVF::CxtDPItem &gt;::operator()()'],['../structstd_1_1hash_3_01SVF_1_1StmtDPItem_3_01LocCond_01_4_01_4.html#a265e5b7b0b4e15c14f1cc93ec4fc2267',1,'std::hash&lt; SVF::StmtDPItem&lt; LocCond &gt; &gt;::operator()()'],['../structstd_1_1hash_3_01SVF_1_1CxtStmtDPItem_3_01LocCond_01_4_01_4.html#aef0a2fe42410e3364dc66ddfa93ccf52',1,'std::hash&lt; SVF::CxtStmtDPItem&lt; LocCond &gt; &gt;::operator()()'],['../structstd_1_1hash_3_01const_01SVF_1_1ContextCond_01_4.html#a225b0bd057a9d76d7436eae4a6b5baa0',1,'std::hash&lt; const SVF::ContextCond &gt;::operator()()'],['../structstd_1_1hash_3_01SVF_1_1ContextCond_01_4.html#a40f9a910c62fa0cbdca9a5a31e958709',1,'std::hash&lt; SVF::ContextCond &gt;::operator()()'],['../structSVF_1_1Hash_3_01std_1_1pair_3_01S_00_01T_01_4_01_4.html#a8bc94a83d93639b91f9e02dfdd93d8be',1,'SVF::Hash&lt; std::pair&lt; S, T &gt; &gt;::operator()()'],['../structSVF_1_1Hash.html#aad49eec16cfdd4d3423f27666d5f28ff',1,'SVF::Hash::operator()()'],['../structSVF_1_1Hash_3_01NodePair_01_4.html#a57f65bc02efb8b1d4905030ef437df3e',1,'SVF::Hash&lt; NodePair &gt;::operator()()'],['../classSVF_1_1SVFValue.html#abaa61e04b128feff7216d3ecdf4feefa',1,'SVF::SVFValue::operator()()'],['../structstd_1_1hash_3_01SVF_1_1SmallVector_3_01T_00_01N_01_4_01_4.html#ae282a411b1a579a34ccd7eec3a492eb2',1,'std::hash&lt; SVF::SmallVector&lt; T, N &gt; &gt;::operator()()'],['../structSVF_1_1SVFUtil_1_1equalPointsTo.html#a4a7e42b2cca7e54766ce7657fefb91f9',1,'SVF::SVFUtil::equalPointsTo::operator()()'],['../structSVF_1_1SVFUtil_1_1equalNodeBS.html#a023a5352ff198ab9f2e0dbc2a5eadc9e',1,'SVF::SVFUtil::equalNodeBS::operator()()']]],
+  ['operator_28_29',['operator()',['../structSVF_1_1GenericEdge_1_1equalGEdge.html#ac4654da03578f3ab8183b10f98a27f62',1,'SVF::GenericEdge::equalGEdge::operator()()'],['../structstd_1_1hash_3_01const_01SVF_1_1CondVar_3_01Cond_01_4_01_4.html#ae66ac1a976e498f88e382988f17b4df5',1,'std::hash&lt; const SVF::CondVar&lt; Cond &gt; &gt;::operator()()'],['../structstd_1_1hash_3_01SVF_1_1CondVar_3_01Cond_01_4_01_4.html#ac9b6dd9b7dd77c0303c1f4f5877d87db',1,'std::hash&lt; SVF::CondVar&lt; Cond &gt; &gt;::operator()()'],['../structstd_1_1hash_3_01SVF_1_1CondStdSet_3_01Element_01_4_01_4.html#a0d50f7a011b2174e5c8064a8b03f8529',1,'std::hash&lt; SVF::CondStdSet&lt; Element &gt; &gt;::operator()()'],['../structstd_1_1hash_3_01SVF_1_1LocationSet_01_4.html#a701401db0e876205424e9cc797fb5984',1,'std::hash&lt; SVF::LocationSet &gt;::operator()()'],['../structSVF_1_1MemRegion_1_1equalMemRegion.html#a3cd8165dfa543312d2b3bfa798b6154b',1,'SVF::MemRegion::equalMemRegion::operator()()'],['../structstd_1_1hash_3_01SVF_1_1SVFGNodeLockSpan_01_4.html#a7854984f902d9a42c6d4e095de8464a7',1,'std::hash&lt; SVF::SVFGNodeLockSpan &gt;::operator()()'],['../structstd_1_1hash_3_01SVF_1_1CallSite_01_4.html#a6ed3f621cd155faae27cbd844338409a',1,'std::hash&lt; SVF::CallSite &gt;::operator()()'],['../structstd_1_1hash_3_01llvm_1_1SparseBitVector_3_4_01_4.html#a253f8fe84b188082a323aa1f769bf741',1,'std::hash&lt; llvm::SparseBitVector&lt;&gt; &gt;::operator()()'],['../structstd_1_1hash_3_01SVF_1_1CxtThread_01_4.html#acba6d528a8f587af9bc95f4b5aa4e201',1,'std::hash&lt; SVF::CxtThread &gt;::operator()()'],['../structstd_1_1hash_3_01SVF_1_1CxtThreadProc_01_4.html#aa88f8da2c709601e69e309604a384863',1,'std::hash&lt; SVF::CxtThreadProc &gt;::operator()()'],['../structstd_1_1hash_3_01SVF_1_1CxtThreadStmt_01_4.html#ae4d5049073212fdd47fb976585653c26',1,'std::hash&lt; SVF::CxtThreadStmt &gt;::operator()()'],['../structstd_1_1hash_3_01SVF_1_1CxtStmt_01_4.html#ad7e6b6c9db44d924cdef8b99394fd5bb',1,'std::hash&lt; SVF::CxtStmt &gt;::operator()()'],['../structstd_1_1hash_3_01SVF_1_1CxtProc_01_4.html#a318fb6797f07e8d780c949ad673cfae8',1,'std::hash&lt; SVF::CxtProc &gt;::operator()()'],['../structstd_1_1hash_3_01SVF_1_1CxtDPItem_01_4.html#af1d24d13fd5262019f58882dc53e83cc',1,'std::hash&lt; SVF::CxtDPItem &gt;::operator()()'],['../structstd_1_1hash_3_01SVF_1_1StmtDPItem_3_01LocCond_01_4_01_4.html#a265e5b7b0b4e15c14f1cc93ec4fc2267',1,'std::hash&lt; SVF::StmtDPItem&lt; LocCond &gt; &gt;::operator()()'],['../structstd_1_1hash_3_01SVF_1_1CxtStmtDPItem_3_01LocCond_01_4_01_4.html#aef0a2fe42410e3364dc66ddfa93ccf52',1,'std::hash&lt; SVF::CxtStmtDPItem&lt; LocCond &gt; &gt;::operator()()'],['../structstd_1_1hash_3_01const_01SVF_1_1ContextCond_01_4.html#a225b0bd057a9d76d7436eae4a6b5baa0',1,'std::hash&lt; const SVF::ContextCond &gt;::operator()()'],['../structstd_1_1hash_3_01SVF_1_1ContextCond_01_4.html#a40f9a910c62fa0cbdca9a5a31e958709',1,'std::hash&lt; SVF::ContextCond &gt;::operator()()'],['../structSVF_1_1Hash_3_01std_1_1pair_3_01S_00_01T_01_4_01_4.html#a8bc94a83d93639b91f9e02dfdd93d8be',1,'SVF::Hash&lt; std::pair&lt; S, T &gt; &gt;::operator()()'],['../structSVF_1_1Hash.html#aad49eec16cfdd4d3423f27666d5f28ff',1,'SVF::Hash::operator()()'],['../structSVF_1_1Hash_3_01NodePair_01_4.html#a57f65bc02efb8b1d4905030ef437df3e',1,'SVF::Hash&lt; NodePair &gt;::operator()()'],['../classSVF_1_1SVFValue.html#abaa61e04b128feff7216d3ecdf4feefa',1,'SVF::SVFValue::operator()()'],['../structstd_1_1hash_3_01SVF_1_1SmallVector_3_01T_00_01N_01_4_01_4.html#ae282a411b1a579a34ccd7eec3a492eb2',1,'std::hash&lt; SVF::SmallVector&lt; T, N &gt; &gt;::operator()()'],['../structSVF_1_1SVFUtil_1_1equalPointsTo.html#a4a7e42b2cca7e54766ce7657fefb91f9',1,'SVF::SVFUtil::equalPointsTo::operator()()'],['../structSVF_1_1SVFUtil_1_1equalNodeBS.html#a023a5352ff198ab9f2e0dbc2a5eadc9e',1,'SVF::SVFUtil::equalNodeBS::operator()()']]],
   ['operator_2a',['operator*',['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#aaaed8caef122453b5ff543826e1757e0',1,'SVF::CondPointsToSet::CondPtsSetIterator::operator*()'],['../classllvm_1_1generic__bridge__gep__type__iterator.html#aef8babf0bd09f63692e99d3ec563b193',1,'llvm::generic_bridge_gep_type_iterator::operator*()']]],
   ['operator_2b',['operator+',['../classSVF_1_1LocationSet.html#a19700ba5a9eebf50a0f3064f44e4bd97',1,'SVF::LocationSet']]],
   ['operator_2b_2b',['operator++',['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#abd22ed3c5dc9f35968c9a179d292b764',1,'SVF::CondPointsToSet::CondPtsSetIterator::operator++()'],['../classllvm_1_1generic__bridge__gep__type__iterator.html#a4616da5f93bb639271c23f634e6e647e',1,'llvm::generic_bridge_gep_type_iterator::operator++()'],['../classllvm_1_1generic__bridge__gep__type__iterator.html#a68eed6927bf5fb5cd6a6637d6c9cb300',1,'llvm::generic_bridge_gep_type_iterator::operator++(int)']]],

package/SVF-doxygen/html/html/search/classes_7.js CHANGED Viewed

@@ -9,6 +9,7 @@ var searchData=
   ['hash_3c_20nodepair_20_3e',['Hash&lt; NodePair &gt;',['../structSVF_1_1Hash_3_01NodePair_01_4.html',1,'SVF']]],
   ['hash_3c_20std_3a_3apair_3c_20s_2c_20t_20_3e_20_3e',['Hash&lt; std::pair&lt; S, T &gt; &gt;',['../structSVF_1_1Hash_3_01std_1_1pair_3_01S_00_01T_01_4_01_4.html',1,'SVF']]],
   ['hash_3c_20svf_3a_3acallsite_20_3e',['hash&lt; SVF::CallSite &gt;',['../structstd_1_1hash_3_01SVF_1_1CallSite_01_4.html',1,'std']]],
+  ['hash_3c_20svf_3a_3acondstdset_3c_20element_20_3e_20_3e',['hash&lt; SVF::CondStdSet&lt; Element &gt; &gt;',['../structstd_1_1hash_3_01SVF_1_1CondStdSet_3_01Element_01_4_01_4.html',1,'std']]],
   ['hash_3c_20svf_3a_3acondvar_3c_20cond_20_3e_20_3e',['hash&lt; SVF::CondVar&lt; Cond &gt; &gt;',['../structstd_1_1hash_3_01SVF_1_1CondVar_3_01Cond_01_4_01_4.html',1,'std']]],
   ['hash_3c_20svf_3a_3acontextcond_20_3e',['hash&lt; SVF::ContextCond &gt;',['../structstd_1_1hash_3_01SVF_1_1ContextCond_01_4.html',1,'std']]],
   ['hash_3c_20svf_3a_3acxtdpitem_20_3e',['hash&lt; SVF::CxtDPItem &gt;',['../structstd_1_1hash_3_01SVF_1_1CxtDPItem_01_4.html',1,'std']]],

package/SVF-doxygen/html/html/search/functions_0.js CHANGED Viewed

@@ -186,7 +186,7 @@ var searchData=
   ['addparforsite',['addParForSite',['../classSVF_1_1ThreadCallGraph.html#a9daa0817e1f88a2478d7094646c72e13',1,'SVF::ThreadCallGraph']]],
   ['addpath',['addPath',['../classSVF_1_1VFPathCond.html#a47d117a7c5e789766f28cdca6d71ff19',1,'SVF::VFPathCond']]],
   ['addphinode',['addPhiNode',['../classSVF_1_1PAG.html#ad117554c86d9e1ed90231032c96504b0',1,'SVF::PAG']]],
-  ['addpointsto',['addPointsTo',['../classSVF_1_1IndirectSVFGEdge.html#ab4138387b74d13458b09884c6f543790',1,'SVF::IndirectSVFGEdge']]],
+  ['addpointsto',['addPointsTo',['../classSVF_1_1IndirectSVFGEdge.html#a50ac2e33c6a4a41291c0a476ed07de53',1,'SVF::IndirectSVFGEdge']]],
   ['addpts',['addPts',['../classSVF_1_1PTData.html#ac1b9dc035fb0bdf468c7d14b9f9d437a',1,'SVF::PTData::addPts()'],['../classSVF_1_1VersionedPTData.html#ae00316730227769a39b22d3df1b6d38a',1,'SVF::VersionedPTData::addPts()'],['../classSVF_1_1MutablePTData.html#aab4a2eec11e83beca70b016102431ab1',1,'SVF::MutablePTData::addPts(const Key &amp;dstKey, const Data &amp;element) override'],['../classSVF_1_1MutablePTData.html#a8cdeda0ef0e976102d05de3004bd8c8a',1,'SVF::MutablePTData::addPts(DataSet &amp;d, const Data &amp;e)'],['../classSVF_1_1MutableDiffPTData.html#a717c166c5efdf2e1d71be1772fc0898d',1,'SVF::MutableDiffPTData::addPts()'],['../classSVF_1_1MutableDFPTData.html#ab75373d16f57dbbf1e9472e9a27d6b4b',1,'SVF::MutableDFPTData::addPts(const Key &amp;dstKey, const Key &amp;srcKey) override'],['../classSVF_1_1MutableDFPTData.html#ab7d1a3464e561029573f6f3c13c9bff4',1,'SVF::MutableDFPTData::addPts(DataSet &amp;d, const Data &amp;e)'],['../classSVF_1_1MutableVersionedPTData.html#a00a88cc3e802921c6a0951801ec712a6',1,'SVF::MutableVersionedPTData::addPts(const Key &amp;k, const Data &amp;element) override'],['../classSVF_1_1MutableVersionedPTData.html#af39232f64ff0ede20161c7f265da6cf5',1,'SVF::MutableVersionedPTData::addPts(const VersionedKey &amp;vk, const Data &amp;element) override'],['../classSVF_1_1PersistentPTData.html#a8d53322eadc657ed88a8b724647070b2',1,'SVF::PersistentPTData::addPts()'],['../classSVF_1_1PersistentDiffPTData.html#a9f748619f67f3ff9c4c4a429e6614989',1,'SVF::PersistentDiffPTData::addPts()'],['../classSVF_1_1PersistentDFPTData.html#a95df7d565ba8e990b61b1c932c8d4273',1,'SVF::PersistentDFPTData::addPts()'],['../classSVF_1_1PersistentVersionedPTData.html#a7f3730473af9218bea520ec0498fb4ac',1,'SVF::PersistentVersionedPTData::addPts(const Key &amp;k, const Data &amp;element) override'],['../classSVF_1_1PersistentVersionedPTData.html#ae4877cf4db5b1da5e7d05fe65ae8ed32',1,'SVF::PersistentVersionedPTData::addPts(const VersionedKey &amp;vk, const Data &amp;element) override'],['../classSVF_1_1BVDataPTAImpl.html#af68485a2208553579f9c2e4b2cb20cff',1,'SVF::BVDataPTAImpl::addPts()'],['../classSVF_1_1CondPTAImpl.html#a08037f32b927fe2e6be47a61a060463c',1,'SVF::CondPTAImpl::addPts()']]],
   ['addrcgedge',['AddrCGEdge',['../classSVF_1_1AddrCGEdge.html#a9c8da69a469e51d83c5009ba2685bcf6',1,'SVF::AddrCGEdge::AddrCGEdge()'],['../classSVF_1_1AddrCGEdge.html#a3e07c316815631b1ddfd35ae3781daab',1,'SVF::AddrCGEdge::AddrCGEdge(const AddrCGEdge &amp;)'],['../classSVF_1_1AddrCGEdge.html#a131779667553499b85423e1932664252',1,'SVF::AddrCGEdge::AddrCGEdge(ConstraintNode *s, ConstraintNode *d, EdgeID id)']]],
   ['addrefloadedge',['addRefLoadEdge',['../classSVF_1_1OfflineConsG.html#a6c8afd3dc37fc60aecc6efd238312940',1,'SVF::OfflineConsG']]],