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

- g -

• gather_dependent_expressions() : smt2_incremental_decision_procedure.cpp
• gather_full_class_name() : java_types.cpp, java_types.h
• gather_symbol_live_ranges() : java_bytecode_convert_method.cpp
• gather_transitive_predecessors() : java_local_variable_table.cpp
• gcc_float128_type() : gcc_types.cpp, gcc_types.h
• gcc_float128x_type() : gcc_types.cpp, gcc_types.h
• gcc_float16_type() : gcc_types.cpp, gcc_types.h
• gcc_float32_type() : gcc_types.cpp, gcc_types.h
• gcc_float32x_type() : gcc_types.cpp, gcc_types.h
• gcc_float64_type() : gcc_types.cpp, gcc_types.h
• gcc_float64x_type() : gcc_types.cpp, gcc_types.h
• gcc_signed_int128_type() : gcc_types.cpp, gcc_types.h
• gcc_unsigned_int128_type() : gcc_types.cpp, gcc_types.h
• gen_clinit_assign() : java_static_initializers.cpp
• gen_clinit_eqexpr() : java_static_initializers.cpp
• gen_dfcc_loop_info() : dfcc_cfg_info.cpp
• gen_loop_locals_set() : dfcc_infer_loop_assigns.cpp, dfcc_infer_loop_assigns.h
• gen_nondet_array_init() : java_object_factory.cpp, java_object_factory.h
• gen_nondet_init() : java_object_factory.cpp, java_object_factory.h, java_object_factory.cpp, java_object_factory.h
• gen_tracked_set() : dfcc_cfg_info.cpp
• generalization() : generalization.cpp, generalization.h
• generate_ansi_c_start_function() : ansi_c_entry_point.cpp, ansi_c_entry_point.h
• generate_class_stub() : java_utils.cpp, java_utils.h
• generate_constant_global_variables() : java_bytecode_language.cpp
• generate_contract_constraints() : contracts.cpp
• generate_entry_point_for_function() : initialize_goto_model.cpp
• generate_function_bodies() : generate_function_bodies.cpp, generate_function_bodies.h
• generate_function_bodies_factory() : generate_function_bodies.cpp, generate_function_bodies.h
• generate_history_variables_initialization() : utils.cpp, utils.h
• generate_instantiations() : string_refinement.cpp
• generate_java_start_function() : java_entry_point.h, java_entry_point.cpp
• generate_lexicographic_less_than_check() : utils.cpp, utils.h
• generate_nondet_int() : nondet.cpp, nondet.h
• generate_nondet_switch() : nondet.cpp, nondet.h
• generate_rounding_mode() : statement_list_entry_point.cpp
• generate_statement_list_init_function() : statement_list_entry_point.cpp
• generate_statement_list_start_function() : statement_list_entry_point.cpp
• get_all_generic_parameters() : java_types.cpp, java_types.h
• get_alnum_string() : goto_symex.cpp
• get_any_incomplete_ancestor_for_stub_static_field() : java_bytecode_language.cpp
• get_array() : string_refinement.cpp
• get_array_dimension_field() : java_types.cpp, java_types.h
• get_array_element_type_field() : java_types.cpp, java_types.h
• get_assigns() : loop_utils.h, loop_utils.cpp
• get_assigns_lhs() : loop_utils.cpp, loop_utils.h
• get_backtrace() : invariant.cpp, invariant.h
• get_base_name() : get_base_name.cpp, get_base_name.h
• get_bool_type() : statement_list_types.cpp, statement_list_types.h
• get_boxed_type_info_by_name() : java_utils.cpp, java_utils.h
• get_bvrep_bit() : arith_tools.cpp, arith_tools.h
• get_bvtype() : boolbv_type.cpp, boolbv_type.h
• get_byte_op_json() : show_program.cpp
• get_bytecode_type_width() : java_bytecode_convert_method.cpp
• get_callees() : call_graph_helpers.cpp, call_graph_helpers.h
• get_callers() : call_graph_helpers.cpp, call_graph_helpers.h
• get_char_array_and_concretize() : string_refinement.cpp
• get_checked_pointer_from_null_pointer_check() : cegis_verifier.cpp
• get_class_identifier_field() : class_identifier.cpp, class_identifier.h
• get_class_literal_initializer() : java_entry_point.cpp
• get_clinit_wrapper_body() : java_static_initializers.h, java_static_initializers.cpp
• get_common_dominator() : java_local_variable_table.cpp
• get_component_rec() : anonymous_member.cpp, anonymous_member.h
• get_connected_functions() : call_graph_helpers.cpp
• get_context() : java_bytecode_language.cpp, java_bytecode_language.h
• get_contract() : instrument_contracts.cpp, instrument_contracts.h, contracts.cpp
• get_cover_config() : cover.cpp, cover.h, cover.cpp
• get_cprover_library_text() : cprover_library.cpp, cprover_library.h, cprover_library.cpp
• get_create_array_with_type_name() : create_array_with_type_intrinsic.cpp, create_array_with_type_intrinsic.h
• get_data() : java_string_library_preprocess.cpp
• get_data_type() : java_string_library_preprocess.cpp
• get_default_language() : mode.h, mode.cpp
• get_defines() : c_wrangler.cpp
• get_dependencies_from_generic_parameters() : java_types.cpp, java_types.h
• get_dependencies_from_generic_parameters_rec() : java_types.cpp
• get_destructor() : destructor.cpp, destructor.h
• get_dint_type() : statement_list_types.h, statement_list_types.cpp
• get_dstring_number() : dstring.cpp, dstring.h
• get_entry_point_language() : rebuild_goto_start_function.cpp, rebuild_goto_start_function.h
• get_entry_point_mode() : rebuild_goto_start_function.cpp, rebuild_goto_start_function.h
• get_enum_id() : assignments_from_json.cpp
• get_exponent() : string_constraint_generator_float.cpp
• get_failed_symbol() : add_failed_symbols.cpp, add_failed_symbols.h
• get_field_init_expr() : shadow_memory_util.h, shadow_memory_util.cpp
• get_field_init_type() : shadow_memory_util.cpp, shadow_memory_util.h
• get_final_name_component() : java_bytecode_convert_class.cpp
• get_first_label_id() : java_bytecode_concurrency_instrumentation.cpp
• get_fraction() : string_constraint_generator_float.cpp
• get_fresh_aux_symbol() : fresh_symbol.cpp, fresh_symbol.h
• get_fresh_global_symbol() : recursive_initialization.cpp
• get_function_name() : string_constraint_generator_main.cpp
• get_functions_reachable_within_n_steps() : call_graph_helpers.h, call_graph_helpers.cpp
• get_gen_nondet_init_instructions() : convert_java_nondet.cpp
• get_goto_model_from_c() : get_goto_model_from_c.cpp, get_goto_model_from_c.h
• get_id_or_reference_value() : assignments_from_json.cpp
• get_if_cmp_operator() : java_bytecode_convert_method.cpp
• get_inherited_component() : java_utils.cpp, java_utils.h
• get_inherited_method_implementation() : resolve_inherited_component.cpp, resolve_inherited_component.h
• get_inner_symbol_expr() : java_trace_validation.cpp, java_trace_validation.h
• get_innermost_loop() : sese_regions.cpp
• get_int_type() : statement_list_types.cpp, statement_list_types.h
• get_interface_methods() : lambda_synthesis.cpp
• get_isr() : interrupt.cpp
• get_java_class_literal_initializer_signature() : java_entry_point.cpp, java_entry_point.h
• get_java_primitive_type_info() : java_utils.cpp, java_utils.h
• get_json_options() : json_interface.cpp
• get_l1_name() : goto_symex_state.cpp
• get_lambda_method_handle() : lambda_synthesis.cpp
• get_language_from_filename() : mode.cpp, mode.h
• get_language_from_identifier() : mode.cpp, mode.h
• get_language_from_mode() : mode.cpp, mode.h
• get_ldc_result() : java_bytecode_language.cpp
• get_length() : java_string_library_preprocess.cpp
• get_length_type() : java_string_library_preprocess.cpp
• get_literal_value() : convert_int_literal.cpp, convert_dint_literal.cpp
• get_local_identifiers() : goto_function.cpp, goto_function.h
• get_loop_assigns() : utils.cpp, utils.h
• get_loop_decreases() : utils.cpp, utils.h
• get_loop_end() : utils.cpp, utils.h
• get_loop_end_from_loop_head_and_content() : utils.cpp, utils.h
• get_loop_end_from_loop_head_and_content_mutable() : utils.cpp, utils.h
• get_loop_exit() : loop_utils.cpp, loop_utils.h
• get_loop_head() : utils.cpp, utils.h
• get_loop_head_or_end() : utils.cpp, utils.h
• get_loop_invariants() : utils.cpp, utils.h
• get_main_symbol() : java_entry_point.cpp, java_entry_point.h
• get_matched_base_cond() : shadow_memory_util.cpp
• get_matched_expr_cond() : shadow_memory_util.cpp
• get_memory_model() : bmc_util.cpp, bmc_util.h
• get_messages() : c_api.h
• get_method_handle_type() : java_bytecode_parser.cpp
• get_method_identifier() : java_bytecode_convert_method.cpp
• get_mode_from_identifier() : mode.cpp, mode.h
• get_module() : get_module.cpp, get_module.h
• get_module_by_name() : get_module.cpp
• get_monitor_call() : java_bytecode_concurrency_instrumentation.cpp
• get_neighbours() : call_graph_helpers.cpp
• get_new_name() : rename.cpp, rename.h
• get_nil_irep() : irep.h, irep.cpp
• get_nondet_bool() : nondet_bool.h
• get_nondet_instruction_info() : replace_java_nondet.cpp
• get_null_checked_expr() : local_safe_pointers.cpp
• get_numeric_value_from_character() : string_constraint_generator.h, string_constraint_generator_valueof.cpp
• get_object_rec() : goto_trace.cpp
• get_objects() : object_id.cpp, object_id.h
• get_objects_r() : object_id.cpp, object_id.h
• get_objects_r_lhs() : object_id.h, object_id.cpp
• get_objects_rec() : object_id.cpp
• get_objects_w() : object_id.cpp, object_id.h, object_id.cpp
• get_objects_w_lhs() : object_id.h
• get_ones_pos() : expr_enumerator.cpp
• get_or_create_class_literal_symbol() : java_bytecode_language.cpp
• get_or_create_method_symbol() : lambda_synthesis.cpp
• get_or_create_reference() : assignments_from_json.cpp
• get_or_create_string_literal_symbol() : java_string_literals.cpp, java_string_literals.h
• get_original_name() : renaming_level.cpp, renaming_level.h, renaming_level.cpp
• get_partitions_long() : expr_enumerator.cpp
• get_path_strategy() : path_storage.cpp, path_storage.h
• get_preconditions() : instrument_preconditions.cpp
• get_printable_xml() : xml_goto_trace.cpp
• get_problem_messages() : smt2_incremental_decision_procedure.cpp
• get_property_description() : c_api.h
• get_property_ids() : c_api.h
• get_property_status() : c_api.h
• get_quantifier_var_max() : boolbv_quantifier.cpp
• get_quantifier_var_min() : boolbv_quantifier.cpp
• get_reachable() : graph.h
• get_reachable_functions() : call_graph_helpers.cpp, call_graph_helpers.h
• get_reaching_functions() : call_graph_helpers.cpp, call_graph_helpers.h
• get_real_type() : statement_list_types.cpp, statement_list_types.h
• get_response_to_command() : smt2_incremental_decision_procedure.cpp
• get_return_code_type() : string_constraint_generator_main.cpp, string_constraint_generator.h
• get_sat_solver() : solver_factory.cpp
• get_second_label_id() : java_bytecode_concurrency_instrumentation.cpp
• get_shadow_dereference() : shadow_memory_util.cpp
• get_shadow_dereference_candidates() : shadow_memory_util.cpp, shadow_memory_util.h
• get_shadow_memory() : shadow_memory_util.cpp, shadow_memory_util.h
• get_shadow_memory_for_matched_object() : shadow_memory_util.cpp
• get_shortest_function_path() : call_graph_helpers.cpp, call_graph_helpers.h
• get_show_symbol_language() : show_symbol_table.cpp
• get_significand() : string_constraint_generator_float.cpp
• get_sort_and_join_table_entry() : simplify_utils.cpp
• get_sorted_properties() : report_util.cpp
• get_source_files() : show_on_source.cpp
• get_ssa_step_json() : show_program.cpp
• get_string_argument() : symex_builtin_functions.cpp
• get_string_argument_rec() : symex_builtin_functions.cpp
• get_string_container() : string_container.h
• get_string_expr() : array_pool.cpp, array_pool.h
• get_string_input_values_code() : java_object_factory.cpp
• get_sub_arrays() : string_refinement.cpp
• get_subexpression_at_offset() : pointer_offset_size.cpp, pointer_offset_size.h
• get_suffix_unsigned() : utils.cpp, utils.h
• get_symbol_names_from_goto_model() : goto_harness_parse_options.cpp
• get_symbols() : remove_internal_symbols.cpp
• get_tag() : java_string_library_preprocess.cpp
• get_temporary_directory() : tempdir.cpp, tempdir.h
• get_temporary_file() : tempfile.cpp, tempfile.h
• get_thread_block_identifier() : java_bytecode_concurrency_instrumentation.cpp
• get_thread_safe_clinit_wrapper_body() : java_static_initializers.cpp, java_static_initializers.h
• get_type() : format_strings.cpp, assignments_from_json.cpp, format_strings.h
• get_ultimate_source_symbol() : require_goto_statements.cpp
• get_unboxing_method() : lambda_synthesis.cpp
• get_unique_non_null_expression_assigned_to_symbol() : require_goto_statements.cpp
• get_untyped() : assignments_from_json.cpp
• get_untyped_array() : assignments_from_json.cpp
• get_untyped_primitive() : assignments_from_json.cpp
• get_untyped_string() : assignments_from_json.cpp
• get_user_specified_clinit_body() : java_static_initializers.cpp, java_static_initializers.h
• get_va_args() : symex_builtin_functions.cpp
• get_valid_array_size() : string_refinement.cpp
• get_verification_result() : c_api.h
• get_without_final_name_component() : java_bytecode_convert_class.cpp
• get_xml_options() : xml_interface.cpp
• getc() : stdio.c
• getchar() : stdio.c
• getenv() : stdlib.c
• gethostbyaddr() : netdb.c
• gethostbyname() : netdb.c
• gethostent() : netdb.c
• getopt() : getopt.c
• getopt_long() : getopt.c
• getpwnam() : pwd.c
• getpwuid() : pwd.c
• getw() : stdio.c
• gmtime() : time.c
• gmtime_r() : time.c
• goto_check_c() : goto_check_c.cpp, goto_check_c.h
• goto_convert() : goto_convert.h, goto_convert_functions.h, goto_convert_functions.cpp, goto_convert.h, goto_convert.cpp
• goto_function_inline() : goto_inline.cpp, goto_inline.h
• goto_function_inline_and_log() : goto_inline.cpp, goto_inline.h
• goto_inline() : goto_inline.cpp, goto_inline.h
• goto_partial_inline() : goto_inline.cpp, goto_inline.h
• goto_program_inline() : goto_inline.cpp, goto_inline.h
• goto_rw() : goto_rw.cpp, goto_rw.h, goto_rw.cpp
• goto_rw_assign() : goto_rw.cpp
• goto_rw_other() : goto_rw.cpp
• greater_or_equal_to() : string_expr.h
• greater_than() : string_expr.h
• guard() : c_safety_checks.cpp