mirror of git://sourceware.org/git/glibc.git
It is enabled through a new configure flag, --enable-ubsan, and
should be used for debugging and/or testing. Not all ubsan handlers
are implemented, only those generated/required by glibc libraries,
programs, and tests. Some extra handlers might be needed in future
C++ tests, and __ubsan_handle_dynamic_type_cache_miss also needs a
proper implementation.
The ubsan handlers are exported from ld.so since they are used on
all libraries and tests. This might interfere with ubsan from
compiler runtime (when programs are built with libubsan in shared
mode), and this is completely untested and/or not supported at the
moment.
There is no support for the UBSAN_OPTIONS environment variable,
although some options are supported through glibc.ubsan tunables.
Currently, glibc.ubsan.halt_on_errors can be used to avoid
the process halt when any UB handler is issued.
Using -fsanitize=undefined enables some extra compiler checks that
are not easily enabled through the libc-diag.h macro. For instance
on iconv/iconvconfig.c, gcc 14.2.1 shows:
In file included from ../include/bits/string_fortified.h:1,
from ../string/string.h:548,
from ../include/string.h:60,
from iconvconfig.c:32:
In function ‘strcpy’,
inlined from ‘write_output’ at iconvconfig.c:1033:7,
inlined from ‘main’ at iconvconfig.c:340:14:
../string/bits/string_fortified.h:81:10: error: ‘__builtin_memcpy’ offset [0, 7] is out of the bounds [0, 0] [-Werror=array-bounds=]
81 | return __builtin___strcpy_chk (__dest, __src, __glibc_objsize (__dest));
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
../string/bits/string_fortified.h:81:10: error: ‘__builtin_memcpy’ offset [0, 7] is out of the bounds [0, 0] [-Werror=array-bounds=]
cc1: all warnings being treated as errors
Some extra code adjustments are required to fix such cases.
This preliminary support is still incomplete:
* Not all targets are supported, nor have I checked the test suitei
on all successful targets. Also, I only checked with limited gcc
versions (only gcc 14.2.1 and for some targets 15.0.0).
Currently --enable-ubsan builds on Linux for aarch64, arm, hppa,
i686, powerpc64, microblaze, mips64, loongarch64, sparc, s390x, and
x86_64.
* The instrumentation is disabled on rltd.c, although it is enabled
on other loaders functions.
* A lot of test cases show failures due to UB.
Also, gcc-14 triggers an ICE building math routines. gcc-15
works correctly.
|
||
|---|---|---|
| .. | ||
| arpa | ||
| bits/types | ||
| nss_dns | ||
| sys | ||
| tst-leaks2.root/etc | ||
| Depend | ||
| Makefile | ||
| README | ||
| Versions | ||
| base64.c | ||
| compat-gethnamaddr.c | ||
| compat-hooks.c | ||
| dn_comp.c | ||
| dn_expand.c | ||
| dn_skipname.c | ||
| gai_cancel.c | ||
| gai_error.c | ||
| gai_misc.c | ||
| gai_misc.h | ||
| gai_notify.c | ||
| gai_sigqueue.c | ||
| gai_suspend.c | ||
| getaddrinfo_a.c | ||
| herror.c | ||
| inet_addr.c | ||
| inet_net_ntop.c | ||
| inet_net_pton.c | ||
| inet_neta.c | ||
| inet_ntop.c | ||
| inet_pton.c | ||
| inet_pton_length.c | ||
| libanl-compat.c | ||
| mapv4v6addr.h | ||
| netdb.h | ||
| ns_date.c | ||
| ns_makecanon.c | ||
| ns_name.c | ||
| ns_name_compress.c | ||
| ns_name_length_uncompressed.c | ||
| ns_name_ntop.c | ||
| ns_name_pack.c | ||
| ns_name_pton.c | ||
| ns_name_skip.c | ||
| ns_name_uncompress.c | ||
| ns_name_unpack.c | ||
| ns_netint.c | ||
| ns_parse.c | ||
| ns_print.c | ||
| ns_rr_cursor_init.c | ||
| ns_rr_cursor_next.c | ||
| ns_samebinaryname.c | ||
| ns_samedomain.c | ||
| ns_samename.c | ||
| ns_ttl.c | ||
| nsap_addr.c | ||
| nss_dns_functions.c | ||
| res-close.c | ||
| res-name-checking.c | ||
| res-noaaaa.c | ||
| res-putget.c | ||
| res-state.c | ||
| res_context_hostalias.c | ||
| res_data.c | ||
| res_debug.c | ||
| res_enable_icmp.c | ||
| res_get_nsaddr.c | ||
| res_hconf.c | ||
| res_hconf.h | ||
| res_hostalias.c | ||
| res_init.c | ||
| res_isourserver.c | ||
| res_libc.c | ||
| res_mkquery.c | ||
| res_nameinquery.c | ||
| res_queriesmatch.c | ||
| res_query.c | ||
| res_randomid.c | ||
| res_send.c | ||
| resolv-deprecated.c | ||
| resolv-internal.h | ||
| resolv.h | ||
| resolv_conf.c | ||
| resolv_conf.h | ||
| resolv_context.c | ||
| resolv_context.h | ||
| tst-aton.c | ||
| tst-bug18665-tcp.c | ||
| tst-bug18665.c | ||
| tst-inet_addr-binary.c | ||
| tst-inet_aton_exact.c | ||
| tst-inet_ntop.c | ||
| tst-inet_pton.c | ||
| tst-leaks.c | ||
| tst-leaks2.c | ||
| tst-no-libidn2.c | ||
| tst-ns_name.c | ||
| tst-ns_name.data | ||
| tst-ns_name_compress.c | ||
| tst-ns_name_length_uncompressed.c | ||
| tst-ns_name_pton.c | ||
| tst-ns_rr_cursor.c | ||
| tst-ns_samebinaryname.c | ||
| tst-p_secstodate.c | ||
| tst-res_hconf_reorder.c | ||
| tst-res_hnok.c | ||
| tst-resolv-ai_idn-common.c | ||
| tst-resolv-ai_idn-latin1.c | ||
| tst-resolv-ai_idn-nolibidn2.c | ||
| tst-resolv-ai_idn.c | ||
| tst-resolv-aliases.c | ||
| tst-resolv-basic.c | ||
| tst-resolv-binary.c | ||
| tst-resolv-byaddr.c | ||
| tst-resolv-canonname.c | ||
| tst-resolv-edns.c | ||
| tst-resolv-invalid-cname.c | ||
| tst-resolv-maybe_insert_sig.h | ||
| tst-resolv-network.c | ||
| tst-resolv-noaaaa-vc.c | ||
| tst-resolv-noaaaa.c | ||
| tst-resolv-nondecimal.c | ||
| tst-resolv-qtypes.c | ||
| tst-resolv-res_init-multi.c | ||
| tst-resolv-res_init-skeleton.c | ||
| tst-resolv-res_init-thread.c | ||
| tst-resolv-res_init.c | ||
| tst-resolv-res_ninit.c | ||
| tst-resolv-rotate.c | ||
| tst-resolv-search.c | ||
| tst-resolv-semi-failure.c | ||
| tst-resolv-short-response.c | ||
| tst-resolv-threads.c | ||
| tst-resolv-trailing.c | ||
| tst-resolv-trustad.c | ||
| tst-resolv-txnid-collision.c | ||
README
The resolver in the GNU C Library
*********************************
Starting with version 2.2, the resolver in the GNU C Library comes
from BIND 8. Only a subset of the src/lib/resolv part of libbind is
included here; basically the parts that are needed to provide the
functionality present in the resolver from BIND 4.9.7 that was
included in the previous release of the GNU C Library, augmented by
the parts needed to provide thread-safety. This means that support
for things as dynamic DNS updates and TSIG keys isn't included. If
you need those facilities, please take a look at the full BIND
distribution.
Differences
===========
The resolver in the GNU C Library still differs from what's in BIND
8.2.3-T5B:
* The RES_DEBUG option (`options debug' in /etc/resolv.conf) has been
disabled.
* The resolver in glibc allows underscores in domain names.
* The <resolv.h> header in glibc includes <netinet/in.h> and
<arpa/nameser.h> to make it self-contained.
* The `res_close' function in glibc only tries to close open files
referenced through `_res' if the RES_INIT bit is set in
`_res.options'. This fixes a potential security bug with programs
that bogusly call `res_close' without initialising the resolver
state first. Note that the thread-safe `res_nclose' still doesn't
check the RES_INIT bit. By the way, you're not really supposed to
call `res_close/res_nclose' directly.
* The resolver in glibc can connect to a nameserver over IPv6. Just
specify the IPv6 address in /etc/resolv.conf. You cannot change the
address of an IPv6 nameserver dynamically in your program though.
Using the resolver in multi-threaded code
=========================================
The traditional resolver interfaces `res_query', `res_search',
`res_mkquery', `res_send' and `res_init', used a static (global)
resolver state stored in the `_res' structure. Therefore, these
interfaces are not thread-safe. Therefore, BIND 8.2 introduced a set
of "new" interfaces `res_nquery', `res_nsearch', `res_nmkquery',
`res_nsend' and `res_ninit' that take a `res_state' as their first
argument, so you can use a per-thread resolver state. In glibc, when
you link with -lpthread, such a per-thread resolver state is already
present. It can be accessed using `_res', which has been redefined as
a macro, in a similar way to what has been done for the `errno' and
`h_errno' variables. This per-thread resolver state is also used for
the `gethostby*' family of functions, which means that for example
`gethostbyname_r' is now fully thread-safe and re-entrant. The
traditional resolver interfaces however, continue to use a single
resolver state and are therefore still thread-unsafe. The resolver
state is the same resolver state that is used for the initial ("main")
thread.
This has the following consequences for existing binaries and source
code:
* Single-threaded programs will continue to work. There should be no
user-visible changes when you recompile them.
* Multi-threaded programs that use the traditional resolver interfaces
in the "main" thread should continue to work, except that they no
longer see any changes in the global resolver state caused by calls
to, for example, `gethostbyname' in other threads. Again there
should be no user-visible changes when you recompile these programs.
* Multi-threaded programs that use the traditional resolver interfaces
in more than one thread should be just as buggy as before (there are
no problems if you use proper locking of course). If you recompile
these programs, manipulating the _res structure in threads other
than the "main" thread will seem to have no effect though.
* In Multi-threaded that manipulate the _res structure, calls to
functions like `gethostbyname' in threads other than the "main"
thread won't be influenced by the those changes anymore.
We recommend to use the new thread-safe interfaces in new code, since
the traditional interfaces have been deprecated by the BIND folks.
For compatibility with other (older) systems you might want to
continue to use those interfaces though.
Using the resolver in C++ code
==============================
There resolver contains some hooks which will allow the user to
install some callback functions that make it possible to filter DNS
requests and responses. Although we do not encourage you to make use
of this facility at all, C++ developers should realise that it isn't
safe to throw exceptions from such callback functions.
Source code
===========
The following files come from the BIND distribution (currently version
8.2.3-T5B):
src/include/
arpa/nameser.h
arpa/nameser_compat.h
resolv.h
src/lib/resolv/
herror.c
res_comp.c
res_data.c
res_debug.c
res_init.c
res_mkquery.c
res_query.c
res_send.c
src/lib/nameser/
ns_name.c
ns_netint.c
ns_parse.c
ns_print.c
ns_samedomain.c
ns_ttl.c
src/lib/inet/
inet_addr.c
inet_net_ntop.c
inet_net_pton.c
inet_neta.c
inet_ntop.c
inet_pton.c
nsap_addr.c
src/lib/isc/
base64.c
Some of these files have been optimised a bit, and adaptations have
been made to make them fit in with the rest of glibc.
res_libc.c is home-brewn, although parts of it are taken from res_data.c.
res_hconf.c and res_hconf.h were contributed by David Mosberger, and
do not come from BIND.