JS: Simplify charpred of Match

2026-04-26 09:15:12 +02:00 · 2019-11-06 12:19:04 +00:00
parent c01005a610
commit 4680e3a89a
1 changed files with 1 additions and 1 deletions
--- a/javascript/ql/src/Performance/ReDoS.ql
+++ b/javascript/ql/src/Performance/ReDoS.ql
@@ -269,7 +269,7 @@ newtype TState =
    (
      i = 0
      or
-      i = [ 1 .. t.(RegExpConstant).getValue().length() - 1 ]
+      exists(t.(RegExpConstant).getValue().charAt(i))
    )
  } or
  Accept(RegExpRoot l) { l.isRelevant() }