]> CyberLeo.Net >> Repos - FreeBSD/FreeBSD.git/commit
libc: fix undefined behavior from signed overflow in strstr and memmem
authorEd Maste <emaste@FreeBSD.org>
Thu, 19 Nov 2020 00:03:15 +0000 (00:03 +0000)
committerEd Maste <emaste@FreeBSD.org>
Thu, 19 Nov 2020 00:03:15 +0000 (00:03 +0000)
commit33482dae89c26158a22ccb3b7f2ca6e6652f29b4
treefd3b51ccf64a221252b5239b3de5ecad7a1888b5
parent7dbcd06e63101d51e6a777f7315cfde794411e53
libc: fix undefined behavior from signed overflow in strstr and memmem

unsigned char promotes to int, which can overflow when shifted left by
24 bits or more. this has been reported multiple times but then
forgotten. it's expected to be benign UB, but can trap when built with
explicit overflow catching (ubsan or similar). fix it now.

note that promotion to uint32_t is safe and portable even outside of
the assumptions usually made in musl, since either uint32_t has rank
at least unsigned int, so that no further default promotions happen,
or int is wide enough that the shift can't overflow. this is a
desirable property to have in case someone wants to reuse the code
elsewhere.

musl commit: 593caa456309714402ca4cb77c3770f4c24da9da

Obtained from: musl
lib/libc/string/memmem.c
lib/libc/string/strstr.c