hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-30 11:15:13 +02:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #1499 from markshannon/python-fix-regex-parsing

Browse Source 
Python regex: Fix handling of character sets.
This commit is contained in:
Taus
2019-06-27 17:49:21 +02:00
committed by GitHub
parent 7ff6d8262d 347e3f3bd0
commit 2576884667
8 changed files with 34 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
python/ql/src/semmle/python/regex.qll
View File

@@ -68,7 +68,8 @@ abstract class RegexString extends Expr {
/** Whether there is a character class, between start (inclusive) and end (exclusive) */
predicate charSet(int start, int end) {
exists(int inner_start, int inner_end |
this.char_set_start(start, inner_start) |
this.char_set_start(start, inner_start) and
not this.char_set_start(_, start) |
end = inner_end + 1 and inner_end > inner_start and
this.nonEscapedCharAt(inner_end) = "]" and
not exists(int mid | this.nonEscapedCharAt(mid) = "]" |