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

- e -

• ecrecover() : solidity_crypto.c
• effective_location() : goto_convert_functions.cpp
• eigenvalue_radius() : numpy_call_expr.cpp
• either_is_string() : converter_compare.cpp
• element_constructor() : builtin_functions.cpp
• element_size() : add_restrict_assertions.cpp
• elementwise_result_type() : converter_binop.cpp
• elementwise_shapes() : converter_binop.cpp
• elide_prvalue_temporary() : goto_convert.cpp
• emit_array_elem_frame() : frame_enforcer.cpp
• emit_array_store_frame() : frame_enforcer.cpp
• emit_frame_instruction() : frame_enforcer.cpp
• emit_leaf_equalities() : frame_enforcer.cpp
• emit_numpy_overflow_assertion() : numpy_call_expr.cpp
• emit_partial_frame() : frame_enforcer.cpp
• emit_struct_field_frame() : frame_enforcer.cpp
• emit_va_marker_call() : builtin_functions.cpp
• emitted_after_atomic_block() : add_race_assertions.cpp
• emitted_location() : goto_convert_functions.cpp
• enable_ast_dump_colors() : clang_ast_dump.cpp, clang_ast_dump.h
• ends_at_violation() : bmc_strategy.cpp
• ends_with() : run_builtin.cpp
• ensure_nonempty() : goto_convert_functions.cpp
• entry_python_file() : pytest.cpp
• enum_type() : c_types.cpp, c_types.h
• erase_instructions() : contracts.cpp
• erfc1() : erff.c
• erfc2() : erff.c
• erfcf() : erff.c
• erff() : erff.c
• error() : syserr.c
• error_handler() : boolector_conv.cpp, z3_conv.cpp
• esbmc_build_id() : globals.cpp, globals.h
• esbmc_clang_vfs() : vfs_adapter.cpp, vfs_adapter.h
• ESBMC_DEFINE_ARITH_1OP() : irep2_expr.h
• ESBMC_DEFINE_ARITH_2OP() : irep2_expr.h
• ESBMC_DEFINE_BIT_2OP() : irep2_expr.h
• ESBMC_DEFINE_CODE_DECL() : irep2_expr.h
• ESBMC_DEFINE_CODE_EXPRESSION_1OP() : irep2_expr.h
• ESBMC_DEFINE_FP_PREDICATE_1OP() : irep2_expr.h
• ESBMC_DEFINE_IEEE_ARITH_2OP() : irep2_expr.h
• ESBMC_DEFINE_LOGIC_2OP() : irep2_expr.h
• ESBMC_DEFINE_OBJECT_PREDICATE_1OP() : irep2_expr.h
• ESBMC_DEFINE_OBJECT_SIZE_1OP() : irep2_expr.h
• ESBMC_DEFINE_OVERFLOW_INT32_1OP() : irep2_expr.h
• ESBMC_DEFINE_POINTER_1OP() : irep2_expr.h
• ESBMC_DEFINE_RELATION2T() : irep2_expr.h
• ESBMC_DEFINE_TYPE_ONLY() : irep2_expr.h
• ESBMC_execute_kernel_c3() : call_kernel.h
• ESBMC_execute_kernel_d1() : call_kernel.h
• ESBMC_execute_kernel_d2() : call_kernel.h
• ESBMC_execute_kernel_f5i2() : call_kernel.h
• ESBMC_execute_kernel_ffloat() : call_kernel.h
• ESBMC_execute_kernel_fint() : call_kernel.h
• ESBMC_execute_kernel_float() : call_kernel.h
• ESBMC_execute_kernel_four_i_ui_ull_f() : call_kernel.h
• ESBMC_execute_kernel_fuint() : call_kernel.h
• ESBMC_execute_kernel_fuintint() : call_kernel.h
• ESBMC_execute_kernel_fuintt() : call_kernel.h
• ESBMC_execute_kernel_intt() : call_kernel.h
• ESBMC_execute_kernel_no_params() : call_kernel.h
• ESBMC_execute_kernel_one() : call_kernel.h
• ESBMC_execute_kernel_one_u() : call_kernel.h
• ESBMC_execute_kernel_three() : call_kernel.h
• ESBMC_execute_kernel_three_iuull() : call_kernel.h
• ESBMC_execute_kernel_three_u() : call_kernel.h
• ESBMC_execute_kernel_two() : call_kernel.h
• ESBMC_execute_kernel_two_i() : call_kernel.h
• ESBMC_execute_kernel_two_u() : call_kernel.h
• ESBMC_execute_kernel_ui() : call_kernel.h
• ESBMC_verify_kernel() : call_kernel.h
• ESBMC_verify_kernel__fint() : call_kernel.h
• ESBMC_verify_kernel__fuint() : call_kernel.h
• ESBMC_verify_kernel__fuintint() : call_kernel.h
• ESBMC_verify_kernel__fuintt() : call_kernel.h
• ESBMC_verify_kernel__intt() : call_kernel.h
• ESBMC_verify_kernel_c() : call_kernel.h
• ESBMC_verify_kernel_c3() : call_kernel.h
• ESBMC_verify_kernel_d1() : call_kernel.h
• ESBMC_verify_kernel_d2() : call_kernel.h
• ESBMC_verify_kernel_f() : call_kernel.h
• ESBMC_verify_kernel_f5i2() : call_kernel.h
• ESBMC_verify_kernel_ffloat() : call_kernel.h
• ESBMC_verify_kernel_float() : call_kernel.h
• ESBMC_verify_kernel_four() : call_kernel.h
• ESBMC_verify_kernel_fuintint() : call_kernel.h
• ESBMC_verify_kernel_fuintt() : call_kernel.h
• ESBMC_verify_kernel_i() : call_kernel.h
• ESBMC_verify_kernel_intt() : call_kernel.h
• ESBMC_verify_kernel_no_params() : call_kernel.h
• ESBMC_verify_kernel_one_ui() : call_kernel.h
• ESBMC_verify_kernel_three_args_iuull() : call_kernel.h
• ESBMC_verify_kernel_u() : call_kernel.h
• ESBMC_verify_kernel_ui() : call_kernel.h
• ESBMC_verify_kernel_with_four__args_i_ui_ull_f() : call_kernel.h
• ESBMC_verify_kernel_with_one_arg() : call_kernel.h
• ESBMC_verify_kernel_with_one_args_u() : call_kernel.h
• ESBMC_verify_kernel_with_three_args() : call_kernel.h
• ESBMC_verify_kernel_with_three_args_iuull() : call_kernel.h
• ESBMC_verify_kernel_with_three_args_u() : call_kernel.h
• ESBMC_verify_kernel_with_two_args() : call_kernel.h
• ESBMC_verify_kernel_with_two_args_i() : call_kernel.h
• ESBMC_verify_kernel_with_two_args_u() : call_kernel.h
• eval_as_double() : libm.h
• eval_as_float() : libm.h
• eval_bv_binop() : neurosym_conv.cpp
• eval_bv_compare() : neurosym_conv.cpp
• evaluate_after() : builtins.cpp
• evaluate_numpy_compare_call() : numpy_call_expr.cpp
• evaluate_numpy_logical_and_or_call() : numpy_call_expr.cpp
• evaluate_numpy_logical_call() : numpy_call_expr.cpp
• evaluate_numpy_logical_not_call() : numpy_call_expr.cpp
• evaluate_numpy_where_call() : numpy_call_expr.cpp
• exact_class_of() : expr.cpp
• exact_det() : numpy_call_expr.cpp
• exact_lu() : numpy_call_expr.cpp
• exact_solve() : numpy_call_expr.cpp
• exact_update() : numpy_call_expr.cpp
• exception_id_needs_no_lookup() : clang_cpp_convert.cpp
• exit() : stdlib.h, stdlib.c
• exit_code_follows() : execution_state.cpp
• exp() : exp.c
• exp10f() : math_functions.h
• exp2() : exp2.c
• exp2f() : exp2f.c
• expand_dims_view_axes() : numpy_call_expr.cpp
• expand_no_standard_checks() : goto_program.cpp
• expand_python_check_exceptions() : goto_program.cpp
• expand_quantifier_defs_in() : smt_solver.cpp
• expf() : expf.c
• explicit_alignment() : migrate.cpp
• expm1() : exp.c
• expm1_taylor() : exp.c
• expm1f() : expm1f.c
• expr2c() : expr2c.cpp, expr2c.h
• expr_depth() : goto_coverage.cpp
• expr_has_floatbv() : expr_util.cpp, expr_util.h
• expr_only_references_safe_names() : converter_stmt.cpp
• ext_int_representation_bytes() : type_byte_size.cpp, type_byte_size.h
• extract_and_remove_side_effects_impl() : goto_loop_invariant.cpp
• extract_any_all_axis_literal() : expr.cpp
• extract_constructor_shape_dims() : numpy_call_expr.cpp
• extract_exp_sig() : fp_conv.cpp
• extract_exponent() : fp_conv.cpp
• extract_fraction() : smt_solver.cpp
• extract_invariants_near() : goto_loop_invariant.cpp
• extract_literal_axis_keyword() : numpy_call_expr.cpp
• extract_magnitude() : smt_solver.cpp
• extract_numpy_dtype_name() : numpy_call_expr.cpp, numpy_call_expr.h
• extract_numpy_literal_column() : numpy_call_expr.cpp
• extract_queried_pointer() : goto_loops.cpp
• extract_signbit() : fp_conv.cpp
• extract_significand() : fp_conv.cpp
• extract_transition_system() : ts_extraction.cpp, ts_extraction.h
• extract_value() : numpy_reducer_shared.h