svf-tools 1.0.284 → 1.0.285

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

@@ -114,7 +114,7 @@ var searchData=
   ['solveofflinescc',['solveOfflineSCC',['../classSVF_1_1OfflineConsG.html#ab7d06ed7e5e186b97452391c1162b181',1,'SVF::OfflineConsG']]],
   ['solverep',['solveRep',['../classSVF_1_1OfflineConsG.html#aeb069df3700dafcf365f11d697501c8f',1,'SVF::OfflineConsG']]],
   ['solveworklist',['solveWorklist',['../classSVF_1_1AndersenWaveDiff.html#a35cd97d5f7c1dcb65dd077f45ad864e9',1,'SVF::AndersenWaveDiff::solveWorklist()'],['../classSVF_1_1AndersenLCD.html#a52399086e540c2adabc03a978155f55d',1,'SVF::AndersenLCD::solveWorklist()'],['../classSVF_1_1AndersenHCD.html#ae3ac936d1ae3e46a9110b8c8ed9f279c',1,'SVF::AndersenHCD::solveWorklist()'],['../classSVF_1_1AndersenHLCD.html#a0ead595bb9e36c89419adb22ef11a283',1,'SVF::AndersenHLCD::solveWorklist()'],['../classSVF_1_1AndersenSCD.html#a98fac4ecfe203666178e2ace39da81e2',1,'SVF::AndersenSCD::solveWorklist()'],['../classSVF_1_1Steensgaard.html#a966faa0548fe76d81a50339fffdd24c8',1,'SVF::Steensgaard::solveWorklist()'],['../classSVF_1_1WPASolver.html#af1bb670efde7006e3e99b3735e4fc4cc',1,'SVF::WPASolver::solveWorklist()']]],
-  ['sortpointsto',['sortPointsTo',['../classSVF_1_1MRGenerator.html#a4d20ddfe5cb90d91fd86276a3f010b87',1,'SVF::MRGenerator']]],
+  ['sortpointsto',['sortPointsTo',['../classSVF_1_1MRGenerator.html#a66d94d15fb94e90a771f6b3dd7c0ecdd',1,'SVF::MRGenerator']]],
   ['sourcesbegin',['sourcesBegin',['../classSVF_1_1SrcSnkDDA.html#a0515c9079f28f8c5d4f0f9a2fc39a137',1,'SVF::SrcSnkDDA']]],
   ['sourcesend',['sourcesEnd',['../classSVF_1_1SrcSnkDDA.html#ad0cb9de24cbc99d148f63b694dc3908e',1,'SVF::SrcSnkDDA']]],
   ['spawneesbegin',['spawneesBegin',['../classSVF_1_1PCG.html#a776beaeae8b6058f1f9c314a77e32083',1,'SVF::PCG']]],
@@ -197,7 +197,7 @@ var searchData=
   ['svfgnodelockspan',['SVFGNodeLockSpan',['../classSVF_1_1SVFGNodeLockSpan.html#a43f4d595b31259576b141cb99883938e',1,'SVF::SVFGNodeLockSpan']]],
   ['svfgopt',['SVFGOPT',['../classSVF_1_1SVFGOPT.html#a239475c15b39d54c632427307b8e9350',1,'SVF::SVFGOPT']]],
   ['svfgsccdetection',['SVFGSCCDetection',['../classSVF_1_1DDAVFSolver.html#aba0ec611a5cfd096ac0b8b11e0bd5580',1,'SVF::DDAVFSolver']]],
-  ['svfgstat',['SVFGStat',['../classSVF_1_1SVFGStat.html#ae61d5bd92ef495a0f6c2f9dedac3da03',1,'SVF::SVFGStat::SVFGStat()'],['../classSVF_1_1FlowSensitive.html#a5f015d8f2b0956306822172d02b415c3',1,'SVF::FlowSensitive::svfgStat()']]],
+  ['svfgstat',['svfgStat',['../classSVF_1_1FlowSensitive.html#a5f015d8f2b0956306822172d02b415c3',1,'SVF::FlowSensitive::svfgStat()'],['../classSVF_1_1SVFGStat.html#ae61d5bd92ef495a0f6c2f9dedac3da03',1,'SVF::SVFGStat::SVFGStat()']]],
   ['svfinstruction',['SVFInstruction',['../classSVF_1_1SVFInstruction.html#aadf4790ce7be8e1a95803e25cd4af424',1,'SVF::SVFInstruction']]],
   ['svfmodule',['SVFModule',['../classSVF_1_1SVFModule.html#a22b214595dd7841eb974e7c633ed8bb1',1,'SVF::SVFModule']]],
   ['svfvalue',['SVFValue',['../classSVF_1_1SVFValue.html#a2a85562586efde20be8ac1ccbd1a5ee6',1,'SVF::SVFValue']]],

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

