Skip to content

bpo-47256: re module, limit the maximum capturing group to 1,073,741,823, increasing the depth of backtracking. #32411

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
serhiy-storchaka merged 5 commits into from Apr 18, 2022
Merged

bpo-47256: re module, limit the maximum capturing group to 1,073,741,823, increasing the depth of backtracking. #32411

Changes from 1 commit
Commits
Show all changes
5 commits
Select commit Hold shift + click to select a range
d13b037
1. limit the maximum capturing group to 1,073,741,823
wjssz Apr 16, 2022
8a38ca7
2. further reduce sizeof(SRE(match_context))
wjssz Apr 16, 2022
8cfcab9
3. MARK_(PUSH|POP) macros compute marks size only once
wjssz Apr 16, 2022
11c9ad3
4. remove variable i
wjssz Apr 16, 2022
f811dfc
Fix indentation
wjssz Apr 18, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Fix indentation
  • Loading branch information
@wjssz
wjssz committed Apr 18, 2022
commit f811dfc22cddd61c8cbfb084e41020581556e432
6 changes: 3 additions & 3 deletions Modules/_sre/sre_lib.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -616,9 +616,9 @@ SRE(match)(SRE_STATE* state, const SRE_CODE* pattern, int toplevel)
state->lastindex = i/2 + 1;
if (i > state->lastmark) {
/* state->lastmark is the highest valid index in the
state->mark array. If it is increased by more than 1,
the intervening marks must be set to NULL to signal
that these marks have not been encountered. */
state->mark array. If it is increased by more than 1,
the intervening marks must be set to NULL to signal
that these marks have not been encountered. */
int j = state->lastmark + 1;
while (j < i)
state->mark[j++] = NULL;
Expand Down