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

- e -

• ecrecover() : solidity_crypto.c
• effective_location() : goto_convert_functions.cpp
• efx8 : erff.c
• 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
• emplaced_type_of : toml.hpp
• enable_ast_dump_colors() : clang_ast_dump.cpp, clang_ast_dump.h
• ENABLE_COLOR : esbmc_parseoptions.h
• END_FUNCTION : goto_program.h
• ends_at_violation() : bmc_strategy.cpp
• ends_with() : run_builtin.cpp
• ensure_nonempty() : goto_convert_functions.cpp
• entry_python_file() : pytest.cpp
• ENUM_TO_STR : solidity_grammar.cpp
• enum_type() : c_types.cpp, c_types.h
• EOF : stdio.h
• EPS : __rem_pio2f.c
• erase_instructions() : contracts.cpp
• erfc1() : erff.c
• erfc2() : erff.c
• erfcf() : erff.c
• erff() : erff.c
• errno : nextafter.c, stdlib.c
• error : bigint.cpp, syserr.c
• error_handler() : boolector_conv.cpp, z3_conv.cpp
• erx : erff.c
• esbmc_array_count : solidity_misc.c
• 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_FLAIL : cprover_libc_sources.cpp, esbmc_internal_cpp.cpp, python_language.cpp
• ESBMC_FORMATS_START_ASSERTION : format.h
• ESBMC_GENERATED_MARKER : test_gen_guard.h
• ESBMC_NIL_SIMPLIFY : expr_simplifier.cpp
• esbmc_object_size_whole : c_builtins.h
• ESBMC_PY_STRNLEN_BOUND : python_types.h
• esbmc_solvers : solve.cpp
• esbmc_stack_size : main.cpp
• 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
• escaping_paramst : add_race_assertions.cpp
• 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
• EXIT_FAILURE : stdlib.h
• EXIT_SUCCESS : stdlib.h
• exp() : exp.c
• exp10f() : math_functions.h
• exp2() : exp2.c
• exp2f() : exp2f.c
• EXP2F_POLY_ORDER : exp2f_data.h
• EXP2F_TABLE_BITS : exp2f_data.h
• EXP_BIAS : frexp.c
• EXP_BITS : frexp.c
• EXP_MASK : frexp.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
• expr2tc : irep2.h
• expr_depth() : goto_coverage.cpp
• expr_has_floatbv() : expr_util.cpp, expr_util.h
• expr_listt : expr.h
• expr_macros : irep2_expr.h
• expr_names : irep2_expr.cpp
• expr_only_references_safe_names() : converter_stmt.cpp
• ExpressionType : type_utils.h
• ext_int_representation_bytes() : type_byte_size.cpp, type_byte_size.h
• extensions_ansi_c : mode.cpp
• extensions_cpp : mode.cpp
• extensions_jimple : mode.cpp
• extensions_ld : mode.cpp
• extensions_python : mode.cpp
• extensions_sol_ast : mode.cpp
• 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
• EXTRACT_WORDS : cprover_libc_sources.cpp, libm.h