# HG changeset patch
# User Kim Alvefur <zash@zash.se>
# Date 1610987314 -3600
# Node ID c6965f3c321cb732ce428b1ff357d98a8f26524a
# Parent  5fd1f1b544a0120a722c0bf6fb6155662435f0a2
lint: Add initial semgrep config

diff -r 5fd1f1b544a0 -r c6965f3c321c .semgrep.yml
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/.semgrep.yml	Mon Jan 18 17:28:34 2021 +0100
@@ -0,0 +1,24 @@
+rules:
+- id: log-variable-fmtstring
+  patterns:
+    - pattern: log("...", $A)
+    - pattern-not: log("...", "...")
+  message: Variable passed as format string to logging
+  languages: [lua]
+  severity: ERROR
+- id: module-log-variable-fmtstring
+  patterns:
+    - pattern: module:log("...", $A)
+    - pattern-not: module:log("...", "...")
+  message: Variable passed as format string to logging
+  languages: [lua]
+  severity: ERROR
+- id: module-getopt-string-default
+  patterns:
+    - pattern: module:get_option_string("...", $A)
+    - pattern-not: module:get_option_string("...", "...")
+    - pattern-not: module:get_option_string("...", host)
+    - pattern-not: module:get_option_string("...", module.host)
+  message: Non-string default from :get_option_string
+  severity: ERROR
+  languages: [lua]