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

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

X

Y

Z

_

- m -

• m : d_internalt< keyT, valueT, equalT >, sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >::delta_view_itemt, small_mapt< T, Ind, Num >::const_iterator, small_mapt< T, Ind, Num >::const_value_iterator
• m_archives : jar_poolt
• m_capacity : mz_zip_array
• m_central_dir : mz_zip_internal_state_tag
• m_central_dir_offsets : mz_zip_internal_state_tag
• m_element_size : mz_zip_array
• m_file_archive_start_ofs : mz_zip_internal_state_tag
• m_init_flags : mz_zip_internal_state_tag
• m_mem_capacity : mz_zip_internal_state_tag
• m_mem_size : mz_zip_internal_state_tag
• m_name_to_index : jar_filet
• m_p : mz_zip_array
• m_pFile : mz_zip_internal_state_tag
• m_pMem : mz_zip_internal_state_tag
• m_size : mz_zip_array
• m_sorted_central_dir_offsets : mz_zip_internal_state_tag
• m_stack : const_post_depth_iteratort, depth_iterator_baset< depth_iterator_t >
• m_state : mz_zip_archivet
• m_traversed : const_unique_depth_iteratort
• m_zip64 : mz_zip_internal_state_tag
• m_zip64_has_extended_info_fields : mz_zip_internal_state_tag
• m_zip_archive : jar_filet
• magenta : messaget
• magic : fat_header_prefixt
• main : configt
• main_class : ci_lazy_methodst, configt::javat, java_bytecode_languaget
• main_function : main_function_resultt
• main_jar : java_bytecode_language_optionst
• main_jar_classes : ci_lazy_methodst, java_bytecode_languaget
• main_symbol_table : linkingt
• make_and : smt_bit_vector_theoryt, smt_core_theoryt
• make_application : smt_is_dynamic_objectt, smt_object_sizet
• make_assertion : cover_configt
• make_not : smt_bit_vector_theoryt, smt_core_theoryt
• make_or : smt_bit_vector_theoryt, smt_core_theoryt
• make_xor : smt_bit_vector_theoryt, smt_core_theoryt
• malloc_failure_mode : configt::ansi_ct
• malloc_free_fixed : dfcc_libraryt
• malloc_may_fail : configt::ansi_ct
• malloc_name : gdb_apit
• manager : guard_bddt
• mangle_fun : function_name_manglert< MangleFun >
• map : abstract_environmentt, boolbvt, c_definest, cpp_saved_template_mapt, dense_integer_mapt< K, V, KeyToDenseInteger >, endianness_mapt, fixed_keys_map_wrappert< mapt >, full_array_abstract_objectt, full_struct_abstract_objectt, generic_parameter_specialization_mapt::printert, inv_object_storet, irep_hash_mapt< Key, T >, lazy_class_to_declared_symbols_mapt, method_bytecodet, sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >, union_find_replacet
• map_data_dp : event_grapht
• map_function_graph : instrumentert
• map_memory_usage : string_container_statisticst
• map_reads : instrumentert::cfg_visitort
• map_vertex_gnode : instrumentert
• map_writes : instrumentert::cfg_visitort
• mapping : boolbv_mapt
• mark : event_grapht::graph_explorert
• marked_stack : event_grapht::graph_explorert
• MASK : small_mapt< T, Ind, Num >
• mask : sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >
• match_found : memory_snapshot_harness_generatort::source_location_matcht
• matrix : qbf_bdd_coret
• max : __CPROVER_jsa_abstract_range
• max_argc : configt::ansi_ct
• max_array_length : java_bytecode_convert_classt, java_bytecode_convert_methodt
• max_assigns_clause_size : dfcc_instrument_loopt, dfcct
• max_col : instrument_spec_assignst::location_intervalt
• max_complexity : complexity_limitert
• max_depth : symex_configt
• max_depth_var_name : recursive_initializationt
• max_dfs : grapht< N >::tarjant
• max_dynamic_array_size : recursive_initialization_configt
• max_elems : __CPROVER_contracts_car_set_t, __CPROVER_contracts_obj_set_t
• max_errors : Parser
• max_field_sensitivity_array_size : field_sensitivityt, symex_configt
• max_histories_per_location : local_control_flow_history_factoryt, local_control_flow_historyt< track_forward_jumps, track_backward_jumps >
• max_line : instrument_spec_assignst::location_intervalt
• max_loops_complexity : complexity_limitert
• max_node_refinement : bv_refinementt::configt
• max_nondet_array_length : object_factory_parameterst
• max_nondet_string_length : object_factory_parameterst
• max_nondet_tree_depth : recursive_initialization_configt
• max_po_trans : event_grapht::graph_explorert, event_grapht
• max_ssa_set_size : solver_hardnesst
• max_string_length : string_constraint_generatort::parseint_argumentst
• max_thread : instrumentert::cfg_visitort, shared_bufferst::cfg_visitort
• max_user_array_length : java_bytecode_language_optionst, object_creation_infot
• max_value_set_size : value_set_abstract_objectt, value_set_pointer_abstract_objectt
• max_var : event_grapht::graph_explorert, event_grapht
• maximize : pbs_dimacs_cnft
• maximum_array_index : vsd_configt
• may_bits : custom_bitvector_domaint, custom_bitvector_domaint::vectorst
• mem_tmp : shared_bufferst::varst
• member_input : sort_based_literal_convertert
• members : boolbv_widtht::defined_entryt
• memmap_name : is_fresh_baset
• memmap_symbol : is_fresh_baset
• memory : interpretert
• memory_map : gdb_value_extractort, interpretert
• memory_operand_size : configt::ansi_ct
• memory_predicates : dfcc_contract_handlert, dfcc_wrapper_programt, dfcct
• memory_snapshot_file : memory_snapshot_harness_generatort
• merge_irep : symex_target_equationt
• merge_ireps : goto_trace_storaget
• merged_irep_store : merged_irepst
• message : event_grapht, havoc_generate_function_bodiest, instrumentert, memory_analyzer_parse_optionst, messaget::mstreamt, no_unique_unimplemented_method_exceptiont, require_goto_statements::no_decl_found_exceptiont, shared_bufferst, smt2_tokenizert::smt2_errort, taint_parse_treet::rulet, typecheckt::errort
• message_count : message_handlert
• message_handler : acceleratet, acceleration_utilst, aggressive_slicert, ai_baset, ansi_c_convert_typet, api_session_implementationt, armcc_modet, arrayst, as_modet, bv_refinementt::infot, contracts_wranglert, cw_modet, dep_graph_domain_factoryt, dep_graph_domaint, dfcc_contract_clauses_codegent, dfcc_contract_functionst, dfcc_contract_handlert, dfcc_instrumentt, dfcc_is_freeablet, dfcc_is_fresht, dfcc_libraryt, dfcc_obeys_contractt, dfcc_pointer_equalst, dfcc_pointer_in_ranget, dfcc_spec_functionst, dfcc_swap_and_wrapt, dfcc_wrapper_programt, dfcct, disjunctive_polynomial_accelerationt, function_call_harness_generatort::implt, functions_in_scope_visitort, goto_cc_modet, goto_difft, is_fresh_baset, java_bytecode_instrumentt, java_simple_method_stubst, lazy_goto_functions_mapt, lazy_goto_modelt, linking_diagnosticst, linkingt, memory_snapshot_harness_generatort, messaget, ms_cl_modet, ms_link_modet, Parser, polynomial_acceleratort, preconditiont, rd_range_domain_factoryt, rd_range_domaint, remove_asmt, remove_exceptionst, remove_function_pointerst, remove_instanceoft, rw_range_sett, rw_set_baset, sat_path_enumeratort, smt2_dect, solver_factoryt, string_abstractiont, string_constraint_generatort, ui_message_handlert, value_set_dereferencet
• message_level : messaget::mstreamt
• messages : smt2_parser_test_resultt
• method : method_bytecodet::class_method_and_bytecodet
• method_bodies : cpp_typecheckt
• method_bytecode : java_bytecode_convert_classt, java_bytecode_languaget
• method_context : java_bytecode_language_optionst, jbmc_parse_optionst
• method_descriptor : java_bytecode_parse_treet::classt::lambda_method_handlet
• method_has_this : java_bytecode_convert_methodt
• method_id : java_bytecode_convert_methodt, method_bytecodet::class_method_and_bytecodet
• method_return_type : java_bytecode_convert_methodt
• method_symbol : cpp_typecheckt::method_bodyt
• method_with_amap : java_bytecode_convert_methodt::method_with_amapt
• methods : java_bytecode_parse_treet::classt
• methods_seen : cpp_typecheckt
• mgr : mini_bdd_nodet
• min : __CPROVER_jsa_abstract_range
• min_col : instrument_spec_assignst::location_intervalt
• min_depth_var_name : recursive_initializationt
• min_dynamic_array_size : recursive_initialization_configt
• min_line : instrument_spec_assignst::location_intervalt
• min_nondet_string_length : object_factory_parameterst
• min_null_tree_depth : object_factory_parameterst, recursive_initialization_configt
• min_width : format_spect
• minisat_proof : satcheck_minisat1_prooft
• missing_function_regex : inlining_decoratort
• missing_function_set : inlining_decoratort
• mm_io_r : mm_iot
• mm_io_r_value : mm_iot
• mm_io_w : mm_iot
• mnemonic : bytecode_infot
• mode : ansi_c_parsert, build_declaration_hops_inputst, c_typecheck_baset, compilet, configt::ansi_ct, cover_configt, cpp_parsert, dump_ct, goto_check_ct, havoc_assigns_targetst, instrument_spec_assignst, language_entryt, recursive_initialization_configt, symbolt
• model : api_session_implementationt, cprover_library_entryt, function_name_manglert< MangleFun >
• model_bdds : qbf_bdd_certificatet
• modified : abstract_objectt::combine_result, disjunctive_polynomial_accelerationt, sat_path_enumeratort
• modified_functions : goto_difft
• module : c_typecheck_baset, statement_list_typecheckt, symbolt
• module_map : language_filest
• modules : language_filet
• monomials : polynomialt
• msc_based : ansi_c_convert_typet
• mstream : messaget
• multi_under : file_name_manglert
• multiply : smt_bit_vector_theoryt
• must_bits : custom_bitvector_domaint, custom_bitvector_domaint::vectorst
• mutate_root : depth_iteratort