Add semgrep rule trace-not-in-tracing

Dudeldu · Aug 31, 2021 · 6ca0ae6 · 6ca0ae6
1 parent adbc7c9
commit 6ca0ae6
Showing 1 changed file with 14 additions and 0 deletions.
diff --git a/.semgrep/tracing.yml b/.semgrep/tracing.yml
@@ -0,0 +1,14 @@
+rules:
+  - id: trace-not-in-tracing
+    patterns:
+      - pattern-either:
+        - pattern: Messages.trace
+        - pattern: Messages.tracel
+        - pattern: Messages.tracei
+        - pattern: Messages.tracec
+        - pattern: Messages.traceu
+        - pattern: Messages.traceli
+      - pattern-not-inside: if Messages.tracing then ...
+    message: trace functions should only be called if tracing is enabled at compile time
+    languages: [ocaml]
+    severity: WARNING