]> Cypherpunks repositories - gostls13.git/commit
[release-branch.go1.16] regexp/syntax: reject very deeply nested regexps in Parse
authorRuss Cox <rsc@golang.org>
Wed, 2 Feb 2022 21:41:32 +0000 (16:41 -0500)
committerDmitri Shuralyov <dmitshur@golang.org>
Thu, 17 Feb 2022 19:21:56 +0000 (19:21 +0000)
commit2b65cde5868d8245ef8a0b8eba1e361440252d3b
tree53b67e87a483f91e2b32535d3fed503df1c9d00a
parent0a6cf8706fdd0fe1bd26e4d1ecbcd41650bf5e6c
[release-branch.go1.16] regexp/syntax: reject very deeply nested regexps in Parse

The regexp code assumes it can recurse over the structure of
a regexp safely. Go's growable stacks make that reasonable
for all plausible regexps, but implausible ones can reach the
“infinite recursion?” stack limit.

This CL limits the depth of any parsed regexp to 1000.
That is, the depth of the parse tree is required to be ≤ 1000.
Regexps that require deeper parse trees will return ErrInternalError.
A future CL will change the error to ErrInvalidDepth,
but using ErrInternalError for now avoids introducing new API
in point releases when this is backported.

Fixes #51112.
Fixes #51117.

Change-Id: I97d2cd82195946eb43a4ea8561f5b95f91fb14c5
Reviewed-on: https://go-review.googlesource.com/c/go/+/384616
Trust: Russ Cox <rsc@golang.org>
Run-TryBot: Russ Cox <rsc@golang.org>
Reviewed-by: Ian Lance Taylor <iant@golang.org>
Reviewed-on: https://go-review.googlesource.com/c/go/+/384855
src/regexp/syntax/parse.go
src/regexp/syntax/parse_test.go