@@ -54,6 +54,7 @@ var searchData=
   ['clonefiobjpn',['CloneFIObjPN',['../classSVF_1_1CloneFIObjPN.html#a3263e363188007b96bfad127c52e44b7',1,'SVF::CloneFIObjPN']]],
   ['clonegepobjpn',['CloneGepObjPN',['../classSVF_1_1CloneGepObjPN.html#a769b26905b23ccb6aa0895ed49b4345b',1,'SVF::CloneGepObjPN']]],
   ['cloneobject',['cloneObject',['../classSVF_1_1TypeBasedHeapCloning.html#a11c3d1b7f10e4aad2525d428f5855db5',1,'SVF::TypeBasedHeapCloning']]],
+  ['cmpnodebs',['cmpNodeBS',['../namespaceSVF_1_1SVFUtil.html#a8f749354b7e882ef3e5bf5081fa715b5',1,'SVF::SVFUtil']]],
   ['cmppe',['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)']]],
   ['cmppts',['cmpPts',['../namespaceSVF_1_1SVFUtil.html#aa5ce14119a6e3b0b6022753ddd5890f3',1,'SVF::SVFUtil']]],
   ['cmpvfgnode',['CmpVFGNode',['../classSVF_1_1CmpVFGNode.html#adcb91fca3c1cd9e23c8996dd825504ac',1,'SVF::CmpVFGNode::CmpVFGNode()'],['../classSVF_1_1CmpVFGNode.html#a003f5049433ade9cdad5f3050532af8e',1,'SVF::CmpVFGNode::CmpVFGNode(const CmpVFGNode &)'],['../classSVF_1_1CmpVFGNode.html#ae7029edffae3f64899bf640fc0842258',1,'SVF::CmpVFGNode::CmpVFGNode(NodeID id, const PAGNode *r)']]],
@@ -102,13 +103,13 @@ var searchData=
   ['collectwpanum',['collectWPANum',['../classSVF_1_1DDAClient.html#a76b4c50a1051ff7c0b162b55473de028',1,'SVF::DDAClient']]],
   ['compare',['compare',['../classSVF_1_1RaceResultValidator.html#a7a16fb7a3f382284dbb080802f6e6f43',1,'SVF::RaceResultValidator']]],
   ['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']]],
   ['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']]],
@@ -171,13 +172,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']]],

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

@@ -32,10 +32,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()']]],
@@ -281,7 +282,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']]],
@@ -393,7 +394,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']]],
@@ -402,14 +403,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)']]],
@@ -471,7 +472,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']]],
@@ -479,7 +480,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']]],
@@ -497,7 +498,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']]],
@@ -510,7 +511,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()']]],
@@ -519,7 +520,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)']]],
@@ -527,7 +528,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/functions_7.js

@@ -99,7 +99,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/functions_8.js

@@ -86,7 +86,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/functions_b.js

@@ -31,7 +31,7 @@ var searchData=
   ['memcpy',['memcpy',['../util_8h.html#a13050899d2d81aa69b56529e7264e238',1,'util.h']]],
   ['memmove',['memmove',['../util_8h.html#afb434ca60c6699bb20fd11a71be5b0e0',1,'util.h']]],
   ['memobj',['MemObj',['../classSVF_1_1MemObj.html#ab22373574ae9dff2f8ffbef16d5b339c',1,'SVF::MemObj::MemObj(const Value *val, SymID id)'],['../classSVF_1_1MemObj.html#a1303b79b7e15db0fac202ad686584915',1,'SVF::MemObj::MemObj(SymID id, const Type *type=nullptr)']]],
-  ['memregion',['MemRegion',['../classSVF_1_1MemRegion.html#afa13fe7a084ff1f896b5d5294d14f880',1,'SVF::MemRegion']]],
+  ['memregion',['MemRegion',['../classSVF_1_1MemRegion.html#a1d8189977196da687f50cfa6df98394b',1,'SVF::MemRegion']]],
   ['memset',['memset',['../util_8h.html#a311babf232e543aa49200c238d683486',1,'util.h']]],
   ['memssa',['MemSSA',['../classSVF_1_1MemSSA.html#a6bd57451370f5f4c92ce212be4cddd15',1,'SVF::MemSSA']]],
   ['memssadf',['MemSSADF',['../classSVF_1_1MemSSADF.html#aabae3337a22fc441fd2fdc2cf30b009c',1,'SVF::MemSSADF']]],
@@ -39,6 +39,7 @@ var searchData=
   ['mergefunctionrets',['MergeFunctionRets',['../classSVF_1_1MergeFunctionRets.html#a2b989707893cd81dd275be6a3b8c79fc',1,'SVF::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()']]],
+  ['mergeptsoccmaps',['mergePtsOccMaps',['../namespaceSVF_1_1SVFUtil.html#a36c91f952a69875c33d4bd0b05a27ff2',1,'SVF::SVFUtil']]],
   ['mergepwc',['mergePWC',['../classSVF_1_1Andersen.html#a44d62658bbd2efcef5ff479930b5dce9',1,'SVF::Andersen']]],
   ['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']]],
@@ -56,7 +57,7 @@ var searchData=
   ['moveinedgestorepnode',['moveInEdgesToRepNode',['../classSVF_1_1ConstraintGraph.html#a081bf1238121eb52a0c9ad60f77ecbcd',1,'SVF::ConstraintGraph']]],
   ['moveoutedgestorepnode',['moveOutEdgesToRepNode',['../classSVF_1_1ConstraintGraph.html#aa436aac95be84d1946169f4984deae59',1,'SVF::ConstraintGraph']]],
   ['mp',['MP',['../BreakConstantExpr_8cpp.html#a83d5516862f47bb7ab098501f9f3590d',1,'BreakConstantExpr.cpp']]],
