svf-tools 1.0.875 → 1.0.877

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

@@ -1,206 +1,206 @@
 var searchData=
 [
-  ['m_4227',['M',['../classSVF_1_1RaceResultValidator.html#aedc9ec6c3db947fa7e1ef50fbb61e9a8',1,'SVF::RaceResultValidator']]],
-  ['m_5fcond_4228',['m_cond',['../classSVF_1_1CondVar.html#a90b13685d2126f8c10dde4a504bb28df',1,'SVF::CondVar']]],
-  ['m_5fid_4229',['m_id',['../classSVF_1_1CondVar.html#a26fd04b3f2d45f0c230e1823f3eea49a',1,'SVF::CondVar']]],
-  ['main_4230',['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_4231',['make_pointee_range',['../namespaceSVF.html#a41ca7c140a3b61d946e8c6338102986e',1,'SVF']]],
-  ['make_5fpointer_5frange_4232',['make_pointer_range',['../namespaceSVF.html#a7a436778318d16678992a3173988afc2',1,'SVF']]],
-  ['make_5frange_4233',['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_4234',['make_void',['../structSVF_1_1SVFUtil_1_1make__void.html',1,'SVF::SVFUtil']]],
-  ['makeedgeflagwithaddionalopnd_4235',['makeEdgeFlagWithAddionalOpnd',['../classSVF_1_1SVFStmt.html#a3b20523aed66ac8943d7d00ff777137b',1,'SVF::SVFStmt']]],
-  ['makeedgeflagwithcallinst_4236',['makeEdgeFlagWithCallInst',['../classSVF_1_1SVFStmt.html#a4513c6e66b46c36219ba6d7403f3eb00',1,'SVF::SVFStmt']]],
-  ['makeedgeflagwithinvokeid_4237',['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_4238',['makeEdgeFlagWithStoreInst',['../classSVF_1_1SVFStmt.html#ad61722f886afaaee722ac55a4eed4d18',1,'SVF::SVFStmt']]],
-  ['malloc_5ffn_4239',['malloc_fn',['../structcJSON__Hooks.html#a71693d8b277a80a1faf8758b9589d670',1,'cJSON_Hooks']]],
-  ['map_4240',['Map',['../namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1',1,'SVF']]],
-  ['map_5fiter_4241',['map_iter',['../namespaceSVF.html#a809dcd83e295c61bb54710ba545d8d96',1,'SVF']]],
-  ['mapped_5fiter_4242',['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_4243',['MappingPtr',['../classSVF_1_1PointsTo.html#a849f670b38cb6f65fc23707a212591c7',1,'SVF::PointsTo']]],
-  ['mapvaluetoedge_4244',['mapValueToEdge',['../classSVF_1_1IRGraph.html#a51201a8fce21b56e3f59a31af04c7b76',1,'SVF::IRGraph']]],
-  ['markbkvisited_4245',['markbkVisited',['../classSVF_1_1DDAVFSolver.html#a7112ce6145be0855f8b035bb0d8a331c',1,'SVF::DDAVFSolver']]],
-  ['markcxtstmtflag_4246',['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_4247',['MarkedClocksOnly',['../classSVF_1_1Options.html#abcb6796d45722562546f33b2745a0418',1,'SVF::Options']]],
-  ['markrecursivefuns_4248',['markRecursiveFuns',['../classSVF_1_1AE.html#a287d0d18395dd36aaf35219bf1e22abc',1,'SVF::AE']]],
-  ['markrelprocs_4249',['markRelProcs',['../classSVF_1_1TCT.html#a8bb7ffa8dd185c52e6c150f9bc995511',1,'SVF::TCT::markRelProcs()'],['../classSVF_1_1TCT.html#a0938016193057ff47dbd6b8308e804c5',1,'SVF::TCT::markRelProcs(const SVFFunction *fun)']]],
-  ['markvalidvfedge_4250',['markValidVFEdge',['../classSVF_1_1SVFGBuilder.html#a3f8fc56d5190ea59d06906b359640dae',1,'SVF::SVFGBuilder']]],
-  ['match_4251',['match',['../classSVF_1_1LockResultValidator.html#a4134d0a10f039628e3e77ec256cec8ea',1,'SVF::LockResultValidator']]],
-  ['matchargs_4252',['matchArgs',['../namespaceSVF_1_1SVFUtil.html#af6ccc943516cedd7d8cd1de09d8f554e',1,'SVF::SVFUtil']]],
-  ['matchcontext_4253',['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_4254',['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_4255',['matchesLabel',['../namespaceSVF_1_1cppUtil.html#a6457105712e29db5c8a8183239daa013',1,'SVF::cppUtil']]],
-  ['max_4256',['max',['../classSVF_1_1NumericLiteral.html#a9e7a696842de2a4fae08a75d72a807ec',1,'SVF::NumericLiteral::max()'],['../classSVF_1_1NumericLiteral.html#abeb6260917a412282ddd174bd835cfa2',1,'SVF::NumericLiteral::max(std::vector< NumericLiteral > &_l)']]],
-  ['maxbvlen_4257',['MaxBVLen',['../classSVF_1_1Options.html#a71461051f5fe6b4cc33103746525b23f',1,'SVF::Options::MaxBVLen()'],['../BoundedZ3Expr_8h.html#adf05e95ec112057aa9e9abf8616e40c7',1,'MaxBvLen(): BoundedZ3Expr.h']]],
-  ['maxcontextlen_4258',['MaxContextLen',['../classSVF_1_1Options.html#a6237da3f4e264fa8b63c11d621f39e71',1,'SVF::Options']]],
-  ['maxcxtsize_4259',['MaxCxtSize',['../classSVF_1_1TCT.html#aaae41663b1d1f4d38b047c50c156defb',1,'SVF::TCT']]],
-  ['maxfieldlimit_4260',['MaxFieldLimit',['../classSVF_1_1Options.html#aaab923c093730b1670a54f09340b1bd5',1,'SVF::Options']]],
-  ['maximumbudget_4261',['maximumBudget',['../classSVF_1_1DPItem.html#a5dbb0e6010b38c5b937ff06cb40cd0ef',1,'SVF::DPItem']]],
-  ['maximumcxt_4262',['maximumCxt',['../classSVF_1_1ContextCond.html#a151b9f21eedd4fdd8f46b78bb456582d',1,'SVF::ContextCond']]],
-  ['maximumcxtlen_4263',['maximumCxtLen',['../classSVF_1_1ContextCond.html#a3280db7a2b93612fb693a7c1117acfdd',1,'SVF::ContextCond']]],
-  ['maximumpath_4264',['maximumPath',['../classSVF_1_1ContextCond.html#a7d89351906ef4dff9adb1196f45bc9be',1,'SVF::ContextCond']]],
-  ['maximumpathlen_4265',['maximumPathLen',['../classSVF_1_1ContextCond.html#aa61b4de81e440448daaf0c5be53aebf3',1,'SVF::ContextCond']]],
-  ['maxindegree_4266',['maxInDegree',['../classSVF_1_1SVFGStat.html#a536b591b21756519262873462001f421',1,'SVF::SVFGStat']]],
-  ['maxindindegree_4267',['maxIndInDegree',['../classSVF_1_1SVFGStat.html#a2f1bb17038de877fd1ccffdea3f3cde3',1,'SVF::SVFGStat']]],
-  ['maxindoutdegree_4268',['maxIndOutDegree',['../classSVF_1_1SVFGStat.html#ac7cb2228bd31e8ebdf33ae2bfd399683',1,'SVF::SVFGStat']]],
-  ['maxoffsetlimit_4269',['maxOffsetLimit',['../classSVF_1_1ObjTypeInfo.html#a5ff63eb0654acd152f7d6c18618ee94a',1,'SVF::ObjTypeInfo']]],
-  ['maxoutdegree_4270',['maxOutDegree',['../classSVF_1_1SVFGStat.html#a6694ace7ee1b24b0c5ce42e06e4db2cf',1,'SVF::SVFGStat']]],
-  ['maxpathlen_4271',['MaxPathLen',['../classSVF_1_1Options.html#a63121666a96f6cd2ae56d868c9576a53',1,'SVF::Options']]],
-  ['maxpointstosetsize_4272',['MaxPointsToSetSize',['../classSVF_1_1AndersenBase.html#abd73e930450b7c605f478672bdf9bdae',1,'SVF::AndersenBase']]],
-  ['maxsccsize_4273',['maxSCCSize',['../classSVF_1_1FlowSensitive.html#aa3d4703756a6297ab5c0756172024fe4',1,'SVF::FlowSensitive']]],
-  ['maxstepinwrapper_4274',['MaxStepInWrapper',['../classSVF_1_1Options.html#aab0131558d9da9b0fe888387217ba919',1,'SVF::Options']]],
-  ['maxstruct_4275',['maxStruct',['../classSVF_1_1SymbolTableInfo.html#a0c1143eff451edf8ea47d4487a8d3a55',1,'SVF::SymbolTableInfo']]],
-  ['maxstsize_4276',['maxStSize',['../classSVF_1_1SymbolTableInfo.html#abb8550c9ef856e45cb7675c3796f9a35',1,'SVF::SymbolTableInfo']]],
-  ['maxz3size_4277',['MaxZ3Size',['../classSVF_1_1Options.html#a86f982d9716181bca93a350b5a11a1dc',1,'SVF::Options']]],
-  ['mayaccessaliases_4278',['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_4279',['MayAlias',['../namespaceSVF.html#a61c01e2e687ab3a001fb806737583943aef15fd8989d8dd9576b3fbb2aabc118f',1,'SVF']]],
-  ['mayhappeninparallel_4280',['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_4281',['mayHappenInParallelBetweenFunctions',['../classSVF_1_1PCG.html#af3e4194411bb061802afddacab7587b7',1,'SVF::PCG']]],
-  ['mayhappeninparallelcache_4282',['mayHappenInParallelCache',['../classSVF_1_1MHP.html#a843f1fa52625ec9e844307ba51fec202',1,'SVF::MHP']]],
-  ['mayhappeninparallelinst_4283',['mayHappenInParallelInst',['../classSVF_1_1MHP.html#a0cb1db9943ddc0928afa8e370cbf60c6',1,'SVF::MHP']]],
-  ['mayhavedatarace_4284',['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_4285',['MDEF',['../classSVF_1_1MemSSA.html#a57e68097212e88568eea829fb998fe0c',1,'SVF::MemSSA']]],
-  ['mdnode_4286',['MDNode',['../namespaceSVF.html#ad3d3cec1813411f039211c86236f7adb',1,'SVF']]],
-  ['mdstring_4287',['MDString',['../namespaceSVF.html#a28eec26ec8edaa5e96aecfeb01f6c0d4',1,'SVF']]],
-  ['meet_5fwith_4288',['meet_with',['../classSVF_1_1AddressValue.html#a02f61a255d2bbbdc36ee1541248fdbfb',1,'SVF::AddressValue::meet_with()'],['../classSVF_1_1IntervalValue.html#a144e17cec654e83654298b379ed4ce9f',1,'SVF::IntervalValue::meet_with()']]],
-  ['meetwith_4289',['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_4290',['meld',['../classSVF_1_1POCRHybridSolver.html#a403f469326cd3066e6352bf2587f983d',1,'SVF::POCRHybridSolver::meld()'],['../classSVF_1_1VersionedFlowSensitive.html#a1da960df51570b59161e380949d910c4',1,'SVF::VersionedFlowSensitive::meld()']]],
-  ['meld_5fh_4291',['meld_h',['../classSVF_1_1POCRHybridSolver.html#a6d3610151daec1ffa26e6b9fccad4e91',1,'SVF::POCRHybridSolver']]],
-  ['meldlabel_4292',['meldLabel',['../classSVF_1_1VersionedFlowSensitive.html#aaff594c78d93f7ad632d344e5c1c7f6a',1,'SVF::VersionedFlowSensitive']]],
-  ['meldlabelingtime_4293',['meldLabelingTime',['../classSVF_1_1VersionedFlowSensitive.html#a4a594c8d6ccaa27b5328c6388fdb258d',1,'SVF::VersionedFlowSensitive']]],
-  ['meldversion_4294',['MeldVersion',['../classSVF_1_1VersionedFlowSensitive.html#a630eeca9c3344d24fa196f7de45bce18',1,'SVF::VersionedFlowSensitive']]],
-  ['mem_4295',['mem',['../classSVF_1_1ObjVar.html#a3d08dc1d15a449ff4b7018da4bfdcb88',1,'SVF::ObjVar::mem()'],['../classSVF_1_1SVFBugReport.html#aed1046e4c7559ebdaf57775726645085',1,'SVF::SVFBugReport::mem()']]],
-  ['memchr_4296',['memchr',['../extapi_8c.html#a8b9b7da7d0b91e982da9acf6f63cdbc5',1,'extapi.c']]],
-  ['memcpy_4297',['MEMCPY',['../classSVF_1_1AEAPI.html#a29ab312d273e6c9c32a40d61861afb04a9a492bae5e1779267055b83cf033da28',1,'SVF::AEAPI']]],
-  ['memmem_4298',['memmem',['../extapi_8c.html#af16de4459bf927899e7a81c869d7cbb0',1,'extapi.c']]],
-  ['memobj_4299',['MemObj',['../classSVF_1_1MemObj.html',1,'SVF::MemObj'],['../classSVF_1_1MemObj.html#af588c401d129de6ba9abc1819774e342',1,'SVF::MemObj::MemObj()']]],
-  ['memobjmap_4300',['memObjMap',['../classSVF_1_1SymbolTableInfoReader.html#a0bf60f2250c864592c507dd6b03800a9',1,'SVF::SymbolTableInfoReader']]],
-  ['memobjtofieldsmap_4301',['MemObjToFieldsMap',['../classSVF_1_1SVFIR.html#ab6abb822445c9b3f5cb2b7206042e940',1,'SVF::SVFIR']]],
-  ['memory_5fusage_4302',['memory_usage',['../classSVF_1_1AEStat.html#a2064225a75798a495100eb7da2c880af',1,'SVF::AEStat']]],
-  ['memorylocation_4303',['MemoryLocation',['../namespaceSVF.html#a339bbddac9d9dffd5ef602200d34c403',1,'SVF']]],
-  ['mempar_4304',['MemPar',['../classSVF_1_1Options.html#aa127a32b03e381343c624e53adc4ef2e',1,'SVF::Options']]],
-  ['mempartition_4305',['MemPartition',['../classSVF_1_1MemSSA.html#ac0797f2ee7b59ae720095a4836533671',1,'SVF::MemSSA']]],
-  ['mempartition_2ecpp_4306',['MemPartition.cpp',['../MemPartition_8cpp.html',1,'']]],
-  ['mempartition_2eh_4307',['MemPartition.h',['../MemPartition_8h.html',1,'']]],
-  ['memrchr_4308',['memrchr',['../extapi_8c.html#ac69d59eb6e11058ca74bc9b2d6b39b95',1,'extapi.c']]],
-  ['memregion_4309',['MemRegion',['../classSVF_1_1MemRegion.html',1,'SVF::MemRegion'],['../classSVF_1_1MemRegion.html#a1d8189977196da687f50cfa6df98394b',1,'SVF::MemRegion::MemRegion()']]],
-  ['memregion_2ecpp_4310',['MemRegion.cpp',['../MemRegion_8cpp.html',1,'']]],
-  ['memregion_2eh_4311',['MemRegion.h',['../MemRegion_8h.html',1,'']]],
-  ['memregset_4312',['memRegSet',['../classSVF_1_1MRGenerator.html#af94bd8155a23273aab2396334d905119',1,'SVF::MRGenerator']]],
-  ['memregtobbsmap_4313',['MemRegToBBsMap',['../classSVF_1_1MemSSA.html#a8d0c1a00d7db194da66c685d79e73de5',1,'SVF::MemSSA']]],
-  ['memregtocountermap_4314',['MemRegToCounterMap',['../classSVF_1_1MemSSA.html#ae1aca020147c270deca2a1241e3847d0',1,'SVF::MemSSA']]],
-  ['memregtoverstackmap_4315',['MemRegToVerStackMap',['../classSVF_1_1MemSSA.html#aa9dbaf51f0498f3bd878827744208899',1,'SVF::MemSSA']]],
-  ['memset_4316',['MEMSET',['../classSVF_1_1AEAPI.html#a29ab312d273e6c9c32a40d61861afb04a68863d4626b3cde194a0fa6da74a3313',1,'SVF::AEAPI']]],
-  ['memssa_4317',['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_4318',['MemSSA.cpp',['../MemSSA_8cpp.html',1,'']]],
-  ['memssa_2eh_4319',['MemSSA.h',['../MemSSA_8h.html',1,'']]],
-  ['memssastat_4320',['MemSSAStat',['../classSVF_1_1MemSSAStat.html',1,'SVF::MemSSAStat'],['../classSVF_1_1MemSSAStat.html#a53f3d85a8eb63676d3dc47ee648efb66',1,'SVF::MemSSAStat::MemSSAStat()']]],
-  ['memtofieldsmap_4321',['memToFieldsMap',['../classSVF_1_1SVFIR.html#a3c014227661d8976714772205611c252',1,'SVF::SVFIR']]],
-  ['memtype_4322',['MEMTYPE',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830',1,'SVF::ObjTypeInfo']]],
-  ['memusage_4323',['memUsage',['../classSVF_1_1AEStat.html#a4b1f6388893e6aaef1acd411972cde19',1,'SVF::AEStat']]],
-  ['mergefunctionrets_4324',['MergeFunctionRets',['../classSVF_1_1MergeFunctionRets.html',1,'SVF::MergeFunctionRets'],['../classSVF_1_1MergeFunctionRets.html#a2b989707893cd81dd275be6a3b8c79fc',1,'SVF::MergeFunctionRets::MergeFunctionRets()']]],
-  ['mergenodetorep_4325',['mergeNodeToRep',['../classSVF_1_1Andersen.html#a36729160041bc3a3e2b0a92b29062848',1,'SVF::Andersen']]],
-  ['mergeptsoccmaps_4326',['mergePtsOccMaps',['../namespaceSVF_1_1SVFUtil.html#a36c91f952a69875c33d4bd0b05a27ff2',1,'SVF::SVFUtil']]],
-  ['mergescccycle_4327',['mergeSccCycle',['../classSVF_1_1Andersen.html#ac86ffd334568e4df5c08b3c827018bef',1,'SVF::Andersen']]],
-  ['mergesccnodes_4328',['mergeSccNodes',['../classSVF_1_1Andersen.html#a1ba1e1e36af289982146de06cf06ab0a',1,'SVF::Andersen']]],
-  ['mergespan_4329',['mergeSpan',['../classSVF_1_1MTASVFGBuilder.html#ae028fe894e3c6e7fd0ad6feeaa64320e',1,'SVF::MTASVFGBuilder']]],
-  ['mergesrctotgt_4330',['mergeSrcToTgt',['../classSVF_1_1Andersen.html#ae6b1e54a389abc68994219e39539127e',1,'SVF::Andersen::mergeSrcToTgt()'],['../classSVF_1_1AndersenSFR.html#ac5f406db5610347564fceff4d36f6a6f',1,'SVF::AndersenSFR::mergeSrcToTgt()']]],
-  ['metadataasvalue_4331',['MetadataAsValue',['../namespaceSVF.html#a773900ea3c75022657aac1abf59fa51b',1,'SVF']]],
-  ['metasame_4332',['metaSame',['../classSVF_1_1PointsTo.html#aa1e773b7abda97441d6ffe39c668d4ec',1,'SVF::PointsTo']]],
-  ['mfspta_4333',['mfspta',['../classSVF_1_1FSMPTA.html#af248a80855457ca9e5a7208c114681bb',1,'SVF::FSMPTA']]],
-  ['mhp_4334',['MHP',['../classSVF_1_1MHP.html',1,'SVF::MHP'],['../classSVF_1_1MHP.html#abf1f5a7c365dfb95b42015b7b2ad6fbe',1,'SVF::MHP::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()']]],
-  ['mhp_2ecpp_4335',['MHP.cpp',['../MHP_8cpp.html',1,'']]],
-  ['mhp_2eh_4336',['MHP.h',['../MHP_8h.html',1,'']]],
-  ['mhpfuns_4337',['mhpfuns',['../classSVF_1_1PCG.html#a96f91b051a8035b614e015bf4d5081e0',1,'SVF::PCG']]],
-  ['mhptime_4338',['MHPTime',['../classSVF_1_1MTAStat.html#a56411f7e64febab8aab94a4a9207e5d8',1,'SVF::MTAStat']]],
-  ['mhpvalidator_4339',['MHPValidator',['../classSVF_1_1MHPValidator.html',1,'SVF::MHPValidator'],['../classSVF_1_1MHPValidator.html#ab00f7f49e626f55184101acbe28cf3b1',1,'SVF::MHPValidator::MHPValidator()']]],
-  ['min_4340',['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_4341',['minify_string',['../cJSON_8cpp.html#a569f331078de59d01dee9351fa106e3b',1,'cJSON.cpp']]],
-  ['minterphi_4342',['MInterPhi',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8',1,'SVF::VFGNode']]],
-  ['mintraphi_4343',['MIntraPhi',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abde838081562229a5a5ca8bb250d5e18',1,'SVF::VFGNode']]],
-  ['minus_5finfinity_4344',['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_4345',['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_4346',['ModelArrays',['../classSVF_1_1Options.html#a429c3000ee2ac45119b8c241aa06762c',1,'SVF::Options']]],
-  ['modelconstants_4347',['modelConstants',['../classSVF_1_1SymbolTableInfo.html#ad20ccb90e8f9dee488a8aec0600399dc',1,'SVF::SymbolTableInfo']]],
-  ['modelconsts_4348',['ModelConsts',['../classSVF_1_1Options.html#a18dd95e01a50aa82165c46a3801053c5',1,'SVF::Options']]],
-  ['modref_4349',['ModRef',['../namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844a7f99364c041329bd5758261c8c440b30',1,'SVF']]],
-  ['modrefanalysis_4350',['modRefAnalysis',['../classSVF_1_1MRGenerator.html#adc9d530e6f010596d91cd3711dc1358b',1,'SVF::MRGenerator']]],
-  ['modrefinfo_4351',['ModRefInfo',['../namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844',1,'SVF']]],
-  ['module_4352',['module',['../classSVF_1_1DDAClient.html#a4ac68012099540beb87ee4700e824d64',1,'SVF::DDAClient::module()'],['../namespaceSVF.html#aa7a770b5dd5cd0e37d06a1088f252906',1,'SVF::Module()']]],
-  ['moduleflagvalue_4353',['moduleFlagValue',['../namespaceSVF_1_1cppUtil_1_1ctir.html#a05c7c51164928786d70713094db7f3f3',1,'SVF::cppUtil::ctir']]],
-  ['moduleidentifier_4354',['moduleIdentifier',['../classSVF_1_1SVFModule.html#ac40e98040f949171279afec54bb03f71',1,'SVF::SVFModule']]],
-  ['modulename_4355',['moduleName',['../classSVF_1_1SVFStat.html#a3333e45303dcc9c3da00858628cdbbff',1,'SVF::SVFStat']]],
-  ['modulepass_4356',['ModulePass',['../namespaceSVF.html#ac226d84f86637126d17f6814632c8a90',1,'SVF']]],
-  ['modules_4357',['modules',['../classSVF_1_1LLVMModuleSet.html#acde6292e719c80f93d3d1c344ab442cd',1,'SVF::LLVMModuleSet']]],
-  ['move_4358',['move',['../namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016',1,'SVF::SVFUtil']]],
-  ['moveedgestorepnode_4359',['moveEdgesToRepNode',['../classSVF_1_1ConstraintGraph.html#aabe2861fcbc364e2c8aa8114d4879c39',1,'SVF::ConstraintGraph']]],
-  ['moveinedgestorepnode_4360',['moveInEdgesToRepNode',['../classSVF_1_1ConstraintGraph.html#a081bf1238121eb52a0c9ad60f77ecbcd',1,'SVF::ConstraintGraph']]],
-  ['moveoutedgestorepnode_4361',['moveOutEdgesToRepNode',['../classSVF_1_1ConstraintGraph.html#aa436aac95be84d1946169f4984deae59',1,'SVF::ConstraintGraph']]],
-  ['movetoglobal_4362',['moveToGlobal',['../classSVF_1_1SVFIR2ConsExeState.html#a213e6f6dd1ad0e2e0b525f1b55735553',1,'SVF::SVFIR2ConsExeState::moveToGlobal()'],['../classSVF_1_1SVFIR2ItvExeState.html#af80d7665d9815a80ffdba92c3ba029d1',1,'SVF::SVFIR2ItvExeState::moveToGlobal()']]],
-  ['mphi_4363',['MPhi',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aac6fa19473ed8b90a7fd8c9080e5e014',1,'SVF::VFGNode']]],
-  ['mr_4364',['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_4365',['mr2CounterMap',['../classSVF_1_1MemSSA.html#a22e2dd0fc78877bdedd207a40540a634',1,'SVF::MemSSA']]],
-  ['mr2verstackmap_4366',['mr2VerStackMap',['../classSVF_1_1MemSSA.html#ae4c7b17d8da8278dca362af79f9f268d',1,'SVF::MemSSA']]],
-  ['mremap_4367',['mremap',['../extapi_8c.html#aa1540638fbde3dc27844fbd24db1e642',1,'extapi.c']]],
-  ['mrgen_4368',['mrGen',['../classSVF_1_1MemSSA.html#a213ebe634bbdbe33460ccd941c1dc6a5',1,'SVF::MemSSA']]],
-  ['mrgenerator_4369',['MRGenerator',['../classSVF_1_1MRGenerator.html',1,'SVF::MRGenerator'],['../classSVF_1_1MRGenerator.html#ac8fedbb65a582135354c939183d48f46',1,'SVF::MRGenerator::MRGenerator()']]],
-  ['mrid_4370',['MRID',['../namespaceSVF.html#a1ed5cfc8a00b2d3b90e74debabaa62a5',1,'SVF']]],
-  ['mrset_4371',['MRSet',['../classSVF_1_1MRGenerator.html#a98ac3bf264e6a85d172c2c4264ea908f',1,'SVF::MRGenerator::MRSet()'],['../classSVF_1_1MemSSA.html#a37b84780f57cbee50cf957cfbab195c1',1,'SVF::MemSSA::MRSet()']]],
-  ['mrsvfgnode_4372',['MRSVFGNode',['../classSVF_1_1MRSVFGNode.html',1,'SVF::MRSVFGNode'],['../classSVF_1_1MRSVFGNode.html#a2c2b0476c49c5f2d4ebe6eec22c7345f',1,'SVF::MRSVFGNode::MRSVFGNode()']]],
-  ['mrvector_4373',['MRVector',['../classSVF_1_1MemSSA.html#a7c3fda6f082231350524c2d7c16f067e',1,'SVF::MemSSA']]],
-  ['mrver_4374',['MRVer',['../classSVF_1_1MRVer.html',1,'SVF::MRVer'],['../classSVF_1_1MRVer.html#a15c18c76e5911e472747183f35cd7028',1,'SVF::MRVer::MRVer()']]],
-  ['mrverid_4375',['MRVERID',['../namespaceSVF.html#a0039280e908258b8e73779de51e9f63b',1,'SVF']]],
-  ['mrverset_4376',['MRVerSet',['../classSVF_1_1IndirectSVFGEdge.html#a0df62e44e394d4b4cc30b5012308eb11',1,'SVF::IndirectSVFGEdge']]],
-  ['mrversion_4377',['MRVERSION',['../namespaceSVF.html#a39df0130e37e97db2ff7620bbb2a72f5',1,'SVF']]],
-  ['mssa_4378',['mssa',['../classSVF_1_1SVFG.html#aa6a563cab8678b2256ca6ae7838285c8',1,'SVF::SVFG::mssa()'],['../classSVF_1_1MemSSAStat.html#ab29515f4e5b1f090c06a6e39761d3394',1,'SVF::MemSSAStat::mssa()']]],
-  ['mssachi_4379',['MSSACHI',['../classSVF_1_1MSSACHI.html',1,'SVF::MSSACHI< Cond >'],['../classSVF_1_1MSSACHI.html#af9ecdf852667bd23fe4805ba04c3e815',1,'SVF::MSSACHI::MSSACHI()']]],
-  ['mssadef_4380',['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_4381',['MSSAFun',['../classSVF_1_1Options.html#aa8818e8138233838af224d4214de9e8f',1,'SVF::Options']]],
-  ['mssamu_4382',['MSSAMU',['../classSVF_1_1MSSAMU.html',1,'SVF::MSSAMU< Cond >'],['../classSVF_1_1MSSAMU.html#a1d0f8d3e7651f4ace92d31a9c6604e2f',1,'SVF::MSSAMU::MSSAMU()']]],
-  ['mssamuchi_2eh_4383',['MSSAMuChi.h',['../MSSAMuChi_8h.html',1,'']]],
-  ['mssaphi_4384',['MSSAPHI',['../classSVF_1_1MSSAPHI.html',1,'SVF::MSSAPHI< Cond >'],['../classSVF_1_1MSSAPHI.html#a5bf48995f87393d20bdedc6749c75ae5',1,'SVF::MSSAPHI::MSSAPHI()']]],
-  ['mssaphisvfgnode_4385',['MSSAPHISVFGNode',['../classSVF_1_1MSSAPHISVFGNode.html',1,'SVF::MSSAPHISVFGNode'],['../classSVF_1_1MSSAPHISVFGNode.html#aec8a372f9024af27a87c5b43e4dc633d',1,'SVF::MSSAPHISVFGNode::MSSAPHISVFGNode()']]],
-  ['mssavartodefmap_4386',['MSSAVarToDefMap',['../classSVF_1_1SVFG.html#aafa1b445bd3578daaba8f82e517745f1',1,'SVF::SVFG']]],
-  ['mssavartodefmapty_4387',['MSSAVarToDefMapTy',['../classSVF_1_1SVFG.html#ac84d3749671f177b14749a825e36efe3',1,'SVF::SVFG']]],
-  ['mta_4388',['MTA',['../classSVF_1_1MTA.html',1,'SVF::MTA'],['../classSVF_1_1MTA.html#ab25d605ed6040a9ad6ed6fcec4e8d338',1,'SVF::MTA::MTA()']]],
-  ['mta_2ecpp_4389',['mta.cpp',['../mta_8cpp.html',1,'(Global Namespace)'],['../MTA_8cpp.html',1,'(Global Namespace)']]],
-  ['mta_2eh_4390',['MTA.h',['../MTA_8h.html',1,'']]],
-  ['mtaannotator_4391',['MTAAnnotator',['../classSVF_1_1MTAAnnotator.html',1,'SVF::MTAAnnotator'],['../classSVF_1_1MTAAnnotator.html#a37ae5e04b0f5560d0f6c2f143b325cd4',1,'SVF::MTAAnnotator::MTAAnnotator()']]],
-  ['mtaannotator_2ecpp_4392',['MTAAnnotator.cpp',['../MTAAnnotator_8cpp.html',1,'']]],
-  ['mtaannotator_2eh_4393',['MTAAnnotator.h',['../MTAAnnotator_8h.html',1,'']]],
-  ['mtaresultvalidator_4394',['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_4395',['MTAResultValidator.cpp',['../MTAResultValidator_8cpp.html',1,'']]],
-  ['mtaresultvalidator_2eh_4396',['MTAResultValidator.h',['../svf-llvm_2tools_2MTA_2MTAResultValidator_8h.html',1,'(Global Namespace)'],['../svf_2include_2MTA_2MTAResultValidator_8h.html',1,'(Global Namespace)']]],
-  ['mtastat_4397',['MTAStat',['../classSVF_1_1MTAStat.html',1,'SVF::MTAStat'],['../classSVF_1_1MTAStat.html#a10631a14fd258679f98c17622de4352a',1,'SVF::MTAStat::MTAStat()']]],
-  ['mtastat_2ecpp_4398',['MTAStat.cpp',['../MTAStat_8cpp.html',1,'']]],
-  ['mtastat_2eh_4399',['MTAStat.h',['../MTAStat_8h.html',1,'']]],
-  ['mtasvfgbuilder_4400',['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_4401',['MU',['../classSVF_1_1SVFG.html#a7f4deffe7e13352b8c13eab110c834cc',1,'SVF::SVFG::MU()'],['../classSVF_1_1MemSSA.html#a2b4f3b19b32ac61dd1932faa82b93d8b',1,'SVF::MemSSA::MU()']]],
-  ['mul_4402',['Mul',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a787e5771d6e70f3cbec3e2a33f5a4e8a',1,'SVF::BinaryOPStmt']]],
-  ['multi_5finheritance_4403',['MULTI_INHERITANCE',['../classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3a1d2b2d38bfc09259f63933e9ab23aecc',1,'SVF::DCHNode::MULTI_INHERITANCE()'],['../classSVF_1_1CHNode.html#a7111a3971f9f03e32bfd291a783d43b4afd6d851b22e741690f0736b4858d81a5',1,'SVF::CHNode::MULTI_INHERITANCE()']]],
-  ['multiforked_4404',['multiforked',['../classSVF_1_1TCTNode.html#a414f4b98fb8fd36d2cb381ff56eb98d8',1,'SVF::TCTNode']]],
-  ['multiopndlabelcounter_4405',['multiOpndLabelCounter',['../classSVF_1_1SVFStmt.html#a9ea22adbfc307dddee42ffec07cc88ed',1,'SVF::SVFStmt']]],
-  ['multiopndstmt_4406',['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_4407',['MUSet',['../classSVF_1_1SVFG.html#acdbe1c510273107b708935061b6c4127',1,'SVF::SVFG::MUSet()'],['../classSVF_1_1MemSSA.html#a81bba824495a882b49e687683954b112',1,'SVF::MemSSA::MUSet()']]],
-  ['mustalias_4408',['mustAlias',['../classSVF_1_1CondPTAImpl.html#a3b5877fec52bbfa7c83bab6c9bc95684',1,'SVF::CondPTAImpl::mustAlias()'],['../namespaceSVF.html#a61c01e2e687ab3a001fb806737583943ab58a0391f037031a51016ebfe2a752b2',1,'SVF::MustAlias()']]],
-  ['mutable_4409',['Mutable',['../classSVF_1_1BVDataPTAImpl.html#ad76328a8543b02784992afc2d5501d8aa1cfb236b5127b660373c36b77a79ab5e',1,'SVF::BVDataPTAImpl']]],
-  ['mutabledfptdata_4410',['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_4411',['MutableDFPTData< Key, KeySet, Data, DataSet >',['../classSVF_1_1MutablePTData.html#ad92cfe345043b1bc8d6c7a03df43310f',1,'SVF::MutablePTData']]],
-  ['mutablediffptdata_4412',['MutableDiffPTData',['../classSVF_1_1MutableDiffPTData.html',1,'SVF::MutableDiffPTData< Key, KeySet, Data, DataSet >'],['../classSVF_1_1MutableDiffPTData.html#ae087d0307844312710c2d4c05535ea86',1,'SVF::MutableDiffPTData::MutableDiffPTData()']]],
-  ['mutableincdfptdata_4413',['MutableIncDFPTData',['../classSVF_1_1MutableIncDFPTData.html',1,'SVF::MutableIncDFPTData< Key, KeySet, Data, DataSet >'],['../classSVF_1_1MutableIncDFPTData.html#a9b06421a9043dc61485acf51cfc26a91',1,'SVF::MutableIncDFPTData::MutableIncDFPTData()']]],
-  ['mutablepointstods_2eh_4414',['MutablePointsToDS.h',['../MutablePointsToDS_8h.html',1,'']]],
-  ['mutableptdata_4415',['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_4416',['MutablePTData< VersionedKey, VersionedKeySet, Data, DataSet >',['../classSVF_1_1MutablePTData.html',1,'SVF']]],
-  ['mutableversionedptdata_4417',['MutableVersionedPTData',['../classSVF_1_1MutableVersionedPTData.html',1,'SVF::MutableVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >'],['../classSVF_1_1MutableVersionedPTData.html#ad2f9950ad71a39c400a4835e6e84fcd9',1,'SVF::MutableVersionedPTData::MutableVersionedPTData()']]],
-  ['mutbase_4418',['MutBase',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848a47a2413878b6ed98b42b9ae10e839072',1,'SVF::PTData']]],
-  ['mutdataflow_4419',['MutDataFlow',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848a46777c0122829cc199bc911e585b4f62',1,'SVF::PTData']]],
-  ['mutdfptdataty_4420',['MutDFPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#ac130bf326911b8e5396f57daa78566e7',1,'SVF::BVDataPTAImpl::MutDFPTDataTy()'],['../classSVF_1_1FlowSensitive.html#a03a3178d88db4efc0593fedb22938e7d',1,'SVF::FlowSensitive::MutDFPTDataTy()']]],
-  ['mutdiff_4421',['MutDiff',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848ac17ed6fa5de5a3f67108692b103a4c87',1,'SVF::PTData']]],
-  ['mutdiffptdataty_4422',['MutDiffPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#ac4e74e6dfee9d08198e0f7e3d76a0646',1,'SVF::BVDataPTAImpl']]],
-  ['mutincdataflow_4423',['MutIncDataFlow',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848aa4e18dfa52aad741c91bcc78339e986c',1,'SVF::PTData']]],
-  ['mutincdfptdataty_4424',['MutIncDFPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#a639446e6bf9712afa439d089b94aefae',1,'SVF::BVDataPTAImpl']]],
-  ['mutptdata_4425',['mutPTData',['../classSVF_1_1MutableDiffPTData.html#a3603cb4baf60b1aa83b7807ac5591484',1,'SVF::MutableDiffPTData::mutPTData()'],['../classSVF_1_1MutableDFPTData.html#acf40f716470f73095d44a1b9e3bb939e',1,'SVF::MutableDFPTData::mutPTData()']]],
-  ['mutptdataty_4426',['MutPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#a533384bd2eb8a1589ba8b7695c759073',1,'SVF::BVDataPTAImpl::MutPTDataTy()'],['../classSVF_1_1CondPTAImpl.html#af3ae2748edfdefaa08a73930bd012d6c',1,'SVF::CondPTAImpl::MutPTDataTy()']]],
-  ['mutversioned_4427',['MutVersioned',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848aac925590471ccb9c851698b232fdd3a5',1,'SVF::PTData']]],
-  ['mutversionedptdataty_4428',['MutVersionedPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#a7fde3e9b189e988cd0a24d567b136e13',1,'SVF::BVDataPTAImpl']]],
-  ['mutype_4429',['MUTYPE',['../classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9b',1,'SVF::MSSAMU']]]
+  ['m_4228',['M',['../classSVF_1_1RaceResultValidator.html#aedc9ec6c3db947fa7e1ef50fbb61e9a8',1,'SVF::RaceResultValidator']]],
+  ['m_5fcond_4229',['m_cond',['../classSVF_1_1CondVar.html#a90b13685d2126f8c10dde4a504bb28df',1,'SVF::CondVar']]],
+  ['m_5fid_4230',['m_id',['../classSVF_1_1CondVar.html#a26fd04b3f2d45f0c230e1823f3eea49a',1,'SVF::CondVar']]],
+  ['main_4231',['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_4232',['make_pointee_range',['../namespaceSVF.html#a41ca7c140a3b61d946e8c6338102986e',1,'SVF']]],
+  ['make_5fpointer_5frange_4233',['make_pointer_range',['../namespaceSVF.html#a7a436778318d16678992a3173988afc2',1,'SVF']]],
+  ['make_5frange_4234',['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_4235',['make_void',['../structSVF_1_1SVFUtil_1_1make__void.html',1,'SVF::SVFUtil']]],
+  ['makeedgeflagwithaddionalopnd_4236',['makeEdgeFlagWithAddionalOpnd',['../classSVF_1_1SVFStmt.html#a3b20523aed66ac8943d7d00ff777137b',1,'SVF::SVFStmt']]],
+  ['makeedgeflagwithcallinst_4237',['makeEdgeFlagWithCallInst',['../classSVF_1_1SVFStmt.html#a4513c6e66b46c36219ba6d7403f3eb00',1,'SVF::SVFStmt']]],
+  ['makeedgeflagwithinvokeid_4238',['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_4239',['makeEdgeFlagWithStoreInst',['../classSVF_1_1SVFStmt.html#ad61722f886afaaee722ac55a4eed4d18',1,'SVF::SVFStmt']]],
+  ['malloc_5ffn_4240',['malloc_fn',['../structcJSON__Hooks.html#a71693d8b277a80a1faf8758b9589d670',1,'cJSON_Hooks']]],
+  ['map_4241',['Map',['../namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1',1,'SVF']]],
+  ['map_5fiter_4242',['map_iter',['../namespaceSVF.html#a809dcd83e295c61bb54710ba545d8d96',1,'SVF']]],
+  ['mapped_5fiter_4243',['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_4244',['MappingPtr',['../classSVF_1_1PointsTo.html#a849f670b38cb6f65fc23707a212591c7',1,'SVF::PointsTo']]],
+  ['mapvaluetoedge_4245',['mapValueToEdge',['../classSVF_1_1IRGraph.html#a51201a8fce21b56e3f59a31af04c7b76',1,'SVF::IRGraph']]],
+  ['markbkvisited_4246',['markbkVisited',['../classSVF_1_1DDAVFSolver.html#a7112ce6145be0855f8b035bb0d8a331c',1,'SVF::DDAVFSolver']]],
+  ['markcxtstmtflag_4247',['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_4248',['MarkedClocksOnly',['../classSVF_1_1Options.html#abcb6796d45722562546f33b2745a0418',1,'SVF::Options']]],
+  ['markrecursivefuns_4249',['markRecursiveFuns',['../classSVF_1_1AbstractExecution.html#ae641b5687513661a2542e8318430d760',1,'SVF::AbstractExecution']]],
+  ['markrelprocs_4250',['markRelProcs',['../classSVF_1_1TCT.html#a8bb7ffa8dd185c52e6c150f9bc995511',1,'SVF::TCT::markRelProcs()'],['../classSVF_1_1TCT.html#a0938016193057ff47dbd6b8308e804c5',1,'SVF::TCT::markRelProcs(const SVFFunction *fun)']]],
+  ['markvalidvfedge_4251',['markValidVFEdge',['../classSVF_1_1SVFGBuilder.html#a3f8fc56d5190ea59d06906b359640dae',1,'SVF::SVFGBuilder']]],
+  ['match_4252',['match',['../classSVF_1_1LockResultValidator.html#a4134d0a10f039628e3e77ec256cec8ea',1,'SVF::LockResultValidator']]],
+  ['matchargs_4253',['matchArgs',['../namespaceSVF_1_1SVFUtil.html#af6ccc943516cedd7d8cd1de09d8f554e',1,'SVF::SVFUtil']]],
+  ['matchcontext_4254',['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_4255',['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_4256',['matchesLabel',['../namespaceSVF_1_1cppUtil.html#a6457105712e29db5c8a8183239daa013',1,'SVF::cppUtil']]],
+  ['max_4257',['max',['../classSVF_1_1NumericLiteral.html#a9e7a696842de2a4fae08a75d72a807ec',1,'SVF::NumericLiteral::max()'],['../classSVF_1_1NumericLiteral.html#abeb6260917a412282ddd174bd835cfa2',1,'SVF::NumericLiteral::max(std::vector< NumericLiteral > &_l)']]],
+  ['maxbvlen_4258',['MaxBVLen',['../classSVF_1_1Options.html#a71461051f5fe6b4cc33103746525b23f',1,'SVF::Options::MaxBVLen()'],['../BoundedZ3Expr_8h.html#adf05e95ec112057aa9e9abf8616e40c7',1,'MaxBvLen(): BoundedZ3Expr.h']]],
+  ['maxcontextlen_4259',['MaxContextLen',['../classSVF_1_1Options.html#a6237da3f4e264fa8b63c11d621f39e71',1,'SVF::Options']]],
+  ['maxcxtsize_4260',['MaxCxtSize',['../classSVF_1_1TCT.html#aaae41663b1d1f4d38b047c50c156defb',1,'SVF::TCT']]],
+  ['maxfieldlimit_4261',['MaxFieldLimit',['../classSVF_1_1Options.html#aaab923c093730b1670a54f09340b1bd5',1,'SVF::Options']]],
+  ['maximumbudget_4262',['maximumBudget',['../classSVF_1_1DPItem.html#a5dbb0e6010b38c5b937ff06cb40cd0ef',1,'SVF::DPItem']]],
+  ['maximumcxt_4263',['maximumCxt',['../classSVF_1_1ContextCond.html#a151b9f21eedd4fdd8f46b78bb456582d',1,'SVF::ContextCond']]],
+  ['maximumcxtlen_4264',['maximumCxtLen',['../classSVF_1_1ContextCond.html#a3280db7a2b93612fb693a7c1117acfdd',1,'SVF::ContextCond']]],
+  ['maximumpath_4265',['maximumPath',['../classSVF_1_1ContextCond.html#a7d89351906ef4dff9adb1196f45bc9be',1,'SVF::ContextCond']]],
+  ['maximumpathlen_4266',['maximumPathLen',['../classSVF_1_1ContextCond.html#aa61b4de81e440448daaf0c5be53aebf3',1,'SVF::ContextCond']]],
+  ['maxindegree_4267',['maxInDegree',['../classSVF_1_1SVFGStat.html#a536b591b21756519262873462001f421',1,'SVF::SVFGStat']]],
+  ['maxindindegree_4268',['maxIndInDegree',['../classSVF_1_1SVFGStat.html#a2f1bb17038de877fd1ccffdea3f3cde3',1,'SVF::SVFGStat']]],
+  ['maxindoutdegree_4269',['maxIndOutDegree',['../classSVF_1_1SVFGStat.html#ac7cb2228bd31e8ebdf33ae2bfd399683',1,'SVF::SVFGStat']]],
+  ['maxoffsetlimit_4270',['maxOffsetLimit',['../classSVF_1_1ObjTypeInfo.html#a5ff63eb0654acd152f7d6c18618ee94a',1,'SVF::ObjTypeInfo']]],
+  ['maxoutdegree_4271',['maxOutDegree',['../classSVF_1_1SVFGStat.html#a6694ace7ee1b24b0c5ce42e06e4db2cf',1,'SVF::SVFGStat']]],
+  ['maxpathlen_4272',['MaxPathLen',['../classSVF_1_1Options.html#a63121666a96f6cd2ae56d868c9576a53',1,'SVF::Options']]],
+  ['maxpointstosetsize_4273',['MaxPointsToSetSize',['../classSVF_1_1AndersenBase.html#abd73e930450b7c605f478672bdf9bdae',1,'SVF::AndersenBase']]],
+  ['maxsccsize_4274',['maxSCCSize',['../classSVF_1_1FlowSensitive.html#aa3d4703756a6297ab5c0756172024fe4',1,'SVF::FlowSensitive']]],
+  ['maxstepinwrapper_4275',['MaxStepInWrapper',['../classSVF_1_1Options.html#aab0131558d9da9b0fe888387217ba919',1,'SVF::Options']]],
+  ['maxstruct_4276',['maxStruct',['../classSVF_1_1SymbolTableInfo.html#a0c1143eff451edf8ea47d4487a8d3a55',1,'SVF::SymbolTableInfo']]],
+  ['maxstsize_4277',['maxStSize',['../classSVF_1_1SymbolTableInfo.html#abb8550c9ef856e45cb7675c3796f9a35',1,'SVF::SymbolTableInfo']]],
+  ['maxz3size_4278',['MaxZ3Size',['../classSVF_1_1Options.html#a86f982d9716181bca93a350b5a11a1dc',1,'SVF::Options']]],
+  ['mayaccessaliases_4279',['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_4280',['MayAlias',['../namespaceSVF.html#a61c01e2e687ab3a001fb806737583943aef15fd8989d8dd9576b3fbb2aabc118f',1,'SVF']]],
+  ['mayhappeninparallel_4281',['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_4282',['mayHappenInParallelBetweenFunctions',['../classSVF_1_1PCG.html#af3e4194411bb061802afddacab7587b7',1,'SVF::PCG']]],
+  ['mayhappeninparallelcache_4283',['mayHappenInParallelCache',['../classSVF_1_1MHP.html#a843f1fa52625ec9e844307ba51fec202',1,'SVF::MHP']]],
+  ['mayhappeninparallelinst_4284',['mayHappenInParallelInst',['../classSVF_1_1MHP.html#a0cb1db9943ddc0928afa8e370cbf60c6',1,'SVF::MHP']]],
+  ['mayhavedatarace_4285',['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_4286',['MDEF',['../classSVF_1_1MemSSA.html#a57e68097212e88568eea829fb998fe0c',1,'SVF::MemSSA']]],
+  ['mdnode_4287',['MDNode',['../namespaceSVF.html#ad3d3cec1813411f039211c86236f7adb',1,'SVF']]],
+  ['mdstring_4288',['MDString',['../namespaceSVF.html#a28eec26ec8edaa5e96aecfeb01f6c0d4',1,'SVF']]],
+  ['meet_5fwith_4289',['meet_with',['../classSVF_1_1AddressValue.html#a02f61a255d2bbbdc36ee1541248fdbfb',1,'SVF::AddressValue::meet_with()'],['../classSVF_1_1IntervalValue.html#a144e17cec654e83654298b379ed4ce9f',1,'SVF::IntervalValue::meet_with()']]],
+  ['meetwith_4290',['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_4291',['meld',['../classSVF_1_1POCRHybridSolver.html#a403f469326cd3066e6352bf2587f983d',1,'SVF::POCRHybridSolver::meld()'],['../classSVF_1_1VersionedFlowSensitive.html#a1da960df51570b59161e380949d910c4',1,'SVF::VersionedFlowSensitive::meld()']]],
+  ['meld_5fh_4292',['meld_h',['../classSVF_1_1POCRHybridSolver.html#a6d3610151daec1ffa26e6b9fccad4e91',1,'SVF::POCRHybridSolver']]],
+  ['meldlabel_4293',['meldLabel',['../classSVF_1_1VersionedFlowSensitive.html#aaff594c78d93f7ad632d344e5c1c7f6a',1,'SVF::VersionedFlowSensitive']]],
+  ['meldlabelingtime_4294',['meldLabelingTime',['../classSVF_1_1VersionedFlowSensitive.html#a4a594c8d6ccaa27b5328c6388fdb258d',1,'SVF::VersionedFlowSensitive']]],
+  ['meldversion_4295',['MeldVersion',['../classSVF_1_1VersionedFlowSensitive.html#a630eeca9c3344d24fa196f7de45bce18',1,'SVF::VersionedFlowSensitive']]],
+  ['mem_4296',['mem',['../classSVF_1_1ObjVar.html#a3d08dc1d15a449ff4b7018da4bfdcb88',1,'SVF::ObjVar::mem()'],['../classSVF_1_1SVFBugReport.html#aed1046e4c7559ebdaf57775726645085',1,'SVF::SVFBugReport::mem()']]],
+  ['memchr_4297',['memchr',['../extapi_8c.html#a8b9b7da7d0b91e982da9acf6f63cdbc5',1,'extapi.c']]],
+  ['memcpy_4298',['MEMCPY',['../classSVF_1_1AEAPI.html#a29ab312d273e6c9c32a40d61861afb04a9a492bae5e1779267055b83cf033da28',1,'SVF::AEAPI']]],
+  ['memmem_4299',['memmem',['../extapi_8c.html#af16de4459bf927899e7a81c869d7cbb0',1,'extapi.c']]],
+  ['memobj_4300',['MemObj',['../classSVF_1_1MemObj.html',1,'SVF::MemObj'],['../classSVF_1_1MemObj.html#af588c401d129de6ba9abc1819774e342',1,'SVF::MemObj::MemObj()']]],
+  ['memobjmap_4301',['memObjMap',['../classSVF_1_1SymbolTableInfoReader.html#a0bf60f2250c864592c507dd6b03800a9',1,'SVF::SymbolTableInfoReader']]],
+  ['memobjtofieldsmap_4302',['MemObjToFieldsMap',['../classSVF_1_1SVFIR.html#ab6abb822445c9b3f5cb2b7206042e940',1,'SVF::SVFIR']]],
+  ['memory_5fusage_4303',['memory_usage',['../classSVF_1_1AEStat.html#a2064225a75798a495100eb7da2c880af',1,'SVF::AEStat']]],
+  ['memorylocation_4304',['MemoryLocation',['../namespaceSVF.html#a339bbddac9d9dffd5ef602200d34c403',1,'SVF']]],
+  ['mempar_4305',['MemPar',['../classSVF_1_1Options.html#aa127a32b03e381343c624e53adc4ef2e',1,'SVF::Options']]],
+  ['mempartition_4306',['MemPartition',['../classSVF_1_1MemSSA.html#ac0797f2ee7b59ae720095a4836533671',1,'SVF::MemSSA']]],
+  ['mempartition_2ecpp_4307',['MemPartition.cpp',['../MemPartition_8cpp.html',1,'']]],
+  ['mempartition_2eh_4308',['MemPartition.h',['../MemPartition_8h.html',1,'']]],
+  ['memrchr_4309',['memrchr',['../extapi_8c.html#ac69d59eb6e11058ca74bc9b2d6b39b95',1,'extapi.c']]],
+  ['memregion_4310',['MemRegion',['../classSVF_1_1MemRegion.html',1,'SVF::MemRegion'],['../classSVF_1_1MemRegion.html#a1d8189977196da687f50cfa6df98394b',1,'SVF::MemRegion::MemRegion()']]],
+  ['memregion_2ecpp_4311',['MemRegion.cpp',['../MemRegion_8cpp.html',1,'']]],
+  ['memregion_2eh_4312',['MemRegion.h',['../MemRegion_8h.html',1,'']]],
+  ['memregset_4313',['memRegSet',['../classSVF_1_1MRGenerator.html#af94bd8155a23273aab2396334d905119',1,'SVF::MRGenerator']]],
+  ['memregtobbsmap_4314',['MemRegToBBsMap',['../classSVF_1_1MemSSA.html#a8d0c1a00d7db194da66c685d79e73de5',1,'SVF::MemSSA']]],
+  ['memregtocountermap_4315',['MemRegToCounterMap',['../classSVF_1_1MemSSA.html#ae1aca020147c270deca2a1241e3847d0',1,'SVF::MemSSA']]],
+  ['memregtoverstackmap_4316',['MemRegToVerStackMap',['../classSVF_1_1MemSSA.html#aa9dbaf51f0498f3bd878827744208899',1,'SVF::MemSSA']]],
+  ['memset_4317',['MEMSET',['../classSVF_1_1AEAPI.html#a29ab312d273e6c9c32a40d61861afb04a68863d4626b3cde194a0fa6da74a3313',1,'SVF::AEAPI']]],
+  ['memssa_4318',['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_4319',['MemSSA.cpp',['../MemSSA_8cpp.html',1,'']]],
+  ['memssa_2eh_4320',['MemSSA.h',['../MemSSA_8h.html',1,'']]],
+  ['memssastat_4321',['MemSSAStat',['../classSVF_1_1MemSSAStat.html',1,'SVF::MemSSAStat'],['../classSVF_1_1MemSSAStat.html#a53f3d85a8eb63676d3dc47ee648efb66',1,'SVF::MemSSAStat::MemSSAStat()']]],
+  ['memtofieldsmap_4322',['memToFieldsMap',['../classSVF_1_1SVFIR.html#a3c014227661d8976714772205611c252',1,'SVF::SVFIR']]],
+  ['memtype_4323',['MEMTYPE',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830',1,'SVF::ObjTypeInfo']]],
+  ['memusage_4324',['memUsage',['../classSVF_1_1AEStat.html#a4b1f6388893e6aaef1acd411972cde19',1,'SVF::AEStat']]],
+  ['mergefunctionrets_4325',['MergeFunctionRets',['../classSVF_1_1MergeFunctionRets.html',1,'SVF::MergeFunctionRets'],['../classSVF_1_1MergeFunctionRets.html#a2b989707893cd81dd275be6a3b8c79fc',1,'SVF::MergeFunctionRets::MergeFunctionRets()']]],
+  ['mergenodetorep_4326',['mergeNodeToRep',['../classSVF_1_1Andersen.html#a36729160041bc3a3e2b0a92b29062848',1,'SVF::Andersen']]],
+  ['mergeptsoccmaps_4327',['mergePtsOccMaps',['../namespaceSVF_1_1SVFUtil.html#a36c91f952a69875c33d4bd0b05a27ff2',1,'SVF::SVFUtil']]],
+  ['mergescccycle_4328',['mergeSccCycle',['../classSVF_1_1Andersen.html#ac86ffd334568e4df5c08b3c827018bef',1,'SVF::Andersen']]],
+  ['mergesccnodes_4329',['mergeSccNodes',['../classSVF_1_1Andersen.html#a1ba1e1e36af289982146de06cf06ab0a',1,'SVF::Andersen']]],
+  ['mergespan_4330',['mergeSpan',['../classSVF_1_1MTASVFGBuilder.html#ae028fe894e3c6e7fd0ad6feeaa64320e',1,'SVF::MTASVFGBuilder']]],
+  ['mergesrctotgt_4331',['mergeSrcToTgt',['../classSVF_1_1Andersen.html#ae6b1e54a389abc68994219e39539127e',1,'SVF::Andersen::mergeSrcToTgt()'],['../classSVF_1_1AndersenSFR.html#ac5f406db5610347564fceff4d36f6a6f',1,'SVF::AndersenSFR::mergeSrcToTgt()']]],
+  ['metadataasvalue_4332',['MetadataAsValue',['../namespaceSVF.html#a773900ea3c75022657aac1abf59fa51b',1,'SVF']]],
+  ['metasame_4333',['metaSame',['../classSVF_1_1PointsTo.html#aa1e773b7abda97441d6ffe39c668d4ec',1,'SVF::PointsTo']]],
+  ['mfspta_4334',['mfspta',['../classSVF_1_1FSMPTA.html#af248a80855457ca9e5a7208c114681bb',1,'SVF::FSMPTA']]],
+  ['mhp_4335',['MHP',['../classSVF_1_1MHP.html',1,'SVF::MHP'],['../classSVF_1_1MHP.html#abf1f5a7c365dfb95b42015b7b2ad6fbe',1,'SVF::MHP::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()']]],
+  ['mhp_2ecpp_4336',['MHP.cpp',['../MHP_8cpp.html',1,'']]],
+  ['mhp_2eh_4337',['MHP.h',['../MHP_8h.html',1,'']]],
+  ['mhpfuns_4338',['mhpfuns',['../classSVF_1_1PCG.html#a96f91b051a8035b614e015bf4d5081e0',1,'SVF::PCG']]],
+  ['mhptime_4339',['MHPTime',['../classSVF_1_1MTAStat.html#a56411f7e64febab8aab94a4a9207e5d8',1,'SVF::MTAStat']]],
+  ['mhpvalidator_4340',['MHPValidator',['../classSVF_1_1MHPValidator.html',1,'SVF::MHPValidator'],['../classSVF_1_1MHPValidator.html#ab00f7f49e626f55184101acbe28cf3b1',1,'SVF::MHPValidator::MHPValidator()']]],
+  ['min_4341',['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_4342',['minify_string',['../cJSON_8cpp.html#a569f331078de59d01dee9351fa106e3b',1,'cJSON.cpp']]],
+  ['minterphi_4343',['MInterPhi',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8',1,'SVF::VFGNode']]],
+  ['mintraphi_4344',['MIntraPhi',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abde838081562229a5a5ca8bb250d5e18',1,'SVF::VFGNode']]],
+  ['minus_5finfinity_4345',['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_4346',['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_4347',['ModelArrays',['../classSVF_1_1Options.html#a429c3000ee2ac45119b8c241aa06762c',1,'SVF::Options']]],
+  ['modelconstants_4348',['modelConstants',['../classSVF_1_1SymbolTableInfo.html#ad20ccb90e8f9dee488a8aec0600399dc',1,'SVF::SymbolTableInfo']]],
+  ['modelconsts_4349',['ModelConsts',['../classSVF_1_1Options.html#a18dd95e01a50aa82165c46a3801053c5',1,'SVF::Options']]],
+  ['modref_4350',['ModRef',['../namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844a7f99364c041329bd5758261c8c440b30',1,'SVF']]],
+  ['modrefanalysis_4351',['modRefAnalysis',['../classSVF_1_1MRGenerator.html#adc9d530e6f010596d91cd3711dc1358b',1,'SVF::MRGenerator']]],
+  ['modrefinfo_4352',['ModRefInfo',['../namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844',1,'SVF']]],
+  ['module_4353',['module',['../classSVF_1_1DDAClient.html#a4ac68012099540beb87ee4700e824d64',1,'SVF::DDAClient::module()'],['../namespaceSVF.html#aa7a770b5dd5cd0e37d06a1088f252906',1,'SVF::Module()']]],
+  ['moduleflagvalue_4354',['moduleFlagValue',['../namespaceSVF_1_1cppUtil_1_1ctir.html#a05c7c51164928786d70713094db7f3f3',1,'SVF::cppUtil::ctir']]],
+  ['moduleidentifier_4355',['moduleIdentifier',['../classSVF_1_1SVFModule.html#ac40e98040f949171279afec54bb03f71',1,'SVF::SVFModule']]],
+  ['modulename_4356',['moduleName',['../classSVF_1_1SVFStat.html#a3333e45303dcc9c3da00858628cdbbff',1,'SVF::SVFStat']]],
+  ['modulepass_4357',['ModulePass',['../namespaceSVF.html#ac226d84f86637126d17f6814632c8a90',1,'SVF']]],
+  ['modules_4358',['modules',['../classSVF_1_1LLVMModuleSet.html#acde6292e719c80f93d3d1c344ab442cd',1,'SVF::LLVMModuleSet']]],
+  ['move_4359',['move',['../namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016',1,'SVF::SVFUtil']]],
+  ['moveedgestorepnode_4360',['moveEdgesToRepNode',['../classSVF_1_1ConstraintGraph.html#aabe2861fcbc364e2c8aa8114d4879c39',1,'SVF::ConstraintGraph']]],
+  ['moveinedgestorepnode_4361',['moveInEdgesToRepNode',['../classSVF_1_1ConstraintGraph.html#a081bf1238121eb52a0c9ad60f77ecbcd',1,'SVF::ConstraintGraph']]],
+  ['moveoutedgestorepnode_4362',['moveOutEdgesToRepNode',['../classSVF_1_1ConstraintGraph.html#aa436aac95be84d1946169f4984deae59',1,'SVF::ConstraintGraph']]],
+  ['movetoglobal_4363',['moveToGlobal',['../classSVF_1_1SVFIR2ConsExeState.html#a213e6f6dd1ad0e2e0b525f1b55735553',1,'SVF::SVFIR2ConsExeState::moveToGlobal()'],['../classSVF_1_1SVFIR2ItvExeState.html#af80d7665d9815a80ffdba92c3ba029d1',1,'SVF::SVFIR2ItvExeState::moveToGlobal()']]],
+  ['mphi_4364',['MPhi',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aac6fa19473ed8b90a7fd8c9080e5e014',1,'SVF::VFGNode']]],
+  ['mr_4365',['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_4366',['mr2CounterMap',['../classSVF_1_1MemSSA.html#a22e2dd0fc78877bdedd207a40540a634',1,'SVF::MemSSA']]],
+  ['mr2verstackmap_4367',['mr2VerStackMap',['../classSVF_1_1MemSSA.html#ae4c7b17d8da8278dca362af79f9f268d',1,'SVF::MemSSA']]],
+  ['mremap_4368',['mremap',['../extapi_8c.html#aa1540638fbde3dc27844fbd24db1e642',1,'extapi.c']]],
+  ['mrgen_4369',['mrGen',['../classSVF_1_1MemSSA.html#a213ebe634bbdbe33460ccd941c1dc6a5',1,'SVF::MemSSA']]],
+  ['mrgenerator_4370',['MRGenerator',['../classSVF_1_1MRGenerator.html',1,'SVF::MRGenerator'],['../classSVF_1_1MRGenerator.html#ac8fedbb65a582135354c939183d48f46',1,'SVF::MRGenerator::MRGenerator()']]],
+  ['mrid_4371',['MRID',['../namespaceSVF.html#a1ed5cfc8a00b2d3b90e74debabaa62a5',1,'SVF']]],
+  ['mrset_4372',['MRSet',['../classSVF_1_1MRGenerator.html#a98ac3bf264e6a85d172c2c4264ea908f',1,'SVF::MRGenerator::MRSet()'],['../classSVF_1_1MemSSA.html#a37b84780f57cbee50cf957cfbab195c1',1,'SVF::MemSSA::MRSet()']]],
+  ['mrsvfgnode_4373',['MRSVFGNode',['../classSVF_1_1MRSVFGNode.html',1,'SVF::MRSVFGNode'],['../classSVF_1_1MRSVFGNode.html#a2c2b0476c49c5f2d4ebe6eec22c7345f',1,'SVF::MRSVFGNode::MRSVFGNode()']]],
+  ['mrvector_4374',['MRVector',['../classSVF_1_1MemSSA.html#a7c3fda6f082231350524c2d7c16f067e',1,'SVF::MemSSA']]],
+  ['mrver_4375',['MRVer',['../classSVF_1_1MRVer.html',1,'SVF::MRVer'],['../classSVF_1_1MRVer.html#a15c18c76e5911e472747183f35cd7028',1,'SVF::MRVer::MRVer()']]],
+  ['mrverid_4376',['MRVERID',['../namespaceSVF.html#a0039280e908258b8e73779de51e9f63b',1,'SVF']]],
+  ['mrverset_4377',['MRVerSet',['../classSVF_1_1IndirectSVFGEdge.html#a0df62e44e394d4b4cc30b5012308eb11',1,'SVF::IndirectSVFGEdge']]],
+  ['mrversion_4378',['MRVERSION',['../namespaceSVF.html#a39df0130e37e97db2ff7620bbb2a72f5',1,'SVF']]],
+  ['mssa_4379',['mssa',['../classSVF_1_1SVFG.html#aa6a563cab8678b2256ca6ae7838285c8',1,'SVF::SVFG::mssa()'],['../classSVF_1_1MemSSAStat.html#ab29515f4e5b1f090c06a6e39761d3394',1,'SVF::MemSSAStat::mssa()']]],
+  ['mssachi_4380',['MSSACHI',['../classSVF_1_1MSSACHI.html',1,'SVF::MSSACHI< Cond >'],['../classSVF_1_1MSSACHI.html#af9ecdf852667bd23fe4805ba04c3e815',1,'SVF::MSSACHI::MSSACHI()']]],
+  ['mssadef_4381',['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_4382',['MSSAFun',['../classSVF_1_1Options.html#aa8818e8138233838af224d4214de9e8f',1,'SVF::Options']]],
+  ['mssamu_4383',['MSSAMU',['../classSVF_1_1MSSAMU.html',1,'SVF::MSSAMU< Cond >'],['../classSVF_1_1MSSAMU.html#a1d0f8d3e7651f4ace92d31a9c6604e2f',1,'SVF::MSSAMU::MSSAMU()']]],
+  ['mssamuchi_2eh_4384',['MSSAMuChi.h',['../MSSAMuChi_8h.html',1,'']]],
+  ['mssaphi_4385',['MSSAPHI',['../classSVF_1_1MSSAPHI.html',1,'SVF::MSSAPHI< Cond >'],['../classSVF_1_1MSSAPHI.html#a5bf48995f87393d20bdedc6749c75ae5',1,'SVF::MSSAPHI::MSSAPHI()']]],
+  ['mssaphisvfgnode_4386',['MSSAPHISVFGNode',['../classSVF_1_1MSSAPHISVFGNode.html',1,'SVF::MSSAPHISVFGNode'],['../classSVF_1_1MSSAPHISVFGNode.html#aec8a372f9024af27a87c5b43e4dc633d',1,'SVF::MSSAPHISVFGNode::MSSAPHISVFGNode()']]],
+  ['mssavartodefmap_4387',['MSSAVarToDefMap',['../classSVF_1_1SVFG.html#aafa1b445bd3578daaba8f82e517745f1',1,'SVF::SVFG']]],
+  ['mssavartodefmapty_4388',['MSSAVarToDefMapTy',['../classSVF_1_1SVFG.html#ac84d3749671f177b14749a825e36efe3',1,'SVF::SVFG']]],
+  ['mta_4389',['MTA',['../classSVF_1_1MTA.html',1,'SVF::MTA'],['../classSVF_1_1MTA.html#ab25d605ed6040a9ad6ed6fcec4e8d338',1,'SVF::MTA::MTA()']]],
+  ['mta_2ecpp_4390',['mta.cpp',['../mta_8cpp.html',1,'(Global Namespace)'],['../MTA_8cpp.html',1,'(Global Namespace)']]],
+  ['mta_2eh_4391',['MTA.h',['../MTA_8h.html',1,'']]],
+  ['mtaannotator_4392',['MTAAnnotator',['../classSVF_1_1MTAAnnotator.html',1,'SVF::MTAAnnotator'],['../classSVF_1_1MTAAnnotator.html#a37ae5e04b0f5560d0f6c2f143b325cd4',1,'SVF::MTAAnnotator::MTAAnnotator()']]],
+  ['mtaannotator_2ecpp_4393',['MTAAnnotator.cpp',['../MTAAnnotator_8cpp.html',1,'']]],
+  ['mtaannotator_2eh_4394',['MTAAnnotator.h',['../MTAAnnotator_8h.html',1,'']]],
+  ['mtaresultvalidator_4395',['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_4396',['MTAResultValidator.cpp',['../MTAResultValidator_8cpp.html',1,'']]],
+  ['mtaresultvalidator_2eh_4397',['MTAResultValidator.h',['../svf-llvm_2tools_2MTA_2MTAResultValidator_8h.html',1,'(Global Namespace)'],['../svf_2include_2MTA_2MTAResultValidator_8h.html',1,'(Global Namespace)']]],
+  ['mtastat_4398',['MTAStat',['../classSVF_1_1MTAStat.html',1,'SVF::MTAStat'],['../classSVF_1_1MTAStat.html#a10631a14fd258679f98c17622de4352a',1,'SVF::MTAStat::MTAStat()']]],
+  ['mtastat_2ecpp_4399',['MTAStat.cpp',['../MTAStat_8cpp.html',1,'']]],
+  ['mtastat_2eh_4400',['MTAStat.h',['../MTAStat_8h.html',1,'']]],
+  ['mtasvfgbuilder_4401',['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_4402',['MU',['../classSVF_1_1SVFG.html#a7f4deffe7e13352b8c13eab110c834cc',1,'SVF::SVFG::MU()'],['../classSVF_1_1MemSSA.html#a2b4f3b19b32ac61dd1932faa82b93d8b',1,'SVF::MemSSA::MU()']]],
+  ['mul_4403',['Mul',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a787e5771d6e70f3cbec3e2a33f5a4e8a',1,'SVF::BinaryOPStmt']]],
+  ['multi_5finheritance_4404',['MULTI_INHERITANCE',['../classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3a1d2b2d38bfc09259f63933e9ab23aecc',1,'SVF::DCHNode::MULTI_INHERITANCE()'],['../classSVF_1_1CHNode.html#a7111a3971f9f03e32bfd291a783d43b4afd6d851b22e741690f0736b4858d81a5',1,'SVF::CHNode::MULTI_INHERITANCE()']]],
+  ['multiforked_4405',['multiforked',['../classSVF_1_1TCTNode.html#a414f4b98fb8fd36d2cb381ff56eb98d8',1,'SVF::TCTNode']]],
+  ['multiopndlabelcounter_4406',['multiOpndLabelCounter',['../classSVF_1_1SVFStmt.html#a9ea22adbfc307dddee42ffec07cc88ed',1,'SVF::SVFStmt']]],
+  ['multiopndstmt_4407',['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_4408',['MUSet',['../classSVF_1_1SVFG.html#acdbe1c510273107b708935061b6c4127',1,'SVF::SVFG::MUSet()'],['../classSVF_1_1MemSSA.html#a81bba824495a882b49e687683954b112',1,'SVF::MemSSA::MUSet()']]],
+  ['mustalias_4409',['mustAlias',['../classSVF_1_1CondPTAImpl.html#a3b5877fec52bbfa7c83bab6c9bc95684',1,'SVF::CondPTAImpl::mustAlias()'],['../namespaceSVF.html#a61c01e2e687ab3a001fb806737583943ab58a0391f037031a51016ebfe2a752b2',1,'SVF::MustAlias()']]],
+  ['mutable_4410',['Mutable',['../classSVF_1_1BVDataPTAImpl.html#ad76328a8543b02784992afc2d5501d8aa1cfb236b5127b660373c36b77a79ab5e',1,'SVF::BVDataPTAImpl']]],
+  ['mutabledfptdata_4411',['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_4412',['MutableDFPTData< Key, KeySet, Data, DataSet >',['../classSVF_1_1MutablePTData.html#ad92cfe345043b1bc8d6c7a03df43310f',1,'SVF::MutablePTData']]],
+  ['mutablediffptdata_4413',['MutableDiffPTData',['../classSVF_1_1MutableDiffPTData.html',1,'SVF::MutableDiffPTData< Key, KeySet, Data, DataSet >'],['../classSVF_1_1MutableDiffPTData.html#ae087d0307844312710c2d4c05535ea86',1,'SVF::MutableDiffPTData::MutableDiffPTData()']]],
+  ['mutableincdfptdata_4414',['MutableIncDFPTData',['../classSVF_1_1MutableIncDFPTData.html',1,'SVF::MutableIncDFPTData< Key, KeySet, Data, DataSet >'],['../classSVF_1_1MutableIncDFPTData.html#a9b06421a9043dc61485acf51cfc26a91',1,'SVF::MutableIncDFPTData::MutableIncDFPTData()']]],
+  ['mutablepointstods_2eh_4415',['MutablePointsToDS.h',['../MutablePointsToDS_8h.html',1,'']]],
+  ['mutableptdata_4416',['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_4417',['MutablePTData< VersionedKey, VersionedKeySet, Data, DataSet >',['../classSVF_1_1MutablePTData.html',1,'SVF']]],
+  ['mutableversionedptdata_4418',['MutableVersionedPTData',['../classSVF_1_1MutableVersionedPTData.html',1,'SVF::MutableVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >'],['../classSVF_1_1MutableVersionedPTData.html#ad2f9950ad71a39c400a4835e6e84fcd9',1,'SVF::MutableVersionedPTData::MutableVersionedPTData()']]],
+  ['mutbase_4419',['MutBase',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848a47a2413878b6ed98b42b9ae10e839072',1,'SVF::PTData']]],
+  ['mutdataflow_4420',['MutDataFlow',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848a46777c0122829cc199bc911e585b4f62',1,'SVF::PTData']]],
+  ['mutdfptdataty_4421',['MutDFPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#ac130bf326911b8e5396f57daa78566e7',1,'SVF::BVDataPTAImpl::MutDFPTDataTy()'],['../classSVF_1_1FlowSensitive.html#a03a3178d88db4efc0593fedb22938e7d',1,'SVF::FlowSensitive::MutDFPTDataTy()']]],
+  ['mutdiff_4422',['MutDiff',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848ac17ed6fa5de5a3f67108692b103a4c87',1,'SVF::PTData']]],
+  ['mutdiffptdataty_4423',['MutDiffPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#ac4e74e6dfee9d08198e0f7e3d76a0646',1,'SVF::BVDataPTAImpl']]],
+  ['mutincdataflow_4424',['MutIncDataFlow',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848aa4e18dfa52aad741c91bcc78339e986c',1,'SVF::PTData']]],
+  ['mutincdfptdataty_4425',['MutIncDFPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#a639446e6bf9712afa439d089b94aefae',1,'SVF::BVDataPTAImpl']]],
+  ['mutptdata_4426',['mutPTData',['../classSVF_1_1MutableDiffPTData.html#a3603cb4baf60b1aa83b7807ac5591484',1,'SVF::MutableDiffPTData::mutPTData()'],['../classSVF_1_1MutableDFPTData.html#acf40f716470f73095d44a1b9e3bb939e',1,'SVF::MutableDFPTData::mutPTData()']]],
+  ['mutptdataty_4427',['MutPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#a533384bd2eb8a1589ba8b7695c759073',1,'SVF::BVDataPTAImpl::MutPTDataTy()'],['../classSVF_1_1CondPTAImpl.html#af3ae2748edfdefaa08a73930bd012d6c',1,'SVF::CondPTAImpl::MutPTDataTy()']]],
+  ['mutversioned_4428',['MutVersioned',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848aac925590471ccb9c851698b232fdd3a5',1,'SVF::PTData']]],
+  ['mutversionedptdataty_4429',['MutVersionedPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#a7fde3e9b189e988cd0a24d567b136e13',1,'SVF::BVDataPTAImpl']]],
+  ['mutype_4430',['MUTYPE',['../classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9b',1,'SVF::MSSAMU']]]
 ];