svf-tools 1.0.762 → 1.0.764

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

@@ -1,199 +1,199 @@
 var searchData=
 [
-  ['m_3959',['M',['../classSVF_1_1RaceResultValidator.html#aedc9ec6c3db947fa7e1ef50fbb61e9a8',1,'SVF::RaceResultValidator']]],
-  ['m_5fcond_3960',['m_cond',['../classSVF_1_1CondVar.html#a90b13685d2126f8c10dde4a504bb28df',1,'SVF::CondVar']]],
-  ['m_5fid_3961',['m_id',['../classSVF_1_1CondVar.html#a26fd04b3f2d45f0c230e1823f3eea49a',1,'SVF::CondVar']]],
-  ['main_3962',['main',['../cfl_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627',1,'main(int argc, char **argv): cfl.cpp'],['../dda_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627',1,'main(int argc, char **argv): dda.cpp'],['../svf-ex_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627',1,'main(int argc, char **argv): svf-ex.cpp'],['../llvm2svf_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627',1,'main(int argc, char **argv): llvm2svf.cpp'],['../mta_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627',1,'main(int argc, char **argv): mta.cpp'],['../saber_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627',1,'main(int argc, char **argv): saber.cpp'],['../wpa_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627',1,'main(int argc, char **argv): wpa.cpp']]],
-  ['make_5fpointee_5frange_3963',['make_pointee_range',['../namespaceSVF.html#a41ca7c140a3b61d946e8c6338102986e',1,'SVF']]],
-  ['make_5fpointer_5frange_3964',['make_pointer_range',['../namespaceSVF.html#a7a436778318d16678992a3173988afc2',1,'SVF']]],
-  ['make_5frange_3965',['make_range',['../namespaceSVF.html#a3b6bc8132d0fd4902888ab9f77c20124',1,'SVF::make_range(T x, T y)'],['../namespaceSVF.html#a323872e7b86d109057b3ccbdedee7c86',1,'SVF::make_range(std::pair< T, T > p)']]],
-  ['make_5fvoid_3966',['make_void',['../structSVF_1_1SVFUtil_1_1make__void.html',1,'SVF::SVFUtil']]],
-  ['makeedgeflagwithaddionalopnd_3967',['makeEdgeFlagWithAddionalOpnd',['../classSVF_1_1SVFStmt.html#a3b20523aed66ac8943d7d00ff777137b',1,'SVF::SVFStmt']]],
-  ['makeedgeflagwithcallinst_3968',['makeEdgeFlagWithCallInst',['../classSVF_1_1SVFStmt.html#a4513c6e66b46c36219ba6d7403f3eb00',1,'SVF::SVFStmt']]],
-  ['makeedgeflagwithinvokeid_3969',['makeEdgeFlagWithInvokeID',['../classSVF_1_1ICFGEdge.html#a00b2650d7afd8b98c108d6a168299993',1,'SVF::ICFGEdge::makeEdgeFlagWithInvokeID()'],['../classSVF_1_1PTACallGraphEdge.html#a4eaeb2765fdcc455116537dbe2119800',1,'SVF::PTACallGraphEdge::makeEdgeFlagWithInvokeID()'],['../classSVF_1_1VFGEdge.html#a30c07e8afb0853d4b46cfa722d912650',1,'SVF::VFGEdge::makeEdgeFlagWithInvokeID()']]],
-  ['makeedgeflagwithstoreinst_3970',['makeEdgeFlagWithStoreInst',['../classSVF_1_1SVFStmt.html#ad61722f886afaaee722ac55a4eed4d18',1,'SVF::SVFStmt']]],
-  ['malloc_5ffn_3971',['malloc_fn',['../structcJSON__Hooks.html#a71693d8b277a80a1faf8758b9589d670',1,'cJSON_Hooks']]],
-  ['malloconly_3972',['MallocOnly',['../classSVF_1_1Options.html#a9711cdc976786b3949ac6b26f95b59b0',1,'SVF::Options']]],
-  ['map_3973',['Map',['../namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1',1,'SVF']]],
-  ['map_5fiter_3974',['map_iter',['../namespaceSVF.html#a809dcd83e295c61bb54710ba545d8d96',1,'SVF']]],
-  ['mapped_5fiter_3975',['mapped_iter',['../classSVF_1_1mapped__iter.html',1,'SVF::mapped_iter< ItTy, FuncTy, FuncReturnTy >'],['../classSVF_1_1mapped__iter.html#a08a4c1e7b455fc3786f6bc7e9929120a',1,'SVF::mapped_iter::mapped_iter()']]],
-  ['mappingptr_3976',['MappingPtr',['../classSVF_1_1PointsTo.html#a849f670b38cb6f65fc23707a212591c7',1,'SVF::PointsTo']]],
-  ['mapvaluetoedge_3977',['mapValueToEdge',['../classSVF_1_1IRGraph.html#a51201a8fce21b56e3f59a31af04c7b76',1,'SVF::IRGraph']]],
-  ['markbkvisited_3978',['markbkVisited',['../classSVF_1_1DDAVFSolver.html#a7112ce6145be0855f8b035bb0d8a331c',1,'SVF::DDAVFSolver']]],
-  ['markcxtstmtflag_3979',['markCxtStmtFlag',['../classSVF_1_1LockAnalysis.html#a375cb175ec0068bacaa64cf40a49d485',1,'SVF::LockAnalysis::markCxtStmtFlag()'],['../classSVF_1_1ForkJoinAnalysis.html#ac483d3b0e9084c2033e177eda9ac9215',1,'SVF::ForkJoinAnalysis::markCxtStmtFlag(const CxtStmt &tgr, ValDomain flag)'],['../classSVF_1_1ForkJoinAnalysis.html#a047fbff4be9f94ab12795cd371f60efa',1,'SVF::ForkJoinAnalysis::markCxtStmtFlag(const CxtStmt &tgr, const CxtStmt &src)']]],
-  ['markedclocksonly_3980',['MarkedClocksOnly',['../classSVF_1_1Options.html#abcb6796d45722562546f33b2745a0418',1,'SVF::Options']]],
-  ['markrelprocs_3981',['markRelProcs',['../classSVF_1_1TCT.html#a8bb7ffa8dd185c52e6c150f9bc995511',1,'SVF::TCT::markRelProcs()'],['../classSVF_1_1TCT.html#a0938016193057ff47dbd6b8308e804c5',1,'SVF::TCT::markRelProcs(const SVFFunction *fun)']]],
-  ['markvalidvfedge_3982',['markValidVFEdge',['../classSVF_1_1SVFGBuilder.html#a3f8fc56d5190ea59d06906b359640dae',1,'SVF::SVFGBuilder']]],
-  ['match_3983',['match',['../classSVF_1_1LockResultValidator.html#a4134d0a10f039628e3e77ec256cec8ea',1,'SVF::LockResultValidator']]],
-  ['matchargs_3984',['matchArgs',['../namespaceSVF_1_1SVFUtil.html#af6ccc943516cedd7d8cd1de09d8f554e',1,'SVF::SVFUtil']]],
-  ['matchcontext_3985',['matchContext',['../classSVF_1_1ContextCond.html#ab816f854687999b8c01f5c02fcf6b8af',1,'SVF::ContextCond::matchContext()'],['../classSVF_1_1CxtStmtDPItem.html#a35c0c0d5194983769e313d6e31b3d7ec',1,'SVF::CxtStmtDPItem::matchContext()'],['../classSVF_1_1CxtDPItem.html#ad386861998e54ec754ca62f358f03e6a',1,'SVF::CxtDPItem::matchContext()']]],
-  ['matchcxt_3986',['matchCxt',['../classSVF_1_1MTAResultValidator.html#a6306899b5360e106dd090bea571027bf',1,'SVF::MTAResultValidator::matchCxt()'],['../classSVF_1_1LockAnalysis.html#a78eb13118f947fb1d84e274bb0f46695',1,'SVF::LockAnalysis::matchCxt()'],['../classSVF_1_1MHP.html#a3dc4c80d60039ce5f73583ce32784d82',1,'SVF::MHP::matchCxt()'],['../classSVF_1_1ForkJoinAnalysis.html#ac95b1600aa524c3e607eebcf9d50df0e',1,'SVF::ForkJoinAnalysis::matchCxt()'],['../classSVF_1_1MTAResultValidator.html#a3207f67c8046e64ffd7beb4d5cd6c0e0',1,'SVF::MTAResultValidator::matchCxt()'],['../classSVF_1_1TCT.html#a9b1a5a9feb8cd97b37ee49727536a549',1,'SVF::TCT::matchCxt()']]],
-  ['max_3987',['max',['../classSVF_1_1NumericLiteral.html#a9e7a696842de2a4fae08a75d72a807ec',1,'SVF::NumericLiteral::max()'],['../classSVF_1_1NumericLiteral.html#abeb6260917a412282ddd174bd835cfa2',1,'SVF::NumericLiteral::max(std::vector< NumericLiteral > &_l)']]],
-  ['maxbvlen_3988',['MaxBVLen',['../classSVF_1_1Options.html#a71461051f5fe6b4cc33103746525b23f',1,'SVF::Options::MaxBVLen()'],['../BoundedZ3Expr_8h.html#adf05e95ec112057aa9e9abf8616e40c7',1,'MaxBvLen(): BoundedZ3Expr.h']]],
-  ['maxcontextlen_3989',['MaxContextLen',['../classSVF_1_1Options.html#a6237da3f4e264fa8b63c11d621f39e71',1,'SVF::Options']]],
-  ['maxcxtsize_3990',['MaxCxtSize',['../classSVF_1_1TCT.html#aaae41663b1d1f4d38b047c50c156defb',1,'SVF::TCT']]],
-  ['maxfieldlimit_3991',['MaxFieldLimit',['../classSVF_1_1Options.html#aaab923c093730b1670a54f09340b1bd5',1,'SVF::Options']]],
-  ['maximumbudget_3992',['maximumBudget',['../classSVF_1_1DPItem.html#a5dbb0e6010b38c5b937ff06cb40cd0ef',1,'SVF::DPItem']]],
-  ['maximumcxt_3993',['maximumCxt',['../classSVF_1_1ContextCond.html#a151b9f21eedd4fdd8f46b78bb456582d',1,'SVF::ContextCond']]],
-  ['maximumcxtlen_3994',['maximumCxtLen',['../classSVF_1_1ContextCond.html#a3280db7a2b93612fb693a7c1117acfdd',1,'SVF::ContextCond']]],
-  ['maximumpath_3995',['maximumPath',['../classSVF_1_1ContextCond.html#a7d89351906ef4dff9adb1196f45bc9be',1,'SVF::ContextCond']]],
-  ['maximumpathlen_3996',['maximumPathLen',['../classSVF_1_1ContextCond.html#aa61b4de81e440448daaf0c5be53aebf3',1,'SVF::ContextCond']]],
-  ['maxindegree_3997',['maxInDegree',['../classSVF_1_1SVFGStat.html#a536b591b21756519262873462001f421',1,'SVF::SVFGStat']]],
-  ['maxindindegree_3998',['maxIndInDegree',['../classSVF_1_1SVFGStat.html#a2f1bb17038de877fd1ccffdea3f3cde3',1,'SVF::SVFGStat']]],
-  ['maxindoutdegree_3999',['maxIndOutDegree',['../classSVF_1_1SVFGStat.html#ac7cb2228bd31e8ebdf33ae2bfd399683',1,'SVF::SVFGStat']]],
-  ['maxoffsetlimit_4000',['maxOffsetLimit',['../classSVF_1_1ObjTypeInfo.html#a5ff63eb0654acd152f7d6c18618ee94a',1,'SVF::ObjTypeInfo']]],
-  ['maxoutdegree_4001',['maxOutDegree',['../classSVF_1_1SVFGStat.html#a6694ace7ee1b24b0c5ce42e06e4db2cf',1,'SVF::SVFGStat']]],
-  ['maxpathlen_4002',['MaxPathLen',['../classSVF_1_1Options.html#a63121666a96f6cd2ae56d868c9576a53',1,'SVF::Options']]],
-  ['maxpointstosetsize_4003',['MaxPointsToSetSize',['../classSVF_1_1AndersenBase.html#abd73e930450b7c605f478672bdf9bdae',1,'SVF::AndersenBase']]],
-  ['maxsccsize_4004',['maxSCCSize',['../classSVF_1_1FlowSensitive.html#aa3d4703756a6297ab5c0756172024fe4',1,'SVF::FlowSensitive']]],
-  ['maxstepinwrapper_4005',['MaxStepInWrapper',['../classSVF_1_1Options.html#aab0131558d9da9b0fe888387217ba919',1,'SVF::Options']]],
-  ['maxstruct_4006',['maxStruct',['../classSVF_1_1SymbolTableInfo.html#a0c1143eff451edf8ea47d4487a8d3a55',1,'SVF::SymbolTableInfo']]],
-  ['maxstsize_4007',['maxStSize',['../classSVF_1_1SymbolTableInfo.html#abb8550c9ef856e45cb7675c3796f9a35',1,'SVF::SymbolTableInfo']]],
-  ['maxz3size_4008',['MaxZ3Size',['../classSVF_1_1Options.html#a86f982d9716181bca93a350b5a11a1dc',1,'SVF::Options']]],
-  ['mayaccessaliases_4009',['mayAccessAliases',['../classSVF_1_1RaceResultValidator.html#ade9f150c970aa2cc481c878aebf71662',1,'SVF::RaceResultValidator::mayAccessAliases(const Instruction *I1, const Instruction *I2)'],['../classSVF_1_1RaceResultValidator.html#ade9f150c970aa2cc481c878aebf71662',1,'SVF::RaceResultValidator::mayAccessAliases(const Instruction *I1, const Instruction *I2)']]],
-  ['mayalias_4010',['MayAlias',['../namespaceSVF.html#a61c01e2e687ab3a001fb806737583943aef15fd8989d8dd9576b3fbb2aabc118f',1,'SVF']]],
-  ['mayhappeninparallel_4011',['mayHappenInParallel',['../classSVF_1_1MHPValidator.html#a30bd5d21743e7b49201c13a5f7239123',1,'SVF::MHPValidator::mayHappenInParallel()'],['../classSVF_1_1RaceResultValidator.html#aff51b56e5f7173dd8ac053e5d9b1e97d',1,'SVF::RaceResultValidator::mayHappenInParallel()'],['../classSVF_1_1MHP.html#a15b624924254f5362a3d02fa539a24fb',1,'SVF::MHP::mayHappenInParallel()'],['../classSVF_1_1RaceResultValidator.html#aff51b56e5f7173dd8ac053e5d9b1e97d',1,'SVF::RaceResultValidator::mayHappenInParallel()'],['../classSVF_1_1PCG.html#a0c4d2c2648638794a02d890293a2805d',1,'SVF::PCG::mayHappenInParallel()']]],
-  ['mayhappeninparallelbetweenfunctions_4012',['mayHappenInParallelBetweenFunctions',['../classSVF_1_1PCG.html#af3e4194411bb061802afddacab7587b7',1,'SVF::PCG']]],
-  ['mayhappeninparallelcache_4013',['mayHappenInParallelCache',['../classSVF_1_1MHP.html#a843f1fa52625ec9e844307ba51fec202',1,'SVF::MHP']]],
-  ['mayhappeninparallelinst_4014',['mayHappenInParallelInst',['../classSVF_1_1MHP.html#a0cb1db9943ddc0928afa8e370cbf60c6',1,'SVF::MHP']]],
-  ['mayhavedatarace_4015',['mayHaveDataRace',['../classSVF_1_1RaceResultValidator.html#a1df6b00752e373ac7bf08a2cae0b9641',1,'SVF::RaceResultValidator::mayHaveDataRace(const Instruction *I1, const Instruction *I2)'],['../classSVF_1_1RaceResultValidator.html#a1df6b00752e373ac7bf08a2cae0b9641',1,'SVF::RaceResultValidator::mayHaveDataRace(const Instruction *I1, const Instruction *I2)']]],
-  ['mdef_4016',['MDEF',['../classSVF_1_1MemSSA.html#a57e68097212e88568eea829fb998fe0c',1,'SVF::MemSSA']]],
-  ['mdnode_4017',['MDNode',['../namespaceSVF.html#ad3d3cec1813411f039211c86236f7adb',1,'SVF']]],
-  ['mdstring_4018',['MDString',['../namespaceSVF.html#a28eec26ec8edaa5e96aecfeb01f6c0d4',1,'SVF']]],
-  ['meet_5fwith_4019',['meet_with',['../classSVF_1_1AddressValue.html#a02f61a255d2bbbdc36ee1541248fdbfb',1,'SVF::AddressValue::meet_with()'],['../classSVF_1_1IntervalValue.html#a144e17cec654e83654298b379ed4ce9f',1,'SVF::IntervalValue::meet_with()']]],
-  ['meetwith_4020',['meetWith',['../classSVF_1_1ExeState.html#a80bcce9b4303d651b27332c2fc0d3bdc',1,'SVF::ExeState::meetWith()'],['../classSVF_1_1IntervalExeState.html#a1e5d399b2111d9b8ed17f790cab12d5d',1,'SVF::IntervalExeState::meetWith(const IntervalExeState &other)'],['../classSVF_1_1IntervalExeState.html#a3cadadfd8c2ce6251855f1aa5f2ac8ce',1,'SVF::IntervalExeState::meetWith(VarToValMap *other)']]],
-  ['meld_4021',['meld',['../classSVF_1_1POCRHybridSolver.html#a403f469326cd3066e6352bf2587f983d',1,'SVF::POCRHybridSolver::meld()'],['../classSVF_1_1VersionedFlowSensitive.html#a1da960df51570b59161e380949d910c4',1,'SVF::VersionedFlowSensitive::meld()']]],
-  ['meld_5fh_4022',['meld_h',['../classSVF_1_1POCRHybridSolver.html#a6d3610151daec1ffa26e6b9fccad4e91',1,'SVF::POCRHybridSolver']]],
-  ['meldlabel_4023',['meldLabel',['../classSVF_1_1VersionedFlowSensitive.html#aaff594c78d93f7ad632d344e5c1c7f6a',1,'SVF::VersionedFlowSensitive']]],
-  ['meldlabelingtime_4024',['meldLabelingTime',['../classSVF_1_1VersionedFlowSensitive.html#a4a594c8d6ccaa27b5328c6388fdb258d',1,'SVF::VersionedFlowSensitive']]],
-  ['meldversion_4025',['MeldVersion',['../classSVF_1_1VersionedFlowSensitive.html#a630eeca9c3344d24fa196f7de45bce18',1,'SVF::VersionedFlowSensitive']]],
-  ['mem_4026',['mem',['../classSVF_1_1ObjVar.html#a3d08dc1d15a449ff4b7018da4bfdcb88',1,'SVF::ObjVar']]],
-  ['memchr_4027',['memchr',['../extapi_8c.html#a8b9b7da7d0b91e982da9acf6f63cdbc5',1,'extapi.c']]],
-  ['memobj_4028',['MemObj',['../classSVF_1_1MemObj.html',1,'SVF::MemObj'],['../classSVF_1_1MemObj.html#af588c401d129de6ba9abc1819774e342',1,'SVF::MemObj::MemObj()']]],
-  ['memobjmap_4029',['memObjMap',['../classSVF_1_1SymbolTableInfoReader.html#a0bf60f2250c864592c507dd6b03800a9',1,'SVF::SymbolTableInfoReader']]],
-  ['memobjtofieldsmap_4030',['MemObjToFieldsMap',['../classSVF_1_1SVFIR.html#ab6abb822445c9b3f5cb2b7206042e940',1,'SVF::SVFIR']]],
-  ['memorylocation_4031',['MemoryLocation',['../namespaceSVF.html#a339bbddac9d9dffd5ef602200d34c403',1,'SVF']]],
-  ['mempar_4032',['MemPar',['../classSVF_1_1Options.html#aa127a32b03e381343c624e53adc4ef2e',1,'SVF::Options']]],
-  ['mempartition_4033',['MemPartition',['../classSVF_1_1MemSSA.html#ac0797f2ee7b59ae720095a4836533671',1,'SVF::MemSSA']]],
-  ['mempartition_2ecpp_4034',['MemPartition.cpp',['../MemPartition_8cpp.html',1,'']]],
-  ['mempartition_2eh_4035',['MemPartition.h',['../MemPartition_8h.html',1,'']]],
-  ['memregion_4036',['MemRegion',['../classSVF_1_1MemRegion.html',1,'SVF::MemRegion'],['../classSVF_1_1MemRegion.html#a1d8189977196da687f50cfa6df98394b',1,'SVF::MemRegion::MemRegion()']]],
-  ['memregion_2ecpp_4037',['MemRegion.cpp',['../MemRegion_8cpp.html',1,'']]],
-  ['memregion_2eh_4038',['MemRegion.h',['../MemRegion_8h.html',1,'']]],
-  ['memregset_4039',['memRegSet',['../classSVF_1_1MRGenerator.html#af94bd8155a23273aab2396334d905119',1,'SVF::MRGenerator']]],
-  ['memregtobbsmap_4040',['MemRegToBBsMap',['../classSVF_1_1MemSSA.html#a8d0c1a00d7db194da66c685d79e73de5',1,'SVF::MemSSA']]],
-  ['memregtocountermap_4041',['MemRegToCounterMap',['../classSVF_1_1MemSSA.html#ae1aca020147c270deca2a1241e3847d0',1,'SVF::MemSSA']]],
-  ['memregtoverstackmap_4042',['MemRegToVerStackMap',['../classSVF_1_1MemSSA.html#aa9dbaf51f0498f3bd878827744208899',1,'SVF::MemSSA']]],
-  ['memssa_4043',['MemSSA',['../classSVF_1_1MemSSA.html',1,'SVF::MemSSA'],['../classSVF_1_1CFLVF.html#a42998aacf670d108b2a00b8993507e1e',1,'SVF::CFLVF::memSSA()'],['../classSVF_1_1SrcSnkDDA.html#ab6803f0a2b3507213ad2979b9b12f700',1,'SVF::SrcSnkDDA::memSSA()'],['../classSVF_1_1FlowSensitive.html#a76f6f19ac2b58ab4a10a2d7e6e24e42a',1,'SVF::FlowSensitive::memSSA()'],['../classSVF_1_1MemSSA.html#a6bd57451370f5f4c92ce212be4cddd15',1,'SVF::MemSSA::MemSSA()']]],
-  ['memssa_2ecpp_4044',['MemSSA.cpp',['../MemSSA_8cpp.html',1,'']]],
-  ['memssa_2eh_4045',['MemSSA.h',['../MemSSA_8h.html',1,'']]],
-  ['memssastat_4046',['MemSSAStat',['../classSVF_1_1MemSSAStat.html',1,'SVF::MemSSAStat'],['../classSVF_1_1MemSSAStat.html#a53f3d85a8eb63676d3dc47ee648efb66',1,'SVF::MemSSAStat::MemSSAStat()']]],
-  ['memtofieldsmap_4047',['memToFieldsMap',['../classSVF_1_1SVFIR.html#a3c014227661d8976714772205611c252',1,'SVF::SVFIR']]],
-  ['memtype_4048',['MEMTYPE',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830',1,'SVF::ObjTypeInfo']]],
-  ['mergefunctionrets_4049',['MergeFunctionRets',['../classSVF_1_1MergeFunctionRets.html',1,'SVF::MergeFunctionRets'],['../classSVF_1_1MergeFunctionRets.html#a2b989707893cd81dd275be6a3b8c79fc',1,'SVF::MergeFunctionRets::MergeFunctionRets()']]],
-  ['mergenodetorep_4050',['mergeNodeToRep',['../classSVF_1_1Andersen.html#a36729160041bc3a3e2b0a92b29062848',1,'SVF::Andersen']]],
-  ['mergeptsoccmaps_4051',['mergePtsOccMaps',['../namespaceSVF_1_1SVFUtil.html#a36c91f952a69875c33d4bd0b05a27ff2',1,'SVF::SVFUtil']]],
-  ['mergescccycle_4052',['mergeSccCycle',['../classSVF_1_1Andersen.html#ac86ffd334568e4df5c08b3c827018bef',1,'SVF::Andersen']]],
-  ['mergesccnodes_4053',['mergeSccNodes',['../classSVF_1_1Andersen.html#a1ba1e1e36af289982146de06cf06ab0a',1,'SVF::Andersen']]],
-  ['mergespan_4054',['mergeSpan',['../classSVF_1_1MTASVFGBuilder.html#ae028fe894e3c6e7fd0ad6feeaa64320e',1,'SVF::MTASVFGBuilder']]],
-  ['mergesrctotgt_4055',['mergeSrcToTgt',['../classSVF_1_1Andersen.html#ae6b1e54a389abc68994219e39539127e',1,'SVF::Andersen::mergeSrcToTgt()'],['../classSVF_1_1AndersenSFR.html#ac5f406db5610347564fceff4d36f6a6f',1,'SVF::AndersenSFR::mergeSrcToTgt()']]],
-  ['metadataasvalue_4056',['MetadataAsValue',['../namespaceSVF.html#a773900ea3c75022657aac1abf59fa51b',1,'SVF']]],
-  ['metasame_4057',['metaSame',['../classSVF_1_1PointsTo.html#aa1e773b7abda97441d6ffe39c668d4ec',1,'SVF::PointsTo']]],
-  ['mfspta_4058',['mfspta',['../classSVF_1_1FSMPTA.html#af248a80855457ca9e5a7208c114681bb',1,'SVF::FSMPTA']]],
-  ['mhp_4059',['MHP',['../classSVF_1_1MHP.html',1,'SVF::MHP'],['../classSVF_1_1MTAAnnotator.html#a94d7a3fd9166126c052fca28f9a4c825',1,'SVF::MTAAnnotator::mhp()'],['../classSVF_1_1MHPValidator.html#ad6e417ad7f0b1b399822eaa62d83341d',1,'SVF::MHPValidator::mhp()'],['../classSVF_1_1MTAResultValidator.html#a2a21cbdf9513e9fe4fa6c6ae56618b18',1,'SVF::MTAResultValidator::mhp()'],['../classSVF_1_1MTASVFGBuilder.html#a73024bf30aa3ec79e5953a7ea1f8feb7',1,'SVF::MTASVFGBuilder::mhp()'],['../classSVF_1_1FSMPTA.html#aa8dcd130d4b9283fc6b903de8e4ad830',1,'SVF::FSMPTA::mhp()'],['../classSVF_1_1MTA.html#a957925a4ae00e48f77a58697853f3cc3',1,'SVF::MTA::mhp()'],['../classSVF_1_1MHP.html#abf1f5a7c365dfb95b42015b7b2ad6fbe',1,'SVF::MHP::MHP()']]],
-  ['mhp_2ecpp_4060',['MHP.cpp',['../MHP_8cpp.html',1,'']]],
-  ['mhp_2eh_4061',['MHP.h',['../MHP_8h.html',1,'']]],
-  ['mhpfuns_4062',['mhpfuns',['../classSVF_1_1PCG.html#a96f91b051a8035b614e015bf4d5081e0',1,'SVF::PCG']]],
-  ['mhptime_4063',['MHPTime',['../classSVF_1_1MTAStat.html#a56411f7e64febab8aab94a4a9207e5d8',1,'SVF::MTAStat']]],
-  ['mhpvalidator_4064',['MHPValidator',['../classSVF_1_1MHPValidator.html',1,'SVF::MHPValidator'],['../classSVF_1_1MHPValidator.html#ab00f7f49e626f55184101acbe28cf3b1',1,'SVF::MHPValidator::MHPValidator()']]],
-  ['min_4065',['min',['../classSVF_1_1NumericLiteral.html#ab4f45675a9fecb201d0fe05d107fcb97',1,'SVF::NumericLiteral::min()'],['../classSVF_1_1NumericLiteral.html#a96a8e27a0187360eadc2a6821d163ae3',1,'SVF::NumericLiteral::min(std::vector< NumericLiteral > &_l)']]],
-  ['minify_5fstring_4066',['minify_string',['../cJSON_8cpp.html#a569f331078de59d01dee9351fa106e3b',1,'cJSON.cpp']]],
-  ['minterphi_4067',['MInterPhi',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8',1,'SVF::VFGNode']]],
-  ['mintraphi_4068',['MIntraPhi',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abde838081562229a5a5ca8bb250d5e18',1,'SVF::VFGNode']]],
-  ['minus_5finfinity_4069',['minus_infinity',['../classSVF_1_1BoundedZ3Expr.html#a033ae449eba6157a1506f716cecc1a7b',1,'SVF::BoundedZ3Expr::minus_infinity()'],['../classSVF_1_1IntervalValue.html#a43f48c744f7bda0dc689b8f186449371',1,'SVF::IntervalValue::minus_infinity()'],['../classSVF_1_1NumericLiteral.html#ac0872619aefd1f680d08d3ec4360537c',1,'SVF::NumericLiteral::minus_infinity()']]],
-  ['mod_4070',['mod',['../classSVF_1_1MTAResultValidator.html#a5a0f25f5718d84f251331a2e2d207108',1,'SVF::MTAResultValidator::mod()'],['../classSVF_1_1PCG.html#a985b0c790c582d15e6242950ac66f574',1,'SVF::PCG::mod()'],['../classSVF_1_1SymbolTableInfo.html#af8fdaaa03cd2ae9b7d50f57bc678b8ba',1,'SVF::SymbolTableInfo::mod()'],['../namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844aea8604a04fd5c658e0ca8b9177316ba0',1,'SVF::Mod()']]],
-  ['modelarrays_4071',['ModelArrays',['../classSVF_1_1Options.html#a429c3000ee2ac45119b8c241aa06762c',1,'SVF::Options']]],
-  ['modelconstants_4072',['modelConstants',['../classSVF_1_1SymbolTableInfo.html#ad20ccb90e8f9dee488a8aec0600399dc',1,'SVF::SymbolTableInfo']]],
-  ['modelconsts_4073',['ModelConsts',['../classSVF_1_1Options.html#a18dd95e01a50aa82165c46a3801053c5',1,'SVF::Options']]],
-  ['modref_4074',['ModRef',['../namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844a7f99364c041329bd5758261c8c440b30',1,'SVF']]],
-  ['modrefanalysis_4075',['modRefAnalysis',['../classSVF_1_1MRGenerator.html#adc9d530e6f010596d91cd3711dc1358b',1,'SVF::MRGenerator']]],
-  ['modrefinfo_4076',['ModRefInfo',['../namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844',1,'SVF']]],
-  ['module_4077',['module',['../classSVF_1_1DDAClient.html#a4ac68012099540beb87ee4700e824d64',1,'SVF::DDAClient::module()'],['../namespaceSVF.html#aa7a770b5dd5cd0e37d06a1088f252906',1,'SVF::Module()']]],
-  ['moduleflagvalue_4078',['moduleFlagValue',['../namespaceSVF_1_1cppUtil_1_1ctir.html#a05c7c51164928786d70713094db7f3f3',1,'SVF::cppUtil::ctir']]],
-  ['moduleidentifier_4079',['moduleIdentifier',['../classSVF_1_1SVFModule.html#ac40e98040f949171279afec54bb03f71',1,'SVF::SVFModule']]],
-  ['modulename_4080',['moduleName',['../classSVF_1_1SVFStat.html#a3333e45303dcc9c3da00858628cdbbff',1,'SVF::SVFStat']]],
-  ['modulepass_4081',['ModulePass',['../namespaceSVF.html#ac226d84f86637126d17f6814632c8a90',1,'SVF']]],
-  ['modules_4082',['modules',['../classSVF_1_1LLVMModuleSet.html#acde6292e719c80f93d3d1c344ab442cd',1,'SVF::LLVMModuleSet']]],
-  ['move_4083',['move',['../namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016',1,'SVF::SVFUtil']]],
-  ['moveedgestorepnode_4084',['moveEdgesToRepNode',['../classSVF_1_1ConstraintGraph.html#aabe2861fcbc364e2c8aa8114d4879c39',1,'SVF::ConstraintGraph']]],
-  ['moveinedgestorepnode_4085',['moveInEdgesToRepNode',['../classSVF_1_1ConstraintGraph.html#a081bf1238121eb52a0c9ad60f77ecbcd',1,'SVF::ConstraintGraph']]],
-  ['moveoutedgestorepnode_4086',['moveOutEdgesToRepNode',['../classSVF_1_1ConstraintGraph.html#aa436aac95be84d1946169f4984deae59',1,'SVF::ConstraintGraph']]],
-  ['movetoglobal_4087',['moveToGlobal',['../classSVF_1_1SVFIR2ConsExeState.html#a213e6f6dd1ad0e2e0b525f1b55735553',1,'SVF::SVFIR2ConsExeState::moveToGlobal()'],['../classSVF_1_1SVFIR2ItvExeState.html#af80d7665d9815a80ffdba92c3ba029d1',1,'SVF::SVFIR2ItvExeState::moveToGlobal()']]],
-  ['mphi_4088',['MPhi',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aac6fa19473ed8b90a7fd8c9080e5e014',1,'SVF::VFGNode']]],
-  ['mr_4089',['mr',['../classSVF_1_1MRVer.html#aafe30801672cd436216386ad6ff479e6',1,'SVF::MRVer::mr()'],['../classSVF_1_1MSSAMU.html#a51b89fa50c39d864cc9ca63508ea94f4',1,'SVF::MSSAMU::mr()'],['../classSVF_1_1MSSADEF.html#a01bc47f779d20fa8e3be182ceab12780',1,'SVF::MSSADEF::mr()']]],
-  ['mr2countermap_4090',['mr2CounterMap',['../classSVF_1_1MemSSA.html#a22e2dd0fc78877bdedd207a40540a634',1,'SVF::MemSSA']]],
-  ['mr2verstackmap_4091',['mr2VerStackMap',['../classSVF_1_1MemSSA.html#ae4c7b17d8da8278dca362af79f9f268d',1,'SVF::MemSSA']]],
-  ['mremap_4092',['mremap',['../extapi_8c.html#aa1540638fbde3dc27844fbd24db1e642',1,'extapi.c']]],
-  ['mrgen_4093',['mrGen',['../classSVF_1_1MemSSA.html#a213ebe634bbdbe33460ccd941c1dc6a5',1,'SVF::MemSSA']]],
-  ['mrgenerator_4094',['MRGenerator',['../classSVF_1_1MRGenerator.html',1,'SVF::MRGenerator'],['../classSVF_1_1MRGenerator.html#ac8fedbb65a582135354c939183d48f46',1,'SVF::MRGenerator::MRGenerator()']]],
-  ['mrid_4095',['MRID',['../namespaceSVF.html#a1ed5cfc8a00b2d3b90e74debabaa62a5',1,'SVF']]],
-  ['mrset_4096',['MRSet',['../classSVF_1_1MRGenerator.html#a98ac3bf264e6a85d172c2c4264ea908f',1,'SVF::MRGenerator::MRSet()'],['../classSVF_1_1MemSSA.html#a37b84780f57cbee50cf957cfbab195c1',1,'SVF::MemSSA::MRSet()']]],
-  ['mrsvfgnode_4097',['MRSVFGNode',['../classSVF_1_1MRSVFGNode.html',1,'SVF::MRSVFGNode'],['../classSVF_1_1MRSVFGNode.html#a2c2b0476c49c5f2d4ebe6eec22c7345f',1,'SVF::MRSVFGNode::MRSVFGNode()']]],
-  ['mrvector_4098',['MRVector',['../classSVF_1_1MemSSA.html#a7c3fda6f082231350524c2d7c16f067e',1,'SVF::MemSSA']]],
-  ['mrver_4099',['MRVer',['../classSVF_1_1MRVer.html',1,'SVF::MRVer'],['../classSVF_1_1MRVer.html#a15c18c76e5911e472747183f35cd7028',1,'SVF::MRVer::MRVer()']]],
-  ['mrverid_4100',['MRVERID',['../namespaceSVF.html#a0039280e908258b8e73779de51e9f63b',1,'SVF']]],
-  ['mrverset_4101',['MRVerSet',['../classSVF_1_1IndirectSVFGEdge.html#a0df62e44e394d4b4cc30b5012308eb11',1,'SVF::IndirectSVFGEdge']]],
-  ['mrversion_4102',['MRVERSION',['../namespaceSVF.html#a39df0130e37e97db2ff7620bbb2a72f5',1,'SVF']]],
-  ['mssa_4103',['mssa',['../classSVF_1_1SVFG.html#aa6a563cab8678b2256ca6ae7838285c8',1,'SVF::SVFG::mssa()'],['../classSVF_1_1MemSSAStat.html#ab29515f4e5b1f090c06a6e39761d3394',1,'SVF::MemSSAStat::mssa()']]],
-  ['mssachi_4104',['MSSACHI',['../classSVF_1_1MSSACHI.html',1,'SVF::MSSACHI< Cond >'],['../classSVF_1_1MSSACHI.html#af9ecdf852667bd23fe4805ba04c3e815',1,'SVF::MSSACHI::MSSACHI()']]],
-  ['mssadef_4105',['MSSADEF',['../classSVF_1_1MSSADEF.html',1,'SVF::MSSADEF'],['../classSVF_1_1MRVer.html#a1f51f0c2ae814b2170e549ea1122a99f',1,'SVF::MRVer::MSSADef()'],['../classSVF_1_1MSSADEF.html#a1b1c7cbc293182a5ded43efa522990de',1,'SVF::MSSADEF::MSSADEF()']]],
-  ['mssafun_4106',['MSSAFun',['../classSVF_1_1Options.html#aa8818e8138233838af224d4214de9e8f',1,'SVF::Options']]],
-  ['mssamu_4107',['MSSAMU',['../classSVF_1_1MSSAMU.html',1,'SVF::MSSAMU< Cond >'],['../classSVF_1_1MSSAMU.html#a1d0f8d3e7651f4ace92d31a9c6604e2f',1,'SVF::MSSAMU::MSSAMU()']]],
-  ['mssamuchi_2eh_4108',['MSSAMuChi.h',['../MSSAMuChi_8h.html',1,'']]],
-  ['mssaphi_4109',['MSSAPHI',['../classSVF_1_1MSSAPHI.html',1,'SVF::MSSAPHI< Cond >'],['../classSVF_1_1MSSAPHI.html#a5bf48995f87393d20bdedc6749c75ae5',1,'SVF::MSSAPHI::MSSAPHI()']]],
-  ['mssaphisvfgnode_4110',['MSSAPHISVFGNode',['../classSVF_1_1MSSAPHISVFGNode.html',1,'SVF::MSSAPHISVFGNode'],['../classSVF_1_1MSSAPHISVFGNode.html#aec8a372f9024af27a87c5b43e4dc633d',1,'SVF::MSSAPHISVFGNode::MSSAPHISVFGNode()']]],
-  ['mssavartodefmap_4111',['MSSAVarToDefMap',['../classSVF_1_1SVFG.html#aafa1b445bd3578daaba8f82e517745f1',1,'SVF::SVFG']]],
-  ['mssavartodefmapty_4112',['MSSAVarToDefMapTy',['../classSVF_1_1SVFG.html#ac84d3749671f177b14749a825e36efe3',1,'SVF::SVFG']]],
-  ['mta_4113',['MTA',['../classSVF_1_1MTA.html',1,'SVF::MTA'],['../classSVF_1_1MTA.html#ab25d605ed6040a9ad6ed6fcec4e8d338',1,'SVF::MTA::MTA()']]],
-  ['mta_2ecpp_4114',['mta.cpp',['../mta_8cpp.html',1,'(Global Namespace)'],['../MTA_8cpp.html',1,'(Global Namespace)']]],
-  ['mta_2eh_4115',['MTA.h',['../MTA_8h.html',1,'']]],
-  ['mtaannotator_4116',['MTAAnnotator',['../classSVF_1_1MTAAnnotator.html',1,'SVF::MTAAnnotator'],['../classSVF_1_1MTAAnnotator.html#a37ae5e04b0f5560d0f6c2f143b325cd4',1,'SVF::MTAAnnotator::MTAAnnotator()']]],
-  ['mtaannotator_2ecpp_4117',['MTAAnnotator.cpp',['../MTAAnnotator_8cpp.html',1,'']]],
-  ['mtaannotator_2eh_4118',['MTAAnnotator.h',['../MTAAnnotator_8h.html',1,'']]],
-  ['mtaresultvalidator_4119',['MTAResultValidator',['../classSVF_1_1MTAResultValidator.html',1,'SVF::MTAResultValidator'],['../classSVF_1_1MTAResultValidator.html#af7f90c7a146c085d3b432ab40fb3777e',1,'SVF::MTAResultValidator::MTAResultValidator(MHP *mh)'],['../classSVF_1_1MTAResultValidator.html#af7f90c7a146c085d3b432ab40fb3777e',1,'SVF::MTAResultValidator::MTAResultValidator(MHP *mh)']]],
-  ['mtaresultvalidator_2ecpp_4120',['MTAResultValidator.cpp',['../MTAResultValidator_8cpp.html',1,'']]],
-  ['mtaresultvalidator_2eh_4121',['MTAResultValidator.h',['../svf-llvm_2tools_2MTA_2MTAResultValidator_8h.html',1,'(Global Namespace)'],['../svf_2include_2MTA_2MTAResultValidator_8h.html',1,'(Global Namespace)']]],
-  ['mtastat_4122',['MTAStat',['../classSVF_1_1MTAStat.html',1,'SVF::MTAStat'],['../classSVF_1_1MTAStat.html#a10631a14fd258679f98c17622de4352a',1,'SVF::MTAStat::MTAStat()']]],
-  ['mtastat_2ecpp_4123',['MTAStat.cpp',['../MTAStat_8cpp.html',1,'']]],
-  ['mtastat_2eh_4124',['MTAStat.h',['../MTAStat_8h.html',1,'']]],
-  ['mtasvfgbuilder_4125',['MTASVFGBuilder',['../classSVF_1_1MTASVFGBuilder.html',1,'SVF::MTASVFGBuilder'],['../classSVF_1_1SVFG.html#ac0e43f4a2043538c9046f95826caa725',1,'SVF::SVFG::MTASVFGBuilder()'],['../classSVF_1_1MTASVFGBuilder.html#ae0cbe965ddbc511fb10e87fe8ae3912f',1,'SVF::MTASVFGBuilder::MTASVFGBuilder()']]],
-  ['mu_4126',['MU',['../classSVF_1_1SVFG.html#a7f4deffe7e13352b8c13eab110c834cc',1,'SVF::SVFG::MU()'],['../classSVF_1_1MemSSA.html#a2b4f3b19b32ac61dd1932faa82b93d8b',1,'SVF::MemSSA::MU()']]],
-  ['mul_4127',['Mul',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a787e5771d6e70f3cbec3e2a33f5a4e8a',1,'SVF::BinaryOPStmt']]],
-  ['multi_5finheritance_4128',['MULTI_INHERITANCE',['../classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3a1d2b2d38bfc09259f63933e9ab23aecc',1,'SVF::DCHNode::MULTI_INHERITANCE()'],['../classSVF_1_1CHNode.html#a7111a3971f9f03e32bfd291a783d43b4afd6d851b22e741690f0736b4858d81a5',1,'SVF::CHNode::MULTI_INHERITANCE()']]],
-  ['multiforked_4129',['multiforked',['../classSVF_1_1TCTNode.html#a414f4b98fb8fd36d2cb381ff56eb98d8',1,'SVF::TCTNode']]],
-  ['multiopndlabelcounter_4130',['multiOpndLabelCounter',['../classSVF_1_1SVFStmt.html#a9ea22adbfc307dddee42ffec07cc88ed',1,'SVF::SVFStmt']]],
-  ['multiopndstmt_4131',['MultiOpndStmt',['../classSVF_1_1MultiOpndStmt.html',1,'SVF::MultiOpndStmt'],['../classSVF_1_1MultiOpndStmt.html#a60420a9681df31686eb4a42adf37e1e3',1,'SVF::MultiOpndStmt::MultiOpndStmt()'],['../classSVF_1_1MultiOpndStmt.html#a6b01d569057dda1783503563c20c74e6',1,'SVF::MultiOpndStmt::MultiOpndStmt(const MultiOpndStmt &)'],['../classSVF_1_1MultiOpndStmt.html#aaa85920507005b39a670b6d226159e58',1,'SVF::MultiOpndStmt::MultiOpndStmt(SVFVar *r, const OPVars &opnds, GEdgeFlag k)'],['../classSVF_1_1MultiOpndStmt.html#a9f08a5f30b79e3448b1788e4b087d04b',1,'SVF::MultiOpndStmt::MultiOpndStmt(GEdgeFlag k)']]],
-  ['muset_4132',['MUSet',['../classSVF_1_1SVFG.html#acdbe1c510273107b708935061b6c4127',1,'SVF::SVFG::MUSet()'],['../classSVF_1_1MemSSA.html#a81bba824495a882b49e687683954b112',1,'SVF::MemSSA::MUSet()']]],
-  ['mustalias_4133',['mustAlias',['../classSVF_1_1CondPTAImpl.html#a3b5877fec52bbfa7c83bab6c9bc95684',1,'SVF::CondPTAImpl::mustAlias()'],['../namespaceSVF.html#a61c01e2e687ab3a001fb806737583943ab58a0391f037031a51016ebfe2a752b2',1,'SVF::MustAlias()']]],
-  ['mutable_4134',['Mutable',['../classSVF_1_1BVDataPTAImpl.html#ad76328a8543b02784992afc2d5501d8aa1cfb236b5127b660373c36b77a79ab5e',1,'SVF::BVDataPTAImpl']]],
-  ['mutabledfptdata_4135',['MutableDFPTData',['../classSVF_1_1MutableDFPTData.html',1,'SVF::MutableDFPTData< Key, KeySet, Data, DataSet >'],['../classSVF_1_1MutableDFPTData.html#aed141fb836cb22e02032ea46e3e5f51b',1,'SVF::MutableDFPTData::MutableDFPTData()']]],
-  ['mutabledfptdata_3c_20key_2c_20keyset_2c_20data_2c_20dataset_20_3e_4136',['MutableDFPTData< Key, KeySet, Data, DataSet >',['../classSVF_1_1MutablePTData.html#ad92cfe345043b1bc8d6c7a03df43310f',1,'SVF::MutablePTData']]],
-  ['mutablediffptdata_4137',['MutableDiffPTData',['../classSVF_1_1MutableDiffPTData.html',1,'SVF::MutableDiffPTData< Key, KeySet, Data, DataSet >'],['../classSVF_1_1MutableDiffPTData.html#ae087d0307844312710c2d4c05535ea86',1,'SVF::MutableDiffPTData::MutableDiffPTData()']]],
-  ['mutableincdfptdata_4138',['MutableIncDFPTData',['../classSVF_1_1MutableIncDFPTData.html',1,'SVF::MutableIncDFPTData< Key, KeySet, Data, DataSet >'],['../classSVF_1_1MutableIncDFPTData.html#a9b06421a9043dc61485acf51cfc26a91',1,'SVF::MutableIncDFPTData::MutableIncDFPTData()']]],
-  ['mutablepointstods_2eh_4139',['MutablePointsToDS.h',['../MutablePointsToDS_8h.html',1,'']]],
-  ['mutableptdata_4140',['MutablePTData',['../classSVF_1_1MutablePTData.html',1,'SVF::MutablePTData< Key, KeySet, Data, DataSet >'],['../classSVF_1_1MutablePTData.html#a5086e718e98482a7a0330ed05993feaa',1,'SVF::MutablePTData::MutablePTData()']]],
-  ['mutableptdata_3c_20versionedkey_2c_20versionedkeyset_2c_20data_2c_20dataset_20_3e_4141',['MutablePTData< VersionedKey, VersionedKeySet, Data, DataSet >',['../classSVF_1_1MutablePTData.html',1,'SVF']]],
-  ['mutableversionedptdata_4142',['MutableVersionedPTData',['../classSVF_1_1MutableVersionedPTData.html',1,'SVF::MutableVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >'],['../classSVF_1_1MutableVersionedPTData.html#ad2f9950ad71a39c400a4835e6e84fcd9',1,'SVF::MutableVersionedPTData::MutableVersionedPTData()']]],
-  ['mutbase_4143',['MutBase',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848a47a2413878b6ed98b42b9ae10e839072',1,'SVF::PTData']]],
-  ['mutdataflow_4144',['MutDataFlow',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848a46777c0122829cc199bc911e585b4f62',1,'SVF::PTData']]],
-  ['mutdfptdataty_4145',['MutDFPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#ac130bf326911b8e5396f57daa78566e7',1,'SVF::BVDataPTAImpl::MutDFPTDataTy()'],['../classSVF_1_1FlowSensitive.html#a03a3178d88db4efc0593fedb22938e7d',1,'SVF::FlowSensitive::MutDFPTDataTy()']]],
-  ['mutdiff_4146',['MutDiff',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848ac17ed6fa5de5a3f67108692b103a4c87',1,'SVF::PTData']]],
-  ['mutdiffptdataty_4147',['MutDiffPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#ac4e74e6dfee9d08198e0f7e3d76a0646',1,'SVF::BVDataPTAImpl']]],
-  ['mutincdataflow_4148',['MutIncDataFlow',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848aa4e18dfa52aad741c91bcc78339e986c',1,'SVF::PTData']]],
-  ['mutincdfptdataty_4149',['MutIncDFPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#a639446e6bf9712afa439d089b94aefae',1,'SVF::BVDataPTAImpl']]],
-  ['mutptdata_4150',['mutPTData',['../classSVF_1_1MutableDiffPTData.html#a3603cb4baf60b1aa83b7807ac5591484',1,'SVF::MutableDiffPTData::mutPTData()'],['../classSVF_1_1MutableDFPTData.html#acf40f716470f73095d44a1b9e3bb939e',1,'SVF::MutableDFPTData::mutPTData()']]],
-  ['mutptdataty_4151',['MutPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#a533384bd2eb8a1589ba8b7695c759073',1,'SVF::BVDataPTAImpl::MutPTDataTy()'],['../classSVF_1_1CondPTAImpl.html#af3ae2748edfdefaa08a73930bd012d6c',1,'SVF::CondPTAImpl::MutPTDataTy()']]],
-  ['mutversioned_4152',['MutVersioned',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848aac925590471ccb9c851698b232fdd3a5',1,'SVF::PTData']]],
-  ['mutversionedptdataty_4153',['MutVersionedPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#a7fde3e9b189e988cd0a24d567b136e13',1,'SVF::BVDataPTAImpl']]],
-  ['mutype_4154',['MUTYPE',['../classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9b',1,'SVF::MSSAMU']]]
+  ['m_3958',['M',['../classSVF_1_1RaceResultValidator.html#aedc9ec6c3db947fa7e1ef50fbb61e9a8',1,'SVF::RaceResultValidator']]],
+  ['m_5fcond_3959',['m_cond',['../classSVF_1_1CondVar.html#a90b13685d2126f8c10dde4a504bb28df',1,'SVF::CondVar']]],
+  ['m_5fid_3960',['m_id',['../classSVF_1_1CondVar.html#a26fd04b3f2d45f0c230e1823f3eea49a',1,'SVF::CondVar']]],
+  ['main_3961',['main',['../cfl_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627',1,'main(int argc, char **argv): cfl.cpp'],['../dda_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627',1,'main(int argc, char **argv): dda.cpp'],['../svf-ex_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627',1,'main(int argc, char **argv): svf-ex.cpp'],['../llvm2svf_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627',1,'main(int argc, char **argv): llvm2svf.cpp'],['../mta_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627',1,'main(int argc, char **argv): mta.cpp'],['../saber_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627',1,'main(int argc, char **argv): saber.cpp'],['../wpa_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627',1,'main(int argc, char **argv): wpa.cpp']]],
+  ['make_5fpointee_5frange_3962',['make_pointee_range',['../namespaceSVF.html#a41ca7c140a3b61d946e8c6338102986e',1,'SVF']]],
+  ['make_5fpointer_5frange_3963',['make_pointer_range',['../namespaceSVF.html#a7a436778318d16678992a3173988afc2',1,'SVF']]],
+  ['make_5frange_3964',['make_range',['../namespaceSVF.html#a3b6bc8132d0fd4902888ab9f77c20124',1,'SVF::make_range(T x, T y)'],['../namespaceSVF.html#a323872e7b86d109057b3ccbdedee7c86',1,'SVF::make_range(std::pair< T, T > p)']]],
+  ['make_5fvoid_3965',['make_void',['../structSVF_1_1SVFUtil_1_1make__void.html',1,'SVF::SVFUtil']]],
+  ['makeedgeflagwithaddionalopnd_3966',['makeEdgeFlagWithAddionalOpnd',['../classSVF_1_1SVFStmt.html#a3b20523aed66ac8943d7d00ff777137b',1,'SVF::SVFStmt']]],
+  ['makeedgeflagwithcallinst_3967',['makeEdgeFlagWithCallInst',['../classSVF_1_1SVFStmt.html#a4513c6e66b46c36219ba6d7403f3eb00',1,'SVF::SVFStmt']]],
+  ['makeedgeflagwithinvokeid_3968',['makeEdgeFlagWithInvokeID',['../classSVF_1_1ICFGEdge.html#a00b2650d7afd8b98c108d6a168299993',1,'SVF::ICFGEdge::makeEdgeFlagWithInvokeID()'],['../classSVF_1_1PTACallGraphEdge.html#a4eaeb2765fdcc455116537dbe2119800',1,'SVF::PTACallGraphEdge::makeEdgeFlagWithInvokeID()'],['../classSVF_1_1VFGEdge.html#a30c07e8afb0853d4b46cfa722d912650',1,'SVF::VFGEdge::makeEdgeFlagWithInvokeID()']]],
+  ['makeedgeflagwithstoreinst_3969',['makeEdgeFlagWithStoreInst',['../classSVF_1_1SVFStmt.html#ad61722f886afaaee722ac55a4eed4d18',1,'SVF::SVFStmt']]],
+  ['malloc_5ffn_3970',['malloc_fn',['../structcJSON__Hooks.html#a71693d8b277a80a1faf8758b9589d670',1,'cJSON_Hooks']]],
+  ['malloconly_3971',['MallocOnly',['../classSVF_1_1Options.html#a9711cdc976786b3949ac6b26f95b59b0',1,'SVF::Options']]],
+  ['map_3972',['Map',['../namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1',1,'SVF']]],
+  ['map_5fiter_3973',['map_iter',['../namespaceSVF.html#a809dcd83e295c61bb54710ba545d8d96',1,'SVF']]],
+  ['mapped_5fiter_3974',['mapped_iter',['../classSVF_1_1mapped__iter.html',1,'SVF::mapped_iter< ItTy, FuncTy, FuncReturnTy >'],['../classSVF_1_1mapped__iter.html#a08a4c1e7b455fc3786f6bc7e9929120a',1,'SVF::mapped_iter::mapped_iter()']]],
+  ['mappingptr_3975',['MappingPtr',['../classSVF_1_1PointsTo.html#a849f670b38cb6f65fc23707a212591c7',1,'SVF::PointsTo']]],
+  ['mapvaluetoedge_3976',['mapValueToEdge',['../classSVF_1_1IRGraph.html#a51201a8fce21b56e3f59a31af04c7b76',1,'SVF::IRGraph']]],
+  ['markbkvisited_3977',['markbkVisited',['../classSVF_1_1DDAVFSolver.html#a7112ce6145be0855f8b035bb0d8a331c',1,'SVF::DDAVFSolver']]],
+  ['markcxtstmtflag_3978',['markCxtStmtFlag',['../classSVF_1_1LockAnalysis.html#a375cb175ec0068bacaa64cf40a49d485',1,'SVF::LockAnalysis::markCxtStmtFlag()'],['../classSVF_1_1ForkJoinAnalysis.html#ac483d3b0e9084c2033e177eda9ac9215',1,'SVF::ForkJoinAnalysis::markCxtStmtFlag(const CxtStmt &tgr, ValDomain flag)'],['../classSVF_1_1ForkJoinAnalysis.html#a047fbff4be9f94ab12795cd371f60efa',1,'SVF::ForkJoinAnalysis::markCxtStmtFlag(const CxtStmt &tgr, const CxtStmt &src)']]],
+  ['markedclocksonly_3979',['MarkedClocksOnly',['../classSVF_1_1Options.html#abcb6796d45722562546f33b2745a0418',1,'SVF::Options']]],
+  ['markrelprocs_3980',['markRelProcs',['../classSVF_1_1TCT.html#a8bb7ffa8dd185c52e6c150f9bc995511',1,'SVF::TCT::markRelProcs()'],['../classSVF_1_1TCT.html#a0938016193057ff47dbd6b8308e804c5',1,'SVF::TCT::markRelProcs(const SVFFunction *fun)']]],
+  ['markvalidvfedge_3981',['markValidVFEdge',['../classSVF_1_1SVFGBuilder.html#a3f8fc56d5190ea59d06906b359640dae',1,'SVF::SVFGBuilder']]],
+  ['match_3982',['match',['../classSVF_1_1LockResultValidator.html#a4134d0a10f039628e3e77ec256cec8ea',1,'SVF::LockResultValidator']]],
+  ['matchargs_3983',['matchArgs',['../namespaceSVF_1_1SVFUtil.html#af6ccc943516cedd7d8cd1de09d8f554e',1,'SVF::SVFUtil']]],
+  ['matchcontext_3984',['matchContext',['../classSVF_1_1ContextCond.html#ab816f854687999b8c01f5c02fcf6b8af',1,'SVF::ContextCond::matchContext()'],['../classSVF_1_1CxtStmtDPItem.html#a35c0c0d5194983769e313d6e31b3d7ec',1,'SVF::CxtStmtDPItem::matchContext()'],['../classSVF_1_1CxtDPItem.html#ad386861998e54ec754ca62f358f03e6a',1,'SVF::CxtDPItem::matchContext()']]],
+  ['matchcxt_3985',['matchCxt',['../classSVF_1_1MTAResultValidator.html#a6306899b5360e106dd090bea571027bf',1,'SVF::MTAResultValidator::matchCxt()'],['../classSVF_1_1LockAnalysis.html#a78eb13118f947fb1d84e274bb0f46695',1,'SVF::LockAnalysis::matchCxt()'],['../classSVF_1_1MHP.html#a3dc4c80d60039ce5f73583ce32784d82',1,'SVF::MHP::matchCxt()'],['../classSVF_1_1ForkJoinAnalysis.html#ac95b1600aa524c3e607eebcf9d50df0e',1,'SVF::ForkJoinAnalysis::matchCxt()'],['../classSVF_1_1MTAResultValidator.html#a3207f67c8046e64ffd7beb4d5cd6c0e0',1,'SVF::MTAResultValidator::matchCxt()'],['../classSVF_1_1TCT.html#a9b1a5a9feb8cd97b37ee49727536a549',1,'SVF::TCT::matchCxt()']]],
+  ['max_3986',['max',['../classSVF_1_1NumericLiteral.html#a9e7a696842de2a4fae08a75d72a807ec',1,'SVF::NumericLiteral::max()'],['../classSVF_1_1NumericLiteral.html#abeb6260917a412282ddd174bd835cfa2',1,'SVF::NumericLiteral::max(std::vector< NumericLiteral > &_l)']]],
+  ['maxbvlen_3987',['MaxBVLen',['../classSVF_1_1Options.html#a71461051f5fe6b4cc33103746525b23f',1,'SVF::Options::MaxBVLen()'],['../BoundedZ3Expr_8h.html#adf05e95ec112057aa9e9abf8616e40c7',1,'MaxBvLen(): BoundedZ3Expr.h']]],
+  ['maxcontextlen_3988',['MaxContextLen',['../classSVF_1_1Options.html#a6237da3f4e264fa8b63c11d621f39e71',1,'SVF::Options']]],
+  ['maxcxtsize_3989',['MaxCxtSize',['../classSVF_1_1TCT.html#aaae41663b1d1f4d38b047c50c156defb',1,'SVF::TCT']]],
+  ['maxfieldlimit_3990',['MaxFieldLimit',['../classSVF_1_1Options.html#aaab923c093730b1670a54f09340b1bd5',1,'SVF::Options']]],
+  ['maximumbudget_3991',['maximumBudget',['../classSVF_1_1DPItem.html#a5dbb0e6010b38c5b937ff06cb40cd0ef',1,'SVF::DPItem']]],
+  ['maximumcxt_3992',['maximumCxt',['../classSVF_1_1ContextCond.html#a151b9f21eedd4fdd8f46b78bb456582d',1,'SVF::ContextCond']]],
+  ['maximumcxtlen_3993',['maximumCxtLen',['../classSVF_1_1ContextCond.html#a3280db7a2b93612fb693a7c1117acfdd',1,'SVF::ContextCond']]],
+  ['maximumpath_3994',['maximumPath',['../classSVF_1_1ContextCond.html#a7d89351906ef4dff9adb1196f45bc9be',1,'SVF::ContextCond']]],
+  ['maximumpathlen_3995',['maximumPathLen',['../classSVF_1_1ContextCond.html#aa61b4de81e440448daaf0c5be53aebf3',1,'SVF::ContextCond']]],
+  ['maxindegree_3996',['maxInDegree',['../classSVF_1_1SVFGStat.html#a536b591b21756519262873462001f421',1,'SVF::SVFGStat']]],
+  ['maxindindegree_3997',['maxIndInDegree',['../classSVF_1_1SVFGStat.html#a2f1bb17038de877fd1ccffdea3f3cde3',1,'SVF::SVFGStat']]],
+  ['maxindoutdegree_3998',['maxIndOutDegree',['../classSVF_1_1SVFGStat.html#ac7cb2228bd31e8ebdf33ae2bfd399683',1,'SVF::SVFGStat']]],
+  ['maxoffsetlimit_3999',['maxOffsetLimit',['../classSVF_1_1ObjTypeInfo.html#a5ff63eb0654acd152f7d6c18618ee94a',1,'SVF::ObjTypeInfo']]],
+  ['maxoutdegree_4000',['maxOutDegree',['../classSVF_1_1SVFGStat.html#a6694ace7ee1b24b0c5ce42e06e4db2cf',1,'SVF::SVFGStat']]],
+  ['maxpathlen_4001',['MaxPathLen',['../classSVF_1_1Options.html#a63121666a96f6cd2ae56d868c9576a53',1,'SVF::Options']]],
+  ['maxpointstosetsize_4002',['MaxPointsToSetSize',['../classSVF_1_1AndersenBase.html#abd73e930450b7c605f478672bdf9bdae',1,'SVF::AndersenBase']]],
+  ['maxsccsize_4003',['maxSCCSize',['../classSVF_1_1FlowSensitive.html#aa3d4703756a6297ab5c0756172024fe4',1,'SVF::FlowSensitive']]],
+  ['maxstepinwrapper_4004',['MaxStepInWrapper',['../classSVF_1_1Options.html#aab0131558d9da9b0fe888387217ba919',1,'SVF::Options']]],
+  ['maxstruct_4005',['maxStruct',['../classSVF_1_1SymbolTableInfo.html#a0c1143eff451edf8ea47d4487a8d3a55',1,'SVF::SymbolTableInfo']]],
+  ['maxstsize_4006',['maxStSize',['../classSVF_1_1SymbolTableInfo.html#abb8550c9ef856e45cb7675c3796f9a35',1,'SVF::SymbolTableInfo']]],
+  ['maxz3size_4007',['MaxZ3Size',['../classSVF_1_1Options.html#a86f982d9716181bca93a350b5a11a1dc',1,'SVF::Options']]],
+  ['mayaccessaliases_4008',['mayAccessAliases',['../classSVF_1_1RaceResultValidator.html#ade9f150c970aa2cc481c878aebf71662',1,'SVF::RaceResultValidator::mayAccessAliases(const Instruction *I1, const Instruction *I2)'],['../classSVF_1_1RaceResultValidator.html#ade9f150c970aa2cc481c878aebf71662',1,'SVF::RaceResultValidator::mayAccessAliases(const Instruction *I1, const Instruction *I2)']]],
+  ['mayalias_4009',['MayAlias',['../namespaceSVF.html#a61c01e2e687ab3a001fb806737583943aef15fd8989d8dd9576b3fbb2aabc118f',1,'SVF']]],
+  ['mayhappeninparallel_4010',['mayHappenInParallel',['../classSVF_1_1MHPValidator.html#a30bd5d21743e7b49201c13a5f7239123',1,'SVF::MHPValidator::mayHappenInParallel()'],['../classSVF_1_1RaceResultValidator.html#aff51b56e5f7173dd8ac053e5d9b1e97d',1,'SVF::RaceResultValidator::mayHappenInParallel()'],['../classSVF_1_1MHP.html#a15b624924254f5362a3d02fa539a24fb',1,'SVF::MHP::mayHappenInParallel()'],['../classSVF_1_1RaceResultValidator.html#aff51b56e5f7173dd8ac053e5d9b1e97d',1,'SVF::RaceResultValidator::mayHappenInParallel()'],['../classSVF_1_1PCG.html#a0c4d2c2648638794a02d890293a2805d',1,'SVF::PCG::mayHappenInParallel()']]],
+  ['mayhappeninparallelbetweenfunctions_4011',['mayHappenInParallelBetweenFunctions',['../classSVF_1_1PCG.html#af3e4194411bb061802afddacab7587b7',1,'SVF::PCG']]],
+  ['mayhappeninparallelcache_4012',['mayHappenInParallelCache',['../classSVF_1_1MHP.html#a843f1fa52625ec9e844307ba51fec202',1,'SVF::MHP']]],
+  ['mayhappeninparallelinst_4013',['mayHappenInParallelInst',['../classSVF_1_1MHP.html#a0cb1db9943ddc0928afa8e370cbf60c6',1,'SVF::MHP']]],
+  ['mayhavedatarace_4014',['mayHaveDataRace',['../classSVF_1_1RaceResultValidator.html#a1df6b00752e373ac7bf08a2cae0b9641',1,'SVF::RaceResultValidator::mayHaveDataRace(const Instruction *I1, const Instruction *I2)'],['../classSVF_1_1RaceResultValidator.html#a1df6b00752e373ac7bf08a2cae0b9641',1,'SVF::RaceResultValidator::mayHaveDataRace(const Instruction *I1, const Instruction *I2)']]],
+  ['mdef_4015',['MDEF',['../classSVF_1_1MemSSA.html#a57e68097212e88568eea829fb998fe0c',1,'SVF::MemSSA']]],
+  ['mdnode_4016',['MDNode',['../namespaceSVF.html#ad3d3cec1813411f039211c86236f7adb',1,'SVF']]],
+  ['mdstring_4017',['MDString',['../namespaceSVF.html#a28eec26ec8edaa5e96aecfeb01f6c0d4',1,'SVF']]],
+  ['meet_5fwith_4018',['meet_with',['../classSVF_1_1AddressValue.html#a02f61a255d2bbbdc36ee1541248fdbfb',1,'SVF::AddressValue::meet_with()'],['../classSVF_1_1IntervalValue.html#a144e17cec654e83654298b379ed4ce9f',1,'SVF::IntervalValue::meet_with()']]],
+  ['meetwith_4019',['meetWith',['../classSVF_1_1ExeState.html#a80bcce9b4303d651b27332c2fc0d3bdc',1,'SVF::ExeState::meetWith()'],['../classSVF_1_1IntervalExeState.html#a1e5d399b2111d9b8ed17f790cab12d5d',1,'SVF::IntervalExeState::meetWith(const IntervalExeState &other)'],['../classSVF_1_1IntervalExeState.html#a3cadadfd8c2ce6251855f1aa5f2ac8ce',1,'SVF::IntervalExeState::meetWith(VarToValMap *other)']]],
+  ['meld_4020',['meld',['../classSVF_1_1POCRHybridSolver.html#a403f469326cd3066e6352bf2587f983d',1,'SVF::POCRHybridSolver::meld()'],['../classSVF_1_1VersionedFlowSensitive.html#a1da960df51570b59161e380949d910c4',1,'SVF::VersionedFlowSensitive::meld()']]],
+  ['meld_5fh_4021',['meld_h',['../classSVF_1_1POCRHybridSolver.html#a6d3610151daec1ffa26e6b9fccad4e91',1,'SVF::POCRHybridSolver']]],
+  ['meldlabel_4022',['meldLabel',['../classSVF_1_1VersionedFlowSensitive.html#aaff594c78d93f7ad632d344e5c1c7f6a',1,'SVF::VersionedFlowSensitive']]],
+  ['meldlabelingtime_4023',['meldLabelingTime',['../classSVF_1_1VersionedFlowSensitive.html#a4a594c8d6ccaa27b5328c6388fdb258d',1,'SVF::VersionedFlowSensitive']]],
+  ['meldversion_4024',['MeldVersion',['../classSVF_1_1VersionedFlowSensitive.html#a630eeca9c3344d24fa196f7de45bce18',1,'SVF::VersionedFlowSensitive']]],
+  ['mem_4025',['mem',['../classSVF_1_1ObjVar.html#a3d08dc1d15a449ff4b7018da4bfdcb88',1,'SVF::ObjVar']]],
+  ['memchr_4026',['memchr',['../extapi_8c.html#a8b9b7da7d0b91e982da9acf6f63cdbc5',1,'extapi.c']]],
+  ['memobj_4027',['MemObj',['../classSVF_1_1MemObj.html',1,'SVF::MemObj'],['../classSVF_1_1MemObj.html#af588c401d129de6ba9abc1819774e342',1,'SVF::MemObj::MemObj()']]],
+  ['memobjmap_4028',['memObjMap',['../classSVF_1_1SymbolTableInfoReader.html#a0bf60f2250c864592c507dd6b03800a9',1,'SVF::SymbolTableInfoReader']]],
+  ['memobjtofieldsmap_4029',['MemObjToFieldsMap',['../classSVF_1_1SVFIR.html#ab6abb822445c9b3f5cb2b7206042e940',1,'SVF::SVFIR']]],
+  ['memorylocation_4030',['MemoryLocation',['../namespaceSVF.html#a339bbddac9d9dffd5ef602200d34c403',1,'SVF']]],
+  ['mempar_4031',['MemPar',['../classSVF_1_1Options.html#aa127a32b03e381343c624e53adc4ef2e',1,'SVF::Options']]],
+  ['mempartition_4032',['MemPartition',['../classSVF_1_1MemSSA.html#ac0797f2ee7b59ae720095a4836533671',1,'SVF::MemSSA']]],
+  ['mempartition_2ecpp_4033',['MemPartition.cpp',['../MemPartition_8cpp.html',1,'']]],
+  ['mempartition_2eh_4034',['MemPartition.h',['../MemPartition_8h.html',1,'']]],
+  ['memregion_4035',['MemRegion',['../classSVF_1_1MemRegion.html',1,'SVF::MemRegion'],['../classSVF_1_1MemRegion.html#a1d8189977196da687f50cfa6df98394b',1,'SVF::MemRegion::MemRegion()']]],
+  ['memregion_2ecpp_4036',['MemRegion.cpp',['../MemRegion_8cpp.html',1,'']]],
+  ['memregion_2eh_4037',['MemRegion.h',['../MemRegion_8h.html',1,'']]],
+  ['memregset_4038',['memRegSet',['../classSVF_1_1MRGenerator.html#af94bd8155a23273aab2396334d905119',1,'SVF::MRGenerator']]],
+  ['memregtobbsmap_4039',['MemRegToBBsMap',['../classSVF_1_1MemSSA.html#a8d0c1a00d7db194da66c685d79e73de5',1,'SVF::MemSSA']]],
+  ['memregtocountermap_4040',['MemRegToCounterMap',['../classSVF_1_1MemSSA.html#ae1aca020147c270deca2a1241e3847d0',1,'SVF::MemSSA']]],
+  ['memregtoverstackmap_4041',['MemRegToVerStackMap',['../classSVF_1_1MemSSA.html#aa9dbaf51f0498f3bd878827744208899',1,'SVF::MemSSA']]],
+  ['memssa_4042',['MemSSA',['../classSVF_1_1MemSSA.html',1,'SVF::MemSSA'],['../classSVF_1_1CFLVF.html#a42998aacf670d108b2a00b8993507e1e',1,'SVF::CFLVF::memSSA()'],['../classSVF_1_1SrcSnkDDA.html#ab6803f0a2b3507213ad2979b9b12f700',1,'SVF::SrcSnkDDA::memSSA()'],['../classSVF_1_1FlowSensitive.html#a76f6f19ac2b58ab4a10a2d7e6e24e42a',1,'SVF::FlowSensitive::memSSA()'],['../classSVF_1_1MemSSA.html#a6bd57451370f5f4c92ce212be4cddd15',1,'SVF::MemSSA::MemSSA()']]],
+  ['memssa_2ecpp_4043',['MemSSA.cpp',['../MemSSA_8cpp.html',1,'']]],
+  ['memssa_2eh_4044',['MemSSA.h',['../MemSSA_8h.html',1,'']]],
+  ['memssastat_4045',['MemSSAStat',['../classSVF_1_1MemSSAStat.html',1,'SVF::MemSSAStat'],['../classSVF_1_1MemSSAStat.html#a53f3d85a8eb63676d3dc47ee648efb66',1,'SVF::MemSSAStat::MemSSAStat()']]],
+  ['memtofieldsmap_4046',['memToFieldsMap',['../classSVF_1_1SVFIR.html#a3c014227661d8976714772205611c252',1,'SVF::SVFIR']]],
+  ['memtype_4047',['MEMTYPE',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830',1,'SVF::ObjTypeInfo']]],
+  ['mergefunctionrets_4048',['MergeFunctionRets',['../classSVF_1_1MergeFunctionRets.html',1,'SVF::MergeFunctionRets'],['../classSVF_1_1MergeFunctionRets.html#a2b989707893cd81dd275be6a3b8c79fc',1,'SVF::MergeFunctionRets::MergeFunctionRets()']]],
+  ['mergenodetorep_4049',['mergeNodeToRep',['../classSVF_1_1Andersen.html#a36729160041bc3a3e2b0a92b29062848',1,'SVF::Andersen']]],
+  ['mergeptsoccmaps_4050',['mergePtsOccMaps',['../namespaceSVF_1_1SVFUtil.html#a36c91f952a69875c33d4bd0b05a27ff2',1,'SVF::SVFUtil']]],
+  ['mergescccycle_4051',['mergeSccCycle',['../classSVF_1_1Andersen.html#ac86ffd334568e4df5c08b3c827018bef',1,'SVF::Andersen']]],
+  ['mergesccnodes_4052',['mergeSccNodes',['../classSVF_1_1Andersen.html#a1ba1e1e36af289982146de06cf06ab0a',1,'SVF::Andersen']]],
+  ['mergespan_4053',['mergeSpan',['../classSVF_1_1MTASVFGBuilder.html#ae028fe894e3c6e7fd0ad6feeaa64320e',1,'SVF::MTASVFGBuilder']]],
+  ['mergesrctotgt_4054',['mergeSrcToTgt',['../classSVF_1_1Andersen.html#ae6b1e54a389abc68994219e39539127e',1,'SVF::Andersen::mergeSrcToTgt()'],['../classSVF_1_1AndersenSFR.html#ac5f406db5610347564fceff4d36f6a6f',1,'SVF::AndersenSFR::mergeSrcToTgt()']]],
+  ['metadataasvalue_4055',['MetadataAsValue',['../namespaceSVF.html#a773900ea3c75022657aac1abf59fa51b',1,'SVF']]],
+  ['metasame_4056',['metaSame',['../classSVF_1_1PointsTo.html#aa1e773b7abda97441d6ffe39c668d4ec',1,'SVF::PointsTo']]],
+  ['mfspta_4057',['mfspta',['../classSVF_1_1FSMPTA.html#af248a80855457ca9e5a7208c114681bb',1,'SVF::FSMPTA']]],
+  ['mhp_4058',['MHP',['../classSVF_1_1MHP.html',1,'SVF::MHP'],['../classSVF_1_1MTAAnnotator.html#a94d7a3fd9166126c052fca28f9a4c825',1,'SVF::MTAAnnotator::mhp()'],['../classSVF_1_1MHPValidator.html#ad6e417ad7f0b1b399822eaa62d83341d',1,'SVF::MHPValidator::mhp()'],['../classSVF_1_1MTAResultValidator.html#a2a21cbdf9513e9fe4fa6c6ae56618b18',1,'SVF::MTAResultValidator::mhp()'],['../classSVF_1_1MTASVFGBuilder.html#a73024bf30aa3ec79e5953a7ea1f8feb7',1,'SVF::MTASVFGBuilder::mhp()'],['../classSVF_1_1FSMPTA.html#aa8dcd130d4b9283fc6b903de8e4ad830',1,'SVF::FSMPTA::mhp()'],['../classSVF_1_1MTA.html#a957925a4ae00e48f77a58697853f3cc3',1,'SVF::MTA::mhp()'],['../classSVF_1_1MHP.html#abf1f5a7c365dfb95b42015b7b2ad6fbe',1,'SVF::MHP::MHP()']]],
+  ['mhp_2ecpp_4059',['MHP.cpp',['../MHP_8cpp.html',1,'']]],
+  ['mhp_2eh_4060',['MHP.h',['../MHP_8h.html',1,'']]],
+  ['mhpfuns_4061',['mhpfuns',['../classSVF_1_1PCG.html#a96f91b051a8035b614e015bf4d5081e0',1,'SVF::PCG']]],
+  ['mhptime_4062',['MHPTime',['../classSVF_1_1MTAStat.html#a56411f7e64febab8aab94a4a9207e5d8',1,'SVF::MTAStat']]],
+  ['mhpvalidator_4063',['MHPValidator',['../classSVF_1_1MHPValidator.html',1,'SVF::MHPValidator'],['../classSVF_1_1MHPValidator.html#ab00f7f49e626f55184101acbe28cf3b1',1,'SVF::MHPValidator::MHPValidator()']]],
+  ['min_4064',['min',['../classSVF_1_1NumericLiteral.html#ab4f45675a9fecb201d0fe05d107fcb97',1,'SVF::NumericLiteral::min()'],['../classSVF_1_1NumericLiteral.html#a96a8e27a0187360eadc2a6821d163ae3',1,'SVF::NumericLiteral::min(std::vector< NumericLiteral > &_l)']]],
+  ['minify_5fstring_4065',['minify_string',['../cJSON_8cpp.html#a569f331078de59d01dee9351fa106e3b',1,'cJSON.cpp']]],
+  ['minterphi_4066',['MInterPhi',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8',1,'SVF::VFGNode']]],
+  ['mintraphi_4067',['MIntraPhi',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abde838081562229a5a5ca8bb250d5e18',1,'SVF::VFGNode']]],
+  ['minus_5finfinity_4068',['minus_infinity',['../classSVF_1_1BoundedZ3Expr.html#a033ae449eba6157a1506f716cecc1a7b',1,'SVF::BoundedZ3Expr::minus_infinity()'],['../classSVF_1_1IntervalValue.html#a43f48c744f7bda0dc689b8f186449371',1,'SVF::IntervalValue::minus_infinity()'],['../classSVF_1_1NumericLiteral.html#ac0872619aefd1f680d08d3ec4360537c',1,'SVF::NumericLiteral::minus_infinity()']]],
+  ['mod_4069',['mod',['../classSVF_1_1MTAResultValidator.html#a5a0f25f5718d84f251331a2e2d207108',1,'SVF::MTAResultValidator::mod()'],['../classSVF_1_1PCG.html#a985b0c790c582d15e6242950ac66f574',1,'SVF::PCG::mod()'],['../classSVF_1_1SymbolTableInfo.html#af8fdaaa03cd2ae9b7d50f57bc678b8ba',1,'SVF::SymbolTableInfo::mod()'],['../namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844aea8604a04fd5c658e0ca8b9177316ba0',1,'SVF::Mod()']]],
+  ['modelarrays_4070',['ModelArrays',['../classSVF_1_1Options.html#a429c3000ee2ac45119b8c241aa06762c',1,'SVF::Options']]],
+  ['modelconstants_4071',['modelConstants',['../classSVF_1_1SymbolTableInfo.html#ad20ccb90e8f9dee488a8aec0600399dc',1,'SVF::SymbolTableInfo']]],
+  ['modelconsts_4072',['ModelConsts',['../classSVF_1_1Options.html#a18dd95e01a50aa82165c46a3801053c5',1,'SVF::Options']]],
+  ['modref_4073',['ModRef',['../namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844a7f99364c041329bd5758261c8c440b30',1,'SVF']]],
+  ['modrefanalysis_4074',['modRefAnalysis',['../classSVF_1_1MRGenerator.html#adc9d530e6f010596d91cd3711dc1358b',1,'SVF::MRGenerator']]],
+  ['modrefinfo_4075',['ModRefInfo',['../namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844',1,'SVF']]],
+  ['module_4076',['module',['../classSVF_1_1DDAClient.html#a4ac68012099540beb87ee4700e824d64',1,'SVF::DDAClient::module()'],['../namespaceSVF.html#aa7a770b5dd5cd0e37d06a1088f252906',1,'SVF::Module()']]],
+  ['moduleflagvalue_4077',['moduleFlagValue',['../namespaceSVF_1_1cppUtil_1_1ctir.html#a05c7c51164928786d70713094db7f3f3',1,'SVF::cppUtil::ctir']]],
+  ['moduleidentifier_4078',['moduleIdentifier',['../classSVF_1_1SVFModule.html#ac40e98040f949171279afec54bb03f71',1,'SVF::SVFModule']]],
+  ['modulename_4079',['moduleName',['../classSVF_1_1SVFStat.html#a3333e45303dcc9c3da00858628cdbbff',1,'SVF::SVFStat']]],
+  ['modulepass_4080',['ModulePass',['../namespaceSVF.html#ac226d84f86637126d17f6814632c8a90',1,'SVF']]],
+  ['modules_4081',['modules',['../classSVF_1_1LLVMModuleSet.html#acde6292e719c80f93d3d1c344ab442cd',1,'SVF::LLVMModuleSet']]],
+  ['move_4082',['move',['../namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016',1,'SVF::SVFUtil']]],
+  ['moveedgestorepnode_4083',['moveEdgesToRepNode',['../classSVF_1_1ConstraintGraph.html#aabe2861fcbc364e2c8aa8114d4879c39',1,'SVF::ConstraintGraph']]],
+  ['moveinedgestorepnode_4084',['moveInEdgesToRepNode',['../classSVF_1_1ConstraintGraph.html#a081bf1238121eb52a0c9ad60f77ecbcd',1,'SVF::ConstraintGraph']]],
+  ['moveoutedgestorepnode_4085',['moveOutEdgesToRepNode',['../classSVF_1_1ConstraintGraph.html#aa436aac95be84d1946169f4984deae59',1,'SVF::ConstraintGraph']]],
+  ['movetoglobal_4086',['moveToGlobal',['../classSVF_1_1SVFIR2ConsExeState.html#a213e6f6dd1ad0e2e0b525f1b55735553',1,'SVF::SVFIR2ConsExeState::moveToGlobal()'],['../classSVF_1_1SVFIR2ItvExeState.html#af80d7665d9815a80ffdba92c3ba029d1',1,'SVF::SVFIR2ItvExeState::moveToGlobal()']]],
+  ['mphi_4087',['MPhi',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aac6fa19473ed8b90a7fd8c9080e5e014',1,'SVF::VFGNode']]],
+  ['mr_4088',['mr',['../classSVF_1_1MRVer.html#aafe30801672cd436216386ad6ff479e6',1,'SVF::MRVer::mr()'],['../classSVF_1_1MSSAMU.html#a51b89fa50c39d864cc9ca63508ea94f4',1,'SVF::MSSAMU::mr()'],['../classSVF_1_1MSSADEF.html#a01bc47f779d20fa8e3be182ceab12780',1,'SVF::MSSADEF::mr()']]],
+  ['mr2countermap_4089',['mr2CounterMap',['../classSVF_1_1MemSSA.html#a22e2dd0fc78877bdedd207a40540a634',1,'SVF::MemSSA']]],
+  ['mr2verstackmap_4090',['mr2VerStackMap',['../classSVF_1_1MemSSA.html#ae4c7b17d8da8278dca362af79f9f268d',1,'SVF::MemSSA']]],
+  ['mremap_4091',['mremap',['../extapi_8c.html#aa1540638fbde3dc27844fbd24db1e642',1,'extapi.c']]],
+  ['mrgen_4092',['mrGen',['../classSVF_1_1MemSSA.html#a213ebe634bbdbe33460ccd941c1dc6a5',1,'SVF::MemSSA']]],
+  ['mrgenerator_4093',['MRGenerator',['../classSVF_1_1MRGenerator.html',1,'SVF::MRGenerator'],['../classSVF_1_1MRGenerator.html#ac8fedbb65a582135354c939183d48f46',1,'SVF::MRGenerator::MRGenerator()']]],
+  ['mrid_4094',['MRID',['../namespaceSVF.html#a1ed5cfc8a00b2d3b90e74debabaa62a5',1,'SVF']]],
+  ['mrset_4095',['MRSet',['../classSVF_1_1MRGenerator.html#a98ac3bf264e6a85d172c2c4264ea908f',1,'SVF::MRGenerator::MRSet()'],['../classSVF_1_1MemSSA.html#a37b84780f57cbee50cf957cfbab195c1',1,'SVF::MemSSA::MRSet()']]],
+  ['mrsvfgnode_4096',['MRSVFGNode',['../classSVF_1_1MRSVFGNode.html',1,'SVF::MRSVFGNode'],['../classSVF_1_1MRSVFGNode.html#a2c2b0476c49c5f2d4ebe6eec22c7345f',1,'SVF::MRSVFGNode::MRSVFGNode()']]],
+  ['mrvector_4097',['MRVector',['../classSVF_1_1MemSSA.html#a7c3fda6f082231350524c2d7c16f067e',1,'SVF::MemSSA']]],
+  ['mrver_4098',['MRVer',['../classSVF_1_1MRVer.html',1,'SVF::MRVer'],['../classSVF_1_1MRVer.html#a15c18c76e5911e472747183f35cd7028',1,'SVF::MRVer::MRVer()']]],
+  ['mrverid_4099',['MRVERID',['../namespaceSVF.html#a0039280e908258b8e73779de51e9f63b',1,'SVF']]],
+  ['mrverset_4100',['MRVerSet',['../classSVF_1_1IndirectSVFGEdge.html#a0df62e44e394d4b4cc30b5012308eb11',1,'SVF::IndirectSVFGEdge']]],
+  ['mrversion_4101',['MRVERSION',['../namespaceSVF.html#a39df0130e37e97db2ff7620bbb2a72f5',1,'SVF']]],
+  ['mssa_4102',['mssa',['../classSVF_1_1SVFG.html#aa6a563cab8678b2256ca6ae7838285c8',1,'SVF::SVFG::mssa()'],['../classSVF_1_1MemSSAStat.html#ab29515f4e5b1f090c06a6e39761d3394',1,'SVF::MemSSAStat::mssa()']]],
+  ['mssachi_4103',['MSSACHI',['../classSVF_1_1MSSACHI.html',1,'SVF::MSSACHI< Cond >'],['../classSVF_1_1MSSACHI.html#af9ecdf852667bd23fe4805ba04c3e815',1,'SVF::MSSACHI::MSSACHI()']]],
+  ['mssadef_4104',['MSSADEF',['../classSVF_1_1MSSADEF.html',1,'SVF::MSSADEF'],['../classSVF_1_1MRVer.html#a1f51f0c2ae814b2170e549ea1122a99f',1,'SVF::MRVer::MSSADef()'],['../classSVF_1_1MSSADEF.html#a1b1c7cbc293182a5ded43efa522990de',1,'SVF::MSSADEF::MSSADEF()']]],
+  ['mssafun_4105',['MSSAFun',['../classSVF_1_1Options.html#aa8818e8138233838af224d4214de9e8f',1,'SVF::Options']]],
+  ['mssamu_4106',['MSSAMU',['../classSVF_1_1MSSAMU.html',1,'SVF::MSSAMU< Cond >'],['../classSVF_1_1MSSAMU.html#a1d0f8d3e7651f4ace92d31a9c6604e2f',1,'SVF::MSSAMU::MSSAMU()']]],
+  ['mssamuchi_2eh_4107',['MSSAMuChi.h',['../MSSAMuChi_8h.html',1,'']]],
+  ['mssaphi_4108',['MSSAPHI',['../classSVF_1_1MSSAPHI.html',1,'SVF::MSSAPHI< Cond >'],['../classSVF_1_1MSSAPHI.html#a5bf48995f87393d20bdedc6749c75ae5',1,'SVF::MSSAPHI::MSSAPHI()']]],
+  ['mssaphisvfgnode_4109',['MSSAPHISVFGNode',['../classSVF_1_1MSSAPHISVFGNode.html',1,'SVF::MSSAPHISVFGNode'],['../classSVF_1_1MSSAPHISVFGNode.html#aec8a372f9024af27a87c5b43e4dc633d',1,'SVF::MSSAPHISVFGNode::MSSAPHISVFGNode()']]],
+  ['mssavartodefmap_4110',['MSSAVarToDefMap',['../classSVF_1_1SVFG.html#aafa1b445bd3578daaba8f82e517745f1',1,'SVF::SVFG']]],
+  ['mssavartodefmapty_4111',['MSSAVarToDefMapTy',['../classSVF_1_1SVFG.html#ac84d3749671f177b14749a825e36efe3',1,'SVF::SVFG']]],
+  ['mta_4112',['MTA',['../classSVF_1_1MTA.html',1,'SVF::MTA'],['../classSVF_1_1MTA.html#ab25d605ed6040a9ad6ed6fcec4e8d338',1,'SVF::MTA::MTA()']]],
+  ['mta_2ecpp_4113',['mta.cpp',['../mta_8cpp.html',1,'(Global Namespace)'],['../MTA_8cpp.html',1,'(Global Namespace)']]],
+  ['mta_2eh_4114',['MTA.h',['../MTA_8h.html',1,'']]],
+  ['mtaannotator_4115',['MTAAnnotator',['../classSVF_1_1MTAAnnotator.html',1,'SVF::MTAAnnotator'],['../classSVF_1_1MTAAnnotator.html#a37ae5e04b0f5560d0f6c2f143b325cd4',1,'SVF::MTAAnnotator::MTAAnnotator()']]],
+  ['mtaannotator_2ecpp_4116',['MTAAnnotator.cpp',['../MTAAnnotator_8cpp.html',1,'']]],
+  ['mtaannotator_2eh_4117',['MTAAnnotator.h',['../MTAAnnotator_8h.html',1,'']]],
+  ['mtaresultvalidator_4118',['MTAResultValidator',['../classSVF_1_1MTAResultValidator.html',1,'SVF::MTAResultValidator'],['../classSVF_1_1MTAResultValidator.html#af7f90c7a146c085d3b432ab40fb3777e',1,'SVF::MTAResultValidator::MTAResultValidator(MHP *mh)'],['../classSVF_1_1MTAResultValidator.html#af7f90c7a146c085d3b432ab40fb3777e',1,'SVF::MTAResultValidator::MTAResultValidator(MHP *mh)']]],
+  ['mtaresultvalidator_2ecpp_4119',['MTAResultValidator.cpp',['../MTAResultValidator_8cpp.html',1,'']]],
+  ['mtaresultvalidator_2eh_4120',['MTAResultValidator.h',['../svf-llvm_2tools_2MTA_2MTAResultValidator_8h.html',1,'(Global Namespace)'],['../svf_2include_2MTA_2MTAResultValidator_8h.html',1,'(Global Namespace)']]],
+  ['mtastat_4121',['MTAStat',['../classSVF_1_1MTAStat.html',1,'SVF::MTAStat'],['../classSVF_1_1MTAStat.html#a10631a14fd258679f98c17622de4352a',1,'SVF::MTAStat::MTAStat()']]],
+  ['mtastat_2ecpp_4122',['MTAStat.cpp',['../MTAStat_8cpp.html',1,'']]],
+  ['mtastat_2eh_4123',['MTAStat.h',['../MTAStat_8h.html',1,'']]],
+  ['mtasvfgbuilder_4124',['MTASVFGBuilder',['../classSVF_1_1MTASVFGBuilder.html',1,'SVF::MTASVFGBuilder'],['../classSVF_1_1SVFG.html#ac0e43f4a2043538c9046f95826caa725',1,'SVF::SVFG::MTASVFGBuilder()'],['../classSVF_1_1MTASVFGBuilder.html#ae0cbe965ddbc511fb10e87fe8ae3912f',1,'SVF::MTASVFGBuilder::MTASVFGBuilder()']]],
+  ['mu_4125',['MU',['../classSVF_1_1SVFG.html#a7f4deffe7e13352b8c13eab110c834cc',1,'SVF::SVFG::MU()'],['../classSVF_1_1MemSSA.html#a2b4f3b19b32ac61dd1932faa82b93d8b',1,'SVF::MemSSA::MU()']]],
+  ['mul_4126',['Mul',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a787e5771d6e70f3cbec3e2a33f5a4e8a',1,'SVF::BinaryOPStmt']]],
+  ['multi_5finheritance_4127',['MULTI_INHERITANCE',['../classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3a1d2b2d38bfc09259f63933e9ab23aecc',1,'SVF::DCHNode::MULTI_INHERITANCE()'],['../classSVF_1_1CHNode.html#a7111a3971f9f03e32bfd291a783d43b4afd6d851b22e741690f0736b4858d81a5',1,'SVF::CHNode::MULTI_INHERITANCE()']]],
+  ['multiforked_4128',['multiforked',['../classSVF_1_1TCTNode.html#a414f4b98fb8fd36d2cb381ff56eb98d8',1,'SVF::TCTNode']]],
+  ['multiopndlabelcounter_4129',['multiOpndLabelCounter',['../classSVF_1_1SVFStmt.html#a9ea22adbfc307dddee42ffec07cc88ed',1,'SVF::SVFStmt']]],
+  ['multiopndstmt_4130',['MultiOpndStmt',['../classSVF_1_1MultiOpndStmt.html',1,'SVF::MultiOpndStmt'],['../classSVF_1_1MultiOpndStmt.html#a60420a9681df31686eb4a42adf37e1e3',1,'SVF::MultiOpndStmt::MultiOpndStmt()'],['../classSVF_1_1MultiOpndStmt.html#a6b01d569057dda1783503563c20c74e6',1,'SVF::MultiOpndStmt::MultiOpndStmt(const MultiOpndStmt &)'],['../classSVF_1_1MultiOpndStmt.html#aaa85920507005b39a670b6d226159e58',1,'SVF::MultiOpndStmt::MultiOpndStmt(SVFVar *r, const OPVars &opnds, GEdgeFlag k)'],['../classSVF_1_1MultiOpndStmt.html#a9f08a5f30b79e3448b1788e4b087d04b',1,'SVF::MultiOpndStmt::MultiOpndStmt(GEdgeFlag k)']]],
+  ['muset_4131',['MUSet',['../classSVF_1_1SVFG.html#acdbe1c510273107b708935061b6c4127',1,'SVF::SVFG::MUSet()'],['../classSVF_1_1MemSSA.html#a81bba824495a882b49e687683954b112',1,'SVF::MemSSA::MUSet()']]],
+  ['mustalias_4132',['mustAlias',['../classSVF_1_1CondPTAImpl.html#a3b5877fec52bbfa7c83bab6c9bc95684',1,'SVF::CondPTAImpl::mustAlias()'],['../namespaceSVF.html#a61c01e2e687ab3a001fb806737583943ab58a0391f037031a51016ebfe2a752b2',1,'SVF::MustAlias()']]],
+  ['mutable_4133',['Mutable',['../classSVF_1_1BVDataPTAImpl.html#ad76328a8543b02784992afc2d5501d8aa1cfb236b5127b660373c36b77a79ab5e',1,'SVF::BVDataPTAImpl']]],
+  ['mutabledfptdata_4134',['MutableDFPTData',['../classSVF_1_1MutableDFPTData.html',1,'SVF::MutableDFPTData< Key, KeySet, Data, DataSet >'],['../classSVF_1_1MutableDFPTData.html#aed141fb836cb22e02032ea46e3e5f51b',1,'SVF::MutableDFPTData::MutableDFPTData()']]],
+  ['mutabledfptdata_3c_20key_2c_20keyset_2c_20data_2c_20dataset_20_3e_4135',['MutableDFPTData< Key, KeySet, Data, DataSet >',['../classSVF_1_1MutablePTData.html#ad92cfe345043b1bc8d6c7a03df43310f',1,'SVF::MutablePTData']]],
+  ['mutablediffptdata_4136',['MutableDiffPTData',['../classSVF_1_1MutableDiffPTData.html',1,'SVF::MutableDiffPTData< Key, KeySet, Data, DataSet >'],['../classSVF_1_1MutableDiffPTData.html#ae087d0307844312710c2d4c05535ea86',1,'SVF::MutableDiffPTData::MutableDiffPTData()']]],
+  ['mutableincdfptdata_4137',['MutableIncDFPTData',['../classSVF_1_1MutableIncDFPTData.html',1,'SVF::MutableIncDFPTData< Key, KeySet, Data, DataSet >'],['../classSVF_1_1MutableIncDFPTData.html#a9b06421a9043dc61485acf51cfc26a91',1,'SVF::MutableIncDFPTData::MutableIncDFPTData()']]],
+  ['mutablepointstods_2eh_4138',['MutablePointsToDS.h',['../MutablePointsToDS_8h.html',1,'']]],
+  ['mutableptdata_4139',['MutablePTData',['../classSVF_1_1MutablePTData.html',1,'SVF::MutablePTData< Key, KeySet, Data, DataSet >'],['../classSVF_1_1MutablePTData.html#a5086e718e98482a7a0330ed05993feaa',1,'SVF::MutablePTData::MutablePTData()']]],
+  ['mutableptdata_3c_20versionedkey_2c_20versionedkeyset_2c_20data_2c_20dataset_20_3e_4140',['MutablePTData< VersionedKey, VersionedKeySet, Data, DataSet >',['../classSVF_1_1MutablePTData.html',1,'SVF']]],
+  ['mutableversionedptdata_4141',['MutableVersionedPTData',['../classSVF_1_1MutableVersionedPTData.html',1,'SVF::MutableVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >'],['../classSVF_1_1MutableVersionedPTData.html#ad2f9950ad71a39c400a4835e6e84fcd9',1,'SVF::MutableVersionedPTData::MutableVersionedPTData()']]],
+  ['mutbase_4142',['MutBase',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848a47a2413878b6ed98b42b9ae10e839072',1,'SVF::PTData']]],
+  ['mutdataflow_4143',['MutDataFlow',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848a46777c0122829cc199bc911e585b4f62',1,'SVF::PTData']]],
+  ['mutdfptdataty_4144',['MutDFPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#ac130bf326911b8e5396f57daa78566e7',1,'SVF::BVDataPTAImpl::MutDFPTDataTy()'],['../classSVF_1_1FlowSensitive.html#a03a3178d88db4efc0593fedb22938e7d',1,'SVF::FlowSensitive::MutDFPTDataTy()']]],
+  ['mutdiff_4145',['MutDiff',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848ac17ed6fa5de5a3f67108692b103a4c87',1,'SVF::PTData']]],
+  ['mutdiffptdataty_4146',['MutDiffPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#ac4e74e6dfee9d08198e0f7e3d76a0646',1,'SVF::BVDataPTAImpl']]],
+  ['mutincdataflow_4147',['MutIncDataFlow',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848aa4e18dfa52aad741c91bcc78339e986c',1,'SVF::PTData']]],
+  ['mutincdfptdataty_4148',['MutIncDFPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#a639446e6bf9712afa439d089b94aefae',1,'SVF::BVDataPTAImpl']]],
+  ['mutptdata_4149',['mutPTData',['../classSVF_1_1MutableDiffPTData.html#a3603cb4baf60b1aa83b7807ac5591484',1,'SVF::MutableDiffPTData::mutPTData()'],['../classSVF_1_1MutableDFPTData.html#acf40f716470f73095d44a1b9e3bb939e',1,'SVF::MutableDFPTData::mutPTData()']]],
+  ['mutptdataty_4150',['MutPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#a533384bd2eb8a1589ba8b7695c759073',1,'SVF::BVDataPTAImpl::MutPTDataTy()'],['../classSVF_1_1CondPTAImpl.html#af3ae2748edfdefaa08a73930bd012d6c',1,'SVF::CondPTAImpl::MutPTDataTy()']]],
+  ['mutversioned_4151',['MutVersioned',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848aac925590471ccb9c851698b232fdd3a5',1,'SVF::PTData']]],
+  ['mutversionedptdataty_4152',['MutVersionedPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#a7fde3e9b189e988cd0a24d567b136e13',1,'SVF::BVDataPTAImpl']]],
+  ['mutype_4153',['MUTYPE',['../classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9b',1,'SVF::MSSAMU']]]
 ];