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

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

R

S

T

U

V

W

X

Y

Z

_

- m -

• main() : file_converter.cpp, converter.cpp, cbmc_main.cpp, cprover_main.cpp, crangler_main.cpp, goto_analyzer_main.cpp, goto_bmc_main.cpp, goto_cc_main.cpp, goto_diff_main.cpp, goto_harness_main.cpp, goto_inspect_main.cpp, goto_instrument_main.cpp, goto_synthesizer_main.cpp, memory_analyzer_main.cpp, example.cpp, smt2_solver.cpp, symtab2gb_main.cpp, janalyzer_main.cpp, jbmc_main.cpp, jdiff_main.cpp
• make_address() : instrument_contracts.cpp
• make_allocate_code() : allocate_objects.cpp, allocate_objects.h
• 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.cpp, java_pointer_casts.h
• 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_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
• 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
• 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.cpp, may_be_same_object.h
• 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
• memory_info() : memory_info.cpp, memory_info.h
• 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_def_free_func() : miniz.cpp
• miniz_def_realloc_func() : miniz.cpp
• mm_io() : mm_io.cpp, mm_io.h
• mmio() : mmio.cpp, mmio.h
• model_argc_argv() : model_argc_argv.cpp, model_argc_argv.h
• 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
• 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
• must_check_lhs_from_local_and_tracked() : dfcc_cfg_info.cpp
• mutex_init_instrumentation() : thread_instrumentation.cpp, thread_instrumentation.h
• my_wgetline() : ms_cl_cmdline.cpp, ms_link_cmdline.cpp
• mz_adler32() : miniz.cpp, miniz.h
• mz_crc32() : miniz.cpp, miniz.h
• mz_free() : miniz.cpp, miniz.h
• mz_version() : miniz.cpp
• mz_zip_array_clear() : miniz.cpp
• mz_zip_array_ensure_capacity() : miniz.cpp
• mz_zip_array_init() : miniz.cpp
• mz_zip_array_resize() : miniz.cpp
• mz_zip_clear_last_error() : miniz.cpp
• mz_zip_compute_crc32_callback() : miniz.cpp
• mz_zip_end() : miniz.cpp
• mz_zip_file_read_func() : miniz.cpp
• mz_zip_file_stat_internal() : miniz.cpp
• mz_zip_file_write_callback() : miniz.cpp
• mz_zip_filename_compare() : miniz.cpp
• mz_zip_get_archive_file_start_offset() : miniz.cpp
• mz_zip_get_archive_size() : miniz.cpp
• mz_zip_get_cdh() : miniz.cpp
• mz_zip_get_central_dir_size() : miniz.cpp
• mz_zip_get_cfile() : miniz.cpp
• mz_zip_get_error_string() : miniz.cpp
• mz_zip_get_last_error() : miniz.cpp
• mz_zip_get_mode() : miniz.cpp
• mz_zip_get_type() : miniz.cpp
• mz_zip_is_zip64() : miniz.cpp
• mz_zip_locate_file_binary_search() : miniz.cpp
• mz_zip_mem_read_func() : miniz.cpp
• mz_zip_peek_last_error() : miniz.cpp
• mz_zip_read_archive_data() : miniz.cpp
• mz_zip_reader_end() : miniz.cpp
• mz_zip_reader_end_internal() : miniz.cpp
• mz_zip_reader_eocd64_valid() : miniz.cpp
• mz_zip_reader_extract_file_iter_new() : miniz.cpp
• mz_zip_reader_extract_file_to_callback() : miniz.cpp
• mz_zip_reader_extract_file_to_cfile() : miniz.cpp
• mz_zip_reader_extract_file_to_file() : miniz.cpp
• mz_zip_reader_extract_file_to_heap() : miniz.cpp
• mz_zip_reader_extract_file_to_mem() : miniz.cpp
• mz_zip_reader_extract_file_to_mem_no_alloc() : miniz.cpp
• mz_zip_reader_extract_iter_free() : miniz.cpp
• mz_zip_reader_extract_iter_new() : miniz.cpp
• mz_zip_reader_extract_iter_read() : miniz.cpp
• mz_zip_reader_extract_to_callback() : miniz.cpp
• mz_zip_reader_extract_to_cfile() : miniz.cpp
• mz_zip_reader_extract_to_file() : miniz.cpp
• mz_zip_reader_extract_to_heap() : miniz.cpp
• mz_zip_reader_extract_to_mem() : miniz.cpp
• mz_zip_reader_extract_to_mem_no_alloc() : miniz.cpp
• mz_zip_reader_extract_to_mem_no_alloc1() : miniz.cpp
• mz_zip_reader_file_stat() : miniz.cpp
• mz_zip_reader_filename_less() : miniz.cpp
• mz_zip_reader_get_filename() : miniz.cpp
• mz_zip_reader_get_num_files() : miniz.cpp
• mz_zip_reader_init() : miniz.cpp
• mz_zip_reader_init_cfile() : miniz.cpp
• mz_zip_reader_init_file() : miniz.cpp
• mz_zip_reader_init_file_v2() : miniz.cpp
• mz_zip_reader_init_internal() : miniz.cpp
• mz_zip_reader_init_mem() : miniz.cpp
• mz_zip_reader_is_file_a_directory() : miniz.cpp
• mz_zip_reader_is_file_encrypted() : miniz.cpp
• mz_zip_reader_is_file_supported() : miniz.cpp
• mz_zip_reader_locate_file() : miniz.cpp
• mz_zip_reader_locate_file_v2() : miniz.cpp
• 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_last_error() : miniz.cpp
• mz_zip_string_equal() : miniz.cpp
• mz_zip_validate_archive() : miniz.cpp
• mz_zip_validate_file() : miniz.cpp
• mz_zip_validate_file_archive() : miniz.cpp
• mz_zip_validate_mem_archive() : miniz.cpp
• mz_zip_zero_struct() : miniz.cpp