- m -

main() : converter.cpp , file_converter.cpp , jdiff_main.cpp , jbmc_main.cpp , janalyzer_main.cpp , symtab2gb_main.cpp , smt2_solver.cpp , example.cpp , memory_analyzer_main.cpp , example.c , goto_synthesizer_main.cpp , goto_inspect_main.cpp , goto_instrument_main.cpp , cbmc_main.cpp , cprover_main.cpp , crangler_main.cpp , goto_analyzer_main.cpp , goto_cc_main.cpp , goto_bmc_main.cpp , goto_harness_main.cpp , goto_diff_main.cpp
make_address() : instrument_contracts.cpp
make_allocate_code() : allocate_objects.h , allocate_objects.cpp
make_and() : expr_util.cpp , expr_util.h
make_assigns_assertion() : instrument_contracts.cpp
make_assigns_clause_replacement_tracking_comment() : utils.cpp , utils.h
make_binary() : expr_util.cpp , expr_util.h
make_bitvector_resize_cast() : convert_expr_to_smt.cpp
make_boolean_expr() : expr_util.cpp , expr_util.h
make_bvrep() : arith_tools.cpp , arith_tools.h
make_byte_extract() : byte_operators.cpp , byte_operators.h
make_byte_update() : byte_operators.cpp , byte_operators.h
make_char_array_pointer_associations() : string_refinement.cpp
make_clean_pointer_cast() : java_pointer_casts.h , java_pointer_casts.cpp
make_constant_index_range() : constant_abstract_value.cpp
make_empty_index_range() : abstract_value_object.cpp , abstract_value_object.h
make_function_application() : java_utils.cpp , java_utils.h
make_function_expr() : lambda_synthesis.cpp
make_indeterminate_index_range() : abstract_value_object.cpp , abstract_value_object.h
make_internal_default_options() : api_options.cpp
make_interval_expr() : interval_abstract_value.cpp
make_interval_index_range() : interval_abstract_value.cpp
make_invalid_pointer_expr() : object_tracking.cpp , object_tracking.h
make_invalid_pointer_object() : object_tracking.cpp
make_is_dynamic_object_function_declaration() : smt_is_dynamic_object.cpp
make_member_expr() : anonymous_member.cpp
make_nondet_infinite_char_array() : java_string_library_preprocess.cpp , java_string_library_preprocess.h
make_not_zero() : convert_expr_to_smt.cpp
make_null_object() : object_tracking.cpp
make_object_size_function_declaration() : smt_object_size.cpp
make_object_whole_call_expr() : dfcc_infer_loop_assigns.cpp
make_or() : bdd_expr.cpp
make_query() : expr_query.h
make_range() : range.h
make_renamed() : renamed.h
make_satcheck_prop() : solver_factory.cpp
make_shared_2() : small_shared_n_way_ptr.h
make_shared_3() : small_shared_n_way_ptr.h
make_single_value_range() : abstract_value_object.cpp , abstract_value_object.h
make_small_shared_ptr() : small_shared_ptr.h
make_string() : string_builtin_function.cpp , string_builtin_function.h
make_top() : abstract_value_object.cpp
make_type() : string_constant.cpp
make_va_list() : builtin_functions.cpp
make_value_set_index_range() : value_set_abstract_object.cpp
make_value_set_value_range() : value_set_abstract_object.cpp
make_with_expr() : expr_util.h , expr_util.cpp
malloc() : stdlib.c
mangle() : c_wrangler.cpp
mangle_function() : c_wrangler.cpp
mangle_object() : c_wrangler.cpp
map_bounds() : lower_byte_operators.cpp
map_bv() : boolbv_byte_extract.cpp
mark_java_implicitly_generic_class_type() : java_bytecode_convert_class.cpp , java_bytecode_convert_class.h
match_bracket() : ctokenit.cpp , ctokenit.h , ctokenit.cpp
max_fault_localization_score() : report_util.cpp
max_printed_string_length() : string_constraint_generator.h , string_constraint_generator_valueof.cpp
maximum() : string_constraint_generator.h , string_constraint_generator_main.cpp
may_alias() : may_alias.cpp , may_alias.h
may_be_def_use_pair() : dependence_graph.cpp
may_be_lvalue() : java_trace_validation.cpp
may_be_same_object() : may_be_same_object.h , may_be_same_object.cpp
maybe_add_hole() : java_local_variable_table.cpp
maybe_extract_single_value() : value_set_abstract_object.cpp , value_set_pointer_abstract_object.cpp
member_offset() : pointer_offset_size.cpp , pointer_offset_size.h
member_offset_bits() : pointer_offset_size.cpp , pointer_offset_size.h
member_offset_expr() : pointer_offset_size.cpp , pointer_offset_size.h
member_type_lazy() : java_bytecode_convert_method.cpp
memcmp() : string.c
memcpy() : string.c
memmove() : string.c
memory_info() : memory_info.cpp , memory_info.h
memset() : string.c
merge() : string_constraint_generator.h , string_constraint_generator_main.cpp
merge_names() : symex_goto.cpp
merge_source_location_rec() : java_utils.cpp , java_utils.h
merge_state_guards() : symex_goto.cpp
merge_variable_table_entries() : java_local_variable_table.cpp
message_building_error_trace() : bmc_util.cpp , bmc_util.h
MetaChar() : c_misc.cpp
MetaString() : c_misc.cpp , c_misc.h
minimize_mcdc_controlling() : cover_instrument_mcdc.cpp
minimum() : string_constraint_generator.h , string_constraint_generator_main.cpp
miniz_def_alloc_func() : miniz.cpp , miniz.h
miniz_def_free_func() : miniz.cpp , miniz.h
miniz_def_realloc_func() : miniz.cpp , miniz.h
mk_wcswidth() : wcwidth.c
mk_wcswidth_cjk() : wcwidth.c
mk_wcwidth() : wcwidth.c
mk_wcwidth_cjk() : wcwidth.c
mktime() : time.c
mm_io() : mm_io.h , mm_io.cpp
mmap() : mman.c
mmap64() : mman.c
mmio() : mmio.cpp , mmio.h
model_argc_argv() : model_argc_argv.cpp , model_argc_argv.h
modf() : math.c
modff() : math.c
modfl() : math.c
module_local_declaration() : dump_c.cpp
monitor_exits() : java_bytecode_concurrency_instrumentation.cpp
most_significant_bit_is_set() : convert_expr_to_smt.cpp
move_label_ifthenelse() : goto_program2code.cpp
mp_max() : arith_tools.cpp , arith_tools.h
mp_min() : arith_tools.cpp , arith_tools.h
mtx_destroy() : threads.c
mtx_init() : threads.c
mtx_lock() : threads.c
mtx_timedlock() : threads.c
mtx_trylock() : threads.c
mtx_unlock() : threads.c
mul_expr() : simplify_expr_int.cpp
mult_overflow_result() : boolbv_overflow.cpp
multimap_key_matches() : call_graph_test_utils.cpp , call_graph_test_utils.h
munmap() : mman.c
must_check_lhs_from_local_and_tracked() : dfcc_cfg_info.cpp
mutex_init_instrumentation() : thread_instrumentation.cpp , thread_instrumentation.h
my_wgetline() : ms_link_cmdline.cpp , ms_cl_cmdline.cpp
mz_adler32() : miniz.cpp , miniz.h
mz_compress() : miniz.cpp , miniz.h
mz_compress2() : miniz.cpp , miniz.h
mz_compressBound() : miniz.cpp , miniz.h
mz_crc32() : miniz.cpp , miniz.h
mz_deflate() : miniz.h , miniz.cpp
mz_deflateBound() : miniz.cpp , miniz.h
mz_deflateEnd() : miniz.cpp , miniz.h
mz_deflateInit() : miniz.cpp , miniz.h
mz_deflateInit2() : miniz.cpp , miniz.h
mz_deflateReset() : miniz.cpp , miniz.h
mz_error() : miniz.cpp , miniz.h
mz_free() : miniz.cpp , miniz.h
mz_inflate() : miniz.cpp , miniz.h
mz_inflateEnd() : miniz.cpp , miniz.h
mz_inflateInit() : miniz.cpp , miniz.h
mz_inflateInit2() : miniz.cpp , miniz.h
mz_uncompress() : miniz.cpp , miniz.h
mz_version() : miniz.cpp , miniz.h
mz_write_le16() : miniz.cpp
mz_write_le32() : miniz.cpp
mz_write_le64() : miniz.cpp
mz_zip_add_mem_to_archive_file_in_place() : miniz.cpp , miniz.h
mz_zip_add_mem_to_archive_file_in_place_v2() : miniz.cpp , miniz.h
mz_zip_array_clear() : miniz.cpp
mz_zip_array_ensure_capacity() : miniz.cpp
mz_zip_array_ensure_room() : miniz.cpp
mz_zip_array_init() : miniz.cpp
mz_zip_array_push_back() : miniz.cpp
mz_zip_array_reserve() : miniz.cpp
mz_zip_array_resize() : miniz.cpp
mz_zip_clear_last_error() : miniz.cpp , miniz.h
mz_zip_compute_crc32_callback() : miniz.cpp
mz_zip_dos_to_time_t() : miniz.cpp
mz_zip_end() : miniz.cpp , miniz.h
mz_zip_extract_archive_file_to_heap() : miniz.cpp , miniz.h
mz_zip_extract_archive_file_to_heap_v2() : miniz.cpp , miniz.h
mz_zip_file_read_func() : miniz.cpp
mz_zip_file_stat_internal() : miniz.cpp
mz_zip_file_write_callback() : miniz.cpp
mz_zip_file_write_func() : miniz.cpp
mz_zip_filename_compare() : miniz.cpp
mz_zip_get_archive_file_start_offset() : miniz.cpp , miniz.h
mz_zip_get_archive_size() : miniz.cpp , miniz.h
mz_zip_get_cdh() : miniz.cpp
mz_zip_get_central_dir_size() : miniz.cpp , miniz.h
mz_zip_get_cfile() : miniz.cpp , miniz.h
mz_zip_get_error_string() : miniz.cpp , miniz.h
mz_zip_get_file_modified_time() : miniz.cpp
mz_zip_get_last_error() : miniz.cpp , miniz.h
mz_zip_get_mode() : miniz.cpp , miniz.h
mz_zip_get_type() : miniz.cpp , miniz.h
mz_zip_heap_write_func() : miniz.cpp
mz_zip_is_zip64() : miniz.cpp , miniz.h
mz_zip_locate_file() : miniz.h
mz_zip_locate_file_binary_search() : miniz.cpp
mz_zip_locate_file_v2() : miniz.h
mz_zip_mem_read_func() : miniz.cpp
mz_zip_peek_last_error() : miniz.cpp , miniz.h
mz_zip_read_archive_data() : miniz.cpp , miniz.h
mz_zip_reader_end() : miniz.cpp , miniz.h
mz_zip_reader_end_internal() : miniz.cpp
mz_zip_reader_extract_file_to_callback() : miniz.cpp , miniz.h
mz_zip_reader_extract_file_to_cfile() : miniz.h , miniz.cpp
mz_zip_reader_extract_file_to_file() : miniz.cpp , miniz.h
mz_zip_reader_extract_file_to_heap() : miniz.cpp , miniz.h
mz_zip_reader_extract_file_to_mem() : miniz.cpp , miniz.h
mz_zip_reader_extract_file_to_mem_no_alloc() : miniz.cpp , miniz.h
mz_zip_reader_extract_to_callback() : miniz.cpp , miniz.h
mz_zip_reader_extract_to_cfile() : miniz.cpp , miniz.h
mz_zip_reader_extract_to_file() : miniz.cpp , miniz.h
mz_zip_reader_extract_to_heap() : miniz.cpp , miniz.h
mz_zip_reader_extract_to_mem() : miniz.cpp , miniz.h
mz_zip_reader_extract_to_mem_no_alloc() : miniz.cpp , miniz.h
mz_zip_reader_file_stat() : miniz.cpp , miniz.h
mz_zip_reader_filename_less() : miniz.cpp
mz_zip_reader_get_filename() : miniz.cpp , miniz.h
mz_zip_reader_get_num_files() : miniz.h , miniz.cpp
mz_zip_reader_init() : miniz.cpp , miniz.h
mz_zip_reader_init_cfile() : miniz.cpp , miniz.h
mz_zip_reader_init_file() : miniz.cpp , miniz.h
mz_zip_reader_init_file_v2() : miniz.cpp , miniz.h
mz_zip_reader_init_internal() : miniz.cpp
mz_zip_reader_init_mem() : miniz.h , miniz.cpp
mz_zip_reader_is_file_a_directory() : miniz.cpp , miniz.h
mz_zip_reader_is_file_encrypted() : miniz.cpp , miniz.h
mz_zip_reader_is_file_supported() : miniz.cpp , miniz.h
mz_zip_reader_locate_file() : miniz.cpp , miniz.h
mz_zip_reader_locate_file_v2() : miniz.cpp , miniz.h
mz_zip_reader_locate_header_sig() : miniz.cpp
mz_zip_reader_read_central_dir() : miniz.cpp
mz_zip_reader_sort_central_dir_offsets_by_filename() : miniz.cpp
mz_zip_set_error() : miniz.cpp
mz_zip_set_file_times() : miniz.cpp
mz_zip_set_last_error() : miniz.cpp , miniz.h
mz_zip_string_equal() : miniz.cpp
mz_zip_time_t_to_dos_time() : miniz.cpp
mz_zip_validate_archive() : miniz.cpp , miniz.h
mz_zip_validate_file() : miniz.cpp , miniz.h
mz_zip_validate_file_archive() : miniz.h , miniz.cpp
mz_zip_validate_mem_archive() : miniz.cpp , miniz.h
mz_zip_writer_add_cfile() : miniz.cpp , miniz.h
mz_zip_writer_add_file() : miniz.cpp , miniz.h
mz_zip_writer_add_from_zip_reader() : miniz.cpp , miniz.h
mz_zip_writer_add_mem() : miniz.cpp , miniz.h
mz_zip_writer_add_mem_ex() : miniz.cpp , miniz.h
mz_zip_writer_add_mem_ex_v2() : miniz.cpp , miniz.h
mz_zip_writer_add_put_buf_callback() : miniz.cpp
mz_zip_writer_add_to_central_dir() : miniz.cpp
mz_zip_writer_compute_padding_needed_for_file_alignment() : miniz.cpp
mz_zip_writer_create_central_dir_header() : miniz.cpp
mz_zip_writer_create_local_dir_header() : miniz.cpp
mz_zip_writer_create_zip64_extra_data() : miniz.cpp
mz_zip_writer_end() : miniz.cpp , miniz.h
mz_zip_writer_end_internal() : miniz.cpp
mz_zip_writer_finalize_archive() : miniz.h , miniz.cpp
mz_zip_writer_finalize_heap_archive() : miniz.cpp , miniz.h
mz_zip_writer_init() : miniz.cpp , miniz.h
mz_zip_writer_init_cfile() : miniz.cpp , miniz.h
mz_zip_writer_init_file() : miniz.cpp , miniz.h
mz_zip_writer_init_file_v2() : miniz.cpp , miniz.h
mz_zip_writer_init_from_reader() : miniz.cpp , miniz.h
mz_zip_writer_init_from_reader_v2() : miniz.cpp , miniz.h
mz_zip_writer_init_heap() : miniz.cpp , miniz.h
mz_zip_writer_init_heap_v2() : miniz.cpp , miniz.h
mz_zip_writer_init_v2() : miniz.cpp , miniz.h
mz_zip_writer_update_zip64_extension_block() : miniz.cpp
mz_zip_writer_validate_archive_name() : miniz.cpp
mz_zip_writer_write_zeros() : miniz.cpp
mz_zip_zero_struct() : miniz.cpp , miniz.h