- b -

• banner_string() : parse_options.h , parse_options.cpp
• basic_hash_combine() : irep_hash.h
• basic_hash_combine< 32 >() : irep_hash.h
• basic_hash_combine< 64 >() : irep_hash.h
• basic_hash_finalize() : irep_hash.h
• binary() : json_expr.cpp
• binary2integer() : mp_arith.cpp , mp_arith.h
• bisearch() : wcwidth.c
• bits2expr() : simplify_utils.cpp , simplify_utils.h
• bits_to_string() : bv_pointers.cpp , bv_pointers_wide.cpp
• bitwise() : mp_arith.cpp
• bitwise_and() : mp_arith.cpp , mp_arith.h
• bitwise_or() : mp_arith.cpp , mp_arith.h
• bitwise_xor() : mp_arith.cpp , mp_arith.h
• boolean_negate() : expr_util.cpp , expr_util.h
• bounded_expr_size() : complexity_limiter.cpp
• box_or_unbox_type_if_necessary() : lambda_synthesis.cpp
• bracket_subexpression() : format_expr.cpp
• branch() : branch.cpp , branch.h
• brief_instruction_string() : sese_regions.cpp
• buffer_size() : string_instrumentation.cpp , string_instrumentation.h
• build_analyzer() : build_analyzer.cpp , build_analyzer.h
• build_class_identifier() : class_identifier.cpp
• build_class_name() : java_types.cpp
• build_dead_map_from_ai() : unreachable_instructions.cpp
• build_error_trace() : bmc_util.cpp , bmc_util.h
• build_expr_based_on_getting_operands() : smt2_incremental_decision_procedure.cpp
• build_frame_map() : solver_types.h , solver_types.cpp
• build_full_lhs_rec() : build_goto_trace.cpp
• build_function_environment() : ansi_c_entry_point.cpp
• build_goto_trace() : build_goto_trace.cpp , build_goto_trace.h
• build_graph() : graphml.cpp
• build_graph_rec() : graphml.cpp
• build_if_else_expr() : shadow_memory_util.cpp , shadow_memory_util.h
• build_if_expr() : simplify_expr_if.cpp
• build_load_method_by_regex() : load_method_by_regex.cpp , load_method_by_regex.h
• build_loop_nesting_graph() : dfcc_loop_nesting_graph.cpp , dfcc_loop_nesting_graph.h
• build_null_pointer() : recursive_initialization.cpp
• build_object_descriptor_rec() : pointer_expr.cpp
• build_regex_from_pattern() : load_method_by_regex.cpp
• build_sizeof_expr() : expr2c.cpp
• builtin_factory() : builtin_factory.cpp , builtin_factory.h
• bv_to_array_expr() : lower_byte_operators.cpp
• bv_to_complex_expr() : lower_byte_operators.cpp
• bv_to_expr() : lower_byte_operators.cpp
• bv_to_struct_expr() : lower_byte_operators.cpp
• bv_to_union_expr() : lower_byte_operators.cpp
• bv_to_vector_expr() : lower_byte_operators.cpp
• bvint_value_is_max() : interval_abstract_value.cpp
• bvint_value_is_min() : interval_abstract_value.cpp
• bvrep2integer() : arith_tools.cpp , arith_tools.h
• bvrep_bitwise_op() : arith_tools.cpp
• by_length() : abstract_object_set.cpp
• byte_extract_id() : byte_operators.cpp
• byte_update_id() : byte_operators.cpp
• bzero() : strings.c