svf-tools 1.0.892 → 1.0.894

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

@@ -1,207 +1,207 @@
 var searchData=
 [
-  ['m_4186',['M',['../classSVF_1_1RaceResultValidator.html#aedc9ec6c3db947fa7e1ef50fbb61e9a8',1,'SVF::RaceResultValidator']]],
-  ['m_5fcond_4187',['m_cond',['../classSVF_1_1CondVar.html#a90b13685d2126f8c10dde4a504bb28df',1,'SVF::CondVar']]],
-  ['m_5fid_4188',['m_id',['../classSVF_1_1CondVar.html#a26fd04b3f2d45f0c230e1823f3eea49a',1,'SVF::CondVar']]],
-  ['main_4189',['main',['../ae_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627',1,'main(int argc, char **argv): ae.cpp'],['../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_4190',['make_pointee_range',['../namespaceSVF.html#a41ca7c140a3b61d946e8c6338102986e',1,'SVF']]],
-  ['make_5fpointer_5frange_4191',['make_pointer_range',['../namespaceSVF.html#a7a436778318d16678992a3173988afc2',1,'SVF']]],
-  ['make_5frange_4192',['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_4193',['make_void',['../structSVF_1_1SVFUtil_1_1make__void.html',1,'SVF::SVFUtil']]],
-  ['makeedgeflagwithaddionalopnd_4194',['makeEdgeFlagWithAddionalOpnd',['../classSVF_1_1SVFStmt.html#a3b20523aed66ac8943d7d00ff777137b',1,'SVF::SVFStmt']]],
-  ['makeedgeflagwithcallinst_4195',['makeEdgeFlagWithCallInst',['../classSVF_1_1SVFStmt.html#a4513c6e66b46c36219ba6d7403f3eb00',1,'SVF::SVFStmt']]],
-  ['makeedgeflagwithinvokeid_4196',['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_4197',['makeEdgeFlagWithStoreInst',['../classSVF_1_1SVFStmt.html#ad61722f886afaaee722ac55a4eed4d18',1,'SVF::SVFStmt']]],
-  ['malloc_5ffn_4198',['malloc_fn',['../structcJSON__Hooks.html#a71693d8b277a80a1faf8758b9589d670',1,'cJSON_Hooks']]],
-  ['map_4199',['Map',['../namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1',1,'SVF']]],
-  ['map_5fiter_4200',['map_iter',['../namespaceSVF.html#a809dcd83e295c61bb54710ba545d8d96',1,'SVF']]],
-  ['mapped_5fiter_4201',['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_4202',['MappingPtr',['../classSVF_1_1PointsTo.html#a849f670b38cb6f65fc23707a212591c7',1,'SVF::PointsTo']]],
-  ['mapvaluetoedge_4203',['mapValueToEdge',['../classSVF_1_1IRGraph.html#a51201a8fce21b56e3f59a31af04c7b76',1,'SVF::IRGraph']]],
-  ['markbkvisited_4204',['markbkVisited',['../classSVF_1_1DDAVFSolver.html#a7112ce6145be0855f8b035bb0d8a331c',1,'SVF::DDAVFSolver']]],
-  ['markcxtstmtflag_4205',['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_4206',['MarkedClocksOnly',['../classSVF_1_1Options.html#abcb6796d45722562546f33b2745a0418',1,'SVF::Options']]],
-  ['markrecursivefuns_4207',['markRecursiveFuns',['../classSVF_1_1AbstractExecution.html#ae641b5687513661a2542e8318430d760',1,'SVF::AbstractExecution']]],
-  ['markrelprocs_4208',['markRelProcs',['../classSVF_1_1TCT.html#a8bb7ffa8dd185c52e6c150f9bc995511',1,'SVF::TCT::markRelProcs()'],['../classSVF_1_1TCT.html#a0938016193057ff47dbd6b8308e804c5',1,'SVF::TCT::markRelProcs(const SVFFunction *fun)']]],
-  ['markvalidvfedge_4209',['markValidVFEdge',['../classSVF_1_1SVFGBuilder.html#a3f8fc56d5190ea59d06906b359640dae',1,'SVF::SVFGBuilder']]],
-  ['match_4210',['match',['../classSVF_1_1LockResultValidator.html#a4134d0a10f039628e3e77ec256cec8ea',1,'SVF::LockResultValidator']]],
-  ['matchargs_4211',['matchArgs',['../namespaceSVF_1_1SVFUtil.html#af6ccc943516cedd7d8cd1de09d8f554e',1,'SVF::SVFUtil']]],
-  ['matchcontext_4212',['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_4213',['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()']]],
-  ['matcheslabel_4214',['matchesLabel',['../namespaceSVF_1_1cppUtil.html#a6457105712e29db5c8a8183239daa013',1,'SVF::cppUtil']]],
-  ['max_4215',['max',['../classSVF_1_1NumericLiteral.html#a9e7a696842de2a4fae08a75d72a807ec',1,'SVF::NumericLiteral::max()'],['../classSVF_1_1NumericLiteral.html#abeb6260917a412282ddd174bd835cfa2',1,'SVF::NumericLiteral::max(std::vector< NumericLiteral > &_l)']]],
-  ['maxbvlen_4216',['MaxBVLen',['../classSVF_1_1Options.html#a71461051f5fe6b4cc33103746525b23f',1,'SVF::Options::MaxBVLen()'],['../BoundedZ3Expr_8h.html#adf05e95ec112057aa9e9abf8616e40c7',1,'MaxBvLen(): BoundedZ3Expr.h']]],
-  ['maxcontextlen_4217',['MaxContextLen',['../classSVF_1_1Options.html#a6237da3f4e264fa8b63c11d621f39e71',1,'SVF::Options']]],
-  ['maxcxtsize_4218',['MaxCxtSize',['../classSVF_1_1TCT.html#aaae41663b1d1f4d38b047c50c156defb',1,'SVF::TCT']]],
-  ['maxfieldlimit_4219',['MaxFieldLimit',['../classSVF_1_1Options.html#aaab923c093730b1670a54f09340b1bd5',1,'SVF::Options']]],
-  ['maximumbudget_4220',['maximumBudget',['../classSVF_1_1DPItem.html#a5dbb0e6010b38c5b937ff06cb40cd0ef',1,'SVF::DPItem']]],
-  ['maximumcxt_4221',['maximumCxt',['../classSVF_1_1ContextCond.html#a151b9f21eedd4fdd8f46b78bb456582d',1,'SVF::ContextCond']]],
-  ['maximumcxtlen_4222',['maximumCxtLen',['../classSVF_1_1ContextCond.html#a3280db7a2b93612fb693a7c1117acfdd',1,'SVF::ContextCond']]],
-  ['maximumpath_4223',['maximumPath',['../classSVF_1_1ContextCond.html#a7d89351906ef4dff9adb1196f45bc9be',1,'SVF::ContextCond']]],
-  ['maximumpathlen_4224',['maximumPathLen',['../classSVF_1_1ContextCond.html#aa61b4de81e440448daaf0c5be53aebf3',1,'SVF::ContextCond']]],
-  ['maxindegree_4225',['maxInDegree',['../classSVF_1_1SVFGStat.html#a536b591b21756519262873462001f421',1,'SVF::SVFGStat']]],
-  ['maxindindegree_4226',['maxIndInDegree',['../classSVF_1_1SVFGStat.html#a2f1bb17038de877fd1ccffdea3f3cde3',1,'SVF::SVFGStat']]],
-  ['maxindoutdegree_4227',['maxIndOutDegree',['../classSVF_1_1SVFGStat.html#ac7cb2228bd31e8ebdf33ae2bfd399683',1,'SVF::SVFGStat']]],
-  ['maxoffsetlimit_4228',['maxOffsetLimit',['../classSVF_1_1ObjTypeInfo.html#a5ff63eb0654acd152f7d6c18618ee94a',1,'SVF::ObjTypeInfo']]],
-  ['maxoutdegree_4229',['maxOutDegree',['../classSVF_1_1SVFGStat.html#a6694ace7ee1b24b0c5ce42e06e4db2cf',1,'SVF::SVFGStat']]],
-  ['maxpathlen_4230',['MaxPathLen',['../classSVF_1_1Options.html#a63121666a96f6cd2ae56d868c9576a53',1,'SVF::Options']]],
-  ['maxpointstosetsize_4231',['MaxPointsToSetSize',['../classSVF_1_1AndersenBase.html#abd73e930450b7c605f478672bdf9bdae',1,'SVF::AndersenBase']]],
-  ['maxsccsize_4232',['maxSCCSize',['../classSVF_1_1FlowSensitive.html#aa3d4703756a6297ab5c0756172024fe4',1,'SVF::FlowSensitive']]],
-  ['maxstepinwrapper_4233',['MaxStepInWrapper',['../classSVF_1_1Options.html#aab0131558d9da9b0fe888387217ba919',1,'SVF::Options']]],
-  ['maxstruct_4234',['maxStruct',['../classSVF_1_1SymbolTableInfo.html#a0c1143eff451edf8ea47d4487a8d3a55',1,'SVF::SymbolTableInfo']]],
-  ['maxstsize_4235',['maxStSize',['../classSVF_1_1SymbolTableInfo.html#abb8550c9ef856e45cb7675c3796f9a35',1,'SVF::SymbolTableInfo']]],
-  ['maxz3size_4236',['MaxZ3Size',['../classSVF_1_1Options.html#a86f982d9716181bca93a350b5a11a1dc',1,'SVF::Options']]],
-  ['mayaccessaliases_4237',['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_4238',['MayAlias',['../namespaceSVF.html#a61c01e2e687ab3a001fb806737583943aef15fd8989d8dd9576b3fbb2aabc118f',1,'SVF']]],
-  ['mayhappeninparallel_4239',['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_4240',['mayHappenInParallelBetweenFunctions',['../classSVF_1_1PCG.html#af3e4194411bb061802afddacab7587b7',1,'SVF::PCG']]],
-  ['mayhappeninparallelcache_4241',['mayHappenInParallelCache',['../classSVF_1_1MHP.html#a843f1fa52625ec9e844307ba51fec202',1,'SVF::MHP']]],
-  ['mayhappeninparallelinst_4242',['mayHappenInParallelInst',['../classSVF_1_1MHP.html#a0cb1db9943ddc0928afa8e370cbf60c6',1,'SVF::MHP']]],
-  ['mayhavedatarace_4243',['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_4244',['MDEF',['../classSVF_1_1MemSSA.html#a57e68097212e88568eea829fb998fe0c',1,'SVF::MemSSA']]],
-  ['mdnode_4245',['MDNode',['../namespaceSVF.html#ad3d3cec1813411f039211c86236f7adb',1,'SVF']]],
-  ['mdstring_4246',['MDString',['../namespaceSVF.html#a28eec26ec8edaa5e96aecfeb01f6c0d4',1,'SVF']]],
-  ['meet_5fwith_4247',['meet_with',['../classSVF_1_1AddressValue.html#a02f61a255d2bbbdc36ee1541248fdbfb',1,'SVF::AddressValue::meet_with()'],['../classSVF_1_1IntervalValue.html#a144e17cec654e83654298b379ed4ce9f',1,'SVF::IntervalValue::meet_with()']]],
-  ['meetwith_4248',['meetWith',['../classSVF_1_1ExeState.html#a80bcce9b4303d651b27332c2fc0d3bdc',1,'SVF::ExeState::meetWith()'],['../classSVF_1_1IntervalESBase.html#a92a8531c7f12cc6f9117596aa5e534b6',1,'SVF::IntervalESBase::meetWith()'],['../classSVF_1_1IntervalExeState.html#a1e5d399b2111d9b8ed17f790cab12d5d',1,'SVF::IntervalExeState::meetWith()']]],
-  ['meld_4249',['meld',['../classSVF_1_1POCRHybridSolver.html#a403f469326cd3066e6352bf2587f983d',1,'SVF::POCRHybridSolver::meld()'],['../classSVF_1_1VersionedFlowSensitive.html#a1da960df51570b59161e380949d910c4',1,'SVF::VersionedFlowSensitive::meld()']]],
-  ['meld_5fh_4250',['meld_h',['../classSVF_1_1POCRHybridSolver.html#a6d3610151daec1ffa26e6b9fccad4e91',1,'SVF::POCRHybridSolver']]],
-  ['meldlabel_4251',['meldLabel',['../classSVF_1_1VersionedFlowSensitive.html#aaff594c78d93f7ad632d344e5c1c7f6a',1,'SVF::VersionedFlowSensitive']]],
-  ['meldlabelingtime_4252',['meldLabelingTime',['../classSVF_1_1VersionedFlowSensitive.html#a4a594c8d6ccaa27b5328c6388fdb258d',1,'SVF::VersionedFlowSensitive']]],
-  ['meldversion_4253',['MeldVersion',['../classSVF_1_1VersionedFlowSensitive.html#a630eeca9c3344d24fa196f7de45bce18',1,'SVF::VersionedFlowSensitive']]],
-  ['mem_4254',['mem',['../classSVF_1_1ObjVar.html#a3d08dc1d15a449ff4b7018da4bfdcb88',1,'SVF::ObjVar::mem()'],['../classSVF_1_1SVFBugReport.html#aed1046e4c7559ebdaf57775726645085',1,'SVF::SVFBugReport::mem()']]],
-  ['memchr_4255',['memchr',['../extapi_8c.html#a8b9b7da7d0b91e982da9acf6f63cdbc5',1,'extapi.c']]],
-  ['memcpy_4256',['MEMCPY',['../classSVF_1_1AEAPI.html#a29ab312d273e6c9c32a40d61861afb04a9a492bae5e1779267055b83cf033da28',1,'SVF::AEAPI']]],
-  ['memmem_4257',['memmem',['../extapi_8c.html#af16de4459bf927899e7a81c869d7cbb0',1,'extapi.c']]],
-  ['memobj_4258',['MemObj',['../classSVF_1_1MemObj.html',1,'SVF::MemObj'],['../classSVF_1_1MemObj.html#af588c401d129de6ba9abc1819774e342',1,'SVF::MemObj::MemObj()']]],
-  ['memobjmap_4259',['memObjMap',['../classSVF_1_1SymbolTableInfoReader.html#a0bf60f2250c864592c507dd6b03800a9',1,'SVF::SymbolTableInfoReader']]],
-  ['memobjtofieldsmap_4260',['MemObjToFieldsMap',['../classSVF_1_1SVFIR.html#ab6abb822445c9b3f5cb2b7206042e940',1,'SVF::SVFIR']]],
-  ['memory_5fusage_4261',['memory_usage',['../classSVF_1_1AEStat.html#a2064225a75798a495100eb7da2c880af',1,'SVF::AEStat']]],
-  ['memorylocation_4262',['MemoryLocation',['../namespaceSVF.html#a339bbddac9d9dffd5ef602200d34c403',1,'SVF']]],
-  ['mempar_4263',['MemPar',['../classSVF_1_1Options.html#aa127a32b03e381343c624e53adc4ef2e',1,'SVF::Options']]],
-  ['mempartition_4264',['MemPartition',['../classSVF_1_1MemSSA.html#ac0797f2ee7b59ae720095a4836533671',1,'SVF::MemSSA']]],
-  ['mempartition_2ecpp_4265',['MemPartition.cpp',['../MemPartition_8cpp.html',1,'']]],
-  ['mempartition_2eh_4266',['MemPartition.h',['../MemPartition_8h.html',1,'']]],
-  ['memrchr_4267',['memrchr',['../extapi_8c.html#ac69d59eb6e11058ca74bc9b2d6b39b95',1,'extapi.c']]],
-  ['memregion_4268',['MemRegion',['../classSVF_1_1MemRegion.html',1,'SVF::MemRegion'],['../classSVF_1_1MemRegion.html#a1d8189977196da687f50cfa6df98394b',1,'SVF::MemRegion::MemRegion()']]],
-  ['memregion_2ecpp_4269',['MemRegion.cpp',['../MemRegion_8cpp.html',1,'']]],
-  ['memregion_2eh_4270',['MemRegion.h',['../MemRegion_8h.html',1,'']]],
-  ['memregset_4271',['memRegSet',['../classSVF_1_1MRGenerator.html#af94bd8155a23273aab2396334d905119',1,'SVF::MRGenerator']]],
-  ['memregtobbsmap_4272',['MemRegToBBsMap',['../classSVF_1_1MemSSA.html#a8d0c1a00d7db194da66c685d79e73de5',1,'SVF::MemSSA']]],
-  ['memregtocountermap_4273',['MemRegToCounterMap',['../classSVF_1_1MemSSA.html#ae1aca020147c270deca2a1241e3847d0',1,'SVF::MemSSA']]],
-  ['memregtoverstackmap_4274',['MemRegToVerStackMap',['../classSVF_1_1MemSSA.html#aa9dbaf51f0498f3bd878827744208899',1,'SVF::MemSSA']]],
-  ['memset_4275',['MEMSET',['../classSVF_1_1AEAPI.html#a29ab312d273e6c9c32a40d61861afb04a68863d4626b3cde194a0fa6da74a3313',1,'SVF::AEAPI']]],
-  ['memssa_4276',['MemSSA',['../classSVF_1_1MemSSA.html',1,'SVF::MemSSA'],['../classSVF_1_1MemSSA.html#a6bd57451370f5f4c92ce212be4cddd15',1,'SVF::MemSSA::MemSSA()'],['../classSVF_1_1CFLVF.html#a88ee14429afb2d1efbc83e551e7869a8',1,'SVF::CFLVF::memSSA()'],['../classSVF_1_1SrcSnkDDA.html#ab6803f0a2b3507213ad2979b9b12f700',1,'SVF::SrcSnkDDA::memSSA()'],['../classSVF_1_1FlowSensitive.html#a76f6f19ac2b58ab4a10a2d7e6e24e42a',1,'SVF::FlowSensitive::memSSA()']]],
-  ['memssa_2ecpp_4277',['MemSSA.cpp',['../MemSSA_8cpp.html',1,'']]],
-  ['memssa_2eh_4278',['MemSSA.h',['../MemSSA_8h.html',1,'']]],
-  ['memssastat_4279',['MemSSAStat',['../classSVF_1_1MemSSAStat.html',1,'SVF::MemSSAStat'],['../classSVF_1_1MemSSAStat.html#a53f3d85a8eb63676d3dc47ee648efb66',1,'SVF::MemSSAStat::MemSSAStat()']]],
-  ['memtofieldsmap_4280',['memToFieldsMap',['../classSVF_1_1SVFIR.html#a3c014227661d8976714772205611c252',1,'SVF::SVFIR']]],
-  ['memtype_4281',['MEMTYPE',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830',1,'SVF::ObjTypeInfo']]],
-  ['memusage_4282',['memUsage',['../classSVF_1_1AEStat.html#a4b1f6388893e6aaef1acd411972cde19',1,'SVF::AEStat']]],
-  ['mergeadjacentnodes_4283',['mergeAdjacentNodes',['../classSVF_1_1ICFGSimplification.html#afaea7e3622ee5341a3f28135a2ae8644',1,'SVF::ICFGSimplification']]],
-  ['mergefunctionrets_4284',['MergeFunctionRets',['../classSVF_1_1MergeFunctionRets.html',1,'SVF::MergeFunctionRets'],['../classSVF_1_1MergeFunctionRets.html#a2b989707893cd81dd275be6a3b8c79fc',1,'SVF::MergeFunctionRets::MergeFunctionRets()']]],
-  ['mergenodetorep_4285',['mergeNodeToRep',['../classSVF_1_1Andersen.html#a36729160041bc3a3e2b0a92b29062848',1,'SVF::Andersen']]],
-  ['mergeptsoccmaps_4286',['mergePtsOccMaps',['../namespaceSVF_1_1SVFUtil.html#a36c91f952a69875c33d4bd0b05a27ff2',1,'SVF::SVFUtil']]],
-  ['mergescccycle_4287',['mergeSccCycle',['../classSVF_1_1Andersen.html#ac86ffd334568e4df5c08b3c827018bef',1,'SVF::Andersen']]],
-  ['mergesccnodes_4288',['mergeSccNodes',['../classSVF_1_1Andersen.html#a1ba1e1e36af289982146de06cf06ab0a',1,'SVF::Andersen']]],
-  ['mergespan_4289',['mergeSpan',['../classSVF_1_1MTASVFGBuilder.html#ae028fe894e3c6e7fd0ad6feeaa64320e',1,'SVF::MTASVFGBuilder']]],
-  ['mergesrctotgt_4290',['mergeSrcToTgt',['../classSVF_1_1Andersen.html#ae6b1e54a389abc68994219e39539127e',1,'SVF::Andersen::mergeSrcToTgt()'],['../classSVF_1_1AndersenSFR.html#ac5f406db5610347564fceff4d36f6a6f',1,'SVF::AndersenSFR::mergeSrcToTgt()']]],
-  ['metadataasvalue_4291',['MetadataAsValue',['../namespaceSVF.html#a773900ea3c75022657aac1abf59fa51b',1,'SVF']]],
-  ['metasame_4292',['metaSame',['../classSVF_1_1PointsTo.html#aa1e773b7abda97441d6ffe39c668d4ec',1,'SVF::PointsTo']]],
-  ['mfspta_4293',['mfspta',['../classSVF_1_1FSMPTA.html#af248a80855457ca9e5a7208c114681bb',1,'SVF::FSMPTA']]],
-  ['mhp_4294',['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_4295',['MHP.cpp',['../MHP_8cpp.html',1,'']]],
-  ['mhp_2eh_4296',['MHP.h',['../MHP_8h.html',1,'']]],
-  ['mhpfuns_4297',['mhpfuns',['../classSVF_1_1PCG.html#a96f91b051a8035b614e015bf4d5081e0',1,'SVF::PCG']]],
-  ['mhptime_4298',['MHPTime',['../classSVF_1_1MTAStat.html#a56411f7e64febab8aab94a4a9207e5d8',1,'SVF::MTAStat']]],
-  ['mhpvalidator_4299',['MHPValidator',['../classSVF_1_1MHPValidator.html',1,'SVF::MHPValidator'],['../classSVF_1_1MHPValidator.html#ab00f7f49e626f55184101acbe28cf3b1',1,'SVF::MHPValidator::MHPValidator()']]],
-  ['min_4300',['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_4301',['minify_string',['../cJSON_8cpp.html#a569f331078de59d01dee9351fa106e3b',1,'cJSON.cpp']]],
-  ['minterphi_4302',['MInterPhi',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8',1,'SVF::VFGNode']]],
-  ['mintraphi_4303',['MIntraPhi',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abde838081562229a5a5ca8bb250d5e18',1,'SVF::VFGNode']]],
-  ['minus_5finfinity_4304',['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_4305',['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_4306',['ModelArrays',['../classSVF_1_1Options.html#a429c3000ee2ac45119b8c241aa06762c',1,'SVF::Options']]],
-  ['modelconstants_4307',['modelConstants',['../classSVF_1_1SymbolTableInfo.html#ad20ccb90e8f9dee488a8aec0600399dc',1,'SVF::SymbolTableInfo']]],
-  ['modelconsts_4308',['ModelConsts',['../classSVF_1_1Options.html#a18dd95e01a50aa82165c46a3801053c5',1,'SVF::Options']]],
-  ['modref_4309',['ModRef',['../namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844a7f99364c041329bd5758261c8c440b30',1,'SVF']]],
-  ['modrefanalysis_4310',['modRefAnalysis',['../classSVF_1_1MRGenerator.html#adc9d530e6f010596d91cd3711dc1358b',1,'SVF::MRGenerator']]],
-  ['modrefinfo_4311',['ModRefInfo',['../namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844',1,'SVF']]],
-  ['module_4312',['module',['../classSVF_1_1DDAClient.html#a4ac68012099540beb87ee4700e824d64',1,'SVF::DDAClient::module()'],['../namespaceSVF.html#aa7a770b5dd5cd0e37d06a1088f252906',1,'SVF::Module()']]],
-  ['moduleflagvalue_4313',['moduleFlagValue',['../namespaceSVF_1_1cppUtil_1_1ctir.html#a05c7c51164928786d70713094db7f3f3',1,'SVF::cppUtil::ctir']]],
-  ['moduleidentifier_4314',['moduleIdentifier',['../classSVF_1_1SVFModule.html#ac40e98040f949171279afec54bb03f71',1,'SVF::SVFModule']]],
-  ['modulename_4315',['moduleName',['../classSVF_1_1SVFStat.html#a3333e45303dcc9c3da00858628cdbbff',1,'SVF::SVFStat']]],
-  ['modulepass_4316',['ModulePass',['../namespaceSVF.html#ac226d84f86637126d17f6814632c8a90',1,'SVF']]],
-  ['modules_4317',['modules',['../classSVF_1_1LLVMModuleSet.html#acde6292e719c80f93d3d1c344ab442cd',1,'SVF::LLVMModuleSet']]],
-  ['move_4318',['move',['../namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016',1,'SVF::SVFUtil']]],
-  ['moveedgestorepnode_4319',['moveEdgesToRepNode',['../classSVF_1_1ConstraintGraph.html#aabe2861fcbc364e2c8aa8114d4879c39',1,'SVF::ConstraintGraph']]],
-  ['moveinedgestorepnode_4320',['moveInEdgesToRepNode',['../classSVF_1_1ConstraintGraph.html#a081bf1238121eb52a0c9ad60f77ecbcd',1,'SVF::ConstraintGraph']]],
-  ['moveoutedgestorepnode_4321',['moveOutEdgesToRepNode',['../classSVF_1_1ConstraintGraph.html#aa436aac95be84d1946169f4984deae59',1,'SVF::ConstraintGraph']]],
-  ['movetoglobal_4322',['moveToGlobal',['../classSVF_1_1SVFIR2ConsExeState.html#a213e6f6dd1ad0e2e0b525f1b55735553',1,'SVF::SVFIR2ConsExeState::moveToGlobal()'],['../classSVF_1_1SVFIR2ItvExeState.html#af80d7665d9815a80ffdba92c3ba029d1',1,'SVF::SVFIR2ItvExeState::moveToGlobal()']]],
-  ['mphi_4323',['MPhi',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aac6fa19473ed8b90a7fd8c9080e5e014',1,'SVF::VFGNode']]],
-  ['mr_4324',['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_4325',['mr2CounterMap',['../classSVF_1_1MemSSA.html#a22e2dd0fc78877bdedd207a40540a634',1,'SVF::MemSSA']]],
-  ['mr2verstackmap_4326',['mr2VerStackMap',['../classSVF_1_1MemSSA.html#ae4c7b17d8da8278dca362af79f9f268d',1,'SVF::MemSSA']]],
-  ['mremap_4327',['mremap',['../extapi_8c.html#aa1540638fbde3dc27844fbd24db1e642',1,'extapi.c']]],
-  ['mrgen_4328',['mrGen',['../classSVF_1_1MemSSA.html#a213ebe634bbdbe33460ccd941c1dc6a5',1,'SVF::MemSSA']]],
-  ['mrgenerator_4329',['MRGenerator',['../classSVF_1_1MRGenerator.html',1,'SVF::MRGenerator'],['../classSVF_1_1MRGenerator.html#ac8fedbb65a582135354c939183d48f46',1,'SVF::MRGenerator::MRGenerator()']]],
-  ['mrid_4330',['MRID',['../namespaceSVF.html#a1ed5cfc8a00b2d3b90e74debabaa62a5',1,'SVF']]],
-  ['mrset_4331',['MRSet',['../classSVF_1_1MRGenerator.html#a98ac3bf264e6a85d172c2c4264ea908f',1,'SVF::MRGenerator::MRSet()'],['../classSVF_1_1MemSSA.html#a37b84780f57cbee50cf957cfbab195c1',1,'SVF::MemSSA::MRSet()']]],
-  ['mrsvfgnode_4332',['MRSVFGNode',['../classSVF_1_1MRSVFGNode.html',1,'SVF::MRSVFGNode'],['../classSVF_1_1MRSVFGNode.html#a2c2b0476c49c5f2d4ebe6eec22c7345f',1,'SVF::MRSVFGNode::MRSVFGNode()']]],
-  ['mrvector_4333',['MRVector',['../classSVF_1_1MemSSA.html#a7c3fda6f082231350524c2d7c16f067e',1,'SVF::MemSSA']]],
-  ['mrver_4334',['MRVer',['../classSVF_1_1MRVer.html',1,'SVF::MRVer'],['../classSVF_1_1MRVer.html#a15c18c76e5911e472747183f35cd7028',1,'SVF::MRVer::MRVer()']]],
-  ['mrverid_4335',['MRVERID',['../namespaceSVF.html#a0039280e908258b8e73779de51e9f63b',1,'SVF']]],
-  ['mrverset_4336',['MRVerSet',['../classSVF_1_1IndirectSVFGEdge.html#a0df62e44e394d4b4cc30b5012308eb11',1,'SVF::IndirectSVFGEdge']]],
-  ['mrversion_4337',['MRVERSION',['../namespaceSVF.html#a39df0130e37e97db2ff7620bbb2a72f5',1,'SVF']]],
-  ['mssa_4338',['mssa',['../classSVF_1_1SVFG.html#aa6a563cab8678b2256ca6ae7838285c8',1,'SVF::SVFG::mssa()'],['../classSVF_1_1MemSSAStat.html#ab29515f4e5b1f090c06a6e39761d3394',1,'SVF::MemSSAStat::mssa()']]],
-  ['mssachi_4339',['MSSACHI',['../classSVF_1_1MSSACHI.html',1,'SVF::MSSACHI< Cond >'],['../classSVF_1_1MSSACHI.html#af9ecdf852667bd23fe4805ba04c3e815',1,'SVF::MSSACHI::MSSACHI()']]],
-  ['mssadef_4340',['MSSADEF',['../classSVF_1_1MSSADEF.html',1,'SVF::MSSADEF'],['../classSVF_1_1MSSADEF.html#a1b1c7cbc293182a5ded43efa522990de',1,'SVF::MSSADEF::MSSADEF()'],['../classSVF_1_1MRVer.html#a1f51f0c2ae814b2170e549ea1122a99f',1,'SVF::MRVer::MSSADef()']]],
-  ['mssafun_4341',['MSSAFun',['../classSVF_1_1Options.html#aa8818e8138233838af224d4214de9e8f',1,'SVF::Options']]],
-  ['mssamu_4342',['MSSAMU',['../classSVF_1_1MSSAMU.html',1,'SVF::MSSAMU< Cond >'],['../classSVF_1_1MSSAMU.html#a1d0f8d3e7651f4ace92d31a9c6604e2f',1,'SVF::MSSAMU::MSSAMU()']]],
-  ['mssamuchi_2eh_4343',['MSSAMuChi.h',['../MSSAMuChi_8h.html',1,'']]],
-  ['mssaphi_4344',['MSSAPHI',['../classSVF_1_1MSSAPHI.html',1,'SVF::MSSAPHI< Cond >'],['../classSVF_1_1MSSAPHI.html#a5bf48995f87393d20bdedc6749c75ae5',1,'SVF::MSSAPHI::MSSAPHI()']]],
-  ['mssaphisvfgnode_4345',['MSSAPHISVFGNode',['../classSVF_1_1MSSAPHISVFGNode.html',1,'SVF::MSSAPHISVFGNode'],['../classSVF_1_1MSSAPHISVFGNode.html#aec8a372f9024af27a87c5b43e4dc633d',1,'SVF::MSSAPHISVFGNode::MSSAPHISVFGNode()']]],
-  ['mssavartodefmap_4346',['MSSAVarToDefMap',['../classSVF_1_1SVFG.html#aafa1b445bd3578daaba8f82e517745f1',1,'SVF::SVFG']]],
-  ['mssavartodefmapty_4347',['MSSAVarToDefMapTy',['../classSVF_1_1SVFG.html#ac84d3749671f177b14749a825e36efe3',1,'SVF::SVFG']]],
-  ['mta_4348',['MTA',['../classSVF_1_1MTA.html',1,'SVF::MTA'],['../classSVF_1_1MTA.html#ab25d605ed6040a9ad6ed6fcec4e8d338',1,'SVF::MTA::MTA()']]],
-  ['mta_2ecpp_4349',['mta.cpp',['../mta_8cpp.html',1,'(Global Namespace)'],['../MTA_8cpp.html',1,'(Global Namespace)']]],
-  ['mta_2eh_4350',['MTA.h',['../MTA_8h.html',1,'']]],
-  ['mtaannotator_4351',['MTAAnnotator',['../classSVF_1_1MTAAnnotator.html',1,'SVF::MTAAnnotator'],['../classSVF_1_1MTAAnnotator.html#a37ae5e04b0f5560d0f6c2f143b325cd4',1,'SVF::MTAAnnotator::MTAAnnotator()']]],
-  ['mtaannotator_2ecpp_4352',['MTAAnnotator.cpp',['../MTAAnnotator_8cpp.html',1,'']]],
-  ['mtaannotator_2eh_4353',['MTAAnnotator.h',['../MTAAnnotator_8h.html',1,'']]],
-  ['mtaresultvalidator_4354',['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_4355',['MTAResultValidator.cpp',['../MTAResultValidator_8cpp.html',1,'']]],
-  ['mtaresultvalidator_2eh_4356',['MTAResultValidator.h',['../svf-llvm_2tools_2MTA_2MTAResultValidator_8h.html',1,'(Global Namespace)'],['../svf_2include_2MTA_2MTAResultValidator_8h.html',1,'(Global Namespace)']]],
-  ['mtastat_4357',['MTAStat',['../classSVF_1_1MTAStat.html',1,'SVF::MTAStat'],['../classSVF_1_1MTAStat.html#a10631a14fd258679f98c17622de4352a',1,'SVF::MTAStat::MTAStat()']]],
-  ['mtastat_2ecpp_4358',['MTAStat.cpp',['../MTAStat_8cpp.html',1,'']]],
-  ['mtastat_2eh_4359',['MTAStat.h',['../MTAStat_8h.html',1,'']]],
-  ['mtasvfgbuilder_4360',['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_4361',['MU',['../classSVF_1_1SVFG.html#a7f4deffe7e13352b8c13eab110c834cc',1,'SVF::SVFG::MU()'],['../classSVF_1_1MemSSA.html#a2b4f3b19b32ac61dd1932faa82b93d8b',1,'SVF::MemSSA::MU()']]],
-  ['mul_4362',['Mul',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a787e5771d6e70f3cbec3e2a33f5a4e8a',1,'SVF::BinaryOPStmt']]],
-  ['multi_5finheritance_4363',['MULTI_INHERITANCE',['../classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3a1d2b2d38bfc09259f63933e9ab23aecc',1,'SVF::DCHNode::MULTI_INHERITANCE()'],['../classSVF_1_1CHNode.html#a7111a3971f9f03e32bfd291a783d43b4afd6d851b22e741690f0736b4858d81a5',1,'SVF::CHNode::MULTI_INHERITANCE()']]],
-  ['multiforked_4364',['multiforked',['../classSVF_1_1TCTNode.html#a414f4b98fb8fd36d2cb381ff56eb98d8',1,'SVF::TCTNode']]],
-  ['multiopndlabelcounter_4365',['multiOpndLabelCounter',['../classSVF_1_1SVFStmt.html#a9ea22adbfc307dddee42ffec07cc88ed',1,'SVF::SVFStmt']]],
-  ['multiopndstmt_4366',['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_4367',['MUSet',['../classSVF_1_1SVFG.html#acdbe1c510273107b708935061b6c4127',1,'SVF::SVFG::MUSet()'],['../classSVF_1_1MemSSA.html#a81bba824495a882b49e687683954b112',1,'SVF::MemSSA::MUSet()']]],
-  ['mustalias_4368',['mustAlias',['../classSVF_1_1CondPTAImpl.html#a3b5877fec52bbfa7c83bab6c9bc95684',1,'SVF::CondPTAImpl::mustAlias()'],['../namespaceSVF.html#a61c01e2e687ab3a001fb806737583943ab58a0391f037031a51016ebfe2a752b2',1,'SVF::MustAlias()']]],
-  ['mutable_4369',['Mutable',['../classSVF_1_1BVDataPTAImpl.html#ad76328a8543b02784992afc2d5501d8aa1cfb236b5127b660373c36b77a79ab5e',1,'SVF::BVDataPTAImpl']]],
-  ['mutabledfptdata_4370',['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_4371',['MutableDFPTData< Key, KeySet, Data, DataSet >',['../classSVF_1_1MutablePTData.html#ad92cfe345043b1bc8d6c7a03df43310f',1,'SVF::MutablePTData']]],
-  ['mutablediffptdata_4372',['MutableDiffPTData',['../classSVF_1_1MutableDiffPTData.html',1,'SVF::MutableDiffPTData< Key, KeySet, Data, DataSet >'],['../classSVF_1_1MutableDiffPTData.html#ae087d0307844312710c2d4c05535ea86',1,'SVF::MutableDiffPTData::MutableDiffPTData()']]],
-  ['mutableincdfptdata_4373',['MutableIncDFPTData',['../classSVF_1_1MutableIncDFPTData.html',1,'SVF::MutableIncDFPTData< Key, KeySet, Data, DataSet >'],['../classSVF_1_1MutableIncDFPTData.html#a9b06421a9043dc61485acf51cfc26a91',1,'SVF::MutableIncDFPTData::MutableIncDFPTData()']]],
-  ['mutablepointstods_2eh_4374',['MutablePointsToDS.h',['../MutablePointsToDS_8h.html',1,'']]],
-  ['mutableptdata_4375',['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_4376',['MutablePTData< VersionedKey, VersionedKeySet, Data, DataSet >',['../classSVF_1_1MutablePTData.html',1,'SVF']]],
-  ['mutableversionedptdata_4377',['MutableVersionedPTData',['../classSVF_1_1MutableVersionedPTData.html',1,'SVF::MutableVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >'],['../classSVF_1_1MutableVersionedPTData.html#ad2f9950ad71a39c400a4835e6e84fcd9',1,'SVF::MutableVersionedPTData::MutableVersionedPTData()']]],
-  ['mutbase_4378',['MutBase',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848a47a2413878b6ed98b42b9ae10e839072',1,'SVF::PTData']]],
-  ['mutdataflow_4379',['MutDataFlow',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848a46777c0122829cc199bc911e585b4f62',1,'SVF::PTData']]],
-  ['mutdfptdataty_4380',['MutDFPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#ac130bf326911b8e5396f57daa78566e7',1,'SVF::BVDataPTAImpl::MutDFPTDataTy()'],['../classSVF_1_1FlowSensitive.html#a03a3178d88db4efc0593fedb22938e7d',1,'SVF::FlowSensitive::MutDFPTDataTy()']]],
-  ['mutdiff_4381',['MutDiff',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848ac17ed6fa5de5a3f67108692b103a4c87',1,'SVF::PTData']]],
-  ['mutdiffptdataty_4382',['MutDiffPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#ac4e74e6dfee9d08198e0f7e3d76a0646',1,'SVF::BVDataPTAImpl']]],
-  ['mutincdataflow_4383',['MutIncDataFlow',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848aa4e18dfa52aad741c91bcc78339e986c',1,'SVF::PTData']]],
-  ['mutincdfptdataty_4384',['MutIncDFPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#a639446e6bf9712afa439d089b94aefae',1,'SVF::BVDataPTAImpl']]],
-  ['mutptdata_4385',['mutPTData',['../classSVF_1_1MutableDiffPTData.html#a3603cb4baf60b1aa83b7807ac5591484',1,'SVF::MutableDiffPTData::mutPTData()'],['../classSVF_1_1MutableDFPTData.html#acf40f716470f73095d44a1b9e3bb939e',1,'SVF::MutableDFPTData::mutPTData()']]],
-  ['mutptdataty_4386',['MutPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#a533384bd2eb8a1589ba8b7695c759073',1,'SVF::BVDataPTAImpl::MutPTDataTy()'],['../classSVF_1_1CondPTAImpl.html#af3ae2748edfdefaa08a73930bd012d6c',1,'SVF::CondPTAImpl::MutPTDataTy()']]],
-  ['mutversioned_4387',['MutVersioned',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848aac925590471ccb9c851698b232fdd3a5',1,'SVF::PTData']]],
-  ['mutversionedptdataty_4388',['MutVersionedPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#a7fde3e9b189e988cd0a24d567b136e13',1,'SVF::BVDataPTAImpl']]],
-  ['mutype_4389',['MUTYPE',['../classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9b',1,'SVF::MSSAMU']]]
+  ['m_4184',['M',['../classSVF_1_1RaceResultValidator.html#aedc9ec6c3db947fa7e1ef50fbb61e9a8',1,'SVF::RaceResultValidator']]],
+  ['m_5fcond_4185',['m_cond',['../classSVF_1_1CondVar.html#a90b13685d2126f8c10dde4a504bb28df',1,'SVF::CondVar']]],
+  ['m_5fid_4186',['m_id',['../classSVF_1_1CondVar.html#a26fd04b3f2d45f0c230e1823f3eea49a',1,'SVF::CondVar']]],
+  ['main_4187',['main',['../ae_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627',1,'main(int argc, char **argv): ae.cpp'],['../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_4188',['make_pointee_range',['../namespaceSVF.html#a41ca7c140a3b61d946e8c6338102986e',1,'SVF']]],
+  ['make_5fpointer_5frange_4189',['make_pointer_range',['../namespaceSVF.html#a7a436778318d16678992a3173988afc2',1,'SVF']]],
+  ['make_5frange_4190',['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_4191',['make_void',['../structSVF_1_1SVFUtil_1_1make__void.html',1,'SVF::SVFUtil']]],
+  ['makeedgeflagwithaddionalopnd_4192',['makeEdgeFlagWithAddionalOpnd',['../classSVF_1_1SVFStmt.html#a3b20523aed66ac8943d7d00ff777137b',1,'SVF::SVFStmt']]],
+  ['makeedgeflagwithcallinst_4193',['makeEdgeFlagWithCallInst',['../classSVF_1_1SVFStmt.html#a4513c6e66b46c36219ba6d7403f3eb00',1,'SVF::SVFStmt']]],
+  ['makeedgeflagwithinvokeid_4194',['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_4195',['makeEdgeFlagWithStoreInst',['../classSVF_1_1SVFStmt.html#ad61722f886afaaee722ac55a4eed4d18',1,'SVF::SVFStmt']]],
+  ['malloc_5ffn_4196',['malloc_fn',['../structcJSON__Hooks.html#a71693d8b277a80a1faf8758b9589d670',1,'cJSON_Hooks']]],
+  ['map_4197',['Map',['../namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1',1,'SVF']]],
+  ['map_5fiter_4198',['map_iter',['../namespaceSVF.html#a809dcd83e295c61bb54710ba545d8d96',1,'SVF']]],
+  ['mapped_5fiter_4199',['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_4200',['MappingPtr',['../classSVF_1_1PointsTo.html#a849f670b38cb6f65fc23707a212591c7',1,'SVF::PointsTo']]],
+  ['mapvaluetoedge_4201',['mapValueToEdge',['../classSVF_1_1IRGraph.html#a51201a8fce21b56e3f59a31af04c7b76',1,'SVF::IRGraph']]],
+  ['markbkvisited_4202',['markbkVisited',['../classSVF_1_1DDAVFSolver.html#a7112ce6145be0855f8b035bb0d8a331c',1,'SVF::DDAVFSolver']]],
+  ['markcxtstmtflag_4203',['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_4204',['MarkedClocksOnly',['../classSVF_1_1Options.html#abcb6796d45722562546f33b2745a0418',1,'SVF::Options']]],
+  ['markrecursivefuns_4205',['markRecursiveFuns',['../classSVF_1_1AbstractExecution.html#ae641b5687513661a2542e8318430d760',1,'SVF::AbstractExecution']]],
+  ['markrelprocs_4206',['markRelProcs',['../classSVF_1_1TCT.html#a8bb7ffa8dd185c52e6c150f9bc995511',1,'SVF::TCT::markRelProcs()'],['../classSVF_1_1TCT.html#a0938016193057ff47dbd6b8308e804c5',1,'SVF::TCT::markRelProcs(const SVFFunction *fun)']]],
+  ['markvalidvfedge_4207',['markValidVFEdge',['../classSVF_1_1SVFGBuilder.html#a3f8fc56d5190ea59d06906b359640dae',1,'SVF::SVFGBuilder']]],
+  ['match_4208',['match',['../classSVF_1_1LockResultValidator.html#a4134d0a10f039628e3e77ec256cec8ea',1,'SVF::LockResultValidator']]],
+  ['matchargs_4209',['matchArgs',['../namespaceSVF_1_1SVFUtil.html#af6ccc943516cedd7d8cd1de09d8f554e',1,'SVF::SVFUtil']]],
+  ['matchcontext_4210',['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_4211',['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()']]],
+  ['matcheslabel_4212',['matchesLabel',['../namespaceSVF_1_1cppUtil.html#a6457105712e29db5c8a8183239daa013',1,'SVF::cppUtil']]],
+  ['max_4213',['max',['../classSVF_1_1NumericLiteral.html#a9e7a696842de2a4fae08a75d72a807ec',1,'SVF::NumericLiteral::max()'],['../classSVF_1_1NumericLiteral.html#abeb6260917a412282ddd174bd835cfa2',1,'SVF::NumericLiteral::max(std::vector< NumericLiteral > &_l)']]],
+  ['maxbvlen_4214',['MaxBVLen',['../classSVF_1_1Options.html#a71461051f5fe6b4cc33103746525b23f',1,'SVF::Options::MaxBVLen()'],['../BoundedZ3Expr_8h.html#adf05e95ec112057aa9e9abf8616e40c7',1,'MaxBvLen(): BoundedZ3Expr.h']]],
+  ['maxcontextlen_4215',['MaxContextLen',['../classSVF_1_1Options.html#a6237da3f4e264fa8b63c11d621f39e71',1,'SVF::Options']]],
+  ['maxcxtsize_4216',['MaxCxtSize',['../classSVF_1_1TCT.html#aaae41663b1d1f4d38b047c50c156defb',1,'SVF::TCT']]],
+  ['maxfieldlimit_4217',['MaxFieldLimit',['../classSVF_1_1Options.html#aaab923c093730b1670a54f09340b1bd5',1,'SVF::Options']]],
+  ['maximumbudget_4218',['maximumBudget',['../classSVF_1_1DPItem.html#a5dbb0e6010b38c5b937ff06cb40cd0ef',1,'SVF::DPItem']]],
+  ['maximumcxt_4219',['maximumCxt',['../classSVF_1_1ContextCond.html#a151b9f21eedd4fdd8f46b78bb456582d',1,'SVF::ContextCond']]],
+  ['maximumcxtlen_4220',['maximumCxtLen',['../classSVF_1_1ContextCond.html#a3280db7a2b93612fb693a7c1117acfdd',1,'SVF::ContextCond']]],
+  ['maximumpath_4221',['maximumPath',['../classSVF_1_1ContextCond.html#a7d89351906ef4dff9adb1196f45bc9be',1,'SVF::ContextCond']]],
+  ['maximumpathlen_4222',['maximumPathLen',['../classSVF_1_1ContextCond.html#aa61b4de81e440448daaf0c5be53aebf3',1,'SVF::ContextCond']]],
+  ['maxindegree_4223',['maxInDegree',['../classSVF_1_1SVFGStat.html#a536b591b21756519262873462001f421',1,'SVF::SVFGStat']]],
+  ['maxindindegree_4224',['maxIndInDegree',['../classSVF_1_1SVFGStat.html#a2f1bb17038de877fd1ccffdea3f3cde3',1,'SVF::SVFGStat']]],
+  ['maxindoutdegree_4225',['maxIndOutDegree',['../classSVF_1_1SVFGStat.html#ac7cb2228bd31e8ebdf33ae2bfd399683',1,'SVF::SVFGStat']]],
+  ['maxoffsetlimit_4226',['maxOffsetLimit',['../classSVF_1_1ObjTypeInfo.html#a5ff63eb0654acd152f7d6c18618ee94a',1,'SVF::ObjTypeInfo']]],
+  ['maxoutdegree_4227',['maxOutDegree',['../classSVF_1_1SVFGStat.html#a6694ace7ee1b24b0c5ce42e06e4db2cf',1,'SVF::SVFGStat']]],
+  ['maxpathlen_4228',['MaxPathLen',['../classSVF_1_1Options.html#a63121666a96f6cd2ae56d868c9576a53',1,'SVF::Options']]],
+  ['maxpointstosetsize_4229',['MaxPointsToSetSize',['../classSVF_1_1AndersenBase.html#abd73e930450b7c605f478672bdf9bdae',1,'SVF::AndersenBase']]],
+  ['maxsccsize_4230',['maxSCCSize',['../classSVF_1_1FlowSensitive.html#aa3d4703756a6297ab5c0756172024fe4',1,'SVF::FlowSensitive']]],
+  ['maxstepinwrapper_4231',['MaxStepInWrapper',['../classSVF_1_1Options.html#aab0131558d9da9b0fe888387217ba919',1,'SVF::Options']]],
+  ['maxstruct_4232',['maxStruct',['../classSVF_1_1SymbolTableInfo.html#a0c1143eff451edf8ea47d4487a8d3a55',1,'SVF::SymbolTableInfo']]],
+  ['maxstsize_4233',['maxStSize',['../classSVF_1_1SymbolTableInfo.html#abb8550c9ef856e45cb7675c3796f9a35',1,'SVF::SymbolTableInfo']]],
+  ['maxz3size_4234',['MaxZ3Size',['../classSVF_1_1Options.html#a86f982d9716181bca93a350b5a11a1dc',1,'SVF::Options']]],
+  ['mayaccessaliases_4235',['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_4236',['MayAlias',['../namespaceSVF.html#a61c01e2e687ab3a001fb806737583943aef15fd8989d8dd9576b3fbb2aabc118f',1,'SVF']]],
+  ['mayhappeninparallel_4237',['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_4238',['mayHappenInParallelBetweenFunctions',['../classSVF_1_1PCG.html#af3e4194411bb061802afddacab7587b7',1,'SVF::PCG']]],
+  ['mayhappeninparallelcache_4239',['mayHappenInParallelCache',['../classSVF_1_1MHP.html#a843f1fa52625ec9e844307ba51fec202',1,'SVF::MHP']]],
+  ['mayhappeninparallelinst_4240',['mayHappenInParallelInst',['../classSVF_1_1MHP.html#a0cb1db9943ddc0928afa8e370cbf60c6',1,'SVF::MHP']]],
+  ['mayhavedatarace_4241',['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_4242',['MDEF',['../classSVF_1_1MemSSA.html#a57e68097212e88568eea829fb998fe0c',1,'SVF::MemSSA']]],
+  ['mdnode_4243',['MDNode',['../namespaceSVF.html#ad3d3cec1813411f039211c86236f7adb',1,'SVF']]],
+  ['mdstring_4244',['MDString',['../namespaceSVF.html#a28eec26ec8edaa5e96aecfeb01f6c0d4',1,'SVF']]],
+  ['meet_5fwith_4245',['meet_with',['../classSVF_1_1AddressValue.html#a02f61a255d2bbbdc36ee1541248fdbfb',1,'SVF::AddressValue::meet_with()'],['../classSVF_1_1IntervalValue.html#a144e17cec654e83654298b379ed4ce9f',1,'SVF::IntervalValue::meet_with()']]],
+  ['meetwith_4246',['meetWith',['../classSVF_1_1ExeState.html#a80bcce9b4303d651b27332c2fc0d3bdc',1,'SVF::ExeState::meetWith()'],['../classSVF_1_1IntervalESBase.html#a92a8531c7f12cc6f9117596aa5e534b6',1,'SVF::IntervalESBase::meetWith()'],['../classSVF_1_1IntervalExeState.html#a1e5d399b2111d9b8ed17f790cab12d5d',1,'SVF::IntervalExeState::meetWith()']]],
+  ['meld_4247',['meld',['../classSVF_1_1POCRHybridSolver.html#a403f469326cd3066e6352bf2587f983d',1,'SVF::POCRHybridSolver::meld()'],['../classSVF_1_1VersionedFlowSensitive.html#a1da960df51570b59161e380949d910c4',1,'SVF::VersionedFlowSensitive::meld()']]],
+  ['meld_5fh_4248',['meld_h',['../classSVF_1_1POCRHybridSolver.html#a6d3610151daec1ffa26e6b9fccad4e91',1,'SVF::POCRHybridSolver']]],
+  ['meldlabel_4249',['meldLabel',['../classSVF_1_1VersionedFlowSensitive.html#aaff594c78d93f7ad632d344e5c1c7f6a',1,'SVF::VersionedFlowSensitive']]],
+  ['meldlabelingtime_4250',['meldLabelingTime',['../classSVF_1_1VersionedFlowSensitive.html#a4a594c8d6ccaa27b5328c6388fdb258d',1,'SVF::VersionedFlowSensitive']]],
+  ['meldversion_4251',['MeldVersion',['../classSVF_1_1VersionedFlowSensitive.html#a630eeca9c3344d24fa196f7de45bce18',1,'SVF::VersionedFlowSensitive']]],
+  ['mem_4252',['mem',['../classSVF_1_1ObjVar.html#a3d08dc1d15a449ff4b7018da4bfdcb88',1,'SVF::ObjVar::mem()'],['../classSVF_1_1SVFBugReport.html#aed1046e4c7559ebdaf57775726645085',1,'SVF::SVFBugReport::mem()']]],
+  ['memchr_4253',['memchr',['../extapi_8c.html#a8b9b7da7d0b91e982da9acf6f63cdbc5',1,'extapi.c']]],
+  ['memcpy_4254',['MEMCPY',['../classSVF_1_1AbstractExecution.html#a442fb8eda087f72aa61816213dea43afa622ab5082468499be675c2783aaf3dcf',1,'SVF::AbstractExecution']]],
+  ['memmem_4255',['memmem',['../extapi_8c.html#af16de4459bf927899e7a81c869d7cbb0',1,'extapi.c']]],
+  ['memobj_4256',['MemObj',['../classSVF_1_1MemObj.html',1,'SVF::MemObj'],['../classSVF_1_1MemObj.html#af588c401d129de6ba9abc1819774e342',1,'SVF::MemObj::MemObj()']]],
+  ['memobjmap_4257',['memObjMap',['../classSVF_1_1SymbolTableInfoReader.html#a0bf60f2250c864592c507dd6b03800a9',1,'SVF::SymbolTableInfoReader']]],
+  ['memobjtofieldsmap_4258',['MemObjToFieldsMap',['../classSVF_1_1SVFIR.html#ab6abb822445c9b3f5cb2b7206042e940',1,'SVF::SVFIR']]],
+  ['memory_5fusage_4259',['memory_usage',['../classSVF_1_1AEStat.html#a2064225a75798a495100eb7da2c880af',1,'SVF::AEStat']]],
+  ['memorylocation_4260',['MemoryLocation',['../namespaceSVF.html#a339bbddac9d9dffd5ef602200d34c403',1,'SVF']]],
+  ['mempar_4261',['MemPar',['../classSVF_1_1Options.html#aa127a32b03e381343c624e53adc4ef2e',1,'SVF::Options']]],
+  ['mempartition_4262',['MemPartition',['../classSVF_1_1MemSSA.html#ac0797f2ee7b59ae720095a4836533671',1,'SVF::MemSSA']]],
+  ['mempartition_2ecpp_4263',['MemPartition.cpp',['../MemPartition_8cpp.html',1,'']]],
+  ['mempartition_2eh_4264',['MemPartition.h',['../MemPartition_8h.html',1,'']]],
+  ['memrchr_4265',['memrchr',['../extapi_8c.html#ac69d59eb6e11058ca74bc9b2d6b39b95',1,'extapi.c']]],
+  ['memregion_4266',['MemRegion',['../classSVF_1_1MemRegion.html',1,'SVF::MemRegion'],['../classSVF_1_1MemRegion.html#a1d8189977196da687f50cfa6df98394b',1,'SVF::MemRegion::MemRegion()']]],
+  ['memregion_2ecpp_4267',['MemRegion.cpp',['../MemRegion_8cpp.html',1,'']]],
+  ['memregion_2eh_4268',['MemRegion.h',['../MemRegion_8h.html',1,'']]],
+  ['memregset_4269',['memRegSet',['../classSVF_1_1MRGenerator.html#af94bd8155a23273aab2396334d905119',1,'SVF::MRGenerator']]],
+  ['memregtobbsmap_4270',['MemRegToBBsMap',['../classSVF_1_1MemSSA.html#a8d0c1a00d7db194da66c685d79e73de5',1,'SVF::MemSSA']]],
+  ['memregtocountermap_4271',['MemRegToCounterMap',['../classSVF_1_1MemSSA.html#ae1aca020147c270deca2a1241e3847d0',1,'SVF::MemSSA']]],
+  ['memregtoverstackmap_4272',['MemRegToVerStackMap',['../classSVF_1_1MemSSA.html#aa9dbaf51f0498f3bd878827744208899',1,'SVF::MemSSA']]],
+  ['memset_4273',['MEMSET',['../classSVF_1_1AbstractExecution.html#a442fb8eda087f72aa61816213dea43afa45836a81adf553b872a061e5fe4c5be8',1,'SVF::AbstractExecution']]],
+  ['memssa_4274',['MemSSA',['../classSVF_1_1MemSSA.html',1,'SVF::MemSSA'],['../classSVF_1_1MemSSA.html#a6bd57451370f5f4c92ce212be4cddd15',1,'SVF::MemSSA::MemSSA()'],['../classSVF_1_1CFLVF.html#a88ee14429afb2d1efbc83e551e7869a8',1,'SVF::CFLVF::memSSA()'],['../classSVF_1_1SrcSnkDDA.html#ab6803f0a2b3507213ad2979b9b12f700',1,'SVF::SrcSnkDDA::memSSA()'],['../classSVF_1_1FlowSensitive.html#a76f6f19ac2b58ab4a10a2d7e6e24e42a',1,'SVF::FlowSensitive::memSSA()']]],
+  ['memssa_2ecpp_4275',['MemSSA.cpp',['../MemSSA_8cpp.html',1,'']]],
+  ['memssa_2eh_4276',['MemSSA.h',['../MemSSA_8h.html',1,'']]],
+  ['memssastat_4277',['MemSSAStat',['../classSVF_1_1MemSSAStat.html',1,'SVF::MemSSAStat'],['../classSVF_1_1MemSSAStat.html#a53f3d85a8eb63676d3dc47ee648efb66',1,'SVF::MemSSAStat::MemSSAStat()']]],
+  ['memtofieldsmap_4278',['memToFieldsMap',['../classSVF_1_1SVFIR.html#a3c014227661d8976714772205611c252',1,'SVF::SVFIR']]],
+  ['memtype_4279',['MEMTYPE',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830',1,'SVF::ObjTypeInfo']]],
+  ['memusage_4280',['memUsage',['../classSVF_1_1AEStat.html#a4b1f6388893e6aaef1acd411972cde19',1,'SVF::AEStat']]],
+  ['mergeadjacentnodes_4281',['mergeAdjacentNodes',['../classSVF_1_1ICFGSimplification.html#afaea7e3622ee5341a3f28135a2ae8644',1,'SVF::ICFGSimplification']]],
+  ['mergefunctionrets_4282',['MergeFunctionRets',['../classSVF_1_1MergeFunctionRets.html',1,'SVF::MergeFunctionRets'],['../classSVF_1_1MergeFunctionRets.html#a2b989707893cd81dd275be6a3b8c79fc',1,'SVF::MergeFunctionRets::MergeFunctionRets()']]],
+  ['mergenodetorep_4283',['mergeNodeToRep',['../classSVF_1_1Andersen.html#a36729160041bc3a3e2b0a92b29062848',1,'SVF::Andersen']]],
+  ['mergeptsoccmaps_4284',['mergePtsOccMaps',['../namespaceSVF_1_1SVFUtil.html#a36c91f952a69875c33d4bd0b05a27ff2',1,'SVF::SVFUtil']]],
+  ['mergescccycle_4285',['mergeSccCycle',['../classSVF_1_1Andersen.html#ac86ffd334568e4df5c08b3c827018bef',1,'SVF::Andersen']]],
+  ['mergesccnodes_4286',['mergeSccNodes',['../classSVF_1_1Andersen.html#a1ba1e1e36af289982146de06cf06ab0a',1,'SVF::Andersen']]],
+  ['mergespan_4287',['mergeSpan',['../classSVF_1_1MTASVFGBuilder.html#ae028fe894e3c6e7fd0ad6feeaa64320e',1,'SVF::MTASVFGBuilder']]],
+  ['mergesrctotgt_4288',['mergeSrcToTgt',['../classSVF_1_1Andersen.html#ae6b1e54a389abc68994219e39539127e',1,'SVF::Andersen::mergeSrcToTgt()'],['../classSVF_1_1AndersenSFR.html#ac5f406db5610347564fceff4d36f6a6f',1,'SVF::AndersenSFR::mergeSrcToTgt()']]],
+  ['metadataasvalue_4289',['MetadataAsValue',['../namespaceSVF.html#a773900ea3c75022657aac1abf59fa51b',1,'SVF']]],
+  ['metasame_4290',['metaSame',['../classSVF_1_1PointsTo.html#aa1e773b7abda97441d6ffe39c668d4ec',1,'SVF::PointsTo']]],
+  ['mfspta_4291',['mfspta',['../classSVF_1_1FSMPTA.html#af248a80855457ca9e5a7208c114681bb',1,'SVF::FSMPTA']]],
+  ['mhp_4292',['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_4293',['MHP.cpp',['../MHP_8cpp.html',1,'']]],
+  ['mhp_2eh_4294',['MHP.h',['../MHP_8h.html',1,'']]],
+  ['mhpfuns_4295',['mhpfuns',['../classSVF_1_1PCG.html#a96f91b051a8035b614e015bf4d5081e0',1,'SVF::PCG']]],
+  ['mhptime_4296',['MHPTime',['../classSVF_1_1MTAStat.html#a56411f7e64febab8aab94a4a9207e5d8',1,'SVF::MTAStat']]],
+  ['mhpvalidator_4297',['MHPValidator',['../classSVF_1_1MHPValidator.html',1,'SVF::MHPValidator'],['../classSVF_1_1MHPValidator.html#ab00f7f49e626f55184101acbe28cf3b1',1,'SVF::MHPValidator::MHPValidator()']]],
+  ['min_4298',['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_4299',['minify_string',['../cJSON_8cpp.html#a569f331078de59d01dee9351fa106e3b',1,'cJSON.cpp']]],
+  ['minterphi_4300',['MInterPhi',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8',1,'SVF::VFGNode']]],
+  ['mintraphi_4301',['MIntraPhi',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abde838081562229a5a5ca8bb250d5e18',1,'SVF::VFGNode']]],
+  ['minus_5finfinity_4302',['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_4303',['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_4304',['ModelArrays',['../classSVF_1_1Options.html#a429c3000ee2ac45119b8c241aa06762c',1,'SVF::Options']]],
+  ['modelconstants_4305',['modelConstants',['../classSVF_1_1SymbolTableInfo.html#ad20ccb90e8f9dee488a8aec0600399dc',1,'SVF::SymbolTableInfo']]],
+  ['modelconsts_4306',['ModelConsts',['../classSVF_1_1Options.html#a18dd95e01a50aa82165c46a3801053c5',1,'SVF::Options']]],
+  ['modref_4307',['ModRef',['../namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844a7f99364c041329bd5758261c8c440b30',1,'SVF']]],
+  ['modrefanalysis_4308',['modRefAnalysis',['../classSVF_1_1MRGenerator.html#adc9d530e6f010596d91cd3711dc1358b',1,'SVF::MRGenerator']]],
+  ['modrefinfo_4309',['ModRefInfo',['../namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844',1,'SVF']]],
+  ['module_4310',['module',['../classSVF_1_1DDAClient.html#a4ac68012099540beb87ee4700e824d64',1,'SVF::DDAClient::module()'],['../namespaceSVF.html#aa7a770b5dd5cd0e37d06a1088f252906',1,'SVF::Module()']]],
+  ['moduleflagvalue_4311',['moduleFlagValue',['../namespaceSVF_1_1cppUtil_1_1ctir.html#a05c7c51164928786d70713094db7f3f3',1,'SVF::cppUtil::ctir']]],
+  ['moduleidentifier_4312',['moduleIdentifier',['../classSVF_1_1SVFModule.html#ac40e98040f949171279afec54bb03f71',1,'SVF::SVFModule']]],
+  ['modulename_4313',['moduleName',['../classSVF_1_1SVFStat.html#a3333e45303dcc9c3da00858628cdbbff',1,'SVF::SVFStat']]],
+  ['modulepass_4314',['ModulePass',['../namespaceSVF.html#ac226d84f86637126d17f6814632c8a90',1,'SVF']]],
+  ['modules_4315',['modules',['../classSVF_1_1LLVMModuleSet.html#acde6292e719c80f93d3d1c344ab442cd',1,'SVF::LLVMModuleSet']]],
+  ['move_4316',['move',['../namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016',1,'SVF::SVFUtil']]],
+  ['moveedgestorepnode_4317',['moveEdgesToRepNode',['../classSVF_1_1ConstraintGraph.html#aabe2861fcbc364e2c8aa8114d4879c39',1,'SVF::ConstraintGraph']]],
+  ['moveinedgestorepnode_4318',['moveInEdgesToRepNode',['../classSVF_1_1ConstraintGraph.html#a081bf1238121eb52a0c9ad60f77ecbcd',1,'SVF::ConstraintGraph']]],
+  ['moveoutedgestorepnode_4319',['moveOutEdgesToRepNode',['../classSVF_1_1ConstraintGraph.html#aa436aac95be84d1946169f4984deae59',1,'SVF::ConstraintGraph']]],
+  ['movetoglobal_4320',['moveToGlobal',['../classSVF_1_1SVFIR2ConsExeState.html#a213e6f6dd1ad0e2e0b525f1b55735553',1,'SVF::SVFIR2ConsExeState::moveToGlobal()'],['../classSVF_1_1SVFIR2ItvExeState.html#af80d7665d9815a80ffdba92c3ba029d1',1,'SVF::SVFIR2ItvExeState::moveToGlobal()']]],
+  ['mphi_4321',['MPhi',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aac6fa19473ed8b90a7fd8c9080e5e014',1,'SVF::VFGNode']]],
+  ['mr_4322',['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_4323',['mr2CounterMap',['../classSVF_1_1MemSSA.html#a22e2dd0fc78877bdedd207a40540a634',1,'SVF::MemSSA']]],
+  ['mr2verstackmap_4324',['mr2VerStackMap',['../classSVF_1_1MemSSA.html#ae4c7b17d8da8278dca362af79f9f268d',1,'SVF::MemSSA']]],
+  ['mremap_4325',['mremap',['../extapi_8c.html#aa1540638fbde3dc27844fbd24db1e642',1,'extapi.c']]],
+  ['mrgen_4326',['mrGen',['../classSVF_1_1MemSSA.html#a213ebe634bbdbe33460ccd941c1dc6a5',1,'SVF::MemSSA']]],
+  ['mrgenerator_4327',['MRGenerator',['../classSVF_1_1MRGenerator.html',1,'SVF::MRGenerator'],['../classSVF_1_1MRGenerator.html#ac8fedbb65a582135354c939183d48f46',1,'SVF::MRGenerator::MRGenerator()']]],
+  ['mrid_4328',['MRID',['../namespaceSVF.html#a1ed5cfc8a00b2d3b90e74debabaa62a5',1,'SVF']]],
+  ['mrset_4329',['MRSet',['../classSVF_1_1MRGenerator.html#a98ac3bf264e6a85d172c2c4264ea908f',1,'SVF::MRGenerator::MRSet()'],['../classSVF_1_1MemSSA.html#a37b84780f57cbee50cf957cfbab195c1',1,'SVF::MemSSA::MRSet()']]],
+  ['mrsvfgnode_4330',['MRSVFGNode',['../classSVF_1_1MRSVFGNode.html',1,'SVF::MRSVFGNode'],['../classSVF_1_1MRSVFGNode.html#a2c2b0476c49c5f2d4ebe6eec22c7345f',1,'SVF::MRSVFGNode::MRSVFGNode()']]],
+  ['mrvector_4331',['MRVector',['../classSVF_1_1MemSSA.html#a7c3fda6f082231350524c2d7c16f067e',1,'SVF::MemSSA']]],
+  ['mrver_4332',['MRVer',['../classSVF_1_1MRVer.html',1,'SVF::MRVer'],['../classSVF_1_1MRVer.html#a15c18c76e5911e472747183f35cd7028',1,'SVF::MRVer::MRVer()']]],
+  ['mrverid_4333',['MRVERID',['../namespaceSVF.html#a0039280e908258b8e73779de51e9f63b',1,'SVF']]],
+  ['mrverset_4334',['MRVerSet',['../classSVF_1_1IndirectSVFGEdge.html#a0df62e44e394d4b4cc30b5012308eb11',1,'SVF::IndirectSVFGEdge']]],
+  ['mrversion_4335',['MRVERSION',['../namespaceSVF.html#a39df0130e37e97db2ff7620bbb2a72f5',1,'SVF']]],
+  ['mssa_4336',['mssa',['../classSVF_1_1SVFG.html#aa6a563cab8678b2256ca6ae7838285c8',1,'SVF::SVFG::mssa()'],['../classSVF_1_1MemSSAStat.html#ab29515f4e5b1f090c06a6e39761d3394',1,'SVF::MemSSAStat::mssa()']]],
+  ['mssachi_4337',['MSSACHI',['../classSVF_1_1MSSACHI.html',1,'SVF::MSSACHI< Cond >'],['../classSVF_1_1MSSACHI.html#af9ecdf852667bd23fe4805ba04c3e815',1,'SVF::MSSACHI::MSSACHI()']]],
+  ['mssadef_4338',['MSSADEF',['../classSVF_1_1MSSADEF.html',1,'SVF::MSSADEF'],['../classSVF_1_1MSSADEF.html#a1b1c7cbc293182a5ded43efa522990de',1,'SVF::MSSADEF::MSSADEF()'],['../classSVF_1_1MRVer.html#a1f51f0c2ae814b2170e549ea1122a99f',1,'SVF::MRVer::MSSADef()']]],
+  ['mssafun_4339',['MSSAFun',['../classSVF_1_1Options.html#aa8818e8138233838af224d4214de9e8f',1,'SVF::Options']]],
+  ['mssamu_4340',['MSSAMU',['../classSVF_1_1MSSAMU.html',1,'SVF::MSSAMU< Cond >'],['../classSVF_1_1MSSAMU.html#a1d0f8d3e7651f4ace92d31a9c6604e2f',1,'SVF::MSSAMU::MSSAMU()']]],
+  ['mssamuchi_2eh_4341',['MSSAMuChi.h',['../MSSAMuChi_8h.html',1,'']]],
+  ['mssaphi_4342',['MSSAPHI',['../classSVF_1_1MSSAPHI.html',1,'SVF::MSSAPHI< Cond >'],['../classSVF_1_1MSSAPHI.html#a5bf48995f87393d20bdedc6749c75ae5',1,'SVF::MSSAPHI::MSSAPHI()']]],
+  ['mssaphisvfgnode_4343',['MSSAPHISVFGNode',['../classSVF_1_1MSSAPHISVFGNode.html',1,'SVF::MSSAPHISVFGNode'],['../classSVF_1_1MSSAPHISVFGNode.html#aec8a372f9024af27a87c5b43e4dc633d',1,'SVF::MSSAPHISVFGNode::MSSAPHISVFGNode()']]],
+  ['mssavartodefmap_4344',['MSSAVarToDefMap',['../classSVF_1_1SVFG.html#aafa1b445bd3578daaba8f82e517745f1',1,'SVF::SVFG']]],
+  ['mssavartodefmapty_4345',['MSSAVarToDefMapTy',['../classSVF_1_1SVFG.html#ac84d3749671f177b14749a825e36efe3',1,'SVF::SVFG']]],
+  ['mta_4346',['MTA',['../classSVF_1_1MTA.html',1,'SVF::MTA'],['../classSVF_1_1MTA.html#ab25d605ed6040a9ad6ed6fcec4e8d338',1,'SVF::MTA::MTA()']]],
+  ['mta_2ecpp_4347',['mta.cpp',['../mta_8cpp.html',1,'(Global Namespace)'],['../MTA_8cpp.html',1,'(Global Namespace)']]],
+  ['mta_2eh_4348',['MTA.h',['../MTA_8h.html',1,'']]],
+  ['mtaannotator_4349',['MTAAnnotator',['../classSVF_1_1MTAAnnotator.html',1,'SVF::MTAAnnotator'],['../classSVF_1_1MTAAnnotator.html#a37ae5e04b0f5560d0f6c2f143b325cd4',1,'SVF::MTAAnnotator::MTAAnnotator()']]],
+  ['mtaannotator_2ecpp_4350',['MTAAnnotator.cpp',['../MTAAnnotator_8cpp.html',1,'']]],
+  ['mtaannotator_2eh_4351',['MTAAnnotator.h',['../MTAAnnotator_8h.html',1,'']]],
+  ['mtaresultvalidator_4352',['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_4353',['MTAResultValidator.cpp',['../MTAResultValidator_8cpp.html',1,'']]],
+  ['mtaresultvalidator_2eh_4354',['MTAResultValidator.h',['../svf-llvm_2tools_2MTA_2MTAResultValidator_8h.html',1,'(Global Namespace)'],['../svf_2include_2MTA_2MTAResultValidator_8h.html',1,'(Global Namespace)']]],
+  ['mtastat_4355',['MTAStat',['../classSVF_1_1MTAStat.html',1,'SVF::MTAStat'],['../classSVF_1_1MTAStat.html#a10631a14fd258679f98c17622de4352a',1,'SVF::MTAStat::MTAStat()']]],
+  ['mtastat_2ecpp_4356',['MTAStat.cpp',['../MTAStat_8cpp.html',1,'']]],
+  ['mtastat_2eh_4357',['MTAStat.h',['../MTAStat_8h.html',1,'']]],
+  ['mtasvfgbuilder_4358',['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_4359',['MU',['../classSVF_1_1SVFG.html#a7f4deffe7e13352b8c13eab110c834cc',1,'SVF::SVFG::MU()'],['../classSVF_1_1MemSSA.html#a2b4f3b19b32ac61dd1932faa82b93d8b',1,'SVF::MemSSA::MU()']]],
+  ['mul_4360',['Mul',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a787e5771d6e70f3cbec3e2a33f5a4e8a',1,'SVF::BinaryOPStmt']]],
+  ['multi_5finheritance_4361',['MULTI_INHERITANCE',['../classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3a1d2b2d38bfc09259f63933e9ab23aecc',1,'SVF::DCHNode::MULTI_INHERITANCE()'],['../classSVF_1_1CHNode.html#a7111a3971f9f03e32bfd291a783d43b4afd6d851b22e741690f0736b4858d81a5',1,'SVF::CHNode::MULTI_INHERITANCE()']]],
+  ['multiforked_4362',['multiforked',['../classSVF_1_1TCTNode.html#a414f4b98fb8fd36d2cb381ff56eb98d8',1,'SVF::TCTNode']]],
+  ['multiopndlabelcounter_4363',['multiOpndLabelCounter',['../classSVF_1_1SVFStmt.html#a9ea22adbfc307dddee42ffec07cc88ed',1,'SVF::SVFStmt']]],
+  ['multiopndstmt_4364',['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_4365',['MUSet',['../classSVF_1_1SVFG.html#acdbe1c510273107b708935061b6c4127',1,'SVF::SVFG::MUSet()'],['../classSVF_1_1MemSSA.html#a81bba824495a882b49e687683954b112',1,'SVF::MemSSA::MUSet()']]],
+  ['mustalias_4366',['mustAlias',['../classSVF_1_1CondPTAImpl.html#a3b5877fec52bbfa7c83bab6c9bc95684',1,'SVF::CondPTAImpl::mustAlias()'],['../namespaceSVF.html#a61c01e2e687ab3a001fb806737583943ab58a0391f037031a51016ebfe2a752b2',1,'SVF::MustAlias()']]],
+  ['mutable_4367',['Mutable',['../classSVF_1_1BVDataPTAImpl.html#ad76328a8543b02784992afc2d5501d8aa1cfb236b5127b660373c36b77a79ab5e',1,'SVF::BVDataPTAImpl']]],
+  ['mutabledfptdata_4368',['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_4369',['MutableDFPTData< Key, KeySet, Data, DataSet >',['../classSVF_1_1MutablePTData.html#ad92cfe345043b1bc8d6c7a03df43310f',1,'SVF::MutablePTData']]],
+  ['mutablediffptdata_4370',['MutableDiffPTData',['../classSVF_1_1MutableDiffPTData.html',1,'SVF::MutableDiffPTData< Key, KeySet, Data, DataSet >'],['../classSVF_1_1MutableDiffPTData.html#ae087d0307844312710c2d4c05535ea86',1,'SVF::MutableDiffPTData::MutableDiffPTData()']]],
+  ['mutableincdfptdata_4371',['MutableIncDFPTData',['../classSVF_1_1MutableIncDFPTData.html',1,'SVF::MutableIncDFPTData< Key, KeySet, Data, DataSet >'],['../classSVF_1_1MutableIncDFPTData.html#a9b06421a9043dc61485acf51cfc26a91',1,'SVF::MutableIncDFPTData::MutableIncDFPTData()']]],
+  ['mutablepointstods_2eh_4372',['MutablePointsToDS.h',['../MutablePointsToDS_8h.html',1,'']]],
+  ['mutableptdata_4373',['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_4374',['MutablePTData< VersionedKey, VersionedKeySet, Data, DataSet >',['../classSVF_1_1MutablePTData.html',1,'SVF']]],
+  ['mutableversionedptdata_4375',['MutableVersionedPTData',['../classSVF_1_1MutableVersionedPTData.html',1,'SVF::MutableVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >'],['../classSVF_1_1MutableVersionedPTData.html#ad2f9950ad71a39c400a4835e6e84fcd9',1,'SVF::MutableVersionedPTData::MutableVersionedPTData()']]],
+  ['mutbase_4376',['MutBase',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848a47a2413878b6ed98b42b9ae10e839072',1,'SVF::PTData']]],
+  ['mutdataflow_4377',['MutDataFlow',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848a46777c0122829cc199bc911e585b4f62',1,'SVF::PTData']]],
+  ['mutdfptdataty_4378',['MutDFPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#ac130bf326911b8e5396f57daa78566e7',1,'SVF::BVDataPTAImpl::MutDFPTDataTy()'],['../classSVF_1_1FlowSensitive.html#a03a3178d88db4efc0593fedb22938e7d',1,'SVF::FlowSensitive::MutDFPTDataTy()']]],
+  ['mutdiff_4379',['MutDiff',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848ac17ed6fa5de5a3f67108692b103a4c87',1,'SVF::PTData']]],
+  ['mutdiffptdataty_4380',['MutDiffPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#ac4e74e6dfee9d08198e0f7e3d76a0646',1,'SVF::BVDataPTAImpl']]],
+  ['mutincdataflow_4381',['MutIncDataFlow',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848aa4e18dfa52aad741c91bcc78339e986c',1,'SVF::PTData']]],
+  ['mutincdfptdataty_4382',['MutIncDFPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#a639446e6bf9712afa439d089b94aefae',1,'SVF::BVDataPTAImpl']]],
+  ['mutptdata_4383',['mutPTData',['../classSVF_1_1MutableDiffPTData.html#a3603cb4baf60b1aa83b7807ac5591484',1,'SVF::MutableDiffPTData::mutPTData()'],['../classSVF_1_1MutableDFPTData.html#acf40f716470f73095d44a1b9e3bb939e',1,'SVF::MutableDFPTData::mutPTData()']]],
+  ['mutptdataty_4384',['MutPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#a533384bd2eb8a1589ba8b7695c759073',1,'SVF::BVDataPTAImpl::MutPTDataTy()'],['../classSVF_1_1CondPTAImpl.html#af3ae2748edfdefaa08a73930bd012d6c',1,'SVF::CondPTAImpl::MutPTDataTy()']]],
+  ['mutversioned_4385',['MutVersioned',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848aac925590471ccb9c851698b232fdd3a5',1,'SVF::PTData']]],
+  ['mutversionedptdataty_4386',['MutVersionedPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#a7fde3e9b189e988cd0a24d567b136e13',1,'SVF::BVDataPTAImpl']]],
+  ['mutype_4387',['MUTYPE',['../classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9b',1,'SVF::MSSAMU']]]
 ];