Here is a list of all functions with links to the files they belong to:

- m -

• MACOS() : config.cpp
• main() : c2goto.cpp, main.cpp, python2goto.cpp, try_cvc4.cpp, try_cvc5.cpp, try_msat.c, try_yices.c, try_z3.c
• make_arith() : ld_converter.cpp
• make_array_domain_type() : smt_solver.cpp, smt_solver.h
• make_binary_arith() : st_fb_translator.cpp
• make_bitcast() : clang_c_convert.cpp
• make_blocking_expr() : witnesses.cpp, witnesses.h
• make_bool_constant_node() : numpy_call_expr.cpp
• make_cmp_value() : irep2_utils.cpp, irep2_utils.h
• make_complex() : type_handler.h
• make_complex_scalar() : numpy_call_expr.cpp
• make_conjunction() : goto_atomicity_check.cpp
• make_filled_ndarray() : numpy_call_expr.cpp
• make_float_value() : numpy_reducer_shared.h
• make_int_value() : numpy_reducer_shared.h
• make_integer_list() : numpy_call_expr.cpp
• make_irep() : irep2.h
• make_list_node() : numpy_call_expr.cpp
• make_n_ary() : smt_solver.cpp
• make_node() : toml.hpp
• make_nondet_ndarray() : numpy_call_expr.cpp
• make_not() : irep2_utils.cpp, irep2_utils.h
• make_numeric_constant_json() : numpy_call_expr.cpp
• make_numpy_linspace_constant() : numpy_call_expr.cpp
• make_numpy_one() : numpy_call_expr.cpp
• make_numpy_typed_constant() : numpy_call_expr.cpp
• make_proof_cache() : bmc.cpp
• make_real_scalar() : numpy_call_expr.cpp
• make_slice_struct_expr() : converter_expr.cpp
• make_sorted_numeric_list() : numpy_call_expr.cpp
• make_unique_numeric_list() : numpy_call_expr.cpp
• make_va_list() : builtin_functions.cpp
• malloc() : stdlib.h
• map_bool_get() : solidity_mapping.c
• map_bool_get_fast() : solidity_mapping.c
• map_bool_set() : solidity_mapping.c
• map_bool_set_fast() : solidity_mapping.c
• map_cbmc_instruction_type() : cbmc_adapter.cpp, cbmc_adapter.h
• map_clang_kind() : nested_func_transform.cpp
• map_generic_get() : solidity_mapping.c
• map_generic_get_fast() : solidity_mapping.c
• map_generic_set() : solidity_mapping.c
• map_generic_set_fast() : solidity_mapping.c
• map_get_raw() : solidity_mapping.c
• map_get_raw_fast() : solidity_mapping.c
• map_int_get() : solidity_mapping.c
• map_int_get_fast() : solidity_mapping.c
• map_int_set() : solidity_mapping.c
• map_int_set_fast() : solidity_mapping.c
• map_set_raw() : solidity_mapping.c
• map_set_raw_fast() : solidity_mapping.c
• map_string_get() : solidity_mapping.c
• map_string_get_fast() : solidity_mapping.c
• map_string_set() : solidity_mapping.c
• map_string_set_fast() : solidity_mapping.c
• map_uint_get() : solidity_mapping.c
• map_uint_get_fast() : solidity_mapping.c
• map_uint_set() : solidity_mapping.c
• map_uint_set_fast() : solidity_mapping.c
• mask_to_width() : neurosym_conv.cpp
• match_leading_component() : value_set.cpp, value_set.h
• matches_replace_pattern() : contracts.cpp
• materialize_arange() : numpy_call_expr.cpp
• materialize_arange_dtype() : numpy_call_expr.cpp
• materialize_arange_ex() : numpy_call_expr.cpp
• materialize_arange_float() : numpy_call_expr.cpp
• materialize_arange_int() : numpy_call_expr.cpp
• materialize_array() : numpy_call_expr.cpp
• materialize_eye_identity() : numpy_call_expr.cpp
• materialize_flattened_row() : smt_solver.cpp
• materialize_full() : numpy_call_expr.cpp
• materialize_inline_numpy_constructor_call() : numpy_call_expr.cpp
• materialize_linspace() : numpy_call_expr.cpp
• materialize_literal_diagonal() : numpy_call_expr.cpp
• materialize_numpy_constructor_array() : numpy_call_expr.cpp
• materialize_zeros_ones() : numpy_call_expr.cpp
• math_function_name() : expr.cpp
• math_import_of() : expr.cpp
• matmul() : linalg.c
• matmul_double() : linalg.c
• max_abs() : numpy_call_expr.cpp
• max_layable_size() : c_types.cpp, c_types.h
• max_object_size() : c_types.cpp, c_types.h
• may_be_over_allocated() : goto_check.cpp
• may_bind() : builtins.cpp
• may_bind_name() : converter_symbols.cpp
• may_bind_within() : converter_symbols.cpp
• may_delete() : builtins.cpp
• may_follow_base_case() : bmc_strategy.cpp
• may_hold_class() : converter_compare.cpp
• may_hold_none() : builder.cpp
• may_intercept() : builtins.cpp
• may_read_through_pointer() : gcse.cpp
• may_store() : converter_symbols.cpp
• may_tag_binop() : converter_stmt.cpp
• mblen() : stdlib.h
• mbsinit() : wchar.h, wchar.c
• mbstowcs() : stdlib.h
• mbtowc() : stdlib.h
• median_of_numeric_elements() : numpy_call_expr.cpp
• member_byte_range() : memory_ops.cpp
• member_delta() : clang_c_base_layout.cpp
• member_offset() : type_byte_size.cpp, type_byte_size.h
• member_offset_bits() : type_byte_size.cpp, type_byte_size.h
• member_paths_at_offset() : type_byte_size.cpp, type_byte_size.h
• member_paths_of_type() : type_byte_size.cpp, type_byte_size.h
• member_result_object() : clang_cpp_convert.cpp
• memchr() : string.h, string.c
• memcmp() : string.h, string.c
• memcpy() : string.h, string.c
• memmove() : string.h, string.c
• memset() : string.h, string.c
• mentions_name() : converter_stmt.cpp, module_manager.cpp
• mentions_self_attribute() : converter_expr.cpp
• mentions_symbol() : clang_c_main.cpp, add_race_assertions.cpp, goto_convert.cpp, goto_sideeffects.cpp
• merge_state_guards() : symex_goto.cpp
• mergeASTs() : build_ast.cpp, build_ast.h
• MetaChar() : c_misc.cpp, c_misc.h
• MetaString() : c_misc.cpp, c_misc.h
• migrate_arg_defaults() : migrate.cpp
• migrate_arguments_back() : migrate.cpp
• migrate_before_dispatch() : migrate.cpp
• migrate_builtin_va_arg() : migrate.cpp
• migrate_byte_update() : migrate.cpp
• migrate_census() : migrate.cpp, migrate.h
• migrate_components_back() : migrate.cpp
• migrate_cpp_delete() : migrate.cpp
• migrate_cpp_new() : migrate.cpp
• migrate_ctor_dtor_marker_back() : migrate.cpp
• migrate_exception_spec() : migrate.cpp
• migrate_exception_spec_back() : migrate.cpp
• migrate_expr() : migrate.cpp, migrate.h
• migrate_expr_back() : migrate.cpp, migrate.h
• migrate_expr_back_dispatch() : migrate.cpp
• migrate_expr_back_rest2() : migrate.cpp
• migrate_expr_back_rest3() : migrate.cpp
• migrate_expr_back_rest4() : migrate.cpp
• migrate_expr_back_rest5() : migrate.cpp
• migrate_expr_back_rest6() : migrate.cpp
• migrate_ieee_arith_2op() : migrate.cpp
• migrate_pointer_ok() : migrate.cpp
• migrate_right_shift() : migrate.cpp
• migrate_rounding_mode() : migrate.cpp
• migrate_sizeof() : migrate.cpp
• migrate_struct_bases_back() : migrate.cpp
• migrate_symbol_type() : migrate.cpp, migrate.h
• migrate_symbol_value() : migrate.cpp, migrate.h
• migrate_type() : migrate.cpp, migrate.h
• migrate_type0() : migrate.cpp
• migrate_type_back() : migrate.cpp, migrate.h
• migrate_type_back_cache_clear() : migrate.cpp, migrate.h
• migrate_type_back_uncached() : migrate.cpp
• migrates_to_empty() : migrate.cpp
• min() : toml.hpp
• MIPS() : config.cpp
• misaligned_call_error() : converter_class.cpp
• mktime() : time.h, time.c
• modff_def() : modf.c
• module_aliases() : module_manager.cpp
• module_binding_name() : converter_expr.cpp
• module_function() : python_converter.cpp
• module_level_binding_is_import() : converter_symbols.cpp
• module_numpy_literal() : converter_funcdef.cpp
• mpor_keys_may_alias() : execution_state.cpp
• mpor_lock_array_key() : execution_state.cpp
• mpor_set_conflicts() : execution_state.cpp
• mpor_transitions_conflict() : execution_state.cpp
• mtx_destroy() : threads.h, threads_lib.c
• mtx_init() : threads.h, threads_lib.c
• mtx_lock() : threads.h, threads_lib.c
• mtx_timedlock() : threads.h, threads_lib.c
• mtx_trylock() : threads.h, threads_lib.c
• mtx_unlock() : threads.h, threads_lib.c
• mulmod() : solidity_builtins.c
• multibyte_array() : memory_ops.cpp
• multiply() : umath.c
• multiply_and_subtract() : bigint.cpp
• multiply_double() : umath.c