gh-153578: Fix out-of-bounds write in bytearray.extend() with a reentrant __buffer__ - #153579
Merged
serhiy-storchaka merged 2 commits intoAug 18, 2026
Merged
Conversation
… reentrant __buffer__ bytearray.extend() clamped only the high bound of the append range to the current size after acquiring the argument's buffer, so a __buffer__ that shrinks the bytearray left the low bound past the high bound and ran a negative-size memmove. Clamp the low bound too, matching bytearray.__iadd__.
serhiy-storchaka
added
needs backport to 3.13
serhiy-storchaka
approved these changes
Aug 17, 2026
| b = bytearray(b'x' * 100) | ||
| b.extend(Evil(lambda: b.__delitem__(slice(30, None)))) | ||
| self.assertEqual(b, b'x' * 30 + b'ABCDEFGH') | ||
|
|
Member
There was a problem hiding this comment.
Add the third case:
# grow during __buffer__: the data lands at the original end.
b = bytearray(b'x' * 10)
b.extend(Evil(lambda: b.extend(b'y' * 100)))
self.assertEqual(b, b'x' * 10 + b'ABCDEFGH' + b'y' * 100)
Member
|
The defect isn't "reentrancy from a deliberately evil |
Contributor
Author
|
Done in 5128c85: reframed the NEWS as a concurrency (any GIL-releasing |
serhiy-storchaka
approved these changes
Aug 18, 2026
|
Thanks @tonghuaroot for the PR, and @serhiy-storchaka for merging it 🌮🎉.. I'm working now to backport this PR to: 3.13, 3.14, 3.15. |
|
GH-156007 is a backport of this pull request to the 3.15 branch. |
bedevere-app
Bot
removed
the
needs backport to 3.15
|
GH-156008 is a backport of this pull request to the 3.14 branch. |
|
GH-156009 is a backport of this pull request to the 3.13 branch. |
serhiy-storchaka
pushed a commit
that referenced
this pull request
Aug 18, 2026
…a reentrant __buffer__ (GH-153579) (GH-156008) bytearray.extend() clamped only the high bound of the append range to the current size after acquiring the argument's buffer, so a __buffer__ that shrinks the bytearray left the low bound past the high bound and ran a negative-size memmove. Clamp the low bound too, matching bytearray.__iadd__. (cherry picked from commit e675e37) Co-authored-by: tonghuaroot (童话) <tonghuaroot@gmail.com>
serhiy-storchaka
pushed a commit
that referenced
this pull request
Aug 19, 2026
…a reentrant __buffer__ (GH-153579) (GH-156009) bytearray.extend() clamped only the high bound of the append range to the current size after acquiring the argument's buffer, so a __buffer__ that shrinks the bytearray left the low bound past the high bound and ran a negative-size memmove. Clamp the low bound too, matching bytearray.__iadd__. (cherry picked from commit e675e37) Co-authored-by: tonghuaroot (童话) <tonghuaroot@gmail.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
bytearray.extend()clamped only the high bound of the append range to the current size after acquiring theargument's buffer, so a
__buffer__that shrinks the bytearray left the low bound past the high bound and rana negative-size
memmove. Clamp the low bound too, matchingbytearray.__iadd__.