Merge pull request #494 from Frodan/circom

Circom

.gitmodules

@@ -118,3 +118,6 @@
 [submodule "lang/semgrep-grammars/src/tree-sitter-move-on-aptos"]
 	path = lang/semgrep-grammars/src/tree-sitter-move-on-aptos
 	url = https://github.com/aptos-labs/tree-sitter-move-on-aptos.git
+[submodule "lang/semgrep-grammars/src/tree-sitter-circom"]
+	path = lang/semgrep-grammars/src/tree-sitter-circom
+	url = https://github.com/Decurity/tree-sitter-circom.git

lang/Makefile

@@ -18,6 +18,7 @@ SUPPORTED_TS_LANGUAGES = \
   c \
   cairo \
   clojure \
+  circom \
   cpp \
   c-sharp \
   dart \

lang/circom/Makefile

@@ -0,0 +1 @@
+../Makefile.common

lang/circom/extensions.txt

@@ -0,0 +1,7 @@
+# File extensions for the target language, one per line. This is used for
+# collecting parsing stats from the repos specified in 'projects.txt'. e.g.:
+#
+# .h
+# .c
+#
+.circom

lang/circom/fyi.list

@@ -0,0 +1,3 @@
+semgrep-grammars/src/tree-sitter-circom/LICENSE
+semgrep-grammars/src/tree-sitter-circom/grammar.js
+semgrep-grammars/src/semgrep-circom/grammar.js

lang/circom/projects.txt

@@ -0,0 +1,4 @@
+# Git URLs of publicly-accessible projects to be used for parsing stats,
+# one per line.
+#
+https://github.com/iden3/circomlib

lang/semgrep-grammars/lang/circom

@@ -0,0 +1 @@
+../src/semgrep-circom

lang/semgrep-grammars/src/semgrep-circom/Makefile

@@ -0,0 +1 @@
+../Makefile.common

lang/semgrep-grammars/src/semgrep-circom/grammar.js

@@ -0,0 +1,59 @@
+/*
+  semgrep-circom
+
+  Extends the standard circom grammar with semgrep pattern constructs.
+*/
+
+const base_grammar = require('tree-sitter-circom/grammar');
+
+module.exports = grammar(base_grammar, {
+  name: 'circom',
+
+  conflicts: ($, previous) => previous.concat([
+  ]),
+
+  /*
+     Support for semgrep ellipsis ('...') and metavariables ('$FOO'),
+     if they're not already part of the base grammar.
+  */
+  rules: {
+
+    source_file: ($, previous) => {
+      return choice(
+        previous,
+        repeat1($._statement),
+        $._expression,
+      );
+    },
+
+    _expression: ($, previous) => {
+      return choice(
+          previous,
+          $.ellipsis,
+          $.deep_ellipsis
+      );
+    },
+
+    expression_statement: ($, previous) => {
+      return choice(
+            previous,
+            prec.right(100, seq($.ellipsis, ';')),  // expression ellipsis
+            prec.right(100, $.ellipsis),  // statement ellipsis
+      );
+    },
+
+    for_statement: ($, previous) => {
+      return choice(
+         previous,
+         seq('for', '(', $.ellipsis, ')', $._statement)
+      );
+    },
+
+    ellipsis: $ => '...',
+
+    deep_ellipsis: $ => seq(
+      '<...', $._expression, '...>'
+    ),
+
+  }
+});

lang/semgrep-grammars/src/semgrep-circom/prep

@@ -0,0 +1 @@
+../prep.common