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

Merge branch 'python-regex-parsing-consistency-checks' of github.com:yoff/codeql into python-regex-parsing-consistency-checks

Browse Source
This commit is contained in:
Rasmus Lerchedahl Petersen
2021-08-12 13:34:11 +02:00
parent 54e65ce765 61bbddeb0c
commit 2df846ee4b
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -397,7 +397,7 @@ abstract class RegexString extends Expr {
pragma[inline]
private predicate isOctal(int index) {
this.getChar(index) in ["0", "1", "2", "3", "4", "5", "6", "7"]
this.getChar(index) in [0..7].toString()
}
/** Holds if `index` is inside a character set. */
@@ -709,7 +709,7 @@ abstract class RegexString extends Expr {
value = svalue.toInt() and
// value is composed of digits
forall(int i | i in [start + 1 .. start + len - 1] |
this.getChar(i) in ["0", "1", "2", "3", "4", "5", "6", "7", "8", "9"]
this.getChar(i) in [0..9].toString()
) and
// a longer reference is not possible
not (