-  ['mrgenerator',['MRGenerator',['../classSVF_1_1MRGenerator.html#a1023eb17f1a46eee9a948490a4c8fdd5',1,'SVF::MRGenerator']]],
+  ['mrgenerator',['MRGenerator',['../classSVF_1_1MRGenerator.html#ac8fedbb65a582135354c939183d48f46',1,'SVF::MRGenerator']]],
   ['mrsvfgnode',['MRSVFGNode',['../classSVF_1_1MRSVFGNode.html#a2c2b0476c49c5f2d4ebe6eec22c7345f',1,'SVF::MRSVFGNode']]],
   ['mrver',['MRVer',['../classSVF_1_1MRVer.html#a15c18c76e5911e472747183f35cd7028',1,'SVF::MRVer']]],
   ['mssachi',['MSSACHI',['../classSVF_1_1MSSACHI.html#af9ecdf852667bd23fe4805ba04c3e815',1,'SVF::MSSACHI']]],

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

@@ -9,7 +9,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)']]],

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

@@ -34,7 +34,7 @@ var searchData=
   ['persistentdfptdata',['PersistentDFPTData',['../classSVF_1_1PersistentDFPTData.html#a85e0aec789ea945bd4cfa9e29189d1b4',1,'SVF::PersistentDFPTData']]],
   ['persistentdiffptdata',['PersistentDiffPTData',['../classSVF_1_1PersistentDiffPTData.html#a18f90b2f4e54b47c4d6f2d50886a4411',1,'SVF::PersistentDiffPTData']]],
   ['persistentincdfptdata',['PersistentIncDFPTData',['../classSVF_1_1PersistentIncDFPTData.html#a495fede1f68c53956df3c033ef349940',1,'SVF::PersistentIncDFPTData']]],
-  ['persistentpointstocache',['PersistentPointsToCache',['../classSVF_1_1PersistentPointsToCache.html#a63b6d7f44773394db09f75042db46f21',1,'SVF::PersistentPointsToCache']]],
+  ['persistentpointstocache',['PersistentPointsToCache',['../classSVF_1_1PersistentPointsToCache.html#acbfc07bb91fb08658a911abe0a8113c5',1,'SVF::PersistentPointsToCache']]],
   ['persistentptdata',['PersistentPTData',['../classSVF_1_1PersistentPTData.html#a5b24a6efc462014ed8002cefee3c0e6e',1,'SVF::PersistentPTData']]],
   ['persistentversionedptdata',['PersistentVersionedPTData',['../classSVF_1_1PersistentVersionedPTData.html#a5cecb78af456e2241ff8554441b48d61',1,'SVF::PersistentVersionedPTData']]],
   ['phivfgnode',['PHIVFGNode',['../classSVF_1_1PHIVFGNode.html#add1ed5dfc7fbb095e2bdb7ff1e2658ef',1,'SVF::PHIVFGNode']]],
@@ -127,6 +127,7 @@ var searchData=
   ['ptatype',['PTAType',['../classSVF_1_1PTAType.html#a2c4257200d48cad0bda92b4298879827',1,'SVF::PTAType']]],
   ['ptdata',['PTData',['../classSVF_1_1PTData.html#a142667d3a394fa6c3f337abba295ebb1',1,'SVF::PTData']]],
   ['ptssizestat',['ptsSizeStat',['../classSVF_1_1VersionedFlowSensitiveStat.html#acbe0a777f2c00b142a94ce2b974fd5d5',1,'SVF::VersionedFlowSensitiveStat']]],
+  ['ptstonodebs',['ptsToNodeBS',['../namespaceSVF_1_1SVFUtil.html#a86ebab122895189be57637b84adc7642',1,'SVF::SVFUtil']]],
   ['push',['push',['../classSVF_1_1List.html#aaec02f979702cf4bd899e41defd53c1a',1,'SVF::List::push()'],['../classSVF_1_1FIFOWorkList.html#ad4c6a48b60c870d63049fe7272cc7eb8',1,'SVF::FIFOWorkList::push()'],['../classSVF_1_1FILOWorkList.html#a342e5498a91c6a8796fe0e93064a02c8',1,'SVF::FILOWorkList::push()']]],
   ['pushcontext',['pushContext',['../classSVF_1_1ContextCond.html#ad16644f61728fbb166ce80957b17d884',1,'SVF::ContextCond::pushContext()'],['../classSVF_1_1CxtStmtDPItem.html#a3bb07147466d6ccb397616e1c09fc60b',1,'SVF::CxtStmtDPItem::pushContext()'],['../classSVF_1_1CxtDPItem.html#a31a33a291b4bb688f54572c986c0b845',1,'SVF::CxtDPItem::pushContext()'],['../classSVF_1_1PathStmtDPItem.html#ae5bfef4e7759545ad15145504b84a897',1,'SVF::PathStmtDPItem::pushContext()']]],
   ['pushcxt',['pushCxt',['../classSVF_1_1LockAnalysis.html#a7d9fd3ddcadd84969b57491181983b17',1,'SVF::LockAnalysis::pushCxt()'],['../classSVF_1_1MHP.html#a67e2d43f0e35cc46eb7680ec66a4fe44',1,'SVF::MHP::pushCxt()'],['../classSVF_1_1ForkJoinAnalysis.html#aaf70954762aa86f835d799994726790e',1,'SVF::ForkJoinAnalysis::pushCxt()'],['../classSVF_1_1TCT.html#afc6d7a91cfc98561bcce13425964a39e',1,'SVF::TCT::pushCxt(CallStrCxt &cxt, const Instruction *call, const Function *callee)'],['../classSVF_1_1TCT.html#aa98a5b427a92eca1e043efcdf7945169',1,'SVF::TCT::pushCxt(CallStrCxt &cxt, CallSiteID csId)']]],

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

