- i -
- id2string()
: irep.h
- implicit()
: full_slicer.cpp
- indent_str()
: irep.cpp
- index_type()
: c_types.cpp
, c_types.h
- infer_opaque_type_fields()
: java_bytecode_language.cpp
- init_module()
: driver.h
- initial_index_set()
: string_refinement.cpp
- initialize_goto_model()
: initialize_goto_model.cpp
, initialize_goto_model.h
- initialize_nondet_string_fields()
: java_object_factory.cpp
- insert_at_label()
: jsil_parse_tree.cpp
- insert_nondet_init_code()
: convert_java_nondet.cpp
- install_signal_catcher()
: signal_catcher.cpp
, signal_catcher.h
- instantiate()
: string_refinement.cpp
- instantiate_not_contains()
: string_constraint_instantiation.h
- instantiate_quantifier()
: boolbv_quantifier.cpp
- instrument_cover_goals()
: cover.h
, cover.cpp
, cover.h
- instrument_end_thread()
: java_bytecode_concurrency_instrumentation.cpp
- instrument_get_current_thread_id()
: java_bytecode_concurrency_instrumentation.cpp
- instrument_intervals()
: interval_analysis.cpp
- instrument_preconditions()
: instrument_preconditions.cpp
, instrument_preconditions.h
- instrument_start_thread()
: java_bytecode_concurrency_instrumentation.cpp
- instrument_synchronized_code()
: java_bytecode_concurrency_instrumentation.cpp
- integer2binary()
: mp_arith.cpp
, mp_arith.h
- integer2size_t()
: mp_arith.cpp
, mp_arith.h
- integer2string()
: mp_arith.cpp
, mp_arith.h
- integer2ulong()
: mp_arith.cpp
, mp_arith.h
- integer2unsigned()
: mp_arith.cpp
, mp_arith.h
- integer_address()
: pointer_predicates.cpp
, pointer_predicates.h
- interpreter()
: interpreter.cpp
, interpreter.h
- interrupt()
: interrupt.cpp
, interrupt.h
- interrupt_solver()
: satcheck_minisat2.cpp
- intersection()
: graph.h
- interval_analysis()
: interval_analysis.cpp
, interval_analysis.h
- introduce_temporaries()
: weak_memory.h
, weak_memory.cpp
- invalid_pointer()
: pointer_predicates.cpp
, pointer_predicates.h
- invariant_violated_string()
: invariant.h
- invariant_violated_structured()
: invariant.h
- inverse()
: rational.cpp
, rational.h
- irep2lisp()
: lispirep.cpp
, lispirep.h
- irep2name()
: cpp_type2name.cpp
- is_a_bv_type()
: value_set_dereference.cpp
- is_assignment_from()
: replace_java_nondet.cpp
- is_bitvector()
: util.cpp
, util.h
- is_char_array_type()
: string_refinement_util.cpp
, string_refinement_util.h
- is_char_pointer_type()
: string_refinement_util.cpp
, string_refinement_util.h
- is_char_type()
: string_refinement_util.cpp
, string_refinement_util.h
- is_clinit_wrapper_function()
: java_static_initializers.cpp
, java_static_initializers.h
- is_condition()
: cover_util.cpp
, cover_util.h
- is_constant_or_has_constant_components()
: type.cpp
, type.h
- is_constructor()
: java_bytecode_convert_method.cpp
- is_dereference_integer_object()
: simplify_expr_pointer.cpp
- is_digit_with_radix()
: string_constraint_generator.h
, string_constraint_generator_valueof.cpp
- is_directory()
: file_util.h
, file_util.cpp
- is_dot_i_file()
: c_preprocess.cpp
- is_empty()
: document_properties.cpp
, goto_convert.cpp
- is_failed_assertion_step()
: build_goto_trace.cpp
- is_failed_assumption_step()
: bmc_cover.cpp
- is_false()
: literal.h
- is_fence()
: fence.h
, fence.cpp
- is_goto_binary()
: read_goto_binary.cpp
, read_goto_binary.h
- is_index_member_symbol()
: goto_trace.cpp
- is_java_array_tag()
: java_types.cpp
, java_types.h
- is_java_array_type()
: java_types.cpp
, java_types.h
- is_java_generic_class_type()
: java_types.h
- is_java_generic_parameter()
: java_types.h
- is_java_generic_symbol_type()
: java_types.h
- is_java_generic_type()
: java_types.h
- is_java_implicitly_generic_class_type()
: java_types.h
- is_java_main()
: java_entry_point.cpp
- is_java_string_literal_id()
: java_utils.cpp
, java_utils.h
- is_jsil_builtin_code_type()
: jsil_types.h
- is_jsil_spec_code_type()
: jsil_types.h
- is_lower_case()
: string_constraint_generator_transformation.cpp
- is_lvalue()
: expr_util.h
, expr_util.cpp
- is_lwfence()
: fence.h
, fence.cpp
- is_mcdc_pair()
: cover_instrument_mcdc.cpp
- is_multidim_java_array_type()
: java_types.h
, java_types.cpp
- is_non_null_library_global()
: java_utils.cpp
, java_utils.h
- is_nondet_pointer()
: convert_java_nondet.cpp
- is_nondet_returning_object()
: replace_java_nondet.cpp
- is_not_zero()
: expr_util.cpp
, expr_util.h
- is_number()
: type.h
, type.cpp
- is_osx_fat_magic()
: osx_fat_reader.h
, osx_fat_reader.cpp
- is_overlay_class()
: java_class_loader.cpp
- is_ptr_argument()
: string_abstraction.cpp
- is_reference()
: std_types.h
, std_types.cpp
- is_refined_string_type()
: refined_string_type.h
- is_return_with_variable()
: replace_java_nondet.cpp
- is_rvalue_reference()
: std_types.cpp
, std_types.h
- is_same_target()
: reachability_slicer.cpp
- is_shared()
: race_check.cpp
- is_signed()
: util.cpp
- is_size_one()
: goto_convert.cpp
- is_skip()
: remove_skip.h
, remove_skip.cpp
- is_space()
: jar_file.cpp
- is_ssa_expr()
: ssa_expr.h
- is_store_to_slot()
: java_local_variable_table.cpp
- is_symbol_with_id()
: replace_java_nondet.cpp
- is_true()
: literal.h
- is_typecast_with_id()
: replace_java_nondet.cpp
- is_unsigned()
: util.cpp
- is_upper_case()
: string_constraint_generator_transformation.cpp
- is_valid_java_array()
: java_types.cpp
, java_types.h
- is_valid_string_constraint()
: string_refinement.cpp
- is_void_pointer()
: c_typecast.cpp
- is_volatile()
: nondet_volatile.h
, nondet_volatile.cpp
- is_zero_string()
: string_instrumentation.cpp
, string_instrumentation.h