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

- b -

• back_sideeffect() : migrate.cpp
• back_sideeffect_cpp_delete() : migrate.cpp
• back_sideeffect_cpp_new() : migrate.cpp
• back_sideeffect_operands() : migrate.cpp
• back_sideeffect_statement() : migrate.cpp
• back_typecast() : migrate.cpp
• base64_decode() : encoding.cpp, encoding.h
• base_alignment_bump() : type_byte_size.cpp
• base_case_found_bug() : k_induction.cpp
• base_class_name() : converter_symbols.cpp
• base_displacement() : clang_c_base_layout.cpp, clang_c_base_layout.h
• base_has_virtual_destructor() : memory_alloc.cpp
• base_init_binds() : builtins.cpp
• base_subobject_name() : base_subobject.h
• base_subobject_offset() : clang_c_base_layout.cpp
• base_type() : base_type.cpp, base_type.h
• base_type_eq() : base_type.cpp, base_type.h
• begin_generation() : ctest.cpp
• begin_pytest_generation() : pytest.cpp
• between() : bounded_math.cpp
• bfloat16_type() : c_types.cpp, c_types.h
• BIGINT() : solidity_types.h
• binary2bigint() : migrate.cpp
• binary2integer() : mp_arith.cpp, mp_arith.h
• bind() : socket.h, socket_lib.c
• binding_function() : converter_funcdef.cpp
• binding_target() : python_lambda.cpp, python_lambda.h
• binds_by_field() : converter_stmt.cpp
• binds_by_name() : converter_symbols.cpp
• binds_by_reference() : clang_c_adjust_irep2.cpp
• binds_dict_literal() : converter_funcall.cpp
• binds_integer_index() : converter_funcdef.cpp
• binds_name() : converter_funcdef.cpp, builder.cpp, builtins.cpp
• binds_name_otherwise() : converter_stmt.cpp
• bindtextdomain() : libintl.c
• bit_scan_builtin() : c_builtins.h
• bitint_alignment() : type_byte_size.cpp
• bitint_max_align() : clang_c_language.cpp
• bitsize() : type_byte_size.cpp
• bitsize_type2() : c_types.cpp, c_types.h
• bitwise_bv() : neurosym_conv.cpp
• bitwise_ops() : converter_binop.cpp
• bitwise_ufunc() : converter_binop.cpp
• blobhash() : solidity_blockchain.c
• block_assigns_name_anywhere() : converter_funcdef.cpp
• blockhash() : solidity_blockchain.c
• blocks_constant_call_fold() : converter_funcall.cpp
• body_constructs() : builtins.cpp
• body_has_control_flow() : python_consteval.cpp
• body_has_stmt_kind() : python_consteval.cpp
• body_has_unfoldable_stmts() : python_consteval.cpp
• body_unpacks_param() : converter_funcdef.cpp
• bool_type() : c_types.cpp, c_types.h
• boolean_negate() : expr_util.cpp, expr_util.h
• boolean_operand() : st_fb_translator.cpp
• bound_array_element() : goto_sideeffects.cpp
• bound_array_index() : goto_sideeffects.cpp
• bound_name() : converter_funcdef.cpp
• bound_ptr_param_offset() : goto_sideeffects.cpp
• breakpoint() : breakpoint.h
• bridge_binary_entry_point() : goto_program.cpp
• broadcast_shapes() : converter_binop.cpp
• broadcast_view_axes() : numpy_call_expr.cpp
• bsearch() : stdlib.h, stdlib.c
• bubble_sort_numpy_paired() : numpy_reducer_shared.h
• build_1d_numpy_array_value() : numpy_reducer_shared.h
• build_assignment_value() : build_goto_trace.cpp
• build_bit_builtin() : run_builtin.cpp
• build_bit_scan() : run_builtin.cpp
• build_bitreverse() : run_builtin.cpp
• build_broadcast_literal_result() : numpy_call_expr.cpp
• build_broadcast_to_literal_result() : numpy_call_expr.cpp
• build_capture_replacements() : nested_func_transform.cpp
• build_component_value() : build_goto_trace.cpp
• build_constant_node() : numpy_call_expr.cpp
• build_dim_exprs() : converter_expr.cpp
• build_filled_array_literal() : numpy_call_expr.cpp
• build_float_type() : c_types.cpp, c_types.h
• build_float_type2() : c_types.cpp
• build_goto_trace() : build_goto_trace.cpp, build_goto_trace.h
• build_hoist_temp_name_node() : numpy_call_expr.cpp
• build_is_sorted_expr() : numpy_call_expr.cpp
• build_lhs() : build_goto_trace.cpp, build_goto_trace.h
• build_literal_searchsorted_position_expr() : numpy_call_expr.cpp
• build_ndarray_type() : numpy_call_expr.cpp
• build_nested_array_type() : numpy_call_expr.cpp
• build_nested_member_access() : dynamic_allocation.cpp
• build_nonnegative_slice_span() : list_access.cpp
• build_numpy_axis_permuted_expr() : numpy_call_expr.cpp
• build_numpy_axis_permuted_expr_rec() : numpy_call_expr.cpp
• build_numpy_axis_swapped_2d_expr() : numpy_call_expr.cpp
• build_numpy_descriptor_array_value() : converter_stmt.cpp
• build_numpy_shape_array_value() : numpy_reducer_shared.h
• build_numpy_sort_or_argsort_result() : numpy_reducer_shared.h
• build_property_rows() : property_report.cpp, property_report.h
• build_reverse_slice_length() : list_access.cpp
• build_rhs() : build_goto_trace.cpp, build_goto_trace.h
• build_rotate() : run_builtin.cpp
• build_runtime_list_len_expr() : converter_expr.cpp
• build_searchsorted_index_constant() : numpy_call_expr.cpp
• build_searchsorted_position_expr() : numpy_call_expr.cpp
• build_shape_size_expr() : converter_expr.cpp
• build_shape_tuple_expr() : converter_expr.cpp
• build_successful_goto_trace() : build_goto_trace.cpp, build_goto_trace.h
• build_transposed_literal() : numpy_call_expr.cpp
• buildASTs() : build_ast.cpp, build_ast.h
• builtin_functions() : python_annotation.h
• builtin_shadows_user_definition() : builtin_names.cpp, builtin_names.h
• bv_width() : bitvector.cpp, bitvector.h
• byte_address_on_root() : expr_simplifier.cpp
• byte_malloc() : contracts.cpp
• byte_shift() : memory_ops.cpp
• byte_update_bit_offset() : smt_byteops.cpp, smt_solver.h
• byte_update_bytes() : migrate.cpp
• byte_view_anchor() : expr_simplifier.cpp
• byte_view_root() : expr_simplifier.cpp
• bytes_dynamic_bounds_check() : solidity_bytes.c
• bytes_dynamic_concat() : solidity_bytes.c
• bytes_dynamic_copy() : solidity_bytes.c
• bytes_dynamic_ensure_capacity() : solidity_bytes.c
• bytes_dynamic_equal() : solidity_bytes.c
• bytes_dynamic_from_hex() : solidity_bytes.c
• bytes_dynamic_from_static() : solidity_bytes.c
• bytes_dynamic_from_string() : solidity_bytes.c
• bytes_dynamic_get() : solidity_bytes.c
• bytes_dynamic_init() : solidity_bytes.c
• bytes_dynamic_init_check() : solidity_bytes.c
• bytes_dynamic_init_zero() : solidity_bytes.c
• bytes_dynamic_pop() : solidity_bytes.c
• bytes_dynamic_push() : solidity_bytes.c
• bytes_dynamic_set() : solidity_bytes.c
• bytes_dynamic_to_mapping_key() : solidity_bytes.c
• bytes_dynamic_to_string() : solidity_bytes.c
• bytes_dynamic_to_uint() : solidity_bytes.c
• bytes_pool_init() : solidity_bytes.c
• bytes_static_and() : solidity_bytes.c
• bytes_static_equal() : solidity_bytes.c
• bytes_static_extend() : solidity_bytes.c
• bytes_static_extend_from_dynamic() : solidity_bytes.c
• bytes_static_from_hex() : solidity_bytes.c
• bytes_static_from_string() : solidity_bytes.c
• bytes_static_from_uint() : solidity_bytes.c
• bytes_static_get() : solidity_bytes.c
• bytes_static_init_zero() : solidity_bytes.c
• bytes_static_or() : solidity_bytes.c
• bytes_static_resize() : solidity_bytes.c
• bytes_static_resize_from_dynamic() : solidity_bytes.c
• bytes_static_set() : solidity_bytes.c
• bytes_static_shl() : solidity_bytes.c
• bytes_static_shr() : solidity_bytes.c
• bytes_static_to_mapping_key() : solidity_bytes.c
• bytes_static_to_string() : solidity_bytes.c
• bytes_static_to_uint() : solidity_bytes.c
• bytes_static_truncate() : solidity_bytes.c
• bytes_static_truncate_from_dynamic() : solidity_bytes.c
• bytes_static_xor() : solidity_bytes.c