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

- g -

• gasConsume() : solidity_blockchain.c
• gasleft() : solidity_blockchain.c
• gen_additions() : smt_solver.cpp
• gen_address_of() : expr_util.cpp, expr_util.h
• gen_and() : expr_util.cpp, expr_util.h
• gen_binary() : expr_util.cpp, expr_util.h
• gen_boolean() : expr_util.cpp, expr_util.h
• gen_byte_expression() : memory_ops.cpp
• gen_byte_expression_byte_update() : memory_ops.cpp
• gen_false_expr() : irep2_utils.h
• gen_long() : irep2_utils.h
• gen_nondet() : irep2_utils.cpp, irep2_utils.h
• gen_not() : expr_util.cpp, expr_util.h
• gen_one() : irep2_utils.cpp, irep2_utils.h, expr_util.cpp, expr_util.h
• gen_or() : expr_util.cpp, expr_util.h
• gen_pointer_type() : expr_util.cpp, expr_util.h
• gen_true_expr() : irep2_utils.h
• gen_typecast() : typecast.cpp, typecast.h
• gen_typecast_arithmetic() : typecast.cpp, typecast.h
• gen_typecast_bool() : typecast.cpp, typecast.h
• gen_ulong() : irep2_utils.h
• gen_value_by_byte() : memory_ops.cpp
• gen_vptr_init_rhs() : clang_cpp_adjust_code_gen.cpp
• gen_vptr_initializations() : clang_cpp_adjust_code_gen.cpp, clang_cpp_code_gen.h
• gen_zero() : irep2_utils.cpp, irep2_utils.h, expr_util.cpp, expr_util.h
• generate_goto_trace_in_correctness_graphml_format() : goto_trace.h
• generate_html_report() : goto_trace.h, html.cpp
• generate_json_report() : goto_trace.h, json.cpp
• generate_sha256_hash_for_file() : witnesses.cpp, witnesses.h
• generate_symbol_deps() : cprover_library.cpp
• generate_testcase() : witnesses.cpp, witnesses.h
• generate_testcase_metadata() : witnesses.cpp, witnesses.h
• get_alloc_type() : builtin_functions.cpp
• get_alloc_type_rec() : builtin_functions.cpp
• get_atoi_map() : stdlib.c
• get_base_array_subtype() : irep2_utils.h
• get_base_dereference() : dereference.cpp
• get_base_object() : type_byte_size.cpp, type_byte_size.h
• get_base_var_name() : python_annotation.h
• GET_BIT_INTERVALS() : bitwise_bounds.h
• get_bool_type() : c_types.cpp, c_types.h
• get_chained_subarray_literal_indices() : list_access.cpp
• get_char() : solidity_string.c
• get_classname_from_symbol_id() : expr.cpp
• get_comparison_sides() : contracts.cpp
• get_complete_type() : symbolic_types.cpp, symbolic_types.h
• get_complex_literal() : converter_expr.cpp
• get_complex_struct_type() : type_handler.h
• get_constant_value() : numpy_call_expr.cpp
• get_destructor() : destructor.cpp, destructor.h
• get_destructor_component() : destructor.cpp, destructor.h
• get_directly_returned_name() : converter_funcdef.cpp
• get_empty_type() : c_types.cpp, c_types.h
• get_expr_id() : irep2.h, irep2_expr.cpp
• get_expression_type() : converter_expr.cpp
• get_filename_from_path() : cprover_libc_sources.cpp
• get_formated_assignment() : witnesses.cpp, witnesses.h
• get_function_list() : symex_function.cpp
• get_int16_type() : c_types.cpp, c_types.h
• get_int32_type() : c_types.cpp, c_types.h
• get_int64_type() : c_types.cpp, c_types.h
• get_int8_type() : c_types.cpp, c_types.h
• get_int_type() : c_types.cpp, c_types.h
• get_invariant() : witnesses.cpp, witnesses.h
• get_line_number() : witnesses.cpp, witnesses.h
• get_literal_numpy_array_arg() : numpy_call_expr.cpp
• get_literal_shape() : numpy_call_expr.cpp
• get_local_identifiers() : goto_function.cpp, goto_functions.h
• get_max_normal() : smt_fp_conv.cpp
• get_min_normal() : smt_fp_conv.cpp
• get_mode() : mode.cpp
• get_module_recursive() : module_manager.cpp
• get_nested_array_element_type() : numpy_call_expr.cpp
• get_new_name() : rename.cpp, rename.h
• get_nil_irep() : irep.cpp, irep.h
• get_object() : symex_valid_object.cpp
• get_old_frontend_mode() : mode.cpp
• get_pragma_unroll() : migrate.cpp
• get_pretty_name() : pretty.h
• get_return_statement() : converter_funcdef.cpp
• get_scalar_kind() : numpy_call_expr.cpp
• get_ssa_caching_db() : config.cpp, config.h
• get_string_constant() : builtin_functions.cpp
• get_string_pool() : string_pool.h
• get_symbols() : irep2_utils.cpp, irep2_utils.h
• get_terminal_width() : cmdline.cpp
• get_type_from_json() : python_annotation.h
• get_type_id() : irep2.h, irep2_type.cpp
• get_uint16_type() : c_types.cpp, c_types.h
• get_uint32_type() : c_types.cpp, c_types.h
• get_uint64_type() : c_types.cpp, c_types.h
• get_uint8_type() : c_types.cpp, c_types.h
• get_uint_type() : c_types.cpp, c_types.h
• get_ultimate_overridden_method() : clang_cpp_convert_vft.cpp
• get_value() : umath.c
• get_value_double() : umath.c
• getBlockIdx() : device_launch_parameters.h
• getBlockIdx_table() : device_launch_parameters.h
• getc() : stdio.h, io.c
• getchar() : stdio.h, io.c
• getdate() : time.h, time.c
• getenv() : stdlib.h, stdlib.c
• getFullyQualifiedName() : clang_c_convert.cpp, clang_c_convert.h
• getline() : stdio.h, io.c
• getopt() : getopt.c
• getopt_long() : getopt.c
• getopt_long_only() : getopt.c
• getpeername() : socket.h, socket_lib.c
• gets() : stdio.h, io.c
• getsockname() : socket.h, socket_lib.c
• getsockopt() : socket.h, socket_lib.c
• getThreadIdx() : device_launch_parameters.h
• getThreadIdx_table() : device_launch_parameters.h
• gettimeofday() : time.h
• getw() : stdio.h, io.c
• give_locals_fresh_instances() : symex_function.cpp
• gmtime() : time.h, time.c
• gmtime_r() : time.h, time.c
• goto_atomicity_check() : goto_atomicity_check.cpp, goto_atomicity_check.h
• goto_check() : goto_check.cpp, goto_check.h
• goto_contractor() : goto_contractor.cpp, goto_contractor.h
• goto_convert() : goto_convert_functions.cpp, goto_convert_functions.h, goto_main.cpp
• goto_inline() : goto_inline.cpp, goto_inline.h
• goto_k_induction() : goto_k_induction.cpp, goto_k_induction.h
• goto_loop_invariant() : goto_loop_invariant.cpp, goto_loop_invariant.h
• goto_loop_invariant_combined() : goto_loop_invariant.cpp, goto_loop_invariant.h
• goto_loop_simplify() : goto_loop_simplify.cpp, goto_loop_simplify.h
• goto_partial_inline() : goto_inline.cpp, goto_inline.h
• goto_synthesise_loop_invariants() : goto_invariant_synthesis.cpp, goto_invariant_synthesis.h
• goto_termination() : goto_termination.cpp, goto_termination.h
• guess_q() : bigint.cpp