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

- a -

• abc_hook_methods() : builtins.cpp
• abc_supers() : builtins.cpp
• abi_decode() : solidity_abi.c
• abi_encode() : solidity_abi.c
• abi_encodeCall() : solidity_abi.c
• abi_encodePacked() : solidity_abi.c
• abi_encodeWithSelector() : solidity_abi.c
• abi_encodeWithSignature() : solidity_abi.c
• abi_scalar_alignment() : type_byte_size.cpp
• abort() : stdlib.h, stdlib.c
• abs() : stdlib.h
• abs_int() : smt_solver.cpp
• accept() : socket.h, socket_lib.c
• access_alignment() : type_byte_size.cpp, type_byte_size.h
• accesses_atomic_object() : rw_set.cpp
• acos() : acos.c
• acosf() : acosf.c
• acosh() : acosh.c
• adapt_cbmc_to_esbmc() : cbmc_adapter.cpp, cbmc_adapter.h
• add() : umath.c
• add_back() : bigint.cpp
• add_bundled_library_sources() : cprover_libc_sources.cpp, cprover_library.h
• add_byte_order_macros() : clang_c_language.cpp
• add_class_def() : module_manager.cpp
• add_core() : fp_conv.cpp
• add_cprover_library() : cprover_blank_library.cpp, cprover_library.cpp, cprover_library.h
• add_cpython_library() : python_blank_library.cpp, python_library.cpp, python_library.h
• add_double() : umath.c
• add_function_def() : module_manager.cpp
• add_function_stub() : python_converter.cpp
• add_global_static_variable() : jimple-language.cpp, python_converter.cpp
• add_if_global() : reachability_tree.cpp
• add_padding() : padding.cpp, padding.h
• add_race_assertions() : add_race_assertions.cpp, add_race_assertions.h
• add_restrict_assertions() : add_restrict_assertions.cpp, add_restrict_assertions.h
• add_restrict_assumptions() : add_restrict_assertions.cpp, add_restrict_assertions.h
• add_restrict_constraints() : add_restrict_assertions.cpp
• address_bits() : arith_tools.cpp, arith_tools.h
• address_of_is_provably_non_null() : expr_simplifier.cpp
• address_root_and_offset() : expr_simplifier.cpp
• adjust_comma_at_dispatch() : clang_c_adjust_irep2.cpp, clang_c_adjust_irep2.h
• adjust_size() : bigint.cpp
• admits_class_object() : builtins.cpp
• adopt_one_property_table() : bmc_strategy.cpp
• adopt_symbol_components() : python_class_builder.cpp
• adopt_target_layout() : clang_c_language.cpp
• aggregate_literal_may_propagate() : goto_symex_state.cpp
• alias_binds_name() : converter_symbols.cpp
• aliases_function() : annotation_conversion.inl
• aligned_alloc() : stdlib.h, stdlib.c
• alignment() : type_byte_size.cpp, type_byte_size.h
• aligns_as_subtype() : type_byte_size.cpp
• all() : sm_atomic_functions.h
• all_literal_indices() : list_access.cpp
• all_outputs() : ctest.cpp
• all_pointer_sized_scalars() : annotation_conversion.inl
• annotated_return_type() : module_manager.cpp
• annotation_is_optional() : builder.cpp
• any() : sm_atomic_functions.h
• any_child() : converter_stmt.cpp
• any_cpp_source() : ctest.cpp
• any_cuda_source() : ctest.cpp
• any_element_object() : list_mutation.cpp
• any_return() : converter_funcdef.cpp
• any_return_unsafe_for_tagged_param() : converter_funcdef.cpp
• any_type() : python_types.cpp, python_types.h
• append_cpp_spelling_and_fallback() : clang_cpp_exception_id.cpp
• append_default_arguments() : converter_funcall.cpp
• append_parser_flags() : python_language.cpp
• append_synthesized() : plcopen_xml_parser.cpp
• appendInfo() : goto_trace.cpp
• apply_complex_binary() : numpy_call_expr.cpp
• apply_complex_unary() : numpy_call_expr.cpp
• apply_gcse() : process_goto_program.cpp
• apply_numpy_binary_to_scalars() : numpy_call_expr.cpp
• apply_numpy_unary_math() : numpy_call_expr.cpp
• apply_padding() : string_handler.cpp
• apply_rewrites() : nested_func_transform.cpp
• apply_rounding_mode() : process_goto_program.cpp
• apply_searchsorted_descriptor_sorter() : numpy_call_expr.cpp
• apply_searchsorted_sorter() : numpy_call_expr.cpp
• apply_taylor_terms() : process_goto_program.cpp
• arange_in_dtype() : numpy_call_expr.cpp
• arange_layout() : converter_funcdef.cpp
• arccos() : acos.c
• arch_endianness() : config.cpp
• arcsin() : asin.c
• arctan() : atan.c
• argmin_argmax_axis_best_index() : numpy_call_expr.cpp
• argsort_call_targets_array() : numpy_call_expr.cpp
• arith_id() : st_fb_translator.cpp
• arithmetic_range_operand() : converter_binop.cpp
• ARM() : config.cpp
• array2string() : array2string.cpp, array2string.h
• array_argument_address() : expr.cpp
• array_domain_width_or_word_size() : smt_solver.cpp, smt_solver.h
• array_downcast() : array_conv.h
• array_element_count() : goto_symex_state.cpp
• array_indexes_are_same() : array_conv.cpp
• array_leaf_type() : numpy_call_expr.cpp
• array_leaves() : builtin_functions.cpp
• array_may_propagate() : goto_symex_state.cpp
• array_name() : array_name.cpp, array_name.h
• array_or_vector_size() : irep2_utils.h
• array_or_vector_size_is_infinite() : irep2_utils.h
• array_or_vector_subtype() : irep2_utils.h
• array_rank() : converter_binop.cpp
• array_size_negative_index_target() : list_access.cpp
• array_type_shape_and_elem() : converter_funcdef.cpp
• array_with_chain_may_propagate() : goto_symex_state.cpp
• as_complex_leaves() : numpy_call_expr.cpp
• as_function_call() : converter_class.cpp
• as_is_fresh_call() : contracts.cpp
• as_numpy_element() : converter_stmt.cpp
• ASCIItoHEX() : solidity_string.c
• asctime() : time.h, time.c
• asctime_r() : time.h, time.c
• asin() : asin.c
• asinf() : asinf.c
• asinh() : asinh.c
• assert_arith_2ops_consistency() : irep2_expr.cpp, irep2_expr.h
• assert_no_pruned_calls() : cprover_library.cpp, cprover_library.h
• assert_type_compat_for_with() : irep2_expr.cpp
• asserted_unconditionally() : contracts.cpp
• assign_stack_used() : contracts.cpp
• assign_target_name() : converter_stmt.cpp
• assigned_name() : converter_stmt.cpp
• assigned_value() : st_fb_translator.cpp
• assignIndexes() : device_launch_parameters.h
• assignment_target_name() : converter_funcdef.cpp
• assigns_class_attribute() : converter_expr.cpp
• assigns_marker_operand() : builtin_functions.cpp
• assigns_self_attribute() : builtins.cpp
• assigns_target_base() : contracts.cpp
• assume_continue_cond() : goto_loop_invariant.cpp
• ast_failed() : clang_c_language.cpp
• ast_node_name() : converter_stmt.cpp
• at_path() : toml.hpp
• atan() : atan.c
• atan2() : atan.c
• atanh() : atanh.c
• atanhf() : atanhf.c
• atexit() : stdlib.h, stdlib.c
• atof() : stdlib.h, stdlib.c
• atoi() : stdlib.h
• atol() : stdlib.h
• atoll() : stdlib.h
• atomic_flag_byte() : clang_c_adjust_polymorphic_functions.cpp
• atomic_has_value_operand() : clang_c_convert.cpp
• atomicAdd() : sm_atomic_functions.h
• atomicAnd() : sm_atomic_functions.h
• atomicCAS() : sm_atomic_functions.h
• atomicDec() : sm_atomic_functions.h
• atomicExch() : sm_atomic_functions.h
• atomicInc() : sm_atomic_functions.h
• atomicMax() : sm_atomic_functions.h
• atomicMin() : sm_atomic_functions.h
• atomicOr() : sm_atomic_functions.h
• atomicSub() : sm_atomic_functions.h
• atomicXor() : sm_atomic_functions.h
• attach_symbol_location() : converter_binop.cpp
• attribute_decided() : builtins.cpp
• attribute_store_target() : converter_symbols.cpp
• axis_permutation_order() : numpy_call_expr.cpp