git: 9efbe526e00f - main - libthr: work around an ASAN false-positive

Alex Richardson arichardson at FreeBSD.org
Mon Aug 2 13:35:07 UTC 2021


The branch main has been updated by arichardson:

URL: https://cgit.FreeBSD.org/src/commit/?id=9efbe526e00f47d946b3320f595e73fea26805df

commit 9efbe526e00f47d946b3320f595e73fea26805df
Author:     Alex Richardson <arichardson at FreeBSD.org>
AuthorDate: 2021-08-02 08:49:21 +0000
Commit:     Alex Richardson <arichardson at FreeBSD.org>
CommitDate: 2021-08-02 13:33:24 +0000

    libthr: work around an ASAN false-positive
    
    I got the following error with an ASAN-instrument libthr:
    
    ==803==ERROR: AddressSanitizer: stack-buffer-overflow on address 0x7fffffffcdb0 at pc 0x000801863396 bp 0x7ff8
    READ of size 4 at 0x7fffffffcdb0 thread T0
        #0 0x801863395 in handle_signal /local/scratch/alr48/cheri/freebsd/lib/libthr/thread/thr_sig.c:262:2
        #1 0x801860da2 in thr_sighandler /local/scratch/alr48/cheri/freebsd/lib/libthr/thread/thr_sig.c:246:2
    
    Address 0x7fffffffcdb0 is located in stack of thread T0 at offset 208 in frame
        #0 0x80186080f in thr_sighandler /local/scratch/alr48/cheri/freebsd/lib/libthr/thread/thr_sig.c:213
    
      This frame has 1 object(s):
        [32, 64) 'act' (line 216) <== Memory access at offset 208 overflows this variable
    HINT: this may be a false positive if your program uses some custom stack
    
    This seems like a false-positive since the line in question is
    `SIGSETOR(actp->sa_mask, ucp->uc_sigmask);` and it complains about a read
    operation (from the ucontext_t argument) so this indicates to me that ASAN
    does not understand that thr_sighandler() is a signal handler.
    
    Differential Revision: https://reviews.freebsd.org/D31074
---
 lib/libthr/Makefile | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/lib/libthr/Makefile b/lib/libthr/Makefile
index 1a5dfa18dca7..038823413cb2 100644
--- a/lib/libthr/Makefile
+++ b/lib/libthr/Makefile
@@ -29,6 +29,12 @@ CFLAGS+=-I${SRCTOP}/lib/libthread_db
 CFLAGS.thr_stack.c+=	-Wno-cast-align
 CFLAGS.rtld_malloc.c+=	-Wno-cast-align
 CFLAGS.thr_symbols.c+=	-Wno-missing-variable-declarations
+.if ${MK_ASAN} != "no"
+# False-positive ASAN error claiming the local "struct sigaction act;" is
+# overflowed by handle_signal() reading from the ucontext_t argument. This
+# could be caused by ASAN not treating this function as a signal handler.
+CFLAGS.thr_sig.c+=	-fno-sanitize=address
+.endif
 
 .ifndef NO_THREAD_UNWIND_STACK
 CFLAGS+=-fexceptions


More information about the dev-commits-src-all mailing list