- i -
- id2boolean()
: c_types_util.h
- id2string()
: irep.h
- implemented_method_symbol()
: lambda_synthesis.cpp
- 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
- initialize_properties()
: properties.cpp
, properties.h
- initialize_ssa_identifier()
: ssa_expr.cpp
- insert_at_label()
: jsil_parse_tree.cpp
- insert_final_assert_false()
: insert_final_assert_false.cpp
, insert_final_assert_false.h
- insert_nondet_init_code()
: convert_java_nondet.cpp
- install_signal_catcher()
: signal_catcher.cpp
, signal_catcher.h
- instantiate()
: string_constraint_instantiation.cpp
, string_constraint_instantiation.h
, string_refinement.cpp
- instantiate_atomic_compare_exchange()
: c_typecheck_gcc_polymorphic_builtins.cpp
- instantiate_atomic_compare_exchange_n()
: c_typecheck_gcc_polymorphic_builtins.cpp
- instantiate_atomic_exchange()
: c_typecheck_gcc_polymorphic_builtins.cpp
- instantiate_atomic_exchange_n()
: c_typecheck_gcc_polymorphic_builtins.cpp
- instantiate_atomic_fetch_op()
: c_typecheck_gcc_polymorphic_builtins.cpp
- instantiate_atomic_load()
: c_typecheck_gcc_polymorphic_builtins.cpp
- instantiate_atomic_load_n()
: c_typecheck_gcc_polymorphic_builtins.cpp
- instantiate_atomic_op_fetch()
: c_typecheck_gcc_polymorphic_builtins.cpp
- instantiate_atomic_store()
: c_typecheck_gcc_polymorphic_builtins.cpp
- instantiate_atomic_store_n()
: c_typecheck_gcc_polymorphic_builtins.cpp
- instantiate_byte_array()
: byte_operators.cpp
- instantiate_new_object()
: lambda_synthesis.cpp
- instantiate_not_contains()
: string_constraint_instantiation.h
- instantiate_quantifier()
: boolbv_quantifier.cpp
- instantiate_sync_bool_compare_and_swap()
: c_typecheck_gcc_polymorphic_builtins.cpp
- instantiate_sync_fetch()
: c_typecheck_gcc_polymorphic_builtins.cpp
- instantiate_sync_lock_release()
: c_typecheck_gcc_polymorphic_builtins.cpp
- instantiate_sync_lock_test_and_set()
: c_typecheck_gcc_polymorphic_builtins.cpp
- instantiate_sync_val_compare_and_swap()
: c_typecheck_gcc_polymorphic_builtins.cpp
- instruction_ordinals()
: sese_regions.cpp
- instrument_cover_goals()
: cover.cpp
, cover.h
- instrument_end_thread()
: java_bytecode_concurrency_instrumentation.cpp
- instrument_equal_operands()
: expr2statement_list.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_preconditions.cpp
- instrument_start_thread()
: java_bytecode_concurrency_instrumentation.cpp
- instrument_synchronized_code()
: java_bytecode_concurrency_instrumentation.cpp
- int_of_hex_char()
: string_constraint_generator_valueof.cpp
- integer2binary()
: mp_arith.cpp
, mp_arith.h
- integer2bvrep()
: arith_tools.cpp
, arith_tools.h
- integer2string()
: mp_arith.cpp
, mp_arith.h
- integer_address()
: pointer_predicates.cpp
, pointer_predicates.h
- integer_interval_to_string()
: java_object_factory.cpp
- 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
- interval_constraint()
: interval_constraint.cpp
, interval_constraint.h
- introduce_temporaries()
: weak_memory.cpp
, weak_memory.h
- invariant_failure_containing()
: invariant.cpp
, invariant.h
- invariant_violated_string()
: invariant.h
- invariant_violated_structured()
: invariant.h
- inverse()
: rational.cpp
, rational.h
- invokedynamic_synthetic_constructor()
: lambda_synthesis.cpp
, lambda_synthesis.h
- invokedynamic_synthetic_method()
: lambda_synthesis.cpp
, lambda_synthesis.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_c_bool_type()
: c_types_util.h
- is_c_char_pointer_type()
: c_types_util.h
- is_c_char_type()
: c_types_util.h
- is_c_enum_type()
: c_types_util.h
- is_c_integral_pointer_type()
: c_types_util.h
- is_c_integral_type()
: c_types_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_function()
: java_static_initializers.cpp
, java_static_initializers.h
- is_clinit_wrapper_function()
: java_static_initializers.h
, java_static_initializers.cpp
- is_condition()
: cover_util.cpp
, cover_util.h
- is_constant()
: std_types.h
- is_constant_or_has_constant_components()
: std_types.h
, std_types.cpp
- 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.cpp
, file_util.h
- is_dot_i_file()
: c_preprocess.cpp
- is_empty()
: document_properties.cpp
, goto_convert.cpp
- is_enum_with_type_equal_to_declaring_type()
: assignments_from_json.cpp
- is_failed_assertion_step()
: build_goto_trace.cpp
- is_failed_symbol()
: add_failed_symbols.h
- is_false()
: literal.h
- is_fence()
: fence.cpp
, fence.h
- is_goto_binary()
: read_goto_binary.cpp
, read_goto_binary.h
- is_high_surrogate()
: string_constraint_generator_code_points.cpp
- 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_parameter_tag()
: java_types.h
- is_java_generic_struct_tag_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.h
, java_utils.cpp
- is_java_string_type()
: java_utils.cpp
, java_utils.h
- is_jsil_builtin_code_type()
: jsil_types.h
- is_jsil_spec_code_type()
: jsil_types.h
- is_low_surrogate()
: string_constraint_generator_code_points.cpp
- is_lower_case()
: string_builtin_function.cpp
- is_lvalue()
: expr_util.cpp
, expr_util.h
- is_lwfence()
: fence.h
, fence.cpp
- is_main_symbol_invalid()
: statement_list_entry_point.cpp
- is_mcdc_pair()
: cover_instrument_mcdc.cpp
- is_multidim_java_array_type()
: java_types.cpp
, java_types.h
- is_non_null_library_global()
: java_utils.h
, java_utils.cpp
- is_nondet_initializable_static()
: nondet_static.h
, nondet_static.cpp
- is_nondet_pointer()
: convert_java_nondet.cpp
- is_nondet_returning_object()
: replace_java_nondet.cpp
- is_not_bool()
: expr2statement_list.cpp
- is_not_zero()
: expr_util.h
, expr_util.cpp
- is_null()
: string_format_builtin_function.cpp
- is_number()
: mathematical_types.h
, mathematical_types.cpp
- is_osx_fat_header()
: osx_fat_reader.h
, osx_fat_reader.cpp
- is_osx_mach_object()
: osx_fat_reader.h
, osx_fat_reader.cpp
- is_outfile_specified()
: show_program.cpp
- is_overlay_class()
: java_class_loader.cpp
- is_pointer_subtraction()
: bv_pointers.cpp
- is_positive()
: string_constraint_generator_main.cpp
, string_constraint_generator.h
- is_primitive_wrapper_type_id()
: java_utils.cpp
, java_utils.h
- is_primitive_wrapper_type_name()
: java_utils.h
, java_utils.cpp
- is_property_less_than()
: report_util.cpp
- is_property_to_check()
: properties.h
, properties.cpp
- is_ptr_argument()
: string_abstraction.cpp
- is_reference()
: assignments_from_json.cpp
, std_types.h
, std_types.cpp
- is_refined_string_type()
: refined_string_type.h
- is_return_value_identifier()
: remove_returns.h
, remove_returns.cpp
- is_return_value_symbol()
: remove_returns.cpp
, remove_returns.h
- is_return_with_variable()
: replace_java_nondet.cpp
- is_rvalue_reference()
: std_types.h
, std_types.cpp
- is_shared()
: race_check.cpp
- is_signed()
: util.cpp
- is_signed_or_unsigned_bitvector()
: std_types.h
- is_size_one()
: goto_convert.cpp
- is_skip()
: remove_skip.cpp
, remove_skip.h
- 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_builtin_function.cpp
- is_user_specified_clinit_function()
: java_static_initializers.h
, java_static_initializers.cpp
- is_valid_java_array()
: java_types.cpp
, java_types.h
- is_valid_path_strategy()
: path_storage.cpp
, path_storage.h
- is_valid_string_constraint()
: string_refinement.cpp
- is_void_pointer()
: std_types.h
- is_zero_string()
: string_instrumentation.cpp
, string_instrumentation.h