@@ -31,7 +31,7 @@ var searchData=
   ['storeinst',['StoreInst',['../namespaceSVF.html#ab696aab940eb187dc81217efe8649af5',1,'SVF']]],
   ['storeset',['StoreSet',['../classSVF_1_1MTA.html#a891e56104b9c2daa8b052e3821e85b9b',1,'SVF::MTA']]],
   ['storestomrsmap',['StoresToMRsMap',['../classSVF_1_1MRGenerator.html#a9d2221818297a7abeb8d8736093105d0',1,'SVF::MRGenerator']]],
-  ['storestopointstomap',['StoresToPointsToMap',['../classSVF_1_1MRGenerator.html#a4e246650818afd8be99a5ed6e23c4cd7',1,'SVF::MRGenerator']]],
+  ['storestopointstomap',['StoresToPointsToMap',['../classSVF_1_1MRGenerator.html#a45e786ca09aa6cbfcf17d8e5a166a801',1,'SVF::MRGenerator']]],
   ['storesvfgnode',['StoreSVFGNode',['../namespaceSVF.html#a54c5725186e66ead6faf53c10a288714',1,'SVF']]],
   ['storetochisetmap',['StoreToChiSetMap',['../classSVF_1_1MemSSA.html#a00fc1f85bd92da6f0033a1a385c792ad',1,'SVF::MemSSA']]],
   ['storetopmsetmap',['StoreToPMSetMap',['../classSVF_1_1DDAVFSolver.html#accaacd2dd680f92ff83cfe75eef6ffab',1,'SVF::DDAVFSolver']]],

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

@@ -30,7 +30,7 @@ var searchData=
   ['callsitetomrsmap',['CallSiteToMRsMap',['../classSVF_1_1MRGenerator.html#a71b5ce2c754ffff5a84fdb0c3aa16819',1,'SVF::MRGenerator']]],
   ['callsitetomusetmap',['CallSiteToMUSetMap',['../classSVF_1_1MemSSA.html#af7d3abb0b38f83c6f0a3c6a9e1ebff97',1,'SVF::MemSSA']]],
   ['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']]],
   ['callsitetovfunsetmap',['CallSiteToVFunSetMap',['../classSVF_1_1CHGraph.html#a0397e5da88106dc8b4a1e207ae455e74',1,'SVF::CHGraph']]],
   ['callsitetovtablesetmap',['CallSiteToVTableSetMap',['../classSVF_1_1CHGraph.html#aefdf6c5fe8a26efce200e8225d463cac',1,'SVF::CHGraph']]],
   ['callstrcxt',['CallStrCxt',['../namespaceSVF.html#a542c6d5483bfc74fa58b45ad06b65960',1,'SVF']]],

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

@@ -11,7 +11,8 @@ var searchData=
   ['eptype',['EpType',['../epd_8h.html#a618ccbef690a6439abf31cd8b30330e9',1,'epd.h']]],
   ['equalgedge',['equalGEdge',['../classSVF_1_1GenericEdge.html#a69accb303ee67733e065350e4452cbca',1,'SVF::GenericEdge']]],
   ['equalmemregion',['equalMemRegion',['../classSVF_1_1MemRegion.html#af0a0b4a5862a136ef4f203f19139da65',1,'SVF::MemRegion']]],
-  ['equalpointsto',['equalPointsTo',['../classSVF_1_1MemRegion.html#a52b14094d018fb5d9f024c154ab61b8e',1,'SVF::MemRegion::equalPointsTo()'],['../namespaceSVF_1_1SVFUtil.html#a68302f07b13f6e1f39aace5699762c41',1,'SVF::SVFUtil::equalPointsTo()']]],
+  ['equalnodebs',['equalNodeBS',['../namespaceSVF_1_1SVFUtil.html#a5c2b39ae857d78ed9dda83880e703b0f',1,'SVF::SVFUtil']]],
+  ['equalpointsto',['equalPointsTo',['../namespaceSVF_1_1SVFUtil.html#a68302f07b13f6e1f39aace5699762c41',1,'SVF::SVFUtil']]],
   ['extractelementinst',['ExtractElementInst',['../namespaceSVF.html#afb88c4d723dd7c51bdfc7ba5893cb356',1,'SVF']]],
   ['extractvalueinst',['ExtractValueInst',['../namespaceSVF.html#ace1fd4c32134018e2f6d5da193524986',1,'SVF']]]
 ];

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

