- i -
- i_rdev
: inode
- id
: abstract_eventt
, cpp_typecheck_resolvet::matcht
, datat
, event_grapht::critical_cyclet
, interpretert::function_assignmentt
, new_scopet
, object_idt
, operator_entryt
, saj_tablet
, taint_parse_treet::rulet
- id2cycloc
: instrumentert
- id2loc
: instrumentert
- id_class
: ansi_c_identifiert
, cpp_idt
- id_map
: cpp_scopest
, new_scopet
, smt2_parsert
- id_maps
: java_string_library_preprocesst
- id_nr
: bv_refinementt::approximationt
- identifier
: cpp_idt
, cpp_typecheckt::instantiationt
, goto_trace_stept
, reaching_definitiont
, symex_target_equationt::SSA_stept
, value_set_fit::entryt
, value_set_fivrnst::entryt
, value_set_fivrt::entryt
, value_sett::entryt
- identifier_map
: smt2_convt
- identifiers
: base_type_eqt
- idx
: small_mapt< T, Ind, Num >::const_iterator
- ignore
: symex_target_equationt::SSA_stept
, value_set_dereferencet::valuet
- ignore_arrays
: event_grapht
- ii
: small_mapt< T, Ind, Num >::const_iterator
, small_mapt< T, Ind, Num >::const_value_iterator
- impact_mode
: change_impactt
- implements
: java_bytecode_parse_treet::classt
- in
: elf_readert
, graph_nodet< E >
, parsert
, preprocessort
- in_both
: sharing_mapt< keyT, valueT, hashT, equalT >::delta_view_itemt
- in_core
: satcheck_minisat1_coret
, satcheck_zcoret
- in_pos
: instrumentert::cfg_visitort
- in_progress
: language_modulet
- in_scc
: grapht< N >::tarjant
- in_use
: cpp_typecheck_fargst
- include_comments
: json_irept
- include_files
: configt::ansi_ct
- include_paths
: configt::ansi_ct
, configt::verilogt
- incoming_edges
: goto_programt::instructiont
- incremental_cache
: arrayst
- IND
: small_mapt< T, Ind, Num >
- ind
: small_mapt< T, Ind, Num >
- indent
: json_streamt
- index
: __CPROVER_jsa_iterator
, acceleration_utilst::polynomial_array_assignmentt
, check_call_sequencet::statet
, designatort::entryt
, java_bytecode_parse_treet::methodt::local_variablet
, polynomial_acceleratort::polynomial_array_assignment
, string_constraint_generatort::format_specifiert
, string_dependenciest::builtin_function_nodet
, string_dependenciest::nodet
, string_dependenciest::string_nodet
- index_list
: designatort
- index_map
: arrayst
- index_sets
: string_refinementt
- index_symbols
: string_constraint_generatort
- index_to_block
: cover_basic_blocks_javat
- index_type
: java_string_library_preprocesst
- infinity
: float_bvt::unpacked_floatt
, float_utilst::unpacked_floatt
- infinity_flag
: ieee_floatt
- init_state
: automatont
- initialization
: string_abstractiont
- initialized
: dirtyt
, flow_insensitive_analysis_baset
, interpretert::memory_cellt
, static_analysis_baset
- inline_log
: goto_inlinet
- input
: string_transformation_builtin_functiont
- input1
: string_insertion_builtin_functiont
- input2
: string_insertion_builtin_functiont
- input_vars
: interpretert
- instances
: bmc_all_propertiest::goalt
, bmc_covert::goalt
- instantiated_classes
: ci_lazy_methods_neededt
- instantiation_stack
: cpp_typecheckt::instantiation_levelt
, cpp_typecheckt
, cpp_typecheckt::method_bodyt
- instruction
: mm_parsert
- instruction_arguments
: require_parse_tree::expected_instructiont
- instruction_mnemoic
: require_parse_tree::expected_instructiont
- instructions
: assembler_parsert
, goto_programt
, java_bytecode_parse_treet::methodt
- instrumentations
: shared_bufferst
- instrumenter
: instrumentert::cfg_visitort
- instrumenters
: cover_instrumenterst
- int128_cnt
: cpp_convert_typet
- int16_cnt
: ansi_c_convert_typet
, cpp_convert_typet
- int32_cnt
: ansi_c_convert_typet
, cpp_convert_typet
- int64_cnt
: ansi_c_convert_typet
, cpp_convert_typet
- int8_cnt
: ansi_c_convert_typet
, cpp_convert_typet
- int_cnt
: ansi_c_convert_typet
, cpp_convert_typet
- int_map
: interval_domaint
- int_width
: configt::ansi_ct
- integer_bits
: fixedbv_spect
- interface_type
: java_bytecode_parse_treet::classt::lambda_method_handlet
- intern_of_string
: string_constraint_generatort
- internal
: goto_trace_stept
- internal_symbol_base_map
: symbol_tablet
- internal_symbol_module_map
: symbol_tablet
- internal_symbols
: symbol_tablet
- invalid_counter
: value_set_dereferencet
- invalid_object
: pointer_logict
- invariant
: xml_graph_nodet
- invariant_scope
: xml_graph_nodet
- invariant_set
: invariant_set_domaint
- inverse_memory_map
: interpretert
- io_args
: goto_trace_stept
, symex_target_equationt::SSA_stept
- io_id
: goto_trace_stept
, symex_target_equationt::SSA_stept
- irep
: irep_hash_container_baset::irep_entryt
- irep_full_hash_container
: irep_serializationt::ireps_containert
- irep_store
: merge_full_irept
, merge_irept
- ireps_container
: irep_serializationt
- ireps_on_read
: irep_serializationt::ireps_containert
- ireps_on_write
: irep_serializationt::ireps_containert
- is_abstract
: class_hierarchyt::entryt
, java_bytecode_parse_treet::classt
, java_bytecode_parse_treet::methodt
- is_annotation
: java_bytecode_parse_treet::classt
- is_anonymous_class
: java_bytecode_parse_treet::classt
- is_atomic
: c_qualifierst
- is_auxiliary
: symbolt
- is_bottom
: constant_propagator_domaint::valuest
- is_bridge
: java_bytecode_parse_treet::methodt
- is_code
: cpp_declarator_convertert
- is_constant
: c_qualifierst
, inv_object_storet::entryt
- is_constructor
: cpp_idt
- is_decimal
: parse_floatt
- is_dirty
: reaching_definitions_analysist
- is_enum
: java_bytecode_parse_treet::classt
, java_bytecode_parse_treet::fieldt
- is_exported
: symbolt
- is_extern
: c_storage_spect
, symbolt
- is_false
: invariant_sett
- is_file_local
: symbolt
- is_final
: java_bytecode_parse_treet::classt
, java_bytecode_parse_treet::membert
- is_float
: parse_floatt
- is_float128
: parse_floatt
- is_float128x
: parse_floatt
- is_float16
: parse_floatt
- is_float32
: parse_floatt
- is_float32x
: parse_floatt
- is_float64
: parse_floatt
- is_float64x
: parse_floatt
- is_float80
: parse_floatt
- is_friend
: cpp_declarator_convertert
- is_imaginary
: parse_floatt
- is_infile_name
: goto_cc_cmdlinet::argt
- is_inline
: c_storage_spect
- is_inner_class
: java_bytecode_parse_treet::classt
- is_input
: symbolt
- is_interface
: java_bytecode_parse_treet::classt
- is_long
: parse_floatt
- is_lvalue
: symbolt
- is_macro
: symbolt
- is_member
: cpp_idt
- is_method
: cpp_idt
- is_native
: java_bytecode_parse_treet::methodt
- is_nondet
: nondet_instruction_infot
- is_noreturn
: c_qualifierst
- is_nullable
: nondet_instruction_infot
- is_object_bits_default
: configt::bv_encodingt
- is_output
: symbolt
- is_parameter
: java_bytecode_convert_methodt::local_variable_with_holest
, java_bytecode_convert_methodt::variablet
, symbolt
- is_po
: event_grapht::critical_cyclet::delayt
- is_private
: java_bytecode_parse_treet::classt
, java_bytecode_parse_treet::membert
- is_property
: symbolt
- is_protected
: java_bytecode_parse_treet::classt
, java_bytecode_parse_treet::membert
- is_ptr32
: c_qualifierst
- is_ptr64
: c_qualifierst
- is_public
: java_bytecode_parse_treet::classt
, java_bytecode_parse_treet::membert
- is_recursion
: goto_symex_statet::framet::loop_infot
- is_register
: c_storage_spect
- is_restricted
: c_qualifierst
- is_root
: clauset
- is_scope
: cpp_idt
- is_set
: boolbv_mapt::map_bitt
, symex_targett::sourcet
- is_signed
: bv_spect
- is_state_var
: symbolt
- is_static
: c_storage_spect
, java_bytecode_parse_treet::membert
- is_static_class
: java_bytecode_parse_treet::classt
- is_static_lifetime
: symbolt
- is_static_member
: cpp_idt
- is_synchronized
: java_bytecode_parse_treet::methodt
- is_synthetic
: java_bytecode_parse_treet::classt
- is_template
: cpp_declarator_convertert
- is_template_parameter
: cpp_declarator_convertert
- is_thread_local
: c_storage_spect
, symbolt
- is_threaded
: is_threaded_domaint
, reaching_definitions_analysist
- is_threaded_set
: is_threadedt
- is_transparent_union
: c_qualifierst
- is_type
: symbolt
- is_typedef
: c_storage_spect
, cpp_declarator_convertert
- is_used
: c_storage_spect
- is_violation
: xml_graph_nodet
- is_volatile
: c_qualifierst
, symbolt
- is_weak
: c_storage_spect
, symbolt
- islong
: cmdlinet::optiont
- isset
: cmdlinet::optiont
- it
: depth_iterator_expr_statet
, symbol_table_baset::iteratort
- items
: ansi_c_parse_treet
, cpp_parse_treet
, jsil_parse_treet
- iterator_count
: __CPROVER_jsa_abstract_heap
- iterators
: __CPROVER_jsa_abstract_heap