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

- i -

• i256toa() : solidity_string.c
• i2string() : i2string.cpp, i2string.h
• id2string() : irep.h
• identifier_suffix() : clang_c_convert.cpp
• identity_kind_of() : converter_compare.cpp
• ids_in_document_order() : plcopen_xml_parser.cpp
• ieee_arith_name() : c_expr2string.cpp
• ieee_float_builtin_of() : builtin_names.cpp, builtin_names.h
• ieee_value_operands() : rw_set.cpp
• immutable_read_type() : goto_symex_state.cpp
• implausible_count() : read_cbmc_goto_object.cpp
• import_lookup_name() : converter_symbols.cpp
• import_module_name() : python_converter.cpp
• importDecl() : build_ast.cpp
• imported_module_name() : converter_symbols.cpp
• imports_other_modules() : builtins.cpp
• in_memory_order() : smt_bitcast.cpp
• incompatible_flags() : driver.cpp
• incremental_strategy_active() : goto_symex_state.cpp
• indent_str() : irep.cpp
• indent_str_irep2() : irep2_utils.cpp, irep2_utils.h
• index_nested_array_expr() : numpy_call_expr.cpp
• index_outside() : expr_simplifier.cpp
• index_type() : c_types.cpp, c_types.h
• index_type2() : c_types.cpp, c_types.h
• index_values_equal() : expr_simplifier.cpp
• indexes_through_pointer() : goto_loops.cpp
• inet_addr() : inet.h, socket_lib.c
• inet_ntoa() : inet.h
• inet_ntop() : inet.h
• inet_pton() : inet.h, socket_lib.c
• infer_io_directions() : plcopen_xml_parser.cpp
• infer_type_from_default_arg_shape() : python_annotation.h
• infinity_norm() : numpy_call_expr.cpp
• ingest_symbol() : cprover_library.cpp
• init_binds() : builtins.cpp
• init_value_fits() : type_checker.cpp
• init_variable() : jimple-language.cpp
• initialize() : solidity_misc.c
• initializer_block() : clang_cpp_adjust_code_gen.cpp
• inline_temporary_variables() : contracts.cpp
• inner_params() : nested_func_transform.cpp
• input_file_check() : goto_trace.cpp, goto_trace.h
• input_wires() : plcopen_xml_parser.cpp
• insert_before() : assign_params_as_non_det.cpp
• inserter() : toml.hpp
• install_altstack_handler() : signal_catcher.cpp, signal_catcher.h
• install_fatal_signal_reporter() : signal_catcher.cpp, signal_catcher.h
• install_signal_catcher() : signal_catcher.cpp, signal_catcher.h
• install_simplification_equivalence_check() : simplification_equivalence.cpp, simplification_equivalence.h
• install_verbose_crash_handler() : command_line_options.cpp
• instantiate_carry_builtin() : clang_c_adjust_polymorphic_functions.cpp
• instantiate_overflow_builtin() : clang_c_adjust_polymorphic_functions.cpp
• instantiate_read_modify_write() : clang_c_adjust_polymorphic_functions.cpp
• instantiate_sync_compare_and_swap() : clang_c_adjust_polymorphic_functions.cpp
• instructions_after_spawn() : reachability_tree.cpp
• instrument_intervals() : interval_analysis.cpp
• instrument_loop_bounds_after_kind() : interval_analysis.cpp, interval_analysis.h
• instrument_loops() : interval_analysis.cpp
• instrument_symbol_constraints() : interval_analysis.cpp
• int128_type() : c_types.cpp, c_types.h
• int128_type2() : c_types.cpp, c_types.h
• int_encoding_cast_overflow() : goto_check.cpp
• int_equals_double() : python_consteval.cpp
• int_type() : c_types.cpp, c_types.h
• int_type2() : c_types.cpp, c_types.h
• integer2binary() : mp_arith.cpp, mp_arith.h
• integer2string() : mp_arith.cpp, mp_arith.h
• integer_length() : io.cpp
• internal_libc_header_dir() : cprover_libc_sources.cpp, cprover_library.h
• interp_numeric() : smtlib_conv.cpp
• interval_analysis() : interval_analysis.cpp, interval_analysis.h
• interval_domaint::generate_modular_interval< interval_domaint::integer_intervalt >() : interval_domain.cpp
• interval_domaint::generate_modular_interval< interval_domaint::real_intervalt >() : interval_domain.cpp
• interval_domaint::is_mapped< interval_domaint::integer_intervalt >() : interval_domain.cpp
• interval_domaint::is_mapped< interval_domaint::real_intervalt >() : interval_domain.cpp
• interval_domaint::make_expression_value< interval_domaint::integer_intervalt >() : interval_domain.cpp
• interval_domaint::make_expression_value< interval_domaint::real_intervalt >() : interval_domain.cpp
• inverse_2x2() : numpy_call_expr.cpp
• inverse_3x3() : numpy_call_expr.cpp
• invert_substrings() : python_annotation.h
• invoke_intrinsic() : migrate.cpp
• irep2_bad_expr_cast() : irep2.h, irep2_expr.cpp
• irep2_bad_family_cast() : irep2.h, irep2_type.cpp
• irep2_bad_type_cast() : irep2.h, irep2_type.cpp
• irep2_checked_expr_cast() : irep2.h
• irep2_checked_type_cast() : irep2.h
• irep2_content_hash() : irep2_content_hash.cpp, irep2_content_hash.h
• irep_typedefs() : irep2_expr.h, irep2_type.h
• is_1d_json_list() : numpy_call_expr.cpp
• is_abs_builtin_name() : builtin_names.cpp, builtin_names.h
• is_abstract_method() : expr.cpp
• is_address_of_array() : clang_c_adjust_expr.cpp
• is_aligned_deallocation() : clang_cpp_convert.cpp
• is_aligned_member() : dereference.cpp
• is_all_ones_constant() : expr_simplifier.cpp
• is_all_zero_bytes() : migrate.cpp
• is_alloc_sideeffect() : clang_c_adjust_guards.h
• is_alloca_function() : builtin_functions.cpp
• is_argsort_call() : numpy_call_expr.cpp
• is_arith_expr() : irep2_utils.h
• is_arith_or_bitwise() : clang_c_adjust_guards.h
• is_array_like() : type.cpp, type.h
• is_array_or_vector_type() : irep2_utils.h
• is_ascii() : toml.hpp
• is_assigned_whole() : goto_sideeffects.cpp
• is_atomic_flag_builtin() : clang_c_adjust_polymorphic_functions.cpp
• is_attribute_base_expression() : converter_expr.cpp
• is_bare_callable_annotation() : converter_funcdef.cpp
• is_bare_slice() : numpy_call_expr.cpp
• is_base_construction() : clang_cpp_adjust_code_gen.cpp
• is_base_to_derived_cast() : clang_c_adjust_guards.h
• is_binary_arith() : clang_c_adjust_guards.h
• is_bounded_round() : bmc.cpp
• is_braced_list() : goto_sideeffects.cpp
• is_braced_temporary() : goto_sideeffects.cpp
• is_broadcastable() : numpy_call_expr.cpp
• is_builtin_class() : expr.cpp
• is_bv_type() : irep2_utils.h
• is_byte_type() : irep2_utils.h
• is_call_site() : clang_c_adjust_guards.h
• is_carry_builtin() : clang_c_adjust_polymorphic_functions.cpp
• is_cbmc_constructor() : goto_program.cpp
• is_cbmc_goto_magic() : read_cbmc_goto_object.cpp, read_cbmc_goto_object.h
• is_cbmc_memory_primitive() : cprover_library.cpp
• is_char_element() : converter_binop.cpp
• is_clause_assume() : contracts.cpp
• is_clause_check() : contracts.cpp
• is_coercible_member() : tuple_handler.cpp
• is_coil_tag() : plcopen_xml_parser.cpp
• is_comp_expr() : irep2_utils.h
• is_comparison_expr() : irep2_utils.h
• is_compiler_temp() : goto_loop_invariant.cpp
• is_complex_annotated_constant() : numpy_call_expr.cpp
• is_complex_annotated_scalar_node() : numpy_call_expr.cpp
• is_complex_function() : numpy_call_expr.cpp
• is_complex_type() : type_handler.h
• is_complex_unary() : clang_c_adjust_guards.h
• is_concrete_transpose_axes() : numpy_call_expr.cpp
• is_const_foldable_arith() : goto_symex_state.cpp
• is_constant() : irep2_utils.h
• is_constant_char_array() : converter_compare.cpp
• is_constant_expr() : irep2_utils.h
• is_constant_index() : converter_compare.cpp
• is_constant_number() : irep2_utils.h
• is_constant_operand() : run_builtin.cpp
• is_constructor_temporary() : clang_cpp_convert.cpp
• is_contract_intrinsic() : contracts.cpp
• is_coverage_goal() : bmc.cpp
• is_cpp_member_call() : clang_cpp_adjust_irep2.cpp
• is_cpp_source() : ctest.cpp
• is_cpp_throw_expr() : expr.cpp, expr.h
• is_cuda_source() : ctest.cpp
• is_decaying_array() : type.cpp, type.h
• is_declared_any() : converter_expr.cpp
• is_derived_to_base_cast() : clang_c_adjust_guards.h
• is_diagonal() : numpy_call_expr.cpp
• is_dynamic_cast_target() : clang_cpp_convert_vft.cpp
• is_dynamic_list_backed_numpy_constructor() : numpy_call_expr.cpp
• is_dynamic_lookup() : converter_funcdef.cpp
• is_dynamically_typed_name() : annotation_conversion.inl
• is_elementwise_literal() : symex_assign.cpp
• is_elementwise_op() : converter_binop.cpp
• is_empty_list_literal() : annotation_conversion.inl
• is_esbmc_internal_symbol() : contracts.cpp, reachability_tree.h
• is_exact_self() : builtins.cpp
• is_exception_dispatch() : add_race_assertions.cpp
• is_excluded_struct_tag() : converter_dunder.cpp
• is_false() : irep2_utils.h
• is_fetch_then_op_builtin() : clang_c_adjust_polymorphic_functions.cpp
• is_finite_numeric_value() : numpy_call_expr.cpp
• is_flattened_row() : smt_solver.cpp
• is_floating() : st_fb_translator.cpp
• is_fractional_type() : irep2_utils.h
• is_fresh_function() : contracts.cpp
• is_fresh_in_ensures() : contracts.cpp
• is_fresh_separations() : contracts.cpp
• is_full_slice_node() : converter_expr.cpp, builder.cpp
• is_generated_name() : goto_loop_invariant.cpp
• is_hashable() : builtins.cpp
• is_heap_object() : dereference.cpp
• is_identifier() : plcopen_xml_parser.cpp
• is_if_else_with_both_arms() : converter_funcdef.cpp
• is_immutable_value() : goto_symex_state.cpp
• is_imported_numpy_module_alias() : converter_stmt.cpp, annotation_conversion.inl, python_converter.h
• is_in_bounds_constant_index() : converter_binop.cpp
• is_increment_sideeffect() : clang_c_adjust_guards.h
• is_index_node() : converter_funcdef.cpp
• is_int_literal() : builder.cpp
• is_integer() : st_fb_translator.cpp
• is_integer_valued() : converter_funcdef.cpp
• is_json_none_literal() : numpy_reducer_shared.h
• is_known_rounding_mode() : ir_ieee_conv.cpp
• is_kpath_maximal() : bmc.cpp
• is_likely_compiler_temp() : goto_loop_invariant.cpp
• is_list_node() : numpy_call_expr.cpp
• is_literal_full_fill() : numpy_call_expr.cpp
• is_literal_list_backed() : list_access.cpp
• is_literal_node() : converter_funcdef.cpp
• is_literal_string_start() : io.cpp
• is_local_of() : converter_funcdef.cpp
• is_lock_array() : execution_state.cpp
• is_lone_false_assert() : goto_convert_functions.cpp
• is_loop_invariant_obligation() : bmc.cpp
• is_loop_preamble() : loop_unroll.cpp
• is_lvalue() : builtin_functions.cpp, symex_assign.cpp
• is_lvalue_or_rvalue_reference() : std_types.cpp, std_types.h
• is_member_through() : converter_class.cpp
• is_method_call_node_shape() : converter_stmt.cpp
• is_method_self() : builtins.cpp
• is_model_value() : build_goto_trace.cpp
• is_module_class() : converter_funcdef.cpp
• is_module_level_import_alias() : converter_stmt.cpp
• is_multi_dimensional_array() : irep2_utils.h
• is_name() : converter_funcall.cpp, converter_stmt.cpp, builder.cpp
• is_name_binop_or_split_call() : string_handler.cpp
• is_name_matched_builtin() : builtin_names.cpp, builtin_names.h
• is_name_node() : converter_funcdef.cpp
• is_name_or_attribute() : converter_stmt.cpp
• is_name_subscript() : builder.cpp
• is_name_target() : converter_funcdef.cpp
• is_named_numpy_dtype() : numpy_call_expr.cpp
• is_negative_constant() : expr_simplifier.cpp
• is_nil_expr() : irep2.h
• is_nil_type() : irep2.h
• is_no_op() : remove_no_op.cpp, remove_no_op.h
• is_no_op_program() : remove_no_op.cpp, remove_no_op.h
• is_non_func_keyword() : nested_func_transform.cpp
• is_nondet_symbol_name() : witnesses.cpp
• is_none_valued() : builder.cpp
• is_null_pointer() : expr_simplifier.cpp
• is_null_pointer_constant() : expr_simplifier.cpp
• is_null_pointer_value() : expr_simplifier.cpp
• is_number() : type.cpp, type.h
• is_number_literal() : expr.cpp
• is_number_type() : irep2_utils.h, numpy_call_expr.cpp
• is_numeric_scalar_type() : converter_binop.cpp
• is_numeric_storage() : list_access.cpp
• is_numeric_type() : c_typecast.cpp
• is_numpy_array_literal_call() : converter_funcdef.cpp
• is_numpy_complex_dtype() : numpy_call_expr.cpp
• is_numpy_constructor_call_by_name() : numpy_call_expr.cpp
• is_numpy_float_dtype() : numpy_call_expr.cpp
• is_numpy_inf_attr() : numpy_call_expr.cpp
• is_numpy_integer_dtype() : numpy_call_expr.cpp
• is_numpy_literal_constructor() : converter_funcdef.cpp
• is_numpy_literal_int_node() : numpy_call_expr.cpp
• is_numpy_logical_comparison_call() : numpy_call_expr.cpp
• is_numpy_shape_attribute() : converter_expr.cpp
• is_numpy_shape_subscript_node() : converter_expr.cpp
• is_numpy_static_shape_attribute_of() : converter_funcdef.cpp
• is_numpy_static_shape_call_on() : converter_funcdef.cpp
• is_numpy_static_shape_name() : converter_funcdef.cpp
• is_numpy_string_literal() : numpy_call_expr.cpp
• is_old_temp_symbol() : contracts.cpp
• is_op_then_fetch_builtin() : clang_c_adjust_polymorphic_functions.cpp
• is_or_idiom() : goto_convert_functions.cpp
• is_other_param_compatible() : converter_dunder.cpp
• is_overflow_builtin() : clang_c_adjust_polymorphic_functions.cpp
• is_overflow_or_carry_builtin() : clang_c_adjust_polymorphic_functions.cpp
• is_own_assertion() : property_verdict.cpp
• is_padding_name() : pad_names.h
• is_param_used_as_callee() : python_lambda.cpp
• is_param_used_as_string() : python_lambda.cpp
• is_parameter_arithmetic() : converter_stmt.cpp
• is_parameter_name() : converter_stmt.cpp
• is_plain_class() : expr.cpp
• is_plain_identifier() : builtins.cpp
• is_plain_rebind() : converter_stmt.cpp
• is_plain_receiver() : builtins.cpp
• is_plus_zero() : expr_simplifier.cpp
• is_pointer_arithmetic() : c_expr2string.cpp
• is_popcount_builtin() : clang_c_adjust_expr.cpp
• is_power_of_two() : numpy_call_expr.cpp, type_byte_size.cpp, type_byte_size.h
• is_promotable_unary() : clang_c_adjust_guards.h
• is_promoted_to_int() : goto_sideeffects.cpp
• is_provably_nonneg() : expr_simplifier.cpp
• is_pthread_sync_type() : execution_state.cpp
• is_pure_clause_node() : builder.cpp
• is_pure_virtual() : clang_cpp_convert_vft.cpp
• is_pylist_object_type() : builder.cpp
• is_python_internal_aggregate() : python_types.cpp, python_types.h
• is_python_list_model_type() : converter_expr.cpp
• is_python_module_global() : contracts.cpp
• is_python_number_type() : python_builtins.cpp
• is_python_scalar_instance() : python_builtins.cpp
• is_read_ahead_type() : converter_binop.cpp
• is_read_in_other_scope() : converter_stmt.cpp
• is_read_in_other_scope_of_children() : converter_stmt.cpp
• is_real_literal_tree() : st_fb_translator.cpp
• is_recognized_numpy_constructor_call_shape() : numpy_call_expr.cpp
• is_recursively_immutable() : python_consteval.cpp
• is_reference() : std_types.cpp, std_types.h
• is_reference_type() : clang_c_adjust_guards.h, c_typecast.cpp
• is_related_struct() : value_set.cpp
• is_relational() : clang_c_adjust_guards.h
• is_rvalue_reference() : std_types.cpp, std_types.h
• is_scalar_pointee() : converter_stmt.cpp
• is_scalar_type() : irep2_utils.h
• is_self_attribute() : builtins.cpp
• is_sep() : filesystem.cpp
• is_shape_attribute_value() : converter_stmt.cpp
• is_shift() : clang_c_adjust_guards.h
• is_shift_assignment() : clang_c_adjust_irep2.cpp
• is_shift_id() : clang_c_adjust_expr.cpp
• is_short_circuit() : clang_c_adjust_guards.h
• is_simple_name_assign_to() : converter_funcdef.cpp
• is_single_or_double() : ir_ieee_conv.cpp
• is_snapshottable_scalar() : builder.cpp
• is_sorted_numeric_list() : numpy_call_expr.cpp
• is_splittable_list() : builtin_functions.cpp
• is_square_matrix() : numpy_call_expr.cpp
• is_stable_value() : symex_goto.cpp
• is_statement_with_condition() : clang_c_adjust_guards.h
• is_staticmethod() : python_converter.cpp
• is_std_stream() : builtins.cpp
• is_struct_prefix() : dereference.cpp
• is_structure_type() : irep2_utils.h
• is_subclass() : builtins.cpp
• is_subclass_of() : base_type.cpp, base_type.h
• is_subclass_of_rec() : base_type.cpp
• is_subscripted_as() : converter_funcdef.cpp
• is_super_init_call() : builtins.cpp
• is_supported_numpy_unary_math() : numpy_call_expr.cpp
• is_symex_dynamic_object() : dereference.cpp
• is_sync_read_modify_write_builtin() : clang_c_adjust_polymorphic_functions.cpp
• is_ternary() : goto_convert_functions.cpp
• is_trailing_member() : goto_check.cpp
• is_trivial_rhs() : goto_loop_invariant.cpp
• is_true() : irep2_utils.h
• is_tuple_array_ast_type() : smt_tuple_sort.h
• is_tuple_ast_type() : smt_tuple_sort.h
• is_tuple_element() : python_builtins.cpp
• is_tuple_struct() : expr.cpp
• is_type_call() : converter_compare.cpp
• is_type_keyword() : nested_func_transform.cpp
• is_type_max() : expr_simplifier.cpp
• is_type_min() : expr_simplifier.cpp
• is_unambiguous_base() : clang_cpp_convert_vft.cpp
• is_unassigned_parameter() : goto_loops.cpp
• is_unbounded_array() : array_conv.h
• is_unresolved_arg_type() : annotation_conversion.inl
• is_unresolved_cpp_catch() : clang_cpp_adjust_irep2.cpp
• is_unresolved_cpp_delete() : clang_cpp_adjust_irep2.cpp
• is_unresolved_cpp_throw() : clang_cpp_adjust_irep2.cpp
• is_unroll_intrinsic() : loop_unroll.cpp
• is_unsigned_constant() : converter_funcdef.cpp
• is_unsized_python_type() : builder.cpp
• is_unsupported_contract_intrinsic() : builder.cpp
• is_untracked_global() : rw_set.cpp
• is_user_function_call() : numpy_call_expr.cpp
• is_vacuity_probe_candidate() : bmc.cpp
• is_valid_witness_expr() : witnesses.cpp, witnesses.h
• is_valid_witness_step() : witnesses.cpp, witnesses.h
• is_value_only_array() : expr.cpp
• is_variable_index_subscript_of() : converter_funcdef.cpp
• is_vector_bit_cast() : clang_c_convert.cpp
• is_vector_bitcast() : smt_bitcast.cpp
• is_vla() : dereference.cpp
• is_width_suffixed() : clang_c_adjust_irep2.cpp
• is_written_int_annotation() : converter_funcdef.cpp
• isalnum() : ctype.h, ctype.c
• isalpha() : ctype.h, ctype.c
• isblank() : ctype.h, ctype.c
• iscntrl() : ctype.h, ctype.c
• isdigit() : ctype.h, ctype.c
• isgraph() : ctype.h, ctype.c
• isinstance_subject() : python_builtins.cpp
• isinstance_type_name() : builtins.cpp
• islower() : ctype.h, ctype.c
• isprint() : ctype.h, ctype.c
• ispunct() : ctype.h, ctype.c
• isspace() : ctype.h, ctype.c
• isupper() : ctype.h, ctype.c
• isxdigit() : ctype.h, ctype.c
• itoa() : stdlib.c
• itos() : smt_solver.cpp