@@ -36,7 +36,8 @@ var searchData=
   ['funtomrsmap',['FunToMRsMap',['../classSVF_1_1MRGenerator.html#a090070379a09460aef0c07270d32d27b',1,'SVF::MRGenerator']]],
   ['funtonodebsmap',['FunToNodeBSMap',['../classSVF_1_1MRGenerator.html#ab01e492f002c73e2c89eb0b4c8f9647d',1,'SVF::MRGenerator']]],
   ['funtopagedgesetmap',['FunToPAGEdgeSetMap',['../classSVF_1_1PAG.html#a369ea2832e74716757a7d4afa7cb5d60',1,'SVF::PAG']]],
-  ['funtopointstomap',['FunToPointsToMap',['../classSVF_1_1MRGenerator.html#a71b584c7e0feb3014ad5f74eb31467bb',1,'SVF::MRGenerator']]],
+  ['funtopointstomap',['FunToPointsToMap',['../classSVF_1_1MRGenerator.html#ad492e2940936fc7df06127f0cb94d47a',1,'SVF::MRGenerator']]],
+  ['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']]],
   ['funtoretmap',['FunToRetMap',['../classSVF_1_1PAG.html#a46ce928b6bfa06c0b4a08cd3c282f696',1,'SVF::PAG']]],

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

@@ -12,7 +12,7 @@ var searchData=
   ['loadmu',['LOADMU',['../classSVF_1_1SVFG.html#a86d4a41a881a3d2e5def103d7ba8bb2f',1,'SVF::SVFG::LOADMU()'],['../classSVF_1_1MemSSA.html#a4717016109fd3bc80f3095d11afff5b1',1,'SVF::MemSSA::LOADMU()']]],
   ['loadset',['LoadSet',['../classSVF_1_1MTA.html#a80356495b6c45bac59dc15fd7a99730b',1,'SVF::MTA']]],
   ['loadstomrsmap',['LoadsToMRsMap',['../classSVF_1_1MRGenerator.html#a72f55ad36f4ce46c5eee4bf0ce736cee',1,'SVF::MRGenerator']]],
-  ['loadstopointstomap',['LoadsToPointsToMap',['../classSVF_1_1MRGenerator.html#af500450901135fd31ceb2ab497ca1086',1,'SVF::MRGenerator']]],
+  ['loadstopointstomap',['LoadsToPointsToMap',['../classSVF_1_1MRGenerator.html#a7b9b1c326d075a9be473680fef6a9616',1,'SVF::MRGenerator']]],
   ['loadsvfgnode',['LoadSVFGNode',['../namespaceSVF.html#a3ce49be3724e1e8423ccdfa726fbf6c8',1,'SVF']]],
   ['loadtomusetmap',['LoadToMUSetMap',['../classSVF_1_1MemSSA.html#ac5a9b2218c946ec17b478a95ab60ec6b',1,'SVF::MemSSA']]],
   ['locdpitem',['LocDPItem',['../namespaceSVF.html#aa50ee8563f99ba1eb897301f55e9d855',1,'SVF']]],

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

@@ -35,7 +35,7 @@ var searchData=
   ['pointertype',['PointerType',['../structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01std_1_1unique__ptr_3_01From_01_4_01_4.html#a9d08abc346f3b77c487eba144f3cbd8d',1,'SVF::SVFUtil::cast_retty_impl< To, std::unique_ptr< From > >::PointerType()'],['../namespaceSVF.html#aa962cc1d782cc46553251e96b64a754b',1,'SVF::PointerType()']]],
   ['pointsto',['PointsTo',['../namespaceSVF.html#a0c6594b4bae7924369bb61943c1da4fb',1,'SVF']]],
   ['pointstoid',['PointsToID',['../namespaceSVF.html#ae545a88267bd2246de827cf590675aca',1,'SVF']]],
-  ['pointstolist',['PointsToList',['../classSVF_1_1MRGenerator.html#a2a9b87b7b9a567a7fd94e9267f3eb054',1,'SVF::MRGenerator::PointsToList()'],['../namespaceSVF_1_1SVFUtil.html#a4740b14abf7d308e7806a0d6d6c42ee2',1,'SVF::SVFUtil::PointsToList()']]],
+  ['pointstolist',['PointsToList',['../classSVF_1_1MRGenerator.html#a8b254a0c5063e25f297d1b00fb0b515e',1,'SVF::MRGenerator::PointsToList()'],['../namespaceSVF_1_1SVFUtil.html#a798b7f30608d8c1688d4fdce2c3097f4',1,'SVF::SVFUtil::PointsToList()']]],
   ['postdominatortree',['PostDominatorTree',['../namespaceSVF.html#ab34383ee87cd45eb485fa29db482ffef',1,'SVF']]],
   ['postdominatortreewrapperpass',['PostDominatorTreeWrapperPass',['../namespaceSVF.html#a7f570d09953aa4ec60fd1d5f7f71b521',1,'SVF']]],
   ['ptacgnodeset',['PTACGNodeSet',['../classSVF_1_1TCT.html#afb579a5bdcc0a1c6b075bb9aae36c237',1,'SVF::TCT']]],
