Here is a list of all functions with links to the files they belong to:
- 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_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_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.cpp, expr_util.h
- 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_malloc_size() : ansi_c_internal_additions.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.h
- miniz_def_free_func() : miniz.cpp, miniz.h
- miniz_def_realloc_func() : miniz.cpp, miniz.h
- 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_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.cpp, miniz.h
- 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.cpp, miniz.h
- 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.cpp, miniz.h
- 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.cpp, miniz.h
- 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.cpp, miniz.h
- 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.cpp, miniz.h
- 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