diff --git a/ql/consistency-queries/BuildinsConsistency.ql b/ql/consistency-queries/BuildinsConsistency.ql new file mode 100644 index 00000000000..d70e9ed077a --- /dev/null +++ b/ql/consistency-queries/BuildinsConsistency.ql @@ -0,0 +1 @@ +import codeql_ql.ast.internal.Builtins::BuildinsConsistency diff --git a/ql/src/codeql_ql/ast/internal/Builtins.qll b/ql/src/codeql_ql/ast/internal/Builtins.qll index cd012091d7d..78b40e56f30 100644 --- a/ql/src/codeql_ql/ast/internal/Builtins.qll +++ b/ql/src/codeql_ql/ast/internal/Builtins.qll @@ -59,12 +59,12 @@ predicate isBuiltinMember(string qual, string ret, string name, string args) { } module BuildinsConsistency { - predicate noBuildinParse(string sig) { + query predicate noBuildinParse(string sig) { isBuiltinMember(sig) and not exists(sig.regexpCapture("(\\w+) (\\w+)\\.(\\w+)\\(([\\w, ]*)\\)", _)) } - predicate noBuildinClasslessParse(string sig) { + query predicate noBuildinClasslessParse(string sig) { isBuiltinClassless(sig) and not exists(sig.regexpCapture("(\\w+) (\\w+)\\(([\\w, ]*)\\)", _)) }