@@ -51,6 +51,6 @@ var searchData=
   ['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']]],
   ['ptstoidmap',['PTSToIDMap',['../classSVF_1_1PersistentPointsToCache.html#a9a1b0d0d215c048c7200da0e8f816943',1,'SVF::PersistentPointsToCache']]],
-  ['ptstorepptssetmap',['PtsToRepPtsSetMap',['../classSVF_1_1MRGenerator.html#a429b45a55b948d6d1ffd73ea0ac6c04c',1,'SVF::MRGenerator']]],
-  ['ptstosubptsmap',['PtsToSubPtsMap',['../classSVF_1_1IntraDisjointMRG.html#a95e5cc07c8e1838f9336c6a2f0aa941a',1,'SVF::IntraDisjointMRG']]]
+  ['ptstorepptssetmap',['PtsToRepPtsSetMap',['../classSVF_1_1MRGenerator.html#a665836fd866c6393fc4a251eb4929dae',1,'SVF::MRGenerator']]],
+  ['ptstosubptsmap',['PtsToSubPtsMap',['../classSVF_1_1IntraDisjointMRG.html#a5ff8d1cade33445ef7c17f0aedd6a4d1',1,'SVF::IntraDisjointMRG']]]
 ];

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

@@ -77,7 +77,7 @@ var searchData=
   ['ptapagedgekindtosetmap',['PTAPAGEdgeKindToSetMap',['../classSVF_1_1PAG.html#ae297792b6cf9e7782ef4268f48c01748',1,'SVF::PAG']]],
   ['ptaty',['ptaTy',['../classSVF_1_1PointerAnalysis.html#ade83738ac754d5ffc2a3b497b600cad4',1,'SVF::PointerAnalysis']]],
   ['ptavector',['ptaVector',['../classSVF_1_1WPAPass.html#a72a66ae158793f5d1bcb37b655db4446',1,'SVF::WPAPass']]],
-  ['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#a6c13356f81049d453af61e61aa1b3860',1,'SVF::BVDataPTAImpl::ptCache()']]],
+  ['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()']]],
   ['ptdatabacking',['ptDataBacking',['../classSVF_1_1Options.html#a9ec1d22e20b655e364fea03ba7d923a2',1,'SVF::Options']]],
   ['ptdty',['ptdTy',['../classSVF_1_1PTData.html#abe01b39afed97b540c9bb8a8634afa28',1,'SVF::PTData']]],

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

@@ -26,12 +26,12 @@ var searchData=
   ['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()']]],
-  ['timeofinsertingphi',['timeOfInsertingPHI',['../classSVF_1_1MemSSA.html#a3c7b5fa73fdc7c805ee3673fbe812b44',1,'SVF::MemSSA::timeOfInsertingPHI()'],['../classSVF_1_1MemSSAStat.html#a0c24822c8549af6a96e82312954fab9b',1,'SVF::MemSSAStat::TimeOfInsertingPHI()']]],
+  ['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_1MemSSAStat.html#a887ff23a7ea1a18f08b1744ff30da773',1,'SVF::MemSSAStat::TimeOfSSARenaming()'],['../classSVF_1_1MemSSA.html#a97ccd5e0b9ab6144415e26bdf95cbabd',1,'SVF::MemSSA::timeOfSSARenaming()']]],
+  ['timeofssarenaming',['timeOfSSARenaming',['../classSVF_1_1MemSSA.html#a97ccd5e0b9ab6144415e26bdf95cbabd',1,'SVF::MemSSA::timeOfSSARenaming()'],['../classSVF_1_1MemSSAStat.html#a887ff23a7ea1a18f08b1744ff30da773',1,'SVF::MemSSAStat::TimeOfSSARenaming()']]],
   ['timeofupdatecallgraph',['timeOfUpdateCallGraph',['../classSVF_1_1AndersenBase.html#a2afb49f513c9534fd051117b59dc056b',1,'SVF::AndersenBase']]],
   ['timestatmap',['timeStatMap',['../classSVF_1_1PTAStat.html#a3724756ac0527ba3d199be32e38c6337',1,'SVF::PTAStat']]],
   ['tlptdata',['tlPTData',['../classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f',1,'SVF::MutableVersionedPTData::tlPTData()'],['../classSVF_1_1PersistentVersionedPTData.html#a29104a2d53d94805e142f778d3d21ad5',1,'SVF::PersistentVersionedPTData::tlPTData()']]],

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

@@ -9,7 +9,7 @@ var searchData=
   ['uniqueunions',['uniqueUnions',['../classSVF_1_1PersistentPointsToCache.html#aacebdd87b1dd45250391d035b032f9d4',1,'SVF::PersistentPointsToCache']]],
   ['univ',['univ',['../structDdManager.html#ab21d56989b9a13502aeb84228de45df0',1,'DdManager']]],
   ['unlocksites',['unlocksites',['../classSVF_1_1LockAnalysis.html#aec459af1d1624df55ffc95cd75655780',1,'SVF::LockAnalysis']]],
