hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-02-10 12:11:07 +01:00
Code Issues Packages Projects Releases Wiki Activity

hook up consistency query

Browse Source
This commit is contained in:
Erik Krogh Kristensen
2021-10-15 09:30:38 +02:00
parent 29ebe7b13d
commit 541dcb365f
2 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
ql/consistency-queries/BuildinsConsistency.ql Normal file
View File

@@ -0,0 +1 @@
import codeql_ql.ast.internal.Builtins::BuildinsConsistency

4
ql/src/codeql_ql/ast/internal/Builtins.qll
View File

@@ -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, ]*)\\)", _))
}