Files
codeql/python/ql/test/library-tests/regex/Regex.ql
Rasmus Lerchedahl Petersen 21007d21f4 Python: track if qualifiers allow unbounded
repeats. This in preparation for ReDoS
2021-06-28 17:04:48 +02:00

25 lines
743 B
Plaintext

import python
import semmle.python.regex
predicate part(Regex r, int start, int end, string kind) {
r.alternation(start, end) and kind = "choice"
or
r.normalCharacter(start, end) and kind = "char"
or
r.specialCharacter(start, end, kind)
or
r.sequence(start, end) and kind = "sequence"
or
r.charSet(start, end) and kind = "char-set"
or
r.zeroWidthMatch(start, end) and kind = "empty group"
or
r.group(start, end) and not r.zeroWidthMatch(start, end) and kind = "non-empty group"
or
r.qualifiedItem(start, end, _, _) and kind = "qualified"
}
from Regex r, int start, int end, string kind
where part(r, start, end, kind) and r.getLocation().getFile().getBaseName() = "test.py"
select r.getText(), kind, start, end