-  ['updatecallgraphtime',['UpdateCallGraphTime',['../classSVF_1_1PTAStat.html#a8aedfeb35f76e6d33135637156468894',1,'SVF::PTAStat::UpdateCallGraphTime()'],['../classSVF_1_1FlowSensitive.html#afc140b6c8e78dc2d962f64fdf53b1e07',1,'SVF::FlowSensitive::updateCallGraphTime()']]],
+  ['updatecallgraphtime',['updateCallGraphTime',['../classSVF_1_1FlowSensitive.html#afc140b6c8e78dc2d962f64fdf53b1e07',1,'SVF::FlowSensitive::updateCallGraphTime()'],['../classSVF_1_1PTAStat.html#a8aedfeb35f76e6d33135637156468894',1,'SVF::PTAStat::UpdateCallGraphTime()']]],
   ['updatetime',['updateTime',['../classSVF_1_1FlowSensitive.html#af5a94d14096ae2bbc47b3b3b9f723226',1,'SVF::FlowSensitive']]],
   ['usedregs',['usedRegs',['../classSVF_1_1MemSSA.html#acf840b71b67cabe831f01f2d358f27fa',1,'SVF::MemSSA']]],
   ['usepcg',['UsePCG',['../classSVF_1_1Options.html#af2f66307e1d51947676f622c98ef0762',1,'SVF::Options']]],

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

@@ -91,7 +91,7 @@ var searchData=
   ['count',['count',['../structDdHashItem.html#aa5bce9f94fb976df2a1768f0f0c7d50c',1,'DdHashItem']]],
   ['countdead',['countDead',['../structDdManager.html#adcbc5af2bbf3df86223e5f0b3bc03e76',1,'DdManager']]],
   ['cpts',['cpts',['../classSVF_1_1IndirectSVFGEdge.html#ac730b7fd9dfe729a184d9f3065c33dfc',1,'SVF::IndirectSVFGEdge::cpts()'],['../classSVF_1_1MRSVFGNode.html#a3fc32c474e542ebb3c91adb6b5c1bb1f',1,'SVF::MRSVFGNode::cpts()']]],
-  ['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']]],
   ['cross',['cross',['../cuddInt_8c.html#a73050ff1210fb3cff7be47e75d647f03',1,'cuddInt.c']]],
   ['cs',['cs',['../classSVF_1_1CallCFGEdge.html#a2939111c1df48ca33b46a61d273b9a7d',1,'SVF::CallCFGEdge::cs()'],['../classSVF_1_1RetCFGEdge.html#a9fd322ebb9aec43f9f49feb2b593c9b6',1,'SVF::RetCFGEdge::cs()'],['../classSVF_1_1CallBlockNode.html#a4236d60c129adc0d959bed14dce71053',1,'SVF::CallBlockNode::cs()'],['../classSVF_1_1RetBlockNode.html#a9ed7b40bb07977642484362673e7ba2d',1,'SVF::RetBlockNode::cs()'],['../classSVF_1_1ActualINSVFGNode.html#a2c98367f823ddbc091674b50b877c7e5',1,'SVF::ActualINSVFGNode::cs()'],['../classSVF_1_1ActualOUTSVFGNode.html#a0c305793d2c1ed2c27fb28dafe6927ff',1,'SVF::ActualOUTSVFGNode::cs()'],['../classSVF_1_1ActualParmVFGNode.html#afec49cb3b0f571edc4c35823ca5b55eb',1,'SVF::ActualParmVFGNode::cs()'],['../classSVF_1_1ActualRetVFGNode.html#a17a849feee552005bed5ac7c6410009e',1,'SVF::ActualRetVFGNode::cs()']]],
