- m -

• Malloc() : SymbolicContext
• Map() : CloneVisitor , ConstraintSolver , ProgramCloneVisitor , SpecialisePass::SpecialiseClone , SymbolicHeap
• MemoryToRegisterPass() : MemoryToRegisterPass
• Merge() : ReferenceGraph::Node , ReverseNodeState , SymbolicContext , SymbolicFrame , SymbolicObject , SymbolicPointer , SymbolicValue
• MergeStoresPass() : MergeStoresPass
• MoveElimPass() : MoveElimPass
• MovePushPass() : MovePushPass