svf-tools 1.0.284 → 1.0.285

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

@@ -83,7 +83,7 @@ var searchData=
   ['callsitetomrsmap',['CallSiteToMRsMap',['../classSVF_1_1MRGenerator.html#a71b5ce2c754ffff5a84fdb0c3aa16819',1,'SVF::MRGenerator']]],
   ['callsitetomusetmap',['CallSiteToMUSetMap',['../classSVF_1_1MemSSA.html#af7d3abb0b38f83c6f0a3c6a9e1ebff97',1,'SVF::MemSSA::CallSiteToMUSetMap()'],['../classSVF_1_1MemSSA.html#aba54e534d18f68fbb97b26befd06ba1a',1,'SVF::MemSSA::callsiteToMuSetMap()']]],
   ['callsitetonodebsmap',['CallSiteToNodeBSMap',['../classSVF_1_1MRGenerator.html#a55ca7850e00f57a8a4b83bc969493046',1,'SVF::MRGenerator']]],
-  ['callsitetopointstomap',['CallSiteToPointsToMap',['../classSVF_1_1MRGenerator.html#ae73349361642cbc0c5f4be0b8bf96090',1,'SVF::MRGenerator']]],
+  ['callsitetopointstomap',['CallSiteToPointsToMap',['../classSVF_1_1MRGenerator.html#a9d22e9d113393c536c5fe473fd76f388',1,'SVF::MRGenerator']]],
   ['callsitetorefmrsmap',['callsiteToRefMRsMap',['../classSVF_1_1MRGenerator.html#a7a7ed21181c2486b60170a479a5a534e',1,'SVF::MRGenerator']]],
   ['callsitetorefpointstomap',['callsiteToRefPointsToMap',['../classSVF_1_1MRGenerator.html#a34967cda51699f948a581b9f88fa3b10',1,'SVF::MRGenerator']]],
   ['callsitetovfunsetmap',['CallSiteToVFunSetMap',['../classSVF_1_1CHGraph.html#a0397e5da88106dc8b4a1e207ae455e74',1,'SVF::CHGraph']]],
@@ -198,6 +198,7 @@ var searchData=
   ['cmakelists_2etxt',['CMakeLists.txt',['../lib_2CMakeLists_8txt.html',1,'(Global Namespace)'],['../lib_2CUDD_2CMakeLists_8txt.html',1,'(Global Namespace)'],['../tools_2CMakeLists_8txt.html',1,'(Global Namespace)'],['../tools_2DDA_2CMakeLists_8txt.html',1,'(Global Namespace)'],['../tools_2Example_2CMakeLists_8txt.html',1,'(Global Namespace)'],['../tools_2MTA_2CMakeLists_8txt.html',1,'(Global Namespace)'],['../tools_2SABER_2CMakeLists_8txt.html',1,'(Global Namespace)'],['../tools_2WPA_2CMakeLists_8txt.html',1,'(Global Namespace)']]],
   ['cmp',['Cmp',['../classSVF_1_1PAGEdge.html#a79080505b4744aa8806b55215ac2b0f6a90aa1e3ce21dcd54cf433610b427ba96',1,'SVF::PAGEdge::Cmp()'],['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a98fd43afc6615f418d2d96209eb31828',1,'SVF::VFGNode::Cmp()']]],
   ['cmpinst',['CmpInst',['../namespaceSVF.html#a5d875a9d726bb9f68a17efa528dec0b4',1,'SVF']]],
+  ['cmpnodebs',['cmpNodeBS',['../namespaceSVF_1_1SVFUtil.html#a8f749354b7e882ef3e5bf5081fa715b5',1,'SVF::SVFUtil']]],
   ['cmpnodemap',['cmpNodeMap',['../classSVF_1_1PAG.html#ab51dc1fa314705f66d3319ea95adfc68',1,'SVF::PAG::cmpNodeMap()'],['../classSVF_1_1PAG.html#a373335a3c28622cfc0aeb1ef7ae8ccf7',1,'SVF::PAG::CmpNodeMap()']]],
   ['cmppe',['CmpPE',['../classSVF_1_1CmpPE.html',1,'SVF::CmpPE'],['../classSVF_1_1CmpPE.html#aaf403a40a8ab78cee6b9c7d8b4548c96',1,'SVF::CmpPE::CmpPE()'],['../classSVF_1_1CmpPE.html#ac84eb2426a312cb2a890b0805a99e7f8',1,'SVF::CmpPE::CmpPE(const CmpPE &)'],['../classSVF_1_1CmpPE.html#a3c9cd19348511f5f569f21026cf82a6f',1,'SVF::CmpPE::CmpPE(PAGNode *s, PAGNode *d)']]],
   ['cmppelist',['CmpPEList',['../classSVF_1_1PAG.html#ab33607f8f36bf0a47e91ac510872a60e',1,'SVF::PAG']]],
@@ -253,14 +254,14 @@ var searchData=
   ['compare',['compare',['../structst__table.html#a7c3c545f36a953ff2d8668c394f4fcb5',1,'st_table::compare()'],['../classSVF_1_1RaceResultValidator.html#a7a16fb7a3f382284dbb080802f6e6f43',1,'SVF::RaceResultValidator::compare()']]],
   ['complementcache',['complementCache',['../classSVF_1_1PersistentPointsToCache.html#adef498f8a0d4c75023382e6312a85a58',1,'SVF::PersistentPointsToCache']]],
   ['complementpts',['complementPts',['../classSVF_1_1PersistentPointsToCache.html#a86bf6959fb5587e350015d58d529af14',1,'SVF::PersistentPointsToCache']]],
-  ['computealllocations',['computeAllLocations',['../classSVF_1_1LocationSet.html#a0add3116ad446f6045c2a8ad2be1455a',1,'SVF::LocationSet']]],
+  ['computealllocations',['computeAllLocations',['../classSVF_1_1LocationSet.html#afc0f702b6cce26861b409130fe5e019f',1,'SVF::LocationSet']]],
   ['computed',['computed',['../cuddInt_8c.html#a40cfa3fddea607393205b428c33f032a',1,'cuddInt.c']]],
   ['computeddapts',['computeDDAPts',['../classSVF_1_1ContextDDA.html#a337eb89cc5f31741ad8d840d9f284ca5',1,'SVF::ContextDDA::computeDDAPts(NodeID id) override'],['../classSVF_1_1ContextDDA.html#ae0f3b07267ded5f0ee879c39effff864',1,'SVF::ContextDDA::computeDDAPts(const CxtVar &cxtVar)'],['../classSVF_1_1FlowDDA.html#a113faa56ee75eff39da19fd4b47a47e0',1,'SVF::FlowDDA::computeDDAPts()'],['../classSVF_1_1PointerAnalysis.html#a0bb90b398ef85504bcd816ae57bee01d',1,'SVF::PointerAnalysis::computeDDAPts()']]],
   ['computediffpts',['computeDiffPts',['../classSVF_1_1DiffPTData.html#a6eab8e1201083ed8705379e100cfb3b7',1,'SVF::DiffPTData::computeDiffPts()'],['../classSVF_1_1MutableDiffPTData.html#ac97bd53101f306c46ab4349a808f67c9',1,'SVF::MutableDiffPTData::computeDiffPts()'],['../classSVF_1_1PersistentDiffPTData.html#ae42379dbabbd66dfd91e305673788ed3',1,'SVF::PersistentDiffPTData::computeDiffPts()'],['../classSVF_1_1Andersen.html#a7e26ac6fb40684694f7ff2aadfde8bc7',1,'SVF::Andersen::computeDiffPts()'],['../classSVF_1_1AndersenWaveDiffWithType.html#a96c316aff7fa595ddaca317f7a877398',1,'SVF::AndersenWaveDiffWithType::computeDiffPts()']]],
   ['computegepoffset',['computeGepOffset',['../classSVF_1_1PAGBuilder.html#a5cedcedab00c875ba392da281de7f5f2',1,'SVF::PAGBuilder::computeGepOffset()'],['../classSVF_1_1SymbolTableInfo.html#a86b742ca197b3505b3246d6bed2484db',1,'SVF::SymbolTableInfo::computeGepOffset()'],['../classSVF_1_1LocSymTableInfo.html#a4aa6bf984692e879ad12806d35a6d2be',1,'SVF::LocSymTableInfo::computeGepOffset()']]],
   ['computeintercallvfgguard',['ComputeInterCallVFGGuard',['../classSVF_1_1ProgSlice.html#ae6ca91373bb2a5c2ddc3b20feb630fe6',1,'SVF::ProgSlice::ComputeInterCallVFGGuard()'],['../classSVF_1_1PathCondAllocator.html#a9c3361e3f37d640b177c3955f3c3667f',1,'SVF::PathCondAllocator::ComputeInterCallVFGGuard()']]],
   ['computeinterretvfgguard',['ComputeInterRetVFGGuard',['../classSVF_1_1ProgSlice.html#a0e1c3e7936361a27e876fa1a0678e6c5',1,'SVF::ProgSlice::ComputeInterRetVFGGuard()'],['../classSVF_1_1PathCondAllocator.html#a5015e36d00ac59ef2b832019b8f922f5',1,'SVF::PathCondAllocator::ComputeInterRetVFGGuard()']]],
-  ['computeintersections',['computeIntersections',['../classSVF_1_1IntraDisjointMRG.html#a8e40dbd57f40172ca5356122874c0978',1,'SVF::IntraDisjointMRG']]],
+  ['computeintersections',['computeIntersections',['../classSVF_1_1IntraDisjointMRG.html#adb3ed119aee3f1bc62b9679ee095580d',1,'SVF::IntraDisjointMRG']]],
   ['computeintravfgguard',['ComputeIntraVFGGuard',['../classSVF_1_1ProgSlice.html#ab945cc59c20bb4801f6e11120cc6940d',1,'SVF::ProgSlice::ComputeIntraVFGGuard()'],['../classSVF_1_1PathCondAllocator.html#a5ab573cce84584c44778611ba6f4d99c',1,'SVF::PathCondAllocator::ComputeIntraVFGGuard()']]],
   ['computelb',['computeLB',['../cuddInt_8c.html#a5edd4a7f4fb8bb5aeef67e77b18b2bfe',1,'cuddInt.c']]],
   ['computelocksets',['computeLocksets',['../classSVF_1_1MTA.html#a0f4805f195ebd42d81127b1a79333c75',1,'SVF::MTA']]],
@@ -395,7 +396,7 @@ var searchData=
   ['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']]],
-  ['cptsset',['cptsSet',['../classSVF_1_1MemRegion.html#a0bd542926951c4efe1c67244eeb89090',1,'SVF::MemRegion']]],
+  ['cptsset',['cptsSet',['../classSVF_1_1MemRegion.html#a77a18bcce56cf48d1c338e852a2be9bc',1,'SVF::MemRegion']]],
   ['cptstorepcptsmap',['cptsToRepCPtsMap',['../classSVF_1_1MRGenerator.html#ab4d1ff0357d389a65ff1c2112ce631a1',1,'SVF::MRGenerator']]],
   ['createandersenhcd',['createAndersenHCD',['../classSVF_1_1AndersenHCD.html#a89486ad78857a54f89e1fde47a17e0b1',1,'SVF::AndersenHCD']]],
   ['createandersenhlcd',['createAndersenHLCD',['../classSVF_1_1AndersenHLCD.html#a88488348da1a18724f6c0d5a553068c1',1,'SVF::AndersenHLCD']]],
@@ -406,13 +407,13 @@ var searchData=
   ['createandersenwavediffwithtype',['createAndersenWaveDiffWithType',['../classSVF_1_1AndersenWaveDiffWithType.html#a4abc7b63b173fcff5dbe2a187fc73298',1,'SVF::AndersenWaveDiffWithType']]],
   ['createblkorconstantobj',['createBlkOrConstantObj',['../classSVF_1_1SymbolTableInfo.html#a6d14f88dbbb3190fd37b4cf4e1b6e032',1,'SVF::SymbolTableInfo']]],
   ['createcond',['createCond',['../classSVF_1_1BranchCondManager.html#a6c807df0d5627d3afda2359b658bc97c',1,'SVF::BranchCondManager']]],
