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

simplify the overlap computation

Browse Source
This commit is contained in:
Erik Krogh Kristensen
2022-07-12 15:14:40 +02:00
parent aae3e2ddde
commit 592464d98b
1 changed files with 2 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
javascript/ql/lib/semmle/javascript/security/OverlyLargeRangeQuery.qll
View File

@@ -44,20 +44,11 @@ predicate overlap(RegExpCharacterRange a, RegExpCharacterRange b) {
a = clz.getAChild() and
b = clz.getAChild()
|
// b contains the lower end of a
exists(int alow, int ahigh, int blow, int bhigh |
isRange(a, alow, ahigh) and
isRange(b, blow, bhigh) and
blow <= alow and
bhigh >= ahigh
)
or
// b contains the upper end of a
exists(int blow, int bhigh, int alow, int ahigh |
isRange(a, alow, ahigh) and
isRange(b, blow, bhigh) and
blow <= ahigh and
bhigh >= ahigh
alow <= bhigh and
blow <= ahigh
)
)
or