- u -

• u16_to_native_endian_inplace() : elf_reader.cpp
• u32_to_native_endian() : osx_fat_reader.cpp
• u32_to_native_endian_inplace() : elf_reader.cpp
• u64_to_native_endian_inplace() : elf_reader.cpp
• uncaught_exceptions() : uncaught_exceptions_analysis.h , uncaught_exceptions_analysis.cpp
• undefined_function_abort_path() : undefined_functions.cpp , undefined_functions.h
• underlying_width() : padding.cpp
• unescape_string() : unescape_string.cpp , unescape_string.h
• unescape_string_templ() : unescape_string.cpp
• unescape_wide_string() : unescape_string.h , unescape_string.cpp
• unlink() : unistd.c
• unpack_array_vector() : lower_byte_operators.cpp
• unpack_array_vector_no_known_bounds() : lower_byte_operators.cpp
• unpack_complex() : lower_byte_operators.cpp
• unpack_rec() : lower_byte_operators.cpp
• unpack_struct() : lower_byte_operators.cpp
• unreachable_functions() : unreachable_instructions.cpp , unreachable_instructions.h
• unreachable_instructions() : unreachable_instructions.h , unreachable_instructions.cpp
• unregister_child() : signal_catcher.cpp , signal_catcher.h
• unsafe_string2int() : string2int.cpp , string2int.h
• unsafe_string2signedlonglong() : string2int.cpp , string2int.h
• unsafe_string2size_t() : string2int.cpp , string2int.h
• unsafe_string2unsigned() : string2int.cpp , string2int.h
• unsafe_string2unsignedlonglong() : string2int.cpp , string2int.h
• unsigned_char_type() : c_types.cpp , c_types.h
• unsigned_from_ns() : config.cpp
• unsigned_int_type() : c_types.cpp , c_types.h
• unsigned_long_int_type() : c_types.cpp , c_types.h
• unsigned_long_long_int_type() : c_types.cpp , c_types.h
• unsigned_poly_type() : util.h , util.cpp
• unsigned_short_int_type() : c_types.cpp , c_types.h
• unwrap_and_extract_values() : value_set_abstract_object.cpp , value_set_pointer_abstract_object.cpp
• update_index_set() : string_refinement.cpp
• update_internal_field() : build_goto_trace.cpp
• update_max_malloc_size() : initialize_goto_model.cpp , initialize_goto_model.h
• update_properties_from_goto_model() : properties.cpp , properties.h
• update_properties_status_from_symex_target_equation() : bmc_util.h , bmc_util.cpp
• update_status_of_not_checked_properties() : bmc_util.cpp , bmc_util.h
• update_status_of_unknown_properties() : bmc_util.cpp , bmc_util.h
• upper_interval() : interval_template.h
• use_address_of() : report_traces.cpp
• use_update() : symex_assign.cpp
• user_specified_clinit_name() : java_static_initializers.cpp , java_static_initializers.h
• usleep() : unistd.c
• utf16_append_code() : unicode.cpp
• utf16_constant_array_to_java() : string_refinement_util.cpp , string_refinement_util.h
• utf16_native_endian_to_java() : unicode.cpp , unicode.h
• utf16_native_endian_to_java_string() : unicode.cpp , unicode.h
• utf16_native_endian_to_utf8() : unicode.cpp , unicode.h , unicode.cpp
• utf16_to_array() : java_string_literals.cpp
• utf32_native_endian_to_utf8() : unicode.cpp , unicode.h
• utf8_append_code() : unicode.cpp
• utf8_to_utf16_native_endian() : unicode.cpp , unicode.h
• utf8_to_utf32() : unicode.cpp , unicode.h
• util_inplace_set_union() : container_utils.h