-  ['createdisjointmr',['createDisjointMR',['../classSVF_1_1IntraDisjointMRG.html#a25480ff3297b8e6037d62809aee81a79',1,'SVF::IntraDisjointMRG']]],
-  ['createdistinctmr',['createDistinctMR',['../classSVF_1_1DistinctMRG.html#a610cc0e35fb01260a92afffee6f271ac',1,'SVF::DistinctMRG']]],
+  ['createdisjointmr',['createDisjointMR',['../classSVF_1_1IntraDisjointMRG.html#a17d0ad0c62982d2b03121e935469e7b2',1,'SVF::IntraDisjointMRG']]],
+  ['createdistinctmr',['createDistinctMR',['../classSVF_1_1DistinctMRG.html#a7a6ffa1c8dc8e624e3b42f97e6e4b393',1,'SVF::DistinctMRG']]],
   ['createdummyobj',['createDummyObj',['../classSVF_1_1SymbolTableInfo.html#a2fede86948eeb07aacfed2575ea329d1',1,'SVF::SymbolTableInfo']]],
   ['createfreshbranchcond',['createFreshBranchCond',['../classSVF_1_1CondManager.html#ae4ad2a90ac794163060290b6ac1f2949',1,'SVF::CondManager']]],
   ['createfsmpta',['createFSMPTA',['../classSVF_1_1FSMPTA.html#a8a2d1c846f8b6aead8d9426e1effa426',1,'SVF::FSMPTA']]],
   ['createfswpa',['createFSWPA',['../classSVF_1_1FlowSensitive.html#a6099f16d3f890c16507f482a8b2ca903',1,'SVF::FlowSensitive']]],
-  ['createmr',['createMR',['../classSVF_1_1MRGenerator.html#a42708b4ce8b5548e156a0e6d01602cc2',1,'SVF::MRGenerator']]],
+  ['createmr',['createMR',['../classSVF_1_1MRGenerator.html#ac18324bd2b862c3cdbf65494bf69ecb5',1,'SVF::MRGenerator']]],
   ['createmuchi',['createMUCHI',['../classSVF_1_1MemSSA.html#a695adf83e8c40b9628b1866053f68033',1,'SVF::MemSSA']]],
   ['createnode',['createNode',['../classSVF_1_1CHGraph.html#a39a7a8f6a4b9bb03523f190ce7b91e58',1,'SVF::CHGraph']]],
   ['createrefnode',['createRefNode',['../classSVF_1_1OfflineConsG.html#a984e82f3185be03b8d1cb942685b2010',1,'SVF::OfflineConsG']]],
@@ -434,14 +435,14 @@ var searchData=
   ['cstoargslistmap',['CSToArgsListMap',['../classSVF_1_1PAG.html#aeb293a1fc183c51053bdeb749d094e5a',1,'SVF::PAG']]],
   ['cstocallnodemap',['CSToCallNodeMap',['../classSVF_1_1ICFG.html#af0434d6ffd247eeaf73b9294e659a3f9',1,'SVF::ICFG']]],
   ['cstocallnodemapty',['CSToCallNodeMapTy',['../classSVF_1_1ICFG.html#a13694bd3990dd29ebce641a7c827a370',1,'SVF::ICFG']]],
-  ['cstocallsiteargsptsmap',['csToCallSiteArgsPtsMap',['../classSVF_1_1MRGenerator.html#a145cccd6355dd479e8a0c744584cef9a',1,'SVF::MRGenerator']]],
-  ['cstocallsiteretptsmap',['csToCallSiteRetPtsMap',['../classSVF_1_1MRGenerator.html#a9368636daea4542fa36fff822ff39104',1,'SVF::MRGenerator']]],
+  ['cstocallsiteargsptsmap',['csToCallSiteArgsPtsMap',['../classSVF_1_1MRGenerator.html#afe91b57b451d7788364493549e015acf',1,'SVF::MRGenerator']]],
+  ['cstocallsiteretptsmap',['csToCallSiteRetPtsMap',['../classSVF_1_1MRGenerator.html#a21550f978f42ac3cbb32cbc426ff5cb1',1,'SVF::MRGenerator']]],
   ['cstochavfnsmap',['csToCHAVFnsMap',['../classSVF_1_1CHGraph.html#a5e6502c5baad99c70e1cf56c84ce9474',1,'SVF::CHGraph']]],
   ['cstochavtblsmap',['csToCHAVtblsMap',['../classSVF_1_1CHGraph.html#af3ed2bee5d76e5a848b250950c3be333',1,'SVF::CHGraph']]],
   ['cstoclassesmap',['csToClassesMap',['../classSVF_1_1CHGraph.html#a7ef9982d89a4932883bd58bc49ad9986',1,'SVF::CHGraph']]],
   ['cstoidmap',['csToIdMap',['../classSVF_1_1PTACallGraph.html#a75ffe4f24d59ad42601b7550aa988187',1,'SVF::PTACallGraph']]],
-  ['cstomodsmap',['csToModsMap',['../classSVF_1_1MRGenerator.html#a72222bae993142be1881c34660646b82',1,'SVF::MRGenerator']]],
-  ['cstorefsmap',['csToRefsMap',['../classSVF_1_1MRGenerator.html#a08779053af9db71ba0bc24710a7e198c',1,'SVF::MRGenerator']]],
+  ['cstomodsmap',['csToModsMap',['../classSVF_1_1MRGenerator.html#a603f993995e7d6961e203a195bb56029',1,'SVF::MRGenerator']]],
+  ['cstorefsmap',['csToRefsMap',['../classSVF_1_1MRGenerator.html#ac7b5ca3fd950e1a940f875ac135640f6',1,'SVF::MRGenerator']]],
   ['cstoretmap',['CSToRetMap',['../classSVF_1_1PAG.html#a7b983e115709d3461be9f24395c87ab4',1,'SVF::PAG']]],
   ['cstoretnodemap',['CSToRetNodeMap',['../classSVF_1_1ICFG.html#a0e43308038663c10667177238b23ab3e',1,'SVF::ICFG']]],
   ['cstoretnodemapty',['CSToRetNodeMapTy',['../classSVF_1_1ICFG.html#a3d519765c4bbc1479b64ef211f845edd',1,'SVF::ICFG']]],

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

@@ -107,7 +107,8 @@ var searchData=
   ['equal',['EQUAL',['../st_8c.html#adf137c378b35c2dbab9579eeb5c03150',1,'st.c']]],
   ['equalgedge',['equalGEdge',['../structSVF_1_1GenericEdge_1_1equalGEdge.html',1,'SVF::GenericEdge< NodeTy >::equalGEdge'],['../classSVF_1_1GenericEdge.html#a69accb303ee67733e065350e4452cbca',1,'SVF::GenericEdge::equalGEdge()']]],
   ['equalmemregion',['equalMemRegion',['../structSVF_1_1MemRegion_1_1equalMemRegion.html',1,'SVF::MemRegion::equalMemRegion'],['../classSVF_1_1MemRegion.html#af0a0b4a5862a136ef4f203f19139da65',1,'SVF::MemRegion::equalMemRegion()']]],
-  ['equalpointsto',['equalPointsTo',['../structSVF_1_1SVFUtil_1_1equalPointsTo.html',1,'SVF::SVFUtil::equalPointsTo'],['../structSVF_1_1MemRegion_1_1equalPointsTo.html',1,'SVF::MemRegion::equalPointsTo'],['../classSVF_1_1MemRegion.html#a52b14094d018fb5d9f024c154ab61b8e',1,'SVF::MemRegion::equalPointsTo()'],['../namespaceSVF_1_1SVFUtil.html#a68302f07b13f6e1f39aace5699762c41',1,'SVF::SVFUtil::equalPointsTo()']]],
+  ['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()']]],
   ['err',['err',['../structDdManager.html#a6b0364070de52e689fe3485a86bb2825',1,'DdManager']]],
   ['errmsg',['errMsg',['../namespaceSVF_1_1SVFUtil.html#a5d4bb92f5df30417f414397f8e58cf01',1,'SVF::SVFUtil']]],
   ['errorcode',['errorCode',['../structDdManager.html#ae0690f123fc2c3f0ca9a1cfd18923a37',1,'DdManager']]],

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

@@ -169,15 +169,16 @@ var searchData=
   ['funtoidmapty',['FunToIDMapTy',['../classSVF_1_1SymbolTableInfo.html#ada2191cb0e3798ba29aa442dca762290',1,'SVF::SymbolTableInfo']]],
   ['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#aeb185d6d9c7bfe4b98c7440db6b8bbc4',1,'SVF::MRGenerator']]],
+  ['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()']]],
   ['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']]],
-  ['funtopointstomap',['funToPointsToMap',['../classSVF_1_1MRGenerator.html#acaf48288039d19bf0bb9f2e506fbfd8d',1,'SVF::MRGenerator::funToPointsToMap()'],['../classSVF_1_1MRGenerator.html#a71b584c7e0feb3014ad5f74eb31467bb',1,'SVF::MRGenerator::FunToPointsToMap()']]],
+  ['funtopointstomap',['funToPointsToMap',['../classSVF_1_1MRGenerator.html#a05c7a5ddbe3079f63be76c35298d1c2b',1,'SVF::MRGenerator::funToPointsToMap()'],['../classSVF_1_1MRGenerator.html#ad492e2940936fc7df06127f0cb94d47a',1,'SVF::MRGenerator::FunToPointsToMap()']]],
+  ['funtopointstosmap',['FunToPointsTosMap',['../classSVF_1_1MRGenerator.html#a6b8bbb60126105cc77c1a6a4c46677fd',1,'SVF::MRGenerator']]],
   ['funtopostdtmap',['FunToPostDTMap',['../classSVF_1_1PTACFInfoBuilder.html#a8e4d95e3c98ad17b060844063a494946',1,'SVF::PTACFInfoBuilder']]],
   ['funtoptsmap',['FunToPtsMap',['../classSVF_1_1IntraDisjointMRG.html#a824dec1bb1df5052252e7fe0dd55a894',1,'SVF::IntraDisjointMRG']]],
-  ['funtorefsmap',['funToRefsMap',['../classSVF_1_1MRGenerator.html#afe018918c8acc83cd128b4c56ff42075',1,'SVF::MRGenerator']]],
+  ['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()']]],
   ['funtosemap',['FunToSEMap',['../classSVF_1_1MTA.html#a2c92809f1395aa064c80aef0c3e4c944',1,'SVF::MTA']]],

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

@@ -87,10 +87,11 @@ var searchData=
   ['getaddroutedges',['getAddrOutEdges',['../classSVF_1_1ConstraintNode.html#a9058618987da9d21156cea72a5d5ddad',1,'SVF::ConstraintNode']]],
   ['getadjustedanalysispointer',['getAdjustedAnalysisPointer',['../classSVF_1_1DDAPass.html#a77ecb6c9fd126f71b018e565f543e3ad',1,'SVF::DDAPass::getAdjustedAnalysisPointer()'],['../classSVF_1_1WPAPass.html#ace88ef31b3b43af9f516860ad914053b',1,'SVF::WPAPass::getAdjustedAnalysisPointer()']]],
   ['getaggs',['getAggs',['../classSVF_1_1DCHGraph.html#a159e158c794fff115d5642b85963f43b',1,'SVF::DCHGraph']]],
-  ['getaliasmemregions',['getAliasMemRegions',['../classSVF_1_1MRGenerator.html#a6426e7a9a6324b8b2f8a9bcf4aab1fc1',1,'SVF::MRGenerator']]],
+  ['getaliasmemregions',['getAliasMemRegions',['../classSVF_1_1MRGenerator.html#ad740188222439c089907fa6c6c951f02',1,'SVF::MRGenerator']]],
   ['getallcallsitesinvokingcallee',['getAllCallSitesInvokingCallee',['../classSVF_1_1PTACallGraph.html#a80070e2f50ed1036d334250841215ca8',1,'SVF::PTACallGraph']]],
   ['getallfieldsobjnode',['getAllFieldsObjNode',['../classSVF_1_1ConstraintGraph.html#a8200b7cbd600958c662f24169ccbc8d6',1,'SVF::ConstraintGraph::getAllFieldsObjNode()'],['../classSVF_1_1PAG.html#a049069cb76eada008e65b71e08ccdf46',1,'SVF::PAG::getAllFieldsObjNode(const MemObj *obj)'],['../classSVF_1_1PAG.html#a1eb0e444364673333ff6b97f14e70a17',1,'SVF::PAG::getAllFieldsObjNode(NodeID id)'],['../classSVF_1_1PointerAnalysis.html#aeec490de5955497af1a2a9cd429f0d5d',1,'SVF::PointerAnalysis::getAllFieldsObjNode()'],['../classSVF_1_1FlowSensitiveTBHC.html#a96089e24ef6aaa7f7d30c50a64d5042f',1,'SVF::FlowSensitiveTBHC::getAllFieldsObjNode()']]],
   ['getallocationsite',['getAllocationSite',['../classSVF_1_1TypeBasedHeapCloning.html#a5681d78630ca8770dd493ef3841ec683',1,'SVF::TypeBasedHeapCloning']]],
