]> CyberLeo.Net >> Repos - FreeBSD/FreeBSD.git/commit
bsdiff: fix off-by-one error
authorMitchell Horne <mhorne@FreeBSD.org>
Mon, 16 Nov 2020 18:41:49 +0000 (18:41 +0000)
committerMitchell Horne <mhorne@FreeBSD.org>
Mon, 16 Nov 2020 18:41:49 +0000 (18:41 +0000)
commita521f2116473fbd8c09db395518f060a27d02334
tree394c16954e84d21756d8575ef2ce296b07d05b45
parent89deca0a3361f59635abad8fbd2f8af3ab6aab2d
bsdiff: fix off-by-one error

The program reads oldsize bytes from oldfile, and proceeds to initialize
a suffix array of oldsize elements using divsufsort(). As per the
function's API [1], array indices 0 through n-1 are initialized.

Later, search() is called, but with index bounds [0, n]. Depending on
the contents of the malloc'd buffer, accessing this uninitialized index
at the end of can result in a segmentation fault. Fix this by passing
oldsize-1 to search(), limiting the search bounds to [0, n-1].

This bug is a result of r303285, which introduced divsufsort() as an
alternate suffix sorting function to the existing qsufsort(). It seems
that qsufsort() did initialize the final empty element, meaning it could
be safely accessed. This difference in the implementations was missed at
the time.

[1] https://github.com/y-256/libdivsufsort

Discussed with: cperciva
MFC after: 1 week
Sponsored by: The FreeBSD Foundation
Differential Revision: https://reviews.freebsd.org/D26911
usr.bin/bsdiff/bsdiff/bsdiff.c