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

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

R

S

T

U

V

W

X

Y

Z

_

- t -

• tag_loop_instructions() : dfcc_cfg_info.cpp
• taint_analysis() : taint_analysis.cpp, taint_analysis.h
• taint_parser() : taint_parser.cpp, taint_parser.h
• template_subtype() : cpp_template_type.h
• test_c_preprocessor() : c_preprocess.cpp, c_preprocess.h
• test_lispexpr() : lispexpr.cpp, lispexpr.h
• thread_exit_instrumentation() : thread_instrumentation.cpp, thread_instrumentation.h
• throw_on_unsupported() : contracts.cpp
• throwMainClassLoadingError() : java_bytecode_language.cpp
• tinfl_clear_tree() : miniz.cpp
• tinfl_decompress() : miniz.cpp
• tinfl_decompress_mem_to_callback() : miniz.cpp
• tinfl_decompress_mem_to_heap() : miniz.cpp
• tinfl_decompress_mem_to_mem() : miniz.cpp
• tinfl_decompressor_alloc() : miniz.cpp
• tinfl_decompressor_free() : miniz.cpp
• to_abs_expr() : std_expr.h
• to_address_of_expr() : pointer_expr.h
• to_allocate_expr() : state.h, horn_encoding.cpp
• to_allocate_state_expr() : state.h
• to_already_typechecked_expr() : c_typecheck_base.h
• to_already_typechecked_type() : c_typecheck_base.h
• to_and_expr() : std_expr.h
• to_annotated_pointer_constant_expr() : pointer_expr.h
• to_annotated_type() : java_types.h
• to_ansi_c_declaration() : ansi_c_declaration.h
• to_ansi_c_declarator() : ansi_c_declaration.h
• to_array_comprehension_expr() : std_expr.h
• to_array_expr() : std_expr.h
• to_array_list_expr() : std_expr.h
• to_array_of_expr() : std_expr.h
• to_array_string_expr() : string_expr.h
• to_array_type() : std_types.h
• to_binary_expr() : std_expr.h
• to_binary_overflow_expr() : bitvector_expr.h
• to_binary_predicate_expr() : std_expr.h
• to_binary_relation_expr() : std_expr.h
• to_binding_expr() : std_expr.h
• to_bit_cast_expr() : c_expr.h
• to_bitand_expr() : bitvector_expr.h
• to_bitnand_expr() : bitvector_expr.h
• to_bitnor_expr() : bitvector_expr.h
• to_bitnot_expr() : bitvector_expr.h
• to_bitor_expr() : bitvector_expr.h
• to_bitreverse_expr() : bitvector_expr.h
• to_bitvector_type() : bitvector_types.h
• to_bitxnor_expr() : bitvector_expr.h
• to_bitxor_expr() : bitvector_expr.h
• to_bool_expr() : constant_pointer_abstract_object.cpp
• to_bswap_expr() : bitvector_expr.h
• to_bv_type() : bitvector_types.h
• to_byte_extract_expr() : byte_operators.h
• to_byte_update_expr() : byte_operators.h
• to_c_bit_field_type() : c_types.h
• to_c_bool_type() : c_types.h
• to_c_enum_tag_type() : c_types.h
• to_c_enum_type() : c_types.h
• to_c_str_array() : unicode.h
• to_case_expr() : std_expr.h
• to_char_pair() : string_constraint_generator_transformation.cpp
• to_class_method_descriptor_expr() : std_expr.h
• to_class_type() : std_types.h
• to_code() : std_code_base.h
• to_code_asm() : std_code.h
• to_code_asm_gcc() : std_code.h
• to_code_assert() : std_code.h
• to_code_assign() : goto_instruction_code.h
• to_code_assume() : std_code.h
• to_code_block() : std_code.h
• to_code_break() : std_code.h
• to_code_continue() : std_code.h
• to_code_dead() : goto_instruction_code.h
• to_code_decl() : goto_instruction_code.h
• to_code_dowhile() : std_code.h
• to_code_expression() : std_code.h
• to_code_for() : std_code.h
• to_code_frontend_assign() : std_code.h
• to_code_frontend_decl() : std_code.h
• to_code_frontend_return() : std_code.h
• to_code_function_body() : std_code.h
• to_code_function_call() : goto_instruction_code.h
• to_code_gcc_switch_case_range() : std_code.h
• to_code_goto() : std_code.h
• to_code_ifthenelse() : std_code.h
• to_code_label() : std_code.h
• to_code_landingpad() : std_code.h
• to_code_pop_catch() : std_code.h
• to_code_push_catch() : std_code.h
• to_code_return() : goto_instruction_code.h
• to_code_switch() : std_code.h
• to_code_switch_case() : std_code.h
• to_code_try_catch() : std_code.h
• to_code_type() : std_types.h
• to_code_while() : std_code.h
• to_code_with_contract_type() : c_types.h
• to_complex_expr() : std_expr.h
• to_complex_imag_expr() : std_expr.h
• to_complex_real_expr() : std_expr.h
• to_complex_type() : std_types.h
• to_concatenation_expr() : bitvector_expr.h
• to_cond_expr() : std_expr.h
• to_conditional_target_group_expr() : c_expr.h
• to_constant_expr() : std_expr.h
• to_constant_interval_expr() : interval.h
• to_count_leading_zeros_expr() : bitvector_expr.h
• to_count_trailing_zeros_expr() : bitvector_expr.h
• to_cpp_declaration() : cpp_declaration.h
• to_cpp_enum_type() : cpp_enum_type.h
• to_cpp_name() : cpp_name.h
• to_cpp_template_args_non_tc() : cpp_template_args.h
• to_cpp_template_args_tc() : cpp_template_args.h
• to_cstrlen_expr() : pointer_expr.h
• to_deallocate_state_expr() : state.h
• to_dereference_expr() : pointer_expr.h
• to_div_expr() : std_expr.h
• to_dstring() : dstring.h
• to_dynamic_object_expr() : pointer_expr.h
• to_element_address_expr() : pointer_expr.h
• to_empty_union_expr() : std_expr.h
• to_enter_scope_state_expr() : state.h
• to_enum_is_in_range_expr() : c_expr.h
• to_enumeration_type() : std_types.h
• to_equal_expr() : std_expr.h
• to_euclidean_mod_expr() : std_expr.h
• to_evaluate_expr() : state.h, horn_encoding.cpp
• to_exists_expr() : mathematical_expr.h
• to_exit_scope_state_expr() : state.h
• to_expr() : language_util.cpp, language_util.h
• to_extractbit_expr() : bitvector_expr.h
• to_extractbits_expr() : bitvector_expr.h
• to_factorial_expr() : mathematical_expr.h
• to_factorial_power_expr() : mathematical_expr.h
• to_field_address_expr() : pointer_expr.h
• to_field_sensitive_ssa_expr() : field_sensitivity.h
• to_find_first_set_expr() : bitvector_expr.h
• to_fixedbv_type() : bitvector_types.h
• to_floatbv_fma_expr() : floatbv_expr.h
• to_floatbv_mod_expr() : floatbv_expr.h
• to_floatbv_rem_expr() : floatbv_expr.h
• to_floatbv_round_to_integral_expr() : floatbv_expr.h
• to_floatbv_type() : bitvector_types.h
• to_floatbv_typecast_expr() : floatbv_expr.h
• to_forall_expr() : mathematical_expr.h
• to_function_application_expr() : mathematical_expr.h
• to_history_expr() : c_expr.h
• to_ieee_float_equal_expr() : floatbv_expr.h
• to_ieee_float_notequal_expr() : floatbv_expr.h
• to_ieee_float_op_expr() : floatbv_expr.h
• to_if_expr() : std_expr.h
• to_implies_expr() : std_expr.h
• to_index_designator() : std_expr.h
• to_index_expr() : std_expr.h
• to_initial_state_expr() : state.h
• to_integer() : arith_tools.cpp, arith_tools.h
• to_integer_bitvector_type() : bitvector_types.h
• to_integer_or_default() : string_constraint_generator_valueof.cpp
• to_is_cstring_expr() : pointer_expr.h
• to_is_dynamic_object_expr() : pointer_expr.h
• to_isfinite_expr() : floatbv_expr.h
• to_isinf_expr() : floatbv_expr.h
• to_isnan_expr() : floatbv_expr.h
• to_isnormal_expr() : floatbv_expr.h
• to_java_class_type() : java_types.h
• to_java_generic_class_type() : java_types.h
• to_java_generic_parameter() : java_types.h
• to_java_generic_parameter_tag() : java_types.h
• to_java_generic_struct_tag_type() : java_types.h
• to_java_generic_type() : java_types.h
• to_java_implicitly_generic_class_type() : java_types.h
• to_java_instanceof_expr() : java_expr.h
• to_java_method_type() : java_types.h
• to_java_reference_type() : java_types.h
• to_json() : json.cpp, json.h
• to_json_array() : json.h
• to_json_object() : json.h
• to_json_string() : json.h
• to_lambda_expr() : mathematical_expr.h
• to_let_expr() : std_expr.h
• to_literal_expr() : literal_expr.h
• to_literal_vector_expr() : literal_vector_expr.h
• to_live_object_expr() : pointer_expr.h
• to_lower_string() : goto_cc_main.cpp
• to_mathematical_function_type() : mathematical_types.h
• to_member() : java_bytecode_convert_method.cpp
• to_member_designator() : std_expr.h
• to_member_expr() : std_expr.h
• to_merged_type() : merged_type.h
• to_minus_expr() : std_expr.h
• to_mod_expr() : std_expr.h
• to_mult_expr() : std_expr.h
• to_multi_ary_expr() : std_expr.h
• to_named_term_expr() : std_expr.h
• to_nand_expr() : std_expr.h
• to_nondet_symbol_expr() : std_expr.h
• to_nor_expr() : std_expr.h
• to_not_expr() : std_expr.h
• to_notequal_expr() : std_expr.h
• to_object_address_expr() : pointer_expr.h
• to_object_descriptor_expr() : pointer_expr.h
• to_object_size_expr() : pointer_expr.h
• to_onehot0_expr() : bitvector_expr.h
• to_onehot_expr() : bitvector_expr.h
• to_or_expr() : std_expr.h
• to_overflow_result_expr() : bitvector_expr.h
• to_plus_expr() : std_expr.h
• to_pointer_in_range_expr() : pointer_expr.h
• to_pointer_object_expr() : pointer_expr.h
• to_pointer_offset_expr() : pointer_expr.h
• to_pointer_type() : pointer_expr.h
• to_popcount_expr() : bitvector_expr.h
• to_power_expr() : mathematical_expr.h
• to_pretty() : structured_data.cpp, structured_data.h
• to_prophecy_pointer_in_range_expr() : pointer_expr.h
• to_prophecy_r_ok_expr() : pointer_expr.h
• to_prophecy_r_or_w_ok_expr() : pointer_expr.h
• to_prophecy_w_ok_expr() : pointer_expr.h
• to_quantifier_expr() : mathematical_expr.h
• to_r_ok_expr() : pointer_expr.h
• to_r_or_w_ok_expr() : pointer_expr.h
• to_range_type() : std_types.h
• to_rational() : rational_tools.cpp, rational_tools.h
• to_reallocate_expr() : state.h
• to_reallocate_state_expr() : state.h
• to_reference_type() : pointer_expr.h
• to_refined_string_type() : refined_string_type.h
• to_replication_expr() : bitvector_expr.h
• to_saturating_minus_expr() : bitvector_expr.h
• to_saturating_plus_expr() : bitvector_expr.h
• to_separate_expr() : pointer_expr.h
• to_shift_expr() : bitvector_expr.h
• to_shl_expr() : bitvector_expr.h
• to_shuffle_vector_expr() : c_expr.h
• to_side_effect_expr() : std_code.h
• to_side_effect_expr_assign() : std_code.h
• to_side_effect_expr_function_call() : std_code.h
• to_side_effect_expr_nondet() : std_code.h
• to_side_effect_expr_overflow() : c_expr.h
• to_side_effect_expr_statement_expression() : std_code.h
• to_side_effect_expr_throw() : std_code.h
• to_sign_expr() : std_expr.h
• to_signedbv_type() : bitvector_types.h
• to_ssa_expr() : ssa_expr.h
• to_state_cstrlen_expr() : state.h
• to_state_is_cstring_expr() : state.h
• to_state_is_dynamic_object_expr() : state.h
• to_state_is_sentinel_dll_expr() : sentinel_dll.h
• to_state_live_object_expr() : state.h
• to_state_object_size_expr() : state.h
• to_state_ok_expr() : state.h
• to_state_type_compatible_expr() : state.h
• to_state_writeable_object_expr() : state.h
• to_string() : string_constraint.cpp, string_constraint.h
• to_string_builtin_function() : string_dependencies.cpp
• to_string_constant() : string_constant.h
• to_string_expr() : string_expr.h
• to_string_type() : std_types.h
• to_struct_expr() : std_expr.h
• to_struct_or_union_tag_type() : std_types.h
• to_struct_tag_type() : std_types.h
• to_struct_type() : std_types.h
• to_struct_union_type() : std_types.h
• to_symbol_expr() : std_expr.h
• to_tag_type() : std_types.h
• to_template_parameter_symbol_type() : cpp_template_parameter.h
• to_template_type() : cpp_template_type.h
• to_ternary_expr() : std_expr.h
• to_trans_expr() : mathematical_expr.h
• to_type_expr() : std_expr.h
• to_type_with_subtype() : type.h
• to_type_with_subtypes() : type.h
• to_typecast_expr() : std_expr.h
• to_typedef_type() : typedef_type.h
• to_unary_expr() : std_expr.h
• to_unary_minus_expr() : std_expr.h
• to_unary_overflow_expr() : bitvector_expr.h
• to_unary_plus_expr() : std_expr.h
• to_unary_predicate_expr() : std_expr.h
• to_union_expr() : std_expr.h
• to_union_tag_type() : c_types.h
• to_union_type() : c_types.h
• to_unsignedbv_type() : bitvector_types.h
• to_update_bit_expr() : bitvector_expr.h
• to_update_bits_expr() : bitvector_expr.h
• to_update_expr() : std_expr.h
• to_update_state_expr() : state.h, horn_encoding.cpp
• to_upper_string() : ms_link_cmdline.cpp
• to_vector_expr() : std_expr.h
• to_vector_type() : std_types.h
• to_w_ok_expr() : pointer_expr.h
• to_with_expr() : std_expr.h
• to_writeable_object_expr() : pointer_expr.h
• to_xml() : xml.cpp, xml.h
• to_xnor_expr() : std_expr.h
• to_xor_expr() : std_expr.h
• to_zero_extend_expr() : bitvector_expr.h
• trace_numeric_value() : goto_trace.cpp
• trace_value() : goto_trace.cpp
• track_expression_objects() : object_tracking.cpp, object_tracking.h
• transform() : abstract_value_object.cpp
• transform_assertions_assumptions() : goto_check.cpp, goto_check.h
• trim() : jar_file.cpp
• trim_from_last_delimiter() : string_utils.cpp, string_utils.h
• trimmed_last_line() : sese_regions.cpp
• try_add_offset_to_indices() : value_set_dereference.cpp
• try_evaluate_pointer_comparison() : simplify_expr_with_value_set.cpp
• try_get_bool() : json_symbol.cpp, json_symbol.h
• try_get_code() : json_goto_function.cpp
• try_get_guard() : json_goto_function.cpp
• try_get_source_location() : json_symbol.cpp, json_symbol.h
• try_get_string() : json_symbol.cpp, json_symbol.h
• try_get_string_data_array() : simplify_utils.cpp, simplify_utils.h
• try_get_unique_symbol_assigned_to_symbol() : require_goto_statements.cpp
• try_get_unique_unimplemented_method() : lambda_synthesis.cpp
• try_relational_conversion() : convert_expr_to_smt.cpp
• try_select_validation() : smt_response_validation.cpp
• type2c() : expr2c.cpp, expr2c.h
• type2cpp() : expr2cpp.cpp, expr2cpp.h
• type2java() : expr2java.cpp, expr2java.h
• type2name() : type2name.cpp, type2name.h
• type2name_tag() : type2name.cpp
• type2stl() : expr2statement_list.cpp, expr2statement_list.h
• type_checked_cast() : expr_cast.h
• type_name2type_identifier() : type2name.cpp
• type_to_name() : language_util.cpp, language_util.h
• type_to_partial_identifier() : type2name.cpp, type2name.h
• type_try_dynamic_cast() : expr_cast.h
• typecheck_atomic_compare_exchange() : c_typecheck_gcc_polymorphic_builtins.cpp
• typecheck_atomic_exchange() : c_typecheck_gcc_polymorphic_builtins.cpp
• typecheck_atomic_exchange_n() : c_typecheck_gcc_polymorphic_builtins.cpp
• typecheck_atomic_fetch_op() : c_typecheck_gcc_polymorphic_builtins.cpp
• typecheck_atomic_load_n() : c_typecheck_gcc_polymorphic_builtins.cpp
• typecheck_atomic_load_store() : c_typecheck_gcc_polymorphic_builtins.cpp
• typecheck_atomic_op_fetch() : c_typecheck_gcc_polymorphic_builtins.cpp
• typecheck_atomic_store_n() : c_typecheck_gcc_polymorphic_builtins.cpp
• typecheck_field_decl() : c_typecheck_shadow_memory_builtin.cpp
• typecheck_get_field() : c_typecheck_shadow_memory_builtin.cpp
• typecheck_set_field() : c_typecheck_shadow_memory_builtin.cpp
• typecheck_sync_compare_swap() : c_typecheck_gcc_polymorphic_builtins.cpp
• typecheck_sync_lock_release() : c_typecheck_gcc_polymorphic_builtins.cpp
• typecheck_sync_with_pointer_parameter() : c_typecheck_gcc_polymorphic_builtins.cpp
• types_are_compatible() : simplify_state_expr.cpp