+  ['getallpts',['getAllPts',['../classSVF_1_1PersistentPointsToCache.html#ab84d0806e87c982bf81ae309f28751e3',1,'SVF::PersistentPointsToCache']]],
   ['getallvalidptrs',['getAllValidPtrs',['../classSVF_1_1PAG.html#af771436bf36e2831d9c945c4dbc0be16',1,'SVF::PAG::getAllValidPtrs()'],['../classSVF_1_1PointerAnalysis.html#a60b111647e000cc983aa52513f90afbc',1,'SVF::PointerAnalysis::getAllValidPtrs()']]],
   ['getanalysisty',['getAnalysisTy',['../classSVF_1_1PointerAnalysis.html#ac23f71c1307cda9cba44acc40059f0a3',1,'SVF::PointerAnalysis']]],
   ['getanalysisusage',['getAnalysisUsage',['../classSVF_1_1DDAPass.html#af9ab14540f72aee9e54d5c450a4ebc86',1,'SVF::DDAPass::getAnalysisUsage()'],['../classSVF_1_1MTA.html#ab059d92eaed415d6d0ffdd655a633826',1,'SVF::MTA::getAnalysisUsage()'],['../classSVF_1_1BreakConstantGEPs.html#a172891924ad8afbd400aba38208a2741',1,'SVF::BreakConstantGEPs::getAnalysisUsage()'],['../classSVF_1_1MergeFunctionRets.html#a27ad1cbfe6d45fd0966f5b469038181d',1,'SVF::MergeFunctionRets::getAnalysisUsage()'],['../classSVF_1_1IteratedDominanceFrontier.html#a09a8ded5674e789536ffa10819cf1ed4',1,'SVF::IteratedDominanceFrontier::getAnalysisUsage()'],['../classSVF_1_1WPAPass.html#abe0750901c2e0305b3ced5e523489a4f',1,'SVF::WPAPass::getAnalysisUsage()']]],
@@ -337,7 +338,7 @@ var searchData=
   ['getfunretmunum',['getFunRetMuNum',['../classSVF_1_1MemSSA.html#a67175188232e08f5c5374f92ff61810f',1,'SVF::MemSSA']]],
   ['getfunrets',['getFunRets',['../classSVF_1_1PAG.html#ac0835eaa3f23a53eb56a122bebe2ac6c',1,'SVF::PAG']]],
   ['getfuntoentrychisetmap',['getFunToEntryChiSetMap',['../classSVF_1_1MemSSA.html#afd4787df4466c24948d8384e3a756198',1,'SVF::MemSSA']]],
-  ['getfuntopointstolist',['getFunToPointsToList',['../classSVF_1_1MRGenerator.html#ad8333efeda532f0d403352ad6a4987e9',1,'SVF::MRGenerator']]],
+  ['getfuntopointstolist',['getFunToPointsToList',['../classSVF_1_1MRGenerator.html#a1331e6f0941838064d77a5adaa5c6303',1,'SVF::MRGenerator']]],
   ['getfuntoretmusetmap',['getFunToRetMuSetMap',['../classSVF_1_1MemSSA.html#a44cbdb1231c2709c24d19ad2bae2475a',1,'SVF::MemSSA']]],
   ['getgepinedges',['getGepInEdges',['../classSVF_1_1ConstraintNode.html#ac645cf2114161981cd4465c83cbc31f5',1,'SVF::ConstraintNode']]],
   ['getgepobjclones',['getGepObjClones',['../classSVF_1_1TypeBasedHeapCloning.html#aa175b5db473eb57c03b6f908791d1133',1,'SVF::TypeBasedHeapCloning']]],
@@ -449,7 +450,7 @@ var searchData=
   ['getmhp',['getMHP',['../classSVF_1_1FSMPTA.html#a2d0cfa271848bc9a20fda25f12b2a4f2',1,'SVF::FSMPTA']]],
   ['getmhpfunctions',['getMHPFunctions',['../classSVF_1_1PCG.html#a3106e03b7df8b34f50c769e1417f341c',1,'SVF::PCG']]],
   ['getmodelconstants',['getModelConstants',['../classSVF_1_1SymbolTableInfo.html#a89e9c6da843e5eef25c51afd5d0937e5',1,'SVF::SymbolTableInfo']]],
-  ['getmodinfoforcall',['getModInfoForCall',['../classSVF_1_1MRGenerator.html#a1658aacb68aacb4785266263c1641a6a',1,'SVF::MRGenerator']]],
+  ['getmodinfoforcall',['getModInfoForCall',['../classSVF_1_1MRGenerator.html#af0d1a34ce38e9b20ee6fc7b27fcd5198',1,'SVF::MRGenerator']]],
   ['getmodrefinfo',['getModRefInfo',['../classSVF_1_1MRGenerator.html#a455e0ba173141ac8ce76a655ac52205f',1,'SVF::MRGenerator::getModRefInfo(const CallBlockNode *cs)'],['../classSVF_1_1MRGenerator.html#a9f1d1604fb884e5c99702556915396f9',1,'SVF::MRGenerator::getModRefInfo(const CallBlockNode *cs, const Value *V)'],['../classSVF_1_1MRGenerator.html#a83f957962bf3c7621661ce87b095e841',1,'SVF::MRGenerator::getModRefInfo(const CallBlockNode *cs1, const CallBlockNode *cs2)'],['../classSVF_1_1WPAPass.html#a567f818fa7b29142b18cb39e5c063a4e',1,'SVF::WPAPass::getModRefInfo(const CallInst *callInst)'],['../classSVF_1_1WPAPass.html#a6d86f4ef6ad2f14c2dbf57b759e2950f',1,'SVF::WPAPass::getModRefInfo(const CallInst *callInst, const MemoryLocation &Loc)'],['../classSVF_1_1WPAPass.html#a81277c93b6a89c01a7a1f476bc3d744d',1,'SVF::WPAPass::getModRefInfo(const CallInst *callInst, const Value *V)'],['../classSVF_1_1WPAPass.html#a148cd86101e402e7ed8d3b3dae151d79',1,'SVF::WPAPass::getModRefInfo(const CallInst *callInst1, const CallInst *callInst2)']]],
   ['getmodsideeffectofcallsite',['getModSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#aebd6abbf574392abce426dc796d2ee56',1,'SVF::MRGenerator']]],
   ['getmodsideeffectoffunction',['getModSideEffectOfFunction',['../classSVF_1_1MRGenerator.html#a7d47fbc3dbe8fd19ca5e4210bdecf914',1,'SVF::MRGenerator']]],
@@ -458,14 +459,14 @@ var searchData=
   ['getmodulenum',['getModuleNum',['../classSVF_1_1LLVMModuleSet.html#ae265a7f3cc7367d62013e0f15cf3d233',1,'SVF::LLVMModuleSet']]],
   ['getmoduleref',['getModuleRef',['../classSVF_1_1LLVMModuleSet.html#ad647d73d2e1bda61348eff658e32f481',1,'SVF::LLVMModuleSet']]],
   ['getmodulusoffset',['getModulusOffset',['../classSVF_1_1SymbolTableInfo.html#a480a7565dcb5d9a94f4b0ffb44b127ee',1,'SVF::SymbolTableInfo::getModulusOffset()'],['../classSVF_1_1LocSymTableInfo.html#a81763320f531da09014b4f5019dc8144',1,'SVF::LocSymTableInfo::getModulusOffset()']]],
-  ['getmr',['getMR',['../classSVF_1_1MRGenerator.html#a7ecde80ed05d425a19bf7fe0c5feff84',1,'SVF::MRGenerator::getMR()'],['../classSVF_1_1MRVer.html#a63bd0641be553860cc5f517634b65825',1,'SVF::MRVer::getMR()'],['../classSVF_1_1MSSAMU.html#a6bd671839ec0376439ccd81d5b2eff30',1,'SVF::MSSAMU::getMR()'],['../classSVF_1_1MSSADEF.html#ab3070e4293ceb5ca9c25702f76ac427c',1,'SVF::MSSADEF::getMR()']]],
+  ['getmr',['getMR',['../classSVF_1_1MRGenerator.html#a55d38020bbece70847f7e72bb02bc4af',1,'SVF::MRGenerator::getMR()'],['../classSVF_1_1MRVer.html#a63bd0641be553860cc5f517634b65825',1,'SVF::MRVer::getMR()'],['../classSVF_1_1MSSAMU.html#a6bd671839ec0376439ccd81d5b2eff30',1,'SVF::MSSAMU::getMR()'],['../classSVF_1_1MSSADEF.html#ab3070e4293ceb5ca9c25702f76ac427c',1,'SVF::MSSADEF::getMR()']]],
   ['getmrgenerator',['getMRGenerator',['../classSVF_1_1MemSSA.html#ab2dfdcf6fb50ba6cacad1254350a5b09',1,'SVF::MemSSA']]],
   ['getmrid',['getMRID',['../classSVF_1_1MemRegion.html#a7d38f6ef18106eb388b3a289aad79802',1,'SVF::MemRegion']]],
   ['getmrnum',['getMRNum',['../classSVF_1_1MRGenerator.html#ad34e796ebc49f5749de39e81374dc7a7',1,'SVF::MRGenerator']]],
   ['getmrset',['getMRSet',['../classSVF_1_1MRGenerator.html#a1f69924c587c4e68a029fd4e86cffacf',1,'SVF::MRGenerator']]],
