]> git.ipfire.org Git - thirdparty/postgresql.git/commit
Make pg_regexec() robust against out-of-range search_start.
authorTom Lane <tgl@sss.pgh.pa.us>
Sat, 11 Sep 2021 19:19:31 +0000 (15:19 -0400)
committerTom Lane <tgl@sss.pgh.pa.us>
Sat, 11 Sep 2021 19:19:58 +0000 (15:19 -0400)
commit3be381a900df75de6a085cc3a465d85ec8bf39cd
tree0dbdeb5ab4a1fa6d7b7cec10d84932f99a60ace2
parent9ea8d3d24a9fb2bbe99cb17f6ee08747f662aabd
Make pg_regexec() robust against out-of-range search_start.

If search_start is greater than the length of the string, we should just
return REG_NOMATCH immediately.  (Note that the equality case should
*not* be rejected, since the pattern might be able to match zero
characters.)  This guards various internal assumptions that the min of a
range of string positions is not more than the max.  Violation of those
assumptions could allow an attempt to fetch string[search_start-1],
possibly causing a crash.

Jaime Casanova pointed out that this situation is reachable with the
new regexp_xxx functions that accept a user-specified start position.
I don't believe it's reachable via any in-core call site in v14 and
below.  However, extensions could possibly call pg_regexec with an
out-of-range search_start, so let's back-patch the fix anyway.

Discussion: https://postgr.es/m/20210911180357.GA6870@ahch-to
src/backend/regex/regexec.c