]> CyberLeo.Net >> Repos - FreeBSD/FreeBSD.git/commit
libc: fix undefined behavior from signed overflow in strstr and memmem
authoremaste <emaste@FreeBSD.org>
Thu, 19 Nov 2020 00:03:15 +0000 (00:03 +0000)
committeremaste <emaste@FreeBSD.org>
Thu, 19 Nov 2020 00:03:15 +0000 (00:03 +0000)
commitff58684b23621685b0fb45240aa17a76022d4163
treefd3b51ccf64a221252b5239b3de5ecad7a1888b5
parent213257c45860d387a4c71d3395fc060d07667337
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