-  ['getmrsforcallsiteref',['getMRsForCallSiteRef',['../classSVF_1_1DistinctMRG.html#a2b3e57a20079b28fb9ec389bdc4f37f3',1,'SVF::DistinctMRG::getMRsForCallSiteRef()'],['../classSVF_1_1IntraDisjointMRG.html#a8a1c8f676758ba6193bc683d10126175',1,'SVF::IntraDisjointMRG::getMRsForCallSiteRef()'],['../classSVF_1_1MRGenerator.html#af4eda1f51e3f58c8cccddee474972fe9',1,'SVF::MRGenerator::getMRsForCallSiteRef()']]],
-  ['getmrsforload',['getMRsForLoad',['../classSVF_1_1DistinctMRG.html#ad877dd9e21c3e1d5a1437b12e68ff993',1,'SVF::DistinctMRG::getMRsForLoad()'],['../classSVF_1_1IntraDisjointMRG.html#aa1395f921e2a6e2607a6887f134cb63f',1,'SVF::IntraDisjointMRG::getMRsForLoad()'],['../classSVF_1_1InterDisjointMRG.html#affab79ce9b1ef9ec7bc04af8ad2954dc',1,'SVF::InterDisjointMRG::getMRsForLoad()'],['../classSVF_1_1MRGenerator.html#a2a7012e9f2e84ac1c5f7ed61daa67ac7',1,'SVF::MRGenerator::getMRsForLoad()']]],
-  ['getmrsforloadfrominterlist',['getMRsForLoadFromInterList',['../classSVF_1_1IntraDisjointMRG.html#a9caabaac320e8a28bb7176f8da285f1f',1,'SVF::IntraDisjointMRG']]],
+  ['getmrsforcallsiteref',['getMRsForCallSiteRef',['../classSVF_1_1DistinctMRG.html#a74c36d4c98b95c2d40c9970e5f6aecc1',1,'SVF::DistinctMRG::getMRsForCallSiteRef()'],['../classSVF_1_1IntraDisjointMRG.html#a89ca36aaf82f17963abaa67c88415272',1,'SVF::IntraDisjointMRG::getMRsForCallSiteRef()'],['../classSVF_1_1MRGenerator.html#a02c60ceb7c9c37bcf83c739aa4083acc',1,'SVF::MRGenerator::getMRsForCallSiteRef()']]],
+  ['getmrsforload',['getMRsForLoad',['../classSVF_1_1DistinctMRG.html#a1a4fa7e9fb42a59fac2104b208a1e66b',1,'SVF::DistinctMRG::getMRsForLoad()'],['../classSVF_1_1IntraDisjointMRG.html#ae577d4d6f3a6e6fb62f6eff49ca6be88',1,'SVF::IntraDisjointMRG::getMRsForLoad()'],['../classSVF_1_1InterDisjointMRG.html#ae7846579fc473ae5eb6c9a8fac712d9a',1,'SVF::InterDisjointMRG::getMRsForLoad()'],['../classSVF_1_1MRGenerator.html#abe8d6217250d227e743e4b581497aae8',1,'SVF::MRGenerator::getMRsForLoad()']]],
+  ['getmrsforloadfrominterlist',['getMRsForLoadFromInterList',['../classSVF_1_1IntraDisjointMRG.html#a8d390306f30e8b9736a3d1228ef5bf3a',1,'SVF::IntraDisjointMRG']]],
   ['getmrver',['getMRVer',['../classSVF_1_1IndirectSVFGEdge.html#ac08d8b88c44881d87c1299d18c943ace',1,'SVF::IndirectSVFGEdge::getMRVer()'],['../classSVF_1_1FormalINSVFGNode.html#a07e23637c89164add5fc3ea52b250735',1,'SVF::FormalINSVFGNode::getMRVer()'],['../classSVF_1_1FormalOUTSVFGNode.html#ad2e841a18b777220c2b13f38289d6168',1,'SVF::FormalOUTSVFGNode::getMRVer()'],['../classSVF_1_1ActualINSVFGNode.html#aa92b36228a6f42496984cfea32f3415c',1,'SVF::ActualINSVFGNode::getMRVer()'],['../classSVF_1_1ActualOUTSVFGNode.html#a3e3a14a042d75e5613eb049a9eb4fac5',1,'SVF::ActualOUTSVFGNode::getMRVer()'],['../classSVF_1_1IntraMSSAPHISVFGNode.html#a9d4b2b8d343796bb465cc5a138eb3f18',1,'SVF::IntraMSSAPHISVFGNode::getMRVer()'],['../classSVF_1_1MSSAMU.html#ad120dfc87b90b26649bcd8d0c0d3ca80',1,'SVF::MSSAMU::getMRVer()']]],
   ['getmssa',['getMSSA',['../classSVF_1_1SVFG.html#a49a910bc4ea6e98d1584e74a018badc9',1,'SVF::SVFG']]],
   ['getmuset',['getMUSet',['../classSVF_1_1MemSSA.html#aea0fc1d2e5407f86e0211d8e253fa24e',1,'SVF::MemSSA::getMUSet(const LoadPE *ld)'],['../classSVF_1_1MemSSA.html#a59392ba4cc987f5fefa4eca0ebe411fe',1,'SVF::MemSSA::getMUSet(const CallBlockNode *cs)']]],
@@ -527,7 +528,7 @@ var searchData=
   ['getoutgoingedgesend',['getOutgoingEdgesEnd',['../classSVF_1_1PAGNode.html#ad57a4d81a77520c773bee35d294a7ed3',1,'SVF::PAGNode']]],
   ['getoutput',['getOutput',['../classSVF_1_1LockResultValidator.html#ab71d89c954395df7d108263b3fa87330',1,'SVF::LockResultValidator::getOutput()'],['../classSVF_1_1MTAResultValidator.html#a9c9baeb57a645b57cc9053b3071f0602',1,'SVF::MTAResultValidator::getOutput()'],['../classSVF_1_1RaceResultValidator.html#afdd89e26a7c168762bfe85746252827f',1,'SVF::RaceResultValidator::getOutput()']]],
   ['getoutputforinterlevanalysis',['getOutputforInterlevAnalysis',['../classSVF_1_1MTAResultValidator.html#ac24a8a6922d9dc9edecab3bc45bc9204',1,'SVF::MTAResultValidator']]],
-  ['getpag',['getPAG',['../classSVF_1_1PAG.html#ac8910c7330638bdf31c23d4cc03ba9c5',1,'SVF::PAG::getPAG()'],['../classSVF_1_1VFG.html#a560e0d31a6a9ba4c2b0ac540c233fef1',1,'SVF::VFG::getPAG()'],['../classSVF_1_1PAGBuilderFromFile.html#aaca740bbe278cceaa257757aa8b94989',1,'SVF::PAGBuilderFromFile::getPAG()'],['../classSVF_1_1PointerAnalysis.html#aaf6b41f44da3a4caea1fa395e41edf71',1,'SVF::PointerAnalysis::getPAG()'],['../classSVF_1_1MemSSA.html#a37ba6ead86bce47f97adeff1e8cdb564',1,'SVF::MemSSA::getPAG()'],['../classSVF_1_1FSMPTA.html#aa49dfc2672a66c9f9593ff8bd6ac5118',1,'SVF::FSMPTA::getPAG()'],['../classSVF_1_1SrcSnkDDA.html#af55a78139e0bde3e166b0d43e5890c98',1,'SVF::SrcSnkDDA::getPAG()'],['../classSVF_1_1PAGBuilder.html#ac037265d15e76801cdf45ae5682ccef8',1,'SVF::PAGBuilder::getPAG()']]],
+  ['getpag',['getPAG',['../classSVF_1_1PAG.html#ac8910c7330638bdf31c23d4cc03ba9c5',1,'SVF::PAG::getPAG()'],['../classSVF_1_1VFG.html#a560e0d31a6a9ba4c2b0ac540c233fef1',1,'SVF::VFG::getPAG()'],['../classSVF_1_1PAGBuilderFromFile.html#aaca740bbe278cceaa257757aa8b94989',1,'SVF::PAGBuilderFromFile::getPAG()'],['../classSVF_1_1PointerAnalysis.html#aaf6b41f44da3a4caea1fa395e41edf71',1,'SVF::PointerAnalysis::getPAG()'],['../classSVF_1_1MemSSA.html#a1374ee572c9043d183f25bb96648cd7a',1,'SVF::MemSSA::getPAG()'],['../classSVF_1_1FSMPTA.html#aa49dfc2672a66c9f9593ff8bd6ac5118',1,'SVF::FSMPTA::getPAG()'],['../classSVF_1_1SrcSnkDDA.html#af55a78139e0bde3e166b0d43e5890c98',1,'SVF::SrcSnkDDA::getPAG()'],['../classSVF_1_1PAGBuilder.html#ac037265d15e76801cdf45ae5682ccef8',1,'SVF::PAGBuilder::getPAG()']]],
   ['getpagdstnode',['getPAGDstNode',['../classSVF_1_1StmtVFGNode.html#a8ba0e783f7fcbfa7cbd1d3a709ffa07f',1,'SVF::StmtVFGNode']]],
   ['getpagdstnodeid',['getPAGDstNodeID',['../classSVF_1_1StmtVFGNode.html#a04986961ad507be9fcf141ab51787da8',1,'SVF::StmtVFGNode']]],
   ['getpagedge',['getPAGEdge',['../classSVF_1_1StmtVFGNode.html#a4dd7615f42971da9b6ec1dc04f0ec4e6',1,'SVF::StmtVFGNode']]],
@@ -535,7 +536,7 @@ var searchData=
   ['getpagedgenum',['getPAGEdgeNum',['../classSVF_1_1PAG.html#a74de66edb19a534fe85d4621085021ec',1,'SVF::PAG']]],
   ['getpagedges',['getPAGEdges',['../classSVF_1_1ICFGNode.html#a9d195144cc118279695880625615d8ad',1,'SVF::ICFGNode']]],
   ['getpagedgeset',['getPAGEdgeSet',['../classSVF_1_1ConstraintGraph.html#ad5d89d94b16c167a593aa2a0c8e6ad9c',1,'SVF::ConstraintGraph::getPAGEdgeSet()'],['../classSVF_1_1VFG.html#a37239391028cd313eab7110626444682',1,'SVF::VFG::getPAGEdgeSet()']]],
-  ['getpagedgesfrominst',['getPAGEdgesFromInst',['../classSVF_1_1MRGenerator.html#a2eda764e59d9b5e7620d2cf26562615a',1,'SVF::MRGenerator']]],
+  ['getpagedgesfrominst',['getPAGEdgesFromInst',['../classSVF_1_1MRGenerator.html#a5875a7f064e468d5eceba737eeb44791',1,'SVF::MRGenerator']]],
   ['getpagnode',['getPAGNode',['../classSVF_1_1PAG.html#a3aa1c92eb8a6fab72996964de80f19ac',1,'SVF::PAG::getPAGNode()'],['../classSVF_1_1NullPtrVFGNode.html#a116af5e66665c56b9ca1e734bc3719c5',1,'SVF::NullPtrVFGNode::getPAGNode()']]],
   ['getpagnodekindvalue',['getPAGNodeKindValue',['../classSVF_1_1ICFGPrinter.html#a54f0729c869b5061b5fb9fe056c326ef',1,'SVF::ICFGPrinter']]],
   ['getpagnodenum',['getPAGNodeNum',['../classSVF_1_1PAG.html#a42a7abab6a762d75455b0954097dddc4',1,'SVF::PAG']]],
@@ -553,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#ad6d4a3ed0f7a118cc38fad0c37ecc54a',1,'SVF::MemRegion::getPointsTo()']]],
+  ['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()']]],
   ['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']]],
@@ -566,7 +567,7 @@ var searchData=
   ['getpta',['getPTA',['../classSVF_1_1DDAStat.html#a55fa3ce574d128a89c1aa5f6a7dc17c6',1,'SVF::DDAStat::getPTA()'],['../classSVF_1_1SVFG.html#ab6c337637ccc9bbf0bcc7153b427f7ca',1,'SVF::SVFG::getPTA()'],['../classSVF_1_1MemSSA.html#ad40617a1907b9a6b8cc24888ce54a0ac',1,'SVF::MemSSA::getPTA()'],['../classSVF_1_1TCT.html#a5b087b42340d1a1b2ee37339637709d3',1,'SVF::TCT::getPTA()']]],
   ['getptacallgraph',['getPTACallGraph',['../classSVF_1_1PointerAnalysis.html#a7c9b7e5fe37ae31ba84d167945ca57df',1,'SVF::PointerAnalysis']]],
   ['getptaedgeset',['getPTAEdgeSet',['../classSVF_1_1PAG.html#ae5125dd33403e055078e1c9d6ce6d778',1,'SVF::PAG']]],
-  ['getptcache',['getPtCache',['../classSVF_1_1BVDataPTAImpl.html#add718c1056936a4dba6979252a1a36bf',1,'SVF::BVDataPTAImpl']]],
+  ['getptcache',['getPtCache',['../classSVF_1_1BVDataPTAImpl.html#a34d87fa1988b78f032735b5fc2803792',1,'SVF::BVDataPTAImpl']]],
   ['getptdataty',['getPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#ae94cea78b71fb75837ee2a17b5ed0e81',1,'SVF::BVDataPTAImpl::getPTDataTy()'],['../classSVF_1_1CondPTAImpl.html#a35cb1fd6e18cdc8e8466ee94846bc553',1,'SVF::CondPTAImpl::getPTDataTy()']]],
   ['getptdty',['getPTDTY',['../classSVF_1_1PTData.html#adfcbaefe1c058d9ddf14aa3da07e1daf',1,'SVF::PTData']]],
   ['getptrnodeid',['getPtrNodeID',['../classSVF_1_1ContextDDA.html#a6ae16be6774994932aaa594c9b9cb397',1,'SVF::ContextDDA::getPtrNodeID()'],['../classSVF_1_1DDAVFSolver.html#a3fa002d4ba4194ffde62ecbdd361a24d',1,'SVF::DDAVFSolver::getPtrNodeID()'],['../classSVF_1_1FlowDDA.html#a9749c82c1164adb17e2ae53e725ded9a',1,'SVF::FlowDDA::getPtrNodeID()']]],
