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

- u -

• u1 : bytecode_info.h
• u16_to_native_endian_inplace() : elf_reader.cpp
• u2 : bytecode_info.h
• u32_to_native_endian() : osx_fat_reader.cpp
• u32_to_native_endian_inplace() : elf_reader.cpp
• u4 : bytecode_info.h
• u64_to_native_endian_inplace() : elf_reader.cpp
• u8 : bytecode_info.h
• ullong_t : mp_arith.cpp
• uncaught_exceptions() : uncaught_exceptions_analysis.cpp, uncaught_exceptions_analysis.h
• 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.cpp, unescape_string.h
• UNEXPECTEDCASE : smt2_conv.cpp
• UNHANDLED_CASE : invariant.h
• UNIFORM_ARRAY_HACK : boolbv_index.cpp
• UNIMPLEMENTED : invariant.h
• UNIMPLEMENTED_FEATURE : invariant.h
• uninitialized_analysist : uninitialized_domain.h
• UNION_INSENSITIVE : variable_sensitivity_configuration.h
• Unknown : wmm.h
• 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 : invariant.h
• UNREACHABLE_BECAUSE : invariant.h
• unreachable_functions() : unreachable_instructions.cpp, unreachable_instructions.h
• unreachable_instructions() : unreachable_instructions.cpp, unreachable_instructions.h
• UNREACHABLE_STRUCTURED : invariant.h
• UNREACHABLE_WITH_IREP : invariant_utils.h
• 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.cpp, util.h
• unsigned_short_int_type() : c_types.cpp, c_types.h
• UNUSED_u2 : java_bytecode_parser.cpp
• unwrap_and_extract_values() : value_set_abstract_object.cpp, value_set_pointer_abstract_object.cpp
• update_identifier() : ssa_expr.cpp
• update_in_placet : java_object_factory.h
• 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.cpp, bmc_util.h
• 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
• user_specified_clinit_suffix : java_static_initializers.cpp
• 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.h, unicode.cpp
• utf16_native_endian_to_utf8() : unicode.cpp, unicode.h
• 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