Here is a list of all variables with links to the classes they belong to:

- m -

• m_cond : SVF::CondVar< Cond >
• m_id : SVF::CondVar< Cond >
• MarkedClocksOnly : SVF::Options
• MaxBVLen : SVF::Options
• MaxContextLen : SVF::Options
• MaxCxtSize : SVF::TCT
• MaxFieldLimit : SVF::Options
• maximumBudget : SVF::DPItem
• maximumCxt : SVF::ContextCond
• maximumCxtLen : SVF::ContextCond
• maximumPath : SVF::ContextCond
• maximumPathLen : SVF::ContextCond
• maxInDegree : SVF::SVFGStat
• maxIndInDegree : SVF::SVFGStat
• maxIndOutDegree : SVF::SVFGStat
• maxOffsetLimit : SVF::ObjTypeInfo
• maxOutDegree : SVF::SVFGStat
• MaxPathLen : SVF::Options
• MaxPointsToSetSize : SVF::AndersenBase
• maxSCCSize : SVF::FlowSensitive
• MaxStepInWrapper : SVF::Options
• maxStruct : SVF::IRGraph
• maxStSize : SVF::IRGraph
• MaxZ3Size : SVF::Options
• meldLabelingTime : SVF::VersionedFlowSensitive
• mem : SVF::SVFBugReport
• memory_usage : SVF::AEStat
• MemoryLeakCheck : SVF::Options
• MemPar : SVF::Options
• memRegSet : SVF::MRGenerator
• memSSA : SVF::CFLVF, SVF::FlowSensitive, SVF::SrcSnkDDA
• memToFieldsMap : SVF::SVFIR
• memUsage : SVF::AEStat
• mhp : SVF::MTA
• MHPTime : SVF::MTAStat
• ModelArrays : SVF::Options
• ModelConsts : SVF::Options
• moduleIdentifier : SVF::SVFIR
• moduleName : SVF::AbstractInterpretation, SVF::SVFStat
• modules : SVF::LLVMModuleSet
• mr : SVF::MRVer, SVF::MSSADEF, SVF::MSSAMU< Cond >
• mr2CounterMap : SVF::MemSSA
• mr2VerStackMap : SVF::MemSSA
• mrGen : SVF::MemSSA
• msg_ : SVF::AEException
• mssa : SVF::MemSSAStat, SVF::SVFG
• MSSAFun : SVF::Options
• MSSAVarToDefMap : SVF::SVFG
• multiforked : SVF::TCTNode
• multiOpndLabelCounter : SVF::SVFStmt
• mutPTData : SVF::MutableDFPTData< Key, KeySet, Data, DataSet >, SVF::MutableDiffPTData< Key, KeySet, Data, DataSet >