diff options
| author | JinWang An <jinwang.an@samsung.com> | 2023-06-21 14:44:57 +0900 |
|---|---|---|
| committer | JinWang An <jinwang.an@samsung.com> | 2023-06-21 14:44:57 +0900 |
| commit | 51ef19aa0b9ccaf44c3765de265fa11d8b449bf4 (patch) | |
| tree | 1e331127bde17fc531bc90b4bb8f5153a851333d | |
| parent | c24e431bf6532f6a0997a6a0ab6955fa61170978 (diff) | |
| download | tar-accepted/tizen_6.0_base_tool.tar.gz tar-accepted/tizen_6.0_base_tool.tar.bz2 tar-accepted/tizen_6.0_base_tool.zip | |
[CVE-2009-5155] Diagnose ERE '()|\1'submit/tizen_6.0_base/20230622.061909accepted/tizen/6.0/base/tool/20230625.221419accepted/tizen/6.0/base/20230713.143149tizen_6.0_baseaccepted/tizen_6.0_base_toolaccepted/tizen_6.0_base
Problem reported by Hanno B?ck in: http://bugs.gnu.org/21513
* lib/regcomp.c (parse_reg_exp): While parsing alternatives, keep
track of the set of previously-completed subexpressions available
before the first alternative, and restore this set just before
parsing each subsequent alternative. This lets us diagnose the
invalid back-reference in the ERE '()|\1'.
Change-Id: I742345f92e1573b92cc7407cbeda44dbbf0a52cc
Signed-off-by: JinWang An <jinwang.an@samsung.com>
| -rw-r--r-- | lib/regcomp.c | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/lib/regcomp.c b/lib/regcomp.c index fe4d243..3a94cd6 100644 --- a/lib/regcomp.c +++ b/lib/regcomp.c @@ -2116,6 +2116,7 @@ parse_reg_exp (re_string_t *regexp, regex_t *preg, re_token_t *token, { re_dfa_t *dfa = (re_dfa_t *) preg->buffer; bin_tree_t *tree, *branch = NULL; + bitset_word_t initial_bkref_map = dfa->completed_bkref_map; tree = parse_branch (regexp, preg, token, syntax, nest, err); if (BE (*err != REG_NOERROR && tree == NULL, 0)) return NULL; @@ -2126,9 +2127,16 @@ parse_reg_exp (re_string_t *regexp, regex_t *preg, re_token_t *token, if (token->type != OP_ALT && token->type != END_OF_RE && (nest == 0 || token->type != OP_CLOSE_SUBEXP)) { + bitset_word_t accumulated_bkref_map = dfa->completed_bkref_map; + dfa->completed_bkref_map = initial_bkref_map; branch = parse_branch (regexp, preg, token, syntax, nest, err); if (BE (*err != REG_NOERROR && branch == NULL, 0)) - return NULL; + { + if (tree != NULL) + postorder (tree, free_tree, NULL); + return NULL; + } + dfa->completed_bkref_map |= accumulated_bkref_map; } else branch = NULL; |