@@ -100,14 +100,14 @@ var searchData=
   ['csid',['csId',['../classSVF_1_1PTACallGraphEdge.html#a7488c5125d55e56ec427ef0d8ee88999',1,'SVF::PTACallGraphEdge::csId()'],['../classSVF_1_1CallIndSVFGEdge.html#adb7796f5c1094379ed295e92bf4a79b9',1,'SVF::CallIndSVFGEdge::csId()'],['../classSVF_1_1RetIndSVFGEdge.html#a49e231a4606fda4429d0bae5656fa3e1',1,'SVF::RetIndSVFGEdge::csId()'],['../classSVF_1_1CallDirSVFGEdge.html#a2cbaf86c3e65eb9d02d3843706fc178b',1,'SVF::CallDirSVFGEdge::csId()'],['../classSVF_1_1RetDirSVFGEdge.html#a10929c8f605a05c1a471f77936d31902',1,'SVF::RetDirSVFGEdge::csId()']]],
   ['csnumtoinstmap',['csnumToInstMap',['../classSVF_1_1MTAResultValidator.html#ae2717c467dc7c49fab0ec93bfa4baaab',1,'SVF::MTAResultValidator']]],
   ['cstocallnodemap',['CSToCallNodeMap',['../classSVF_1_1ICFG.html#af0434d6ffd247eeaf73b9294e659a3f9',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']]],
   ['cstoretnodemap',['CSToRetNodeMap',['../classSVF_1_1ICFG.html#a0e43308038663c10667177238b23ab3e',1,'SVF::ICFG']]],
   ['ctiraliaseval',['CTirAliasEval',['../classSVF_1_1Options.html#ad148549070b042aeddafca39ee949c77',1,'SVF::Options']]],
   ['ctplist',['ctpList',['../classSVF_1_1TCT.html#a80dad1dfdf64cb7a5805eb8bedf79226',1,'SVF::TCT']]],

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

@@ -62,11 +62,11 @@ var searchData=
   ['funtofunentrynodemap',['FunToFunEntryNodeMap',['../classSVF_1_1ICFG.html#a69076849bd256fb0ca59711a59a7c092',1,'SVF::ICFG']]],
   ['funtofunexitnodemap',['FunToFunExitNodeMap',['../classSVF_1_1ICFG.html#ab87a90adae3e9db06da7ecc0bd9d920f',1,'SVF::ICFG']]],
   ['funtoloopinfomap',['funToLoopInfoMap',['../classSVF_1_1PTACFInfoBuilder.html#a155db92ff5057abcb929c0ca8e8bee89',1,'SVF::PTACFInfoBuilder']]],
-  ['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#a3e74c3706ffcc14f378771b417dcbb96',1,'SVF::MRGenerator']]],
   ['funtopdtmap',['funToPDTMap',['../classSVF_1_1PTACFInfoBuilder.html#a11a1bb877406f45ea4c8f7c4678bfa15',1,'SVF::PTACFInfoBuilder']]],
-  ['funtopointstomap',['funToPointsToMap',['../classSVF_1_1MRGenerator.html#acaf48288039d19bf0bb9f2e506fbfd8d',1,'SVF::MRGenerator']]],
-  ['funtorefsmap',['funToRefsMap',['../classSVF_1_1MRGenerator.html#afe018918c8acc83cd128b4c56ff42075',1,'SVF::MRGenerator']]],
+  ['funtopointstomap',['funToPointsToMap',['../classSVF_1_1MRGenerator.html#a05c7a5ddbe3079f63be76c35298d1c2b',1,'SVF::MRGenerator']]],
+  ['funtorefsmap',['funToRefsMap',['../classSVF_1_1MRGenerator.html#af6d58e2971c4a8d3ee03f9dfd9072a3a',1,'SVF::MRGenerator']]],
   ['funtoreturnmusetmap',['funToReturnMuSetMap',['../classSVF_1_1MemSSA.html#abae2396bf8a37a22be9365d368fe455c',1,'SVF::MemSSA']]],
   ['funtovfgnodesmap',['funToVFGNodesMap',['../classSVF_1_1VFG.html#a9a99ae86d16ffe69bff9d52de769d049',1,'SVF::VFG']]]
 ];

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

@@ -8,7 +8,7 @@ var searchData=
   ['idcounter',['idCounter',['../classSVF_1_1PersistentPointsToCache.html#ad8d24772f7503e0e735f546506d2bcc5',1,'SVF::PersistentPointsToCache']]],
   ['idtocsmap',['idToCSMap',['../classSVF_1_1PTACallGraph.html#a5d6f63baad19589a9fd1e069631e18fa',1,'SVF::PTACallGraph']]],
   ['idtonodemap',['IDToNodeMap',['../classSVF_1_1GenericGraph.html#a47a1ef8b67b0c92f78b4457dc3bbfe71',1,'SVF::GenericGraph']]],
-  ['idtopts',['idToPts',['../classSVF_1_1PersistentPointsToCache.html#ac15f8dc2bd850d275c692c3001751c9e',1,'SVF::PersistentPointsToCache']]],
+  ['idtopts',['idToPts',['../classSVF_1_1PersistentPointsToCache.html#a390c08099f16afb4b80b6e094d1adf25',1,'SVF::PersistentPointsToCache']]],
   ['ignoredeadfun',['IgnoreDeadFun',['../classSVF_1_1Options.html#a50182faec95c6c4635df65a55148b040',1,'SVF::Options']]],
   ['incdfptdata',['INCDFPTData',['../classSVF_1_1Options.html#a5896e2aaf59305441a74ede0dfb85845',1,'SVF::Options']]],
   ['incycle',['incycle',['../classSVF_1_1CxtThread.html#a97d876697e682b23211a8f930fed7f32',1,'SVF::CxtThread']]],

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

@@ -17,7 +17,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()']]],
   ['maxgrowth',['maxGrowth',['../structDdManager.html#a8a6a4238d1bc8a87eabd2c3eabd233d7',1,'DdManager']]],
   ['maxgrowthalt',['maxGrowthAlt',['../structDdManager.html#a2926e48e488cec20a61e9b0dc6b91795',1,'DdManager']]],
   ['maximumbudget',['maximumBudget',['../classSVF_1_1DPItem.html#a5dbb0e6010b38c5b937ff06cb40cd0ef',1,'SVF::DPItem']]],

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

@@ -96,7 +96,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']]],
@@ -134,7 +134,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']]],