@@ -575,7 +576,7 @@ var searchData=
   ['getptssubsetmap',['getPtsSubSetMap',['../classSVF_1_1IntraDisjointMRG.html#ae3c857c056f4e6e863843bafba7fdea1',1,'SVF::IntraDisjointMRG::getPtsSubSetMap(const SVFFunction *func)'],['../classSVF_1_1IntraDisjointMRG.html#ad0640ef6e02d9a90964ca495c0fd8f53',1,'SVF::IntraDisjointMRG::getPtsSubSetMap(const SVFFunction *func) const']]],
   ['getrawctirmetadata',['getRawCTirMetadata',['../classSVF_1_1TypeBasedHeapCloning.html#a21d2fd8bbef0c6f6ddddb5387569a7fa',1,'SVF::TypeBasedHeapCloning::getRawCTirMetadata()'],['../classSVF_1_1FlowSensitiveTBHC.html#a2c47ba37bd250be455a21d1f0049d556',1,'SVF::FlowSensitiveTBHC::getRawCTirMetadata()']]],
   ['getref',['getRef',['../classSVF_1_1OfflineConsG.html#af701f54b1db07a16e926cd40ab17eb12',1,'SVF::OfflineConsG']]],
-  ['getrefinfoforcall',['getRefInfoForCall',['../classSVF_1_1MRGenerator.html#afc17f566f57656cf17c08665602b4849',1,'SVF::MRGenerator']]],
+  ['getrefinfoforcall',['getRefInfoForCall',['../classSVF_1_1MRGenerator.html#acbc431cc7fb72135e592d74709ea7a77',1,'SVF::MRGenerator']]],
   ['getrefsideeffectofcallsite',['getRefSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#ae2cc7d7d6ab427acb0352b388c7a4acc',1,'SVF::MRGenerator']]],
   ['getrefsideeffectoffunction',['getRefSideEffectOfFunction',['../classSVF_1_1MRGenerator.html#ac0007c8808654ca74feef0d8568378b9',1,'SVF::MRGenerator']]],
   ['getreftypeofheapallocorstatic',['getRefTypeOfHeapAllocOrStatic',['../namespaceSVF_1_1SVFUtil.html#a9232d260dc83d3a25cd98195ba76567a',1,'SVF::SVFUtil::getRefTypeOfHeapAllocOrStatic(const CallSite cs)'],['../namespaceSVF_1_1SVFUtil.html#a642f8284fbb260dd81fb29d5fadf6822',1,'SVF::SVFUtil::getRefTypeOfHeapAllocOrStatic(const Instruction *inst)']]],
@@ -583,7 +584,7 @@ var searchData=
   ['getregionsize',['getRegionSize',['../classSVF_1_1MemRegion.html#a99f106d47fd67f1ae53e144d72a223c9',1,'SVF::MemRegion']]],
   ['getrep',['getRep',['../classSVF_1_1ConstraintGraph.html#acd1f0ce7936ced59bfaf04956a0f8214',1,'SVF::ConstraintGraph']]],
   ['getrepnodes',['getRepNodes',['../classSVF_1_1SCCDetection.html#a457973fa38fad89bbd2dc41ba041703e',1,'SVF::SCCDetection']]],
-  ['getreppointsto',['getRepPointsTo',['../classSVF_1_1MRGenerator.html#a2e039a855c8e421e80cc7b015211a192',1,'SVF::MRGenerator']]],
+  ['getreppointsto',['getRepPointsTo',['../classSVF_1_1MRGenerator.html#a98b3481580be48cff7e93bf3c8a29dac',1,'SVF::MRGenerator']]],
   ['getres',['getRes',['../classSVF_1_1CmpVFGNode.html#aa972ecfb264d447fecf0326037bbccbe',1,'SVF::CmpVFGNode::getRes()'],['../classSVF_1_1BinaryOPVFGNode.html#a1fa8795102bc6c1d6bac1b55b7542eea',1,'SVF::BinaryOPVFGNode::getRes()'],['../classSVF_1_1UnaryOPVFGNode.html#ae7947adec032ed072c50cf49f9d12259',1,'SVF::UnaryOPVFGNode::getRes()'],['../classSVF_1_1PHIVFGNode.html#abd54e567a0826bbec277302e0c4f78a2',1,'SVF::PHIVFGNode::getRes()']]],
   ['getresver',['getResVer',['../classSVF_1_1MSSAPHISVFGNode.html#a9ea963b7773c7d0b42ccf81e58a54a50',1,'SVF::MSSAPHISVFGNode::getResVer()'],['../classSVF_1_1MSSADEF.html#a21cb532396180e0b6bab515c52bec282',1,'SVF::MSSADEF::getResVer()']]],
   ['getret',['getRet',['../classSVF_1_1FormalRetVFGNode.html#a62a894e71fcf7a3db19c0488d96a7262',1,'SVF::FormalRetVFGNode']]],

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

@@ -123,7 +123,7 @@ var searchData=
   ['hasonecxtinlockspan',['hasOneCxtInLockSpan',['../classSVF_1_1LockAnalysis.html#a86f06a790cf90ec897b896a79956e5b4',1,'SVF::LockAnalysis']]],
   ['hasoutgoingedge',['hasOutgoingEdge',['../classSVF_1_1GenericNode.html#a0931220d7a38e03f206cbdc6465d32ad',1,'SVF::GenericNode::hasOutgoingEdge() const'],['../classSVF_1_1GenericNode.html#aa0c40cb708b39300b3cb7354194e4993',1,'SVF::GenericNode::hasOutgoingEdge(EdgeType *edge) const'],['../classSVF_1_1VFPathCond.html#a86e063928329b21cce0a319efac56fb9',1,'SVF::VFPathCond::hasOutgoingEdge()']]],
   ['hasoutgoingedges',['hasOutgoingEdges',['../classSVF_1_1PAGNode.html#aa311aaac0f8fbb8650fac9d7662ec795',1,'SVF::PAGNode']]],
-  ['haspagedgelist',['hasPAGEdgeList',['../classSVF_1_1PAG.html#a8b498249185812b2bd1e9bd2aac50e4e',1,'SVF::PAG::hasPAGEdgeList()'],['../classSVF_1_1MRGenerator.html#abe76a16b9eedc9f8ffca6bc39cfb5c7e',1,'SVF::MRGenerator::hasPAGEdgeList()']]],
+  ['haspagedgelist',['hasPAGEdgeList',['../classSVF_1_1PAG.html#a8b498249185812b2bd1e9bd2aac50e4e',1,'SVF::PAG::hasPAGEdgeList()'],['../classSVF_1_1MRGenerator.html#a8832a53d8f6a5eb0a07551ca19c5513d',1,'SVF::MRGenerator::hasPAGEdgeList()']]],
   ['hasparentthread',['hasParentThread',['../classSVF_1_1TCT.html#a6855a3a8a98591e58dba07047f7705ce',1,'SVF::TCT']]],
   ['hasphiset',['hasPHISet',['../classSVF_1_1MemSSA.html#a552bb17f0435e012b7393fb641c19298',1,'SVF::MemSSA']]],
   ['haspointsto',['hasPointsTo',['../classSVF_1_1CondPointsToSet.html#ab1d20dfe6f243f7a09a8e2face097cc0',1,'SVF::CondPointsToSet']]],

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

@@ -32,7 +32,7 @@ var searchData=
   ['idtonodemap',['IDToNodeMap',['../classSVF_1_1GenericGraph.html#a47a1ef8b67b0c92f78b4457dc3bbfe71',1,'SVF::GenericGraph']]],
   ['idtonodemapty',['IDToNodeMapTy',['../classSVF_1_1GenericGraph.html#ab9027b190f50ceefc90094e4f967f269',1,'SVF::GenericGraph']]],
   ['idtoobjmap',['idToObjMap',['../classSVF_1_1SymbolTableInfo.html#a929a20dc8f2eb4d82e93938b8339d697',1,'SVF::SymbolTableInfo']]],
-  ['idtopts',['idToPts',['../classSVF_1_1PersistentPointsToCache.html#ac15f8dc2bd850d275c692c3001751c9e',1,'SVF::PersistentPointsToCache']]],
+  ['idtopts',['idToPts',['../classSVF_1_1PersistentPointsToCache.html#a390c08099f16afb4b80b6e094d1adf25',1,'SVF::PersistentPointsToCache']]],
   ['idtosymtymapty',['IDToSymTyMapTy',['../classSVF_1_1SymbolTableInfo.html#a9353c7d2c0d6ae7dc495911b1ce24e06',1,'SVF::SymbolTableInfo']]],
   ['ieeedouble',['IeeeDouble',['../epd_8h.html#a393f1276121f029397eef86ec7d4fac5',1,'epd.h']]],
   ['ieeedoublestruct',['IeeeDoubleStruct',['../structIeeeDoubleStruct.html',1,'']]],
@@ -105,8 +105,8 @@ 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#a5c7605aa20425ef49294e6f153842a56',1,'SVF::PAGEdge::inst2LabelMap()'],['../classSVF_1_1PAGEdge.html#aea1cb2d45d301eea27d451241fa8ddd1',1,'SVF::PAGEdge::Inst2LabelMap()']]],
-  ['inst2pagedgesmap',['inst2PAGEdgesMap',['../classSVF_1_1PAG.html#ace643a606d59eb972d0f55590745bd5f',1,'SVF::PAG::inst2PAGEdgesMap()'],['../classSVF_1_1PAG.html#a8fb39e9156bb5cf07dc2329bfcfcd6f7',1,'SVF::PAG::Inst2PAGEdgesMap()']]],
+  ['inst2labelmap',['Inst2LabelMap',['../classSVF_1_1PAGEdge.html#aea1cb2d45d301eea27d451241fa8ddd1',1,'SVF::PAGEdge::Inst2LabelMap()'],['../classSVF_1_1PAGEdge.html#a5c7605aa20425ef49294e6f153842a56',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']]],
   ['instance',['INSTANCE',['../classSVF_1_1DCHEdge.html#afb5545209188e5f62affeee5946a2614a3e807b4caeb170c5cd1e855ac1a92d77',1,'SVF::DCHEdge']]],
@@ -202,7 +202,7 @@ var searchData=
   ['isagg',['isAgg',['../classSVF_1_1DCHGraph.html#a9d2be5aec5216cbc1d1709b41f79c44b',1,'SVF::DCHGraph']]],
   ['isaliasedforkjoin',['isAliasedForkJoin',['../classSVF_1_1ForkJoinAnalysis.html#a3655131add43346a175576b023e32509',1,'SVF::ForkJoinAnalysis']]],
   ['isaliasedlocks',['isAliasedLocks',['../classSVF_1_1LockAnalysis.html#add9272ead87ca994ee4e08dfa30fa0f4',1,'SVF::LockAnalysis::isAliasedLocks(const CxtLock &cl1, const CxtLock &cl2)'],['../classSVF_1_1LockAnalysis.html#ab5a541fb1585d475a89590cce66ba3b4',1,'SVF::LockAnalysis::isAliasedLocks(const Instruction *i1, const Instruction *i2)']]],
-  ['isaliasedmr',['isAliasedMR',['../classSVF_1_1MRGenerator.html#acd1759ce72edc748e6628d7e82458473',1,'SVF::MRGenerator']]],
+  ['isaliasedmr',['isAliasedMR',['../classSVF_1_1MRGenerator.html#a28130cc55ab317d383ba6593f323b12a',1,'SVF::MRGenerator']]],
   ['isaliastestfunction',['isAliasTestFunction',['../TypeBasedHeapCloning_8cpp.html#a2be9728908f88e4e16b1e6218801fa06',1,'TypeBasedHeapCloning.cpp']]],
   ['isallpathreachable',['isAllPathReachable',['../classSVF_1_1SrcSnkDDA.html#a6ae0d47bac09163e90b8b2e773ad69f0',1,'SVF::SrcSnkDDA::isAllPathReachable()'],['../classSVF_1_1CondManager.html#a6151817a6f671fa1e7814e74f7ce2e51',1,'SVF::CondManager::isAllPathReachable()'],['../classSVF_1_1PathCondAllocator.html#a51c55809f28eee5b8432ab4508f9a887',1,'SVF::PathCondAllocator::isAllPathReachable()']]],
   ['isallreachable',['isAllReachable',['../classSVF_1_1ProgSlice.html#a2f96f034b7236791fe1d4d351174722e',1,'SVF::ProgSlice']]],

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

@@ -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#ac59b07cafcbacc950eefea4082425b63',1,'SVF::LLVMModuleSet::llvmModuleSet()'],['../classSVF_1_1LLVMModuleSet.html#a8e70de9eefe2e188b10e214e073750e6',1,'SVF::LLVMModuleSet::LLVMModuleSet()']]],
+  ['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()']]],
   ['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()']]],
