Add Semgrep rule for incorrect Stats.time usage

Dudeldu · May 17, 2022 · 3f81ffd · 3f81ffd
1 parent a544002
commit 3f81ffd
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/.semgrep/stats.yml b/.semgrep/stats.yml
@@ -0,0 +1,7 @@
+rules:
+  - id: stats-time-partial
+    patterns:
+      - pattern: Stats.time $NAME $FUNC $ARG $BADARG ...
+    message: Stats.time measuring only partial, not complete function application (see https://goblint.readthedocs.io/en/latest/developer-guide/profiling/#stats)
+    languages: [ocaml]
+    severity: ERROR