Files
codeql/ruby/ql/consistency-queries/RegExpConsistency.ql
2022-03-08 19:53:17 +01:00

15 lines
432 B
Plaintext

import codeql.ruby.security.performance.RegExpTreeView
query predicate nonUniqueChild(RegExpParent parent, int i, RegExpTerm child) {
child = parent.getChild(i) and
strictcount(parent.getChild(i)) > 1
}
query predicate cyclic(RegExpParent parent) { parent = parent.getAChild+() }
query predicate nonConsecutive(RegExpParent parent, int i) {
exists(parent.getChild(i)) and
i > 0 and
not exists(parent.getChild(i - 1))
}