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

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

R

S

T

U

V

W

X

Y

Z

_

- b -

• banner_string() : parse_options.cpp, parse_options.h
• 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
• bits2expr() : simplify_utils.cpp, simplify_utils.h
• bits_to_string() : bv_pointers_wide.cpp, bv_pointers.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.cpp, solver_types.h
• 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_identifier() : ssa_expr.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
• build_ssa_identifier_rec() : ssa_expr.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