diff --git a/shared/regex/codeql/regex/nfa/NfaUtils.qll b/shared/regex/codeql/regex/nfa/NfaUtils.qll index a951820bda1..2b14fe28aca 100644 --- a/shared/regex/codeql/regex/nfa/NfaUtils.qll +++ b/shared/regex/codeql/regex/nfa/NfaUtils.qll @@ -760,6 +760,12 @@ module Make { or exists(RegExpGroup grp | lbl = Epsilon() | q1 = before(grp) and q2 = before(grp.getChild(0))) or + exists(RegExpGroup grp | lbl = Epsilon() | + not exists(grp.getAChild()) and + q1 = before(grp) and + q2 = before(grp.getSuccessor()) + ) + or exists(EffectivelyStar star | lbl = Epsilon() | q1 = before(star) and q2 = before(star.getChild(0)) or