@@ -55,7 +55,7 @@ var searchData=
   ['loadset',['LoadSet',['../classSVF_1_1MTA.html#a80356495b6c45bac59dc15fd7a99730b',1,'SVF::MTA::LoadSet()'],['../classSVF_1_1MTAAnnotator.html#a469851829bf1105fe8faac44b4abbfdd',1,'SVF::MTAAnnotator::loadset()']]],
   ['loadsrcnodes',['loadSrcNodes',['../classSVF_1_1AliasDDAClient.html#a246448efd1ff5da683a6ffe9f759e282',1,'SVF::AliasDDAClient']]],
   ['loadstomrsmap',['loadsToMRsMap',['../classSVF_1_1MRGenerator.html#a0d8229b1f0b8428708e923d19096e4ba',1,'SVF::MRGenerator::loadsToMRsMap()'],['../classSVF_1_1MRGenerator.html#a72f55ad36f4ce46c5eee4bf0ce736cee',1,'SVF::MRGenerator::LoadsToMRsMap()']]],
-  ['loadstopointstomap',['loadsToPointsToMap',['../classSVF_1_1MRGenerator.html#af47e15d6b8c15d547a718f3577513975',1,'SVF::MRGenerator::loadsToPointsToMap()'],['../classSVF_1_1MRGenerator.html#af500450901135fd31ceb2ab497ca1086',1,'SVF::MRGenerator::LoadsToPointsToMap()']]],
+  ['loadstopointstomap',['loadsToPointsToMap',['../classSVF_1_1MRGenerator.html#af47e15d6b8c15d547a718f3577513975',1,'SVF::MRGenerator::loadsToPointsToMap()'],['../classSVF_1_1MRGenerator.html#a7b9b1c326d075a9be473680fef6a9616',1,'SVF::MRGenerator::LoadsToPointsToMap()']]],
   ['loadsvfgnode',['LoadSVFGNode',['../namespaceSVF.html#a3ce49be3724e1e8423ccdfa726fbf6c8',1,'SVF']]],
   ['loadtime',['loadTime',['../classSVF_1_1FlowSensitive.html#aab4f70210eb1e6447a24697d3b459067',1,'SVF::FlowSensitive']]],
   ['loadtomusetmap',['LoadToMUSetMap',['../classSVF_1_1MemSSA.html#ac5a9b2218c946ec17b478a95ab60ec6b',1,'SVF::MemSSA']]],

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

@@ -35,7 +35,7 @@ var searchData=
   ['maxcachehard',['maxCacheHard',['../structDdManager.html#a1b53bee9cf86fc1131c420c2aef7e473',1,'DdManager']]],
   ['maxcontextlen',['MaxContextLen',['../classSVF_1_1Options.html#a2e53156bd075d7802d390672f129c6a8',1,'SVF::Options']]],
   ['maxcxtsize',['MaxCxtSize',['../classSVF_1_1TCT.html#aaae41663b1d1f4d38b047c50c156defb',1,'SVF::TCT']]],
-  ['maxfieldlimit',['MaxFieldLimit',['../classSVF_1_1Options.html#adfc1a5c6098d3867e29fc65ca9ffa1cc',1,'SVF::Options::MaxFieldLimit()'],['../classSVF_1_1StInfo.html#a4cd926bd095254dd287f1cf26e02483e',1,'SVF::StInfo::maxFieldLimit()'],['../classSVF_1_1SymbolTableInfo.html#a9b8b7ecb217c7395025231b04e7b4c26',1,'SVF::SymbolTableInfo::maxFieldLimit()']]],
+  ['maxfieldlimit',['maxFieldLimit',['../classSVF_1_1StInfo.html#a4cd926bd095254dd287f1cf26e02483e',1,'SVF::StInfo::maxFieldLimit()'],['../classSVF_1_1SymbolTableInfo.html#a9b8b7ecb217c7395025231b04e7b4c26',1,'SVF::SymbolTableInfo::maxFieldLimit()'],['../classSVF_1_1Options.html#adfc1a5c6098d3867e29fc65ca9ffa1cc',1,'SVF::Options::MaxFieldLimit()']]],
   ['maxgen_5fratio',['MAXGEN_RATIO',['../cuddInt_8c.html#ad06617a840460570896838fbc917b0f2',1,'cuddInt.c']]],
   ['maxgrowth',['maxGrowth',['../structDdManager.html#a8a6a4238d1bc8a87eabd2c3eabd233d7',1,'DdManager']]],
   ['maxgrowthalt',['maxGrowthAlt',['../structDdManager.html#a2926e48e488cec20a61e9b0dc6b91795',1,'DdManager']]],
@@ -99,7 +99,7 @@ var searchData=
   ['mempartition',['MemPartition',['../classSVF_1_1MemSSA.html#ac0797f2ee7b59ae720095a4836533671',1,'SVF::MemSSA']]],
   ['mempartition_2ecpp',['MemPartition.cpp',['../MemPartition_8cpp.html',1,'']]],
   ['mempartition_2eh',['MemPartition.h',['../MemPartition_8h.html',1,'']]],
-  ['memregion',['MemRegion',['../classSVF_1_1MemRegion.html',1,'SVF::MemRegion'],['../classSVF_1_1MemRegion.html#afa13fe7a084ff1f896b5d5294d14f880',1,'SVF::MemRegion::MemRegion()']]],
+  ['memregion',['MemRegion',['../classSVF_1_1MemRegion.html',1,'SVF::MemRegion'],['../classSVF_1_1MemRegion.html#a1d8189977196da687f50cfa6df98394b',1,'SVF::MemRegion::MemRegion()']]],
   ['memregion_2ecpp',['MemRegion.cpp',['../MemRegion_8cpp.html',1,'']]],
   ['memregion_2eh',['MemRegion.h',['../MemRegion_8h.html',1,'']]],
   ['memregset',['memRegSet',['../classSVF_1_1MRGenerator.html#af94bd8155a23273aab2396334d905119',1,'SVF::MRGenerator']]],
@@ -119,7 +119,8 @@ var searchData=
   ['mergefunctionrets',['MergeFunctionRets',['../classSVF_1_1MergeFunctionRets.html',1,'SVF::MergeFunctionRets'],['../classSVF_1_1MergeFunctionRets.html#a2b989707893cd81dd275be6a3b8c79fc',1,'SVF::MergeFunctionRets::MergeFunctionRets()']]],
   ['mergenodeandpts',['mergeNodeAndPts',['../classSVF_1_1AndersenHCD.html#afea4ecab92720da2f5dad27840ac1e57',1,'SVF::AndersenHCD']]],
   ['mergenodetorep',['mergeNodeToRep',['../classSVF_1_1Andersen.html#a36729160041bc3a3e2b0a92b29062848',1,'SVF::Andersen::mergeNodeToRep()'],['../classSVF_1_1AndersenWaveDiff.html#acdc82c72b14e012551a460fa91a634db',1,'SVF::AndersenWaveDiff::mergeNodeToRep()']]],
-  ['mergepwc',['mergePWC',['../classSVF_1_1Andersen.html#a44d62658bbd2efcef5ff479930b5dce9',1,'SVF::Andersen::mergePWC()'],['../classSVF_1_1Options.html#a69579e2f37962afdbb292a36782511ed',1,'SVF::Options::MergePWC()']]],
+  ['mergeptsoccmaps',['mergePtsOccMaps',['../namespaceSVF_1_1SVFUtil.html#a36c91f952a69875c33d4bd0b05a27ff2',1,'SVF::SVFUtil']]],
+  ['mergepwc',['MergePWC',['../classSVF_1_1Options.html#a69579e2f37962afdbb292a36782511ed',1,'SVF::Options::MergePWC()'],['../classSVF_1_1Andersen.html#a44d62658bbd2efcef5ff479930b5dce9',1,'SVF::Andersen::mergePWC()']]],
   ['mergescc',['mergeSCC',['../classSVF_1_1AndersenLCD.html#a132fe3985f04b55b5e172649db7e44d7',1,'SVF::AndersenLCD::mergeSCC()'],['../classSVF_1_1AndersenHCD.html#a2bbd6a0af75b17a70b1451a69cc3d5d7',1,'SVF::AndersenHCD::mergeSCC()'],['../classSVF_1_1AndersenHLCD.html#a25cb6c99be1689006b39bd62e05c76ba',1,'SVF::AndersenHLCD::mergeSCC()']]],
   ['mergescccycle',['mergeSccCycle',['../classSVF_1_1Andersen.html#ac86ffd334568e4df5c08b3c827018bef',1,'SVF::Andersen']]],
   ['mergesccnodes',['mergeSccNodes',['../classSVF_1_1Andersen.html#a1ba1e1e36af289982146de06cf06ab0a',1,'SVF::Andersen']]],
@@ -168,7 +169,7 @@ var searchData=
   ['mr2countermap',['mr2CounterMap',['../classSVF_1_1MemSSA.html#a22e2dd0fc78877bdedd207a40540a634',1,'SVF::MemSSA']]],
   ['mr2verstackmap',['mr2VerStackMap',['../classSVF_1_1MemSSA.html#ae4c7b17d8da8278dca362af79f9f268d',1,'SVF::MemSSA']]],
   ['mrgen',['mrGen',['../classSVF_1_1MemSSA.html#a213ebe634bbdbe33460ccd941c1dc6a5',1,'SVF::MemSSA']]],
-  ['mrgenerator',['MRGenerator',['../classSVF_1_1MRGenerator.html',1,'SVF::MRGenerator'],['../classSVF_1_1MRGenerator.html#a1023eb17f1a46eee9a948490a4c8fdd5',1,'SVF::MRGenerator::MRGenerator()']]],
+  ['mrgenerator',['MRGenerator',['../classSVF_1_1MRGenerator.html',1,'SVF::MRGenerator'],['../classSVF_1_1MRGenerator.html#ac8fedbb65a582135354c939183d48f46',1,'SVF::MRGenerator::MRGenerator()']]],
   ['mrid',['MRID',['../namespaceSVF.html#a1ed5cfc8a00b2d3b90e74debabaa62a5',1,'SVF']]],
   ['mrs',['mrs',['../classSVF_1_1IndirectSVFGEdge.html#afb265822e2581e4d7fccc47d1b8b2a5c',1,'SVF::IndirectSVFGEdge']]],
   ['mrset',['MRSet',['../classSVF_1_1MRGenerator.html#a98ac3bf264e6a85d172c2c4264ea908f',1,'SVF::MRGenerator::MRSet()'],['../classSVF_1_1MemSSA.html#a37b84780f57cbee50cf957cfbab195c1',1,'SVF::MemSSA::MRSet()']]],

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

