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

- m -

• m_cond : SVF::CondVar< Cond >
• m_id : SVF::CondVar< Cond >
• makeEdgeFlagWithAddionalOpnd() : SVF::SVFStmt
• makeEdgeFlagWithCallInst() : SVF::SVFStmt
• makeEdgeFlagWithInvokeID() : SVF::CallGraphEdge, SVF::ICFGEdge, SVF::VFGEdge
• makeEdgeFlagWithStoreInst() : SVF::SVFStmt
• malloc_fn() : cJSON_Hooks
• mapped_iter() : SVF::mapped_iter< ItTy, FuncTy, FuncReturnTy >
• MappingPtr : SVF::PointsTo
• markbkVisited() : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
• markCxtStmtFlag() : SVF::ForkJoinAnalysis, SVF::LockAnalysis
• MarkedClocksOnly : SVF::Options
• markRelProcs() : SVF::TCT
• markValidVFEdge() : SVF::SVFGBuilder
• matchContext() : SVF::ContextCond, SVF::CxtDPItem, SVF::CxtStmtDPItem< LocCond >
• matchCxt() : SVF::ForkJoinAnalysis, SVF::LockAnalysis, SVF::MHP, SVF::TCT
• max : SVF::BoundedDouble, SVF::BoundedInt
• 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
• mayHappenInParallel() : SVF::MHP
• mayHappenInParallelCache() : SVF::MHP
• mayHappenInParallelInst() : SVF::MHP
• MDEF : SVF::MemSSA
• meet_with() : SVF::AbstractValue, SVF::AddressValue, SVF::IntervalValue
• meetWith() : SVF::AbstractState
• meld() : SVF::POCRHybridSolver, SVF::VersionedFlowSensitive
• meld_h() : SVF::POCRHybridSolver
• meldLabel() : SVF::VersionedFlowSensitive
• meldLabelingTime : SVF::VersionedFlowSensitive
• MeldVersion : SVF::VersionedFlowSensitive
• mem : SVF::SVFBugReport
• MEMCPY : SVF::AbsExtAPI
• MemObjToFieldsMap : SVF::SVFIR
• memory_usage : SVF::AEStat
• MemoryLeakCheck : SVF::Options
• MemPar : SVF::Options
• MemPartition : SVF::MemSSA
• MemRegion() : SVF::MemRegion
• memRegSet : SVF::MRGenerator
• MemRegToBBsMap : SVF::MemSSA
• MemRegToCounterMap : SVF::MemSSA
• MemRegToVerStackMap : SVF::MemSSA
• MEMSET : SVF::AbsExtAPI
• memSSA : SVF::CFLVF, SVF::FlowSensitive
• MemSSA() : SVF::MemSSA
• memSSA : SVF::SrcSnkDDA
• MemSSAStat() : SVF::MemSSAStat
• memToFieldsMap : SVF::SVFIR
• MEMTYPE : SVF::ObjTypeInfo
• memUsage : SVF::AEStat
• MergeFunctionRets() : SVF::MergeFunctionRets
• mergeNodeToRep() : SVF::Andersen
• mergeSccCycle() : SVF::Andersen
• mergeSccNodes() : SVF::Andersen
• mergeSrcToTgt() : SVF::Andersen, SVF::AndersenSFR
• mergeStatesFromPredecessors() : SVF::AbstractInterpretation
• metaSame() : SVF::PointsTo
• MHP() : SVF::MHP
• mhp : SVF::MTA
• MHPTime : SVF::MTAStat
• min : SVF::BoundedDouble, SVF::BoundedInt
• MInterPhi : SVF::SVFValue
• MIntraPhi : SVF::SVFValue
• minus_infinity() : SVF::BoundedDouble, SVF::BoundedInt, SVF::IntervalValue
• ModelArrays : SVF::Options
• ModelConsts : SVF::Options
• modRefAnalysis() : SVF::MRGenerator
• moduleIdentifier : SVF::SVFIR
• moduleName : SVF::AbstractInterpretation, SVF::SVFStat
• modules : SVF::LLVMModuleSet
• moveEdgesToRepNode() : SVF::ConstraintGraph
• moveInEdgesToRepNode() : SVF::ConstraintGraph
• moveOutEdgesToRepNode() : SVF::ConstraintGraph
• MPhi : SVF::SVFValue
• mr : SVF::MRVer, SVF::MSSADEF, SVF::MSSAMU< Cond >
• mr2CounterMap : SVF::MemSSA
• mr2VerStackMap : SVF::MemSSA
• mrGen : SVF::MemSSA
• MRGenerator() : SVF::MRGenerator
• MRSet : SVF::MemSSA, SVF::MRGenerator
• MRSVFGNode() : SVF::MRSVFGNode
• MRVector : SVF::MemSSA
• MRVer() : SVF::MRVer
• MRVerSet : SVF::IndirectSVFGEdge
• msg_ : SVF::AEException
• mssa : SVF::MemSSAStat, SVF::SVFG
• MSSACHI() : SVF::MSSACHI< Cond >
• MSSADef : SVF::MRVer
• MSSADEF() : SVF::MSSADEF
• MSSAFun : SVF::Options
• MSSAMU() : SVF::MSSAMU< Cond >
• MSSAPHI() : SVF::MSSAPHI< Cond >
• MSSAPHISVFGNode() : SVF::MSSAPHISVFGNode
• MSSAVarToDefMap : SVF::SVFG
• MSSAVarToDefMapTy : SVF::SVFG
• MTA() : SVF::MTA
• MTAStat() : SVF::MTAStat
• MTASVFGBuilder : SVF::SVFG
• MU : SVF::MemSSA, SVF::SVFG
• Mul : SVF::BinaryOPStmt
• MULTI_INHERITANCE : SVF::CHNode, SVF::DCHNode
• multiforked : SVF::TCTNode
• multiOpndLabelCounter : SVF::SVFStmt
• MultiOpndStmt() : SVF::MultiOpndStmt
• MUSet : SVF::MemSSA, SVF::SVFG
• mustAlias() : SVF::CondPTAImpl< Cond >
• Mutable : SVF::BVDataPTAImpl
• MutableDFPTData() : SVF::MutableDFPTData< Key, KeySet, Data, DataSet >
• MutableDFPTData< Key, KeySet, Data, DataSet > : SVF::MutablePTData< Key, KeySet, Data, DataSet >
• MutableDiffPTData() : SVF::MutableDiffPTData< Key, KeySet, Data, DataSet >
• MutableIncDFPTData() : SVF::MutableIncDFPTData< Key, KeySet, Data, DataSet >
• MutablePTData() : SVF::MutablePTData< Key, KeySet, Data, DataSet >
• MutableVersionedPTData() : SVF::MutableVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >
• MutBase : SVF::PTData< Key, KeySet, Data, DataSet >
• MutDataFlow : SVF::PTData< Key, KeySet, Data, DataSet >
• MutDFPTDataTy : SVF::BVDataPTAImpl, SVF::FlowSensitive
• MutDiff : SVF::PTData< Key, KeySet, Data, DataSet >
• MutDiffPTDataTy : SVF::BVDataPTAImpl
• MutIncDataFlow : SVF::PTData< Key, KeySet, Data, DataSet >
• MutIncDFPTDataTy : SVF::BVDataPTAImpl
• mutPTData : SVF::MutableDFPTData< Key, KeySet, Data, DataSet >, SVF::MutableDiffPTData< Key, KeySet, Data, DataSet >
• MutPTDataTy : SVF::BVDataPTAImpl, SVF::CondPTAImpl< Cond >
• MutVersioned : SVF::PTData< Key, KeySet, Data, DataSet >
• MutVersionedPTDataTy : SVF::BVDataPTAImpl
• MUTYPE : SVF::MSSAMU< Cond >