From 3dc2e9331e18635f518db853fb076852c9bed16a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Alvaro=20Mu=C3=B1oz?= <pwntester@github.com>
Date: Wed, 30 Sep 2020 00:30:26 +0200
Subject: initial support for CodeQL

---
 queries/ql/highlights.scm | 103 ++++++++++++++++++++++++++++++++++++++++++++++
 queries/ql/locals.scm     |  26 ++++++++++++
 2 files changed, 129 insertions(+)
 create mode 100644 queries/ql/highlights.scm
 create mode 100644 queries/ql/locals.scm

(limited to 'queries')

diff --git a/queries/ql/highlights.scm b/queries/ql/highlights.scm
new file mode 100644
index 00000000..67810de6
--- /dev/null
+++ b/queries/ql/highlights.scm
@@ -0,0 +1,103 @@
+[
+  "and"
+  "any"
+  "as"
+  "asc"
+  "avg"
+  "by"
+  "class"
+  "concat"
+  "count"
+  "desc"
+  "else"
+  "exists"
+  "extends"
+  "forall"
+  "forex"
+  "from"
+  "if"
+  "implies"
+  "import"
+  "in"
+  "instanceof"
+  "max"
+  "min"
+  "module"
+  "newtype"
+  "not"
+  "or"
+  "order"
+  "rank"
+  "select"
+  "strictconcat"
+  "strictcount"
+  "strictsum"
+  "sum"
+  "then"
+  "where"
+
+  (false)
+  (predicate)
+  (result)
+  (specialId)
+  (super)
+  (this)
+  (true)
+] @keyword
+
+[
+  "boolean"
+  "float"
+  "int"
+  "date"
+  "string"
+] @type.builtin
+
+(annotName) @attribute
+
+[
+  "<"
+  "<="
+  "="
+  ">"
+  ">="
+  "-"
+  "!="
+  "/"
+  "*"
+  "%"
+  "+"
+  "::"
+] @operator
+
+[
+  "("
+  ")"
+  "{"
+  "}"
+  "["
+  "]"
+] @punctuation.bracket
+
+[
+  ","
+  "|"
+] @punctuation.delimiter
+
+(className) @type
+
+(varName) @variable
+
+(integer) @number
+(float) @number
+
+(string) @string
+
+(aritylessPredicateExpr (literalId) @function)
+(predicateName) @function
+
+[
+  (line_comment)
+  (block_comment)
+  (qldoc)
+] @comment
diff --git a/queries/ql/locals.scm b/queries/ql/locals.scm
new file mode 100644
index 00000000..fa488be1
--- /dev/null
+++ b/queries/ql/locals.scm
@@ -0,0 +1,26 @@
+(classlessPredicate
+  name: (predicateName) @name) @definition.function
+
+(memberPredicate
+  name: (predicateName) @name) @definition.method
+
+(aritylessPredicateExpr
+  name: (literalId) @name) @reference.call
+
+(module
+  name: (moduleName) @name) @definition.module
+
+(dataclass
+  name: (className) @name) @definition.class
+
+(datatype
+  name: (className) @name) @definition.class
+
+(datatypeBranch
+  name: (className) @name) @definition.class
+
+(qualifiedRhs
+  name: (predicateName) @name) @reference.call
+
+(typeExpr
+  name: (className) @name) @reference.type
-- 
cgit v1.2.3