@@ -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_1SVFGStat.html#a9fc87025af3b7e54442e78f46ebe0360',1,'SVF::SVFGStat::numOfMSSAPhi()'],['../classSVF_1_1MemSSAStat.html#a4b598cb1d06c4c0963787036862b1c3d',1,'SVF::MemSSAStat::NumOfMSSAPhi()']]],
+  ['numofmssaphi',['NumOfMSSAPhi',['../classSVF_1_1MemSSAStat.html#a4b598cb1d06c4c0963787036862b1c3d',1,'SVF::MemSSAStat::NumOfMSSAPhi()'],['../classSVF_1_1SVFGStat.html#a9fc87025af3b7e54442e78f46ebe0360',1,'SVF::SVFGStat::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_1AndersenBase.html#a6da6e1231a46fde6925493045b8b2490',1,'SVF::AndersenBase::numOfSCCDetection()'],['../classSVF_1_1PTAStat.html#ad1731b88c24bb79728f62cd3e9c55699',1,'SVF::PTAStat::NumOfSCCDetection()']]],
+  ['numofsccdetection',['NumOfSCCDetection',['../classSVF_1_1PTAStat.html#ad1731b88c24bb79728f62cd3e9c55699',1,'SVF::PTAStat::NumOfSCCDetection()'],['../classSVF_1_1AndersenBase.html#a6da6e1231a46fde6925493045b8b2490',1,'SVF::AndersenBase::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

@@ -31,7 +31,7 @@ var searchData=
   ['operator_20_26_3d',['operator &=',['../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 &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&=',['../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< const SVF::CondVar< Cond > >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1CondVar_3_01Cond_01_4_01_4.html#ac9b6dd9b7dd77c0303c1f4f5877d87db',1,'std::hash< SVF::CondVar< Cond > >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1LocationSet_01_4.html#a701401db0e876205424e9cc797fb5984',1,'std::hash< SVF::LocationSet >::operator()()'],['../structSVF_1_1MemRegion_1_1equalMemRegion.html#a3cd8165dfa543312d2b3bfa798b6154b',1,'SVF::MemRegion::equalMemRegion::operator()()'],['../structSVF_1_1MemRegion_1_1equalPointsTo.html#af18d76bf57c17927f1ef4926e16e90e6',1,'SVF::MemRegion::equalPointsTo::operator()()'],['../structstd_1_1hash_3_01SVF_1_1SVFGNodeLockSpan_01_4.html#a7854984f902d9a42c6d4e095de8464a7',1,'std::hash< SVF::SVFGNodeLockSpan >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1CallSite_01_4.html#a6ed3f621cd155faae27cbd844338409a',1,'std::hash< SVF::CallSite >::operator()()'],['../structstd_1_1hash_3_01llvm_1_1SparseBitVector_3_4_01_4.html#a253f8fe84b188082a323aa1f769bf741',1,'std::hash< llvm::SparseBitVector<> >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1CxtThread_01_4.html#acba6d528a8f587af9bc95f4b5aa4e201',1,'std::hash< SVF::CxtThread >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1CxtThreadProc_01_4.html#aa88f8da2c709601e69e309604a384863',1,'std::hash< SVF::CxtThreadProc >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1CxtThreadStmt_01_4.html#ae4d5049073212fdd47fb976585653c26',1,'std::hash< SVF::CxtThreadStmt >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1CxtStmt_01_4.html#ad7e6b6c9db44d924cdef8b99394fd5bb',1,'std::hash< SVF::CxtStmt >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1CxtProc_01_4.html#a318fb6797f07e8d780c949ad673cfae8',1,'std::hash< SVF::CxtProc >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1CxtDPItem_01_4.html#af1d24d13fd5262019f58882dc53e83cc',1,'std::hash< SVF::CxtDPItem >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1StmtDPItem_3_01LocCond_01_4_01_4.html#a265e5b7b0b4e15c14f1cc93ec4fc2267',1,'std::hash< SVF::StmtDPItem< LocCond > >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1CxtStmtDPItem_3_01LocCond_01_4_01_4.html#aef0a2fe42410e3364dc66ddfa93ccf52',1,'std::hash< SVF::CxtStmtDPItem< LocCond > >::operator()()'],['../structstd_1_1hash_3_01const_01SVF_1_1ContextCond_01_4.html#a225b0bd057a9d76d7436eae4a6b5baa0',1,'std::hash< const SVF::ContextCond >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1ContextCond_01_4.html#a40f9a910c62fa0cbdca9a5a31e958709',1,'std::hash< SVF::ContextCond >::operator()()'],['../structSVF_1_1Hash_3_01std_1_1pair_3_01S_00_01T_01_4_01_4.html#a8bc94a83d93639b91f9e02dfdd93d8be',1,'SVF::Hash< std::pair< S, T > >::operator()()'],['../structSVF_1_1Hash.html#aad49eec16cfdd4d3423f27666d5f28ff',1,'SVF::Hash::operator()()'],['../structSVF_1_1Hash_3_01NodePair_01_4.html#a57f65bc02efb8b1d4905030ef437df3e',1,'SVF::Hash< NodePair >::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< SVF::SmallVector< T, N > >::operator()()'],['../structSVF_1_1SVFUtil_1_1equalPointsTo.html#a4a7e42b2cca7e54766ce7657fefb91f9',1,'SVF::SVFUtil::equalPointsTo::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< const SVF::CondVar< Cond > >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1CondVar_3_01Cond_01_4_01_4.html#ac9b6dd9b7dd77c0303c1f4f5877d87db',1,'std::hash< SVF::CondVar< Cond > >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1LocationSet_01_4.html#a701401db0e876205424e9cc797fb5984',1,'std::hash< SVF::LocationSet >::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< SVF::SVFGNodeLockSpan >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1CallSite_01_4.html#a6ed3f621cd155faae27cbd844338409a',1,'std::hash< SVF::CallSite >::operator()()'],['../structstd_1_1hash_3_01llvm_1_1SparseBitVector_3_4_01_4.html#a253f8fe84b188082a323aa1f769bf741',1,'std::hash< llvm::SparseBitVector<> >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1CxtThread_01_4.html#acba6d528a8f587af9bc95f4b5aa4e201',1,'std::hash< SVF::CxtThread >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1CxtThreadProc_01_4.html#aa88f8da2c709601e69e309604a384863',1,'std::hash< SVF::CxtThreadProc >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1CxtThreadStmt_01_4.html#ae4d5049073212fdd47fb976585653c26',1,'std::hash< SVF::CxtThreadStmt >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1CxtStmt_01_4.html#ad7e6b6c9db44d924cdef8b99394fd5bb',1,'std::hash< SVF::CxtStmt >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1CxtProc_01_4.html#a318fb6797f07e8d780c949ad673cfae8',1,'std::hash< SVF::CxtProc >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1CxtDPItem_01_4.html#af1d24d13fd5262019f58882dc53e83cc',1,'std::hash< SVF::CxtDPItem >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1StmtDPItem_3_01LocCond_01_4_01_4.html#a265e5b7b0b4e15c14f1cc93ec4fc2267',1,'std::hash< SVF::StmtDPItem< LocCond > >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1CxtStmtDPItem_3_01LocCond_01_4_01_4.html#aef0a2fe42410e3364dc66ddfa93ccf52',1,'std::hash< SVF::CxtStmtDPItem< LocCond > >::operator()()'],['../structstd_1_1hash_3_01const_01SVF_1_1ContextCond_01_4.html#a225b0bd057a9d76d7436eae4a6b5baa0',1,'std::hash< const SVF::ContextCond >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1ContextCond_01_4.html#a40f9a910c62fa0cbdca9a5a31e958709',1,'std::hash< SVF::ContextCond >::operator()()'],['../structSVF_1_1Hash_3_01std_1_1pair_3_01S_00_01T_01_4_01_4.html#a8bc94a83d93639b91f9e02dfdd93d8be',1,'SVF::Hash< std::pair< S, T > >::operator()()'],['../structSVF_1_1Hash.html#aad49eec16cfdd4d3423f27666d5f28ff',1,'SVF::Hash::operator()()'],['../structSVF_1_1Hash_3_01NodePair_01_4.html#a57f65bc02efb8b1d4905030ef437df3e',1,'SVF::Hash< NodePair >::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< SVF::SmallVector< T, N > >::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)']]],
@@ -43,7 +43,7 @@ var searchData=
   ['operator_3e',['operator>',['../classSVF_1_1PTAType.html#a62d5423de98721dfa56705824c53c3b6',1,'SVF::PTAType']]],
   ['operator_5b_5d',['operator[]',['../classSVF_1_1ContextCond.html#a62cc1c7c01d454e9cbebd3f7f5f3aa1f',1,'SVF::ContextCond']]],
   ['operator_7c_3d',['operator|=',['../classSVF_1_1CondStdSet.html#a90e4c4ead1cbdca01c0be801a68b005b',1,'SVF::CondStdSet::operator|=()'],['../classSVF_1_1CondPointsToSet.html#a74c50cfaf788a828a4fc97eba703ec4e',1,'SVF::CondPointsToSet::operator|=()']]],
-  ['opincomingbbs',['opIncomingBBs',['../classSVF_1_1IntraPHIVFGNode.html#a73f39a488ad82300010abd18afe247a4',1,'SVF::IntraPHIVFGNode::opIncomingBBs()'],['../classSVF_1_1IntraPHIVFGNode.html#a66928f6cc755bd2a048804d00f859a80',1,'SVF::IntraPHIVFGNode::OPIncomingBBs()']]],
+  ['opincomingbbs',['OPIncomingBBs',['../classSVF_1_1IntraPHIVFGNode.html#a66928f6cc755bd2a048804d00f859a80',1,'SVF::IntraPHIVFGNode::OPIncomingBBs()'],['../classSVF_1_1IntraPHIVFGNode.html#a73f39a488ad82300010abd18afe247a4',1,'SVF::IntraPHIVFGNode::opIncomingBBs()']]],
   ['opit',['OpIt',['../classllvm_1_1generic__bridge__gep__type__iterator.html#aa3fd4dca27e09df9ee726879624ae47e',1,'llvm::generic_bridge_gep_type_iterator']]],
   ['oppts',['opPts',['../classSVF_1_1PersistentPointsToCache.html#ac7865b3ea1d76d2c522b465cc8e86639',1,'SVF::PersistentPointsToCache']]],
   ['options',['Options',['../classSVF_1_1Options.html',1,'SVF::Options'],['../classSVF_1_1Options.html#a08c25694f8f9e31eb8b116ad58c1c078',1,'SVF::Options::Options()']]],
@@ -79,7 +79,7 @@ var searchData=
   ['outputpagnodenonewline',['outputPAGNodeNoNewLine',['../ExternalPAG_8cpp.html#ad7218c518c78bf2f6a4527de22bed926',1,'ExternalPAG.cpp']]],
   ['outs',['outs',['../namespaceSVF_1_1SVFUtil.html#a85ab6b592fefc45a0674d3295e01638f',1,'SVF::SVFUtil']]],
   ['outupdatedvarmap',['outUpdatedVarMap',['../classSVF_1_1MutableIncDFPTData.html#af5f7db6c55037a0e117a36982736039e',1,'SVF::MutableIncDFPTData::outUpdatedVarMap()'],['../classSVF_1_1PersistentIncDFPTData.html#a054f8e2a0668387c092b2802e64a4df0',1,'SVF::PersistentIncDFPTData::outUpdatedVarMap()']]],
-  ['overlap',['Overlap',['../classSVF_1_1LocationSet.html#a002a0c8ec2528835d809bf7eb3ebc83fa8c76affbe3b39db53e8046cd5d79903c',1,'SVF::LocationSet::Overlap()'],['../classSVF_1_1CondPTAImpl.html#adf0acbb0c605278e43d88787d651bbd8',1,'SVF::CondPTAImpl::overlap()']]],
+  ['overlap',['overlap',['../classSVF_1_1CondPTAImpl.html#adf0acbb0c605278e43d88787d651bbd8',1,'SVF::CondPTAImpl::overlap()'],['../classSVF_1_1LocationSet.html#a002a0c8ec2528835d809bf7eb3ebc83fa8c76affbe3b39db53e8046cd5d79903c',1,'SVF::LocationSet::Overlap()']]],
   ['ovm',['ovm',['../structSVF_1_1VersionedFlowSensitive_1_1VersionCache.html#a6cda550f5fe99fe2407ac9bf73d59319',1,'SVF::VersionedFlowSensitive::VersionCache']]],
   ['owned_5fmodules',['owned_modules',['../classSVF_1_1LLVMModuleSet.html#ae365189769640adb919a23c36978e5e2',1,'SVF::LLVMModuleSet']]]
 ];

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

@@ -5,7 +5,8 @@ var searchData=
   ['eptypeunion',['EpTypeUnion',['../unionEpTypeUnion.html',1,'']]],
   ['equalgedge',['equalGEdge',['../structSVF_1_1GenericEdge_1_1equalGEdge.html',1,'SVF::GenericEdge']]],
   ['equalmemregion',['equalMemRegion',['../structSVF_1_1MemRegion_1_1equalMemRegion.html',1,'SVF::MemRegion']]],
-  ['equalpointsto',['equalPointsTo',['../structSVF_1_1SVFUtil_1_1equalPointsTo.html',1,'SVF::SVFUtil::equalPointsTo'],['../structSVF_1_1MemRegion_1_1equalPointsTo.html',1,'SVF::MemRegion::equalPointsTo']]],
+  ['equalnodebs',['equalNodeBS',['../structSVF_1_1SVFUtil_1_1equalNodeBS.html',1,'SVF::SVFUtil']]],
+  ['equalpointsto',['equalPointsTo',['../structSVF_1_1SVFUtil_1_1equalPointsTo.html',1,'SVF::SVFUtil']]],
   ['extapi',['ExtAPI',['../classSVF_1_1ExtAPI.html',1,'SVF']]],
   ['externalpag',['ExternalPAG',['../classSVF_1_1ExternalPAG.html',1,'SVF']]]
 ];

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

@@ -35,8 +35,8 @@ var searchData=
   ['addcalledge',['addCallEdge',['../classSVF_1_1ICFG.html#abde033687317d47909ee45db7501723f',1,'SVF::ICFG::addCallEdge()'],['../classSVF_1_1VFG.html#aa01f63b17acdd52122a7f1ade329ccea',1,'SVF::VFG::addCallEdge()'],['../classSVF_1_1PAGBuilder.html#a7f0bd7bb5f476a59490e09c599a7018d',1,'SVF::PAGBuilder::addCallEdge()']]],
   ['addcallgraphnode',['addCallGraphNode',['../classSVF_1_1PTACallGraph.html#a8a1621038edeb847bfc5a4a7be7620a3',1,'SVF::PTACallGraph']]],
   ['addcallicfgnode',['addCallICFGNode',['../classSVF_1_1ICFG.html#ac069357c3f5140fcb0d6163c944638fd',1,'SVF::ICFG']]],
-  ['addcallindirectsvfgedge',['addCallIndirectSVFGEdge',['../classSVF_1_1SVFGOPT.html#af5f61cab0e65b58a40a049b66ad0ac2e',1,'SVF::SVFGOPT']]],
-  ['addcallindirectvfedge',['addCallIndirectVFEdge',['../classSVF_1_1SVFG.html#a1484cd0bf03fc336d678d71d045d44c2',1,'SVF::SVFG']]],
+  ['addcallindirectsvfgedge',['addCallIndirectSVFGEdge',['../classSVF_1_1SVFGOPT.html#a11dc712bf74ba61160fed7a5c3efaeee',1,'SVF::SVFGOPT']]],
+  ['addcallindirectvfedge',['addCallIndirectVFEdge',['../classSVF_1_1SVFG.html#af8ceb1ebf745e6803c606c41f7a482ac',1,'SVF::SVFG']]],
   ['addcallpe',['addCallPE',['../classSVF_1_1PAG.html#aa8bb3b659b70041e82aee15e8a595afb',1,'SVF::PAG::addCallPE()'],['../classSVF_1_1FormalParmVFGNode.html#af0dfc7f8b58d5bc0e47c6ad17216cc1e',1,'SVF::FormalParmVFGNode::addCallPE()']]],
   ['addcallsite',['addCallSite',['../classSVF_1_1PAG.html#a3767933efc81430ecd242879552f8a18',1,'SVF::PAG::addCallSite()'],['../classSVF_1_1PTACallGraph.html#a72efe87a80f84a3945a93431d9414d3d',1,'SVF::PTACallGraph::addCallSite()']]],
   ['addcallsiteargs',['addCallSiteArgs',['../classSVF_1_1PAG.html#aa7cdda6d4397975f27dfa524ce7cfc80',1,'SVF::PAG']]],
@@ -61,10 +61,10 @@ var searchData=
   ['addcopyedge',['addCopyEdge',['../classSVF_1_1PAGBuilder.html#ad9d68206d9d900adc56474a97d84f5aa',1,'SVF::PAGBuilder::addCopyEdge()'],['../classSVF_1_1Andersen.html#a8ba593bd16d4436310f2f25e75687c57',1,'SVF::Andersen::addCopyEdge()'],['../classSVF_1_1AndersenSCD.html#a0b5990e8b0230c019a2bcedbab354cba',1,'SVF::AndersenSCD::addCopyEdge()']]],
   ['addcopype',['addCopyPE',['../classSVF_1_1PAG.html#aa50bf9fbf8ff2dff0392bff0319be622',1,'SVF::PAG']]],
   ['addcopyvfgnode',['addCopyVFGNode',['../classSVF_1_1VFG.html#afd664fad8aec173f4ed6c4aa588e5c46',1,'SVF::VFG']]],
-  ['addcptstocallsitemods',['addCPtsToCallSiteMods',['../classSVF_1_1MRGenerator.html#ae2594115874771c93963846f3276e1fb',1,'SVF::MRGenerator']]],
-  ['addcptstocallsiterefs',['addCPtsToCallSiteRefs',['../classSVF_1_1MRGenerator.html#a2416e15c41fce38dfa63318a8f64e11f',1,'SVF::MRGenerator']]],
-  ['addcptstoload',['addCPtsToLoad',['../classSVF_1_1MRGenerator.html#a4d71379ec4350d6fde0c12336c1b92d8',1,'SVF::MRGenerator']]],
-  ['addcptstostore',['addCPtsToStore',['../classSVF_1_1MRGenerator.html#ae439967f24dbb6dbc11287592eb0d30c',1,'SVF::MRGenerator']]],
+  ['addcptstocallsitemods',['addCPtsToCallSiteMods',['../classSVF_1_1MRGenerator.html#a3c9e58dee18cde9a6e1575e34955af78',1,'SVF::MRGenerator']]],
+  ['addcptstocallsiterefs',['addCPtsToCallSiteRefs',['../classSVF_1_1MRGenerator.html#a77cf2b1959581da2b0cdf88291664ff3',1,'SVF::MRGenerator']]],
+  ['addcptstoload',['addCPtsToLoad',['../classSVF_1_1MRGenerator.html#a4cd3d3af2cfad7b5c086f00ab8e68169',1,'SVF::MRGenerator']]],
+  ['addcptstostore',['addCPtsToStore',['../classSVF_1_1MRGenerator.html#aa9900773ce82da953385df2e6487200e',1,'SVF::MRGenerator']]],
   ['addcxtlock',['addCxtLock',['../classSVF_1_1LockAnalysis.html#a177b10a617c275a9c2c2ed5e9b10d78a',1,'SVF::LockAnalysis']]],
   ['addcxtofcxtthread',['addCxtOfCxtThread',['../classSVF_1_1TCT.html#a2978381d69a9fd1fcee6a1258bc3bb5c',1,'SVF::TCT']]],
   ['addcxtstmttospan',['addCxtStmtToSpan',['../classSVF_1_1LockAnalysis.html#a718d6f2f55c1e2e7eb619c3e056ab458',1,'SVF::LockAnalysis']]],
@@ -141,7 +141,7 @@ var searchData=
   ['addintrablockicfgnode',['addIntraBlockICFGNode',['../classSVF_1_1ICFG.html#a9c9984f07859c7b0a4cc05ef7acf28af',1,'SVF::ICFG']]],
   ['addintradirectvfedge',['addIntraDirectVFEdge',['../classSVF_1_1VFG.html#a3c97d77bc0348471d6c098d5655f15b2',1,'SVF::VFG']]],
   ['addintraedge',['addIntraEdge',['../classSVF_1_1ICFG.html#adafd8bbb91507a9a78a3f16305812afc',1,'SVF::ICFG']]],
-  ['addintraindirectvfedge',['addIntraIndirectVFEdge',['../classSVF_1_1SVFG.html#aa6e855dc13d0e2db44982722409a9d1d',1,'SVF::SVFG']]],
+  ['addintraindirectvfedge',['addIntraIndirectVFEdge',['../classSVF_1_1SVFG.html#ad03f0064d3a1ff397b35a606304a9c80',1,'SVF::SVFG']]],
   ['addintralock',['addIntraLock',['../classSVF_1_1LockAnalysis.html#ab28428444170091d2c65572263b9f40b',1,'SVF::LockAnalysis']]],
   ['addintramssaphisvfgnode',['addIntraMSSAPHISVFGNode',['../classSVF_1_1SVFG.html#a0554abe7c072b66ab24a900284646572',1,'SVF::SVFG']]],
   ['addintraphivfgnode',['addIntraPHIVFGNode',['../classSVF_1_1VFG.html#a85dc35e83a5699382ead67728e94273c',1,'SVF::VFG']]],
@@ -195,8 +195,8 @@ var searchData=
   ['addrefstoreedge',['addRefStoreEdge',['../classSVF_1_1OfflineConsG.html#a99e2de184d8f532074666881b67e0b17',1,'SVF::OfflineConsG']]],
   ['addretedge',['addRetEdge',['../classSVF_1_1ICFG.html#a4a44849b596c89ab14d2e5f18366e848',1,'SVF::ICFG::addRetEdge()'],['../classSVF_1_1VFG.html#a27ac8d60de7be75e831b4a28f8f8f1d2',1,'SVF::VFG::addRetEdge()'],['../classSVF_1_1PAGBuilder.html#a0102a8cfcbcb1d3b86cf4eb4aceb45ce',1,'SVF::PAGBuilder::addRetEdge()']]],
   ['addreticfgnode',['addRetICFGNode',['../classSVF_1_1ICFG.html#a45891a968511d4779288a1a0aa089619',1,'SVF::ICFG']]],
-  ['addretindirectsvfgedge',['addRetIndirectSVFGEdge',['../classSVF_1_1SVFGOPT.html#abb062ba96797e106a12abc6199e2ad6d',1,'SVF::SVFGOPT']]],
-  ['addretindirectvfedge',['addRetIndirectVFEdge',['../classSVF_1_1SVFG.html#a4578b49f6f59367738c3aa57bdaa61c1',1,'SVF::SVFG']]],
+  ['addretindirectsvfgedge',['addRetIndirectSVFGEdge',['../classSVF_1_1SVFGOPT.html#afa99da68ef756d968d39a85f0fac3649',1,'SVF::SVFGOPT']]],
+  ['addretindirectvfedge',['addRetIndirectVFEdge',['../classSVF_1_1SVFG.html#a8ebf0e285c69db8332a1f8914d6190f6',1,'SVF::SVFG']]],
   ['addretnode',['addRetNode',['../classSVF_1_1PAG.html#a51f03f1d0fdc9ccb0e0f150877e01eb1',1,'SVF::PAG::addRetNode(const SVFFunction *val, NodeID i)'],['../classSVF_1_1PAG.html#af520c7fb9b396d8f159f7254b3828f31',1,'SVF::PAG::addRetNode(const SVFFunction *, PAGNode *node, NodeID i)']]],
   ['addretpe',['addRetPE',['../classSVF_1_1PAG.html#a2887310a7757f92063c5598ea694edbb',1,'SVF::PAG::addRetPE()'],['../classSVF_1_1FormalRetVFGNode.html#a051f7dc0da465d7ce0dc733d9a8fae6a',1,'SVF::FormalRetVFGNode::addRetPE()']]],
   ['addrevpts',['addRevPts',['../classSVF_1_1MutablePTData.html#ad3175d9c02d8a9f6ad1752ccf3e468cb',1,'SVF::MutablePTData']]],
@@ -233,7 +233,7 @@ var searchData=
   ['addthreadjoinedge',['addThreadJoinEdge',['../classSVF_1_1PAGBuilder.html#a9d3dc63ec3c4a55168160eb413ee0133',1,'SVF::PAGBuilder']]],
   ['addthreadjoinedgesetmap',['addThreadJoinEdgeSetMap',['../classSVF_1_1ThreadCallGraph.html#a70a03bcaa6386ef39188acb6b2aa9d5a',1,'SVF::ThreadCallGraph']]],
   ['addthreadjoinpe',['addThreadJoinPE',['../classSVF_1_1PAG.html#a37c31f1829f540fb0a4b57b7de3e7bca',1,'SVF::PAG']]],
-  ['addthreadmhpindirectvfedge',['addThreadMHPIndirectVFEdge',['../classSVF_1_1SVFG.html#ab8b57187140a36077d9a3dd6d0b25858',1,'SVF::SVFG']]],
+  ['addthreadmhpindirectvfedge',['addThreadMHPIndirectVFEdge',['../classSVF_1_1SVFG.html#a1aba3845bad017f81cd5f938db03a161',1,'SVF::SVFG']]],
   ['addtobackwardslice',['addToBackwardSlice',['../classSVF_1_1SVFGStat.html#a54e61121cdfac31e336cd79fa0513419',1,'SVF::SVFGStat::addToBackwardSlice()'],['../classSVF_1_1ProgSlice.html#ac98eccef9fc2521b833a8c14b43e49e1',1,'SVF::ProgSlice::addToBackwardSlice()']]],
   ['addtocurbackwardslice',['addToCurBackwardSlice',['../classSVF_1_1SrcSnkDDA.html#ad28ffe435790d36ad872cddc213ea799',1,'SVF::SrcSnkDDA']]],
   ['addtocurforwardslice',['addToCurForwardSlice',['../classSVF_1_1SrcSnkDDA.html#a57262e29e81cf71a40d4feb87b92925f',1,'SVF::SrcSnkDDA']]],