We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent a080563 commit 62cb655Copy full SHA for 62cb655
.semgrep/tracing.yml
@@ -8,8 +8,16 @@ rules:
8
- pattern: Messages.tracec
9
- pattern: Messages.traceu
10
- pattern: Messages.traceli
11
+ - pattern: M.trace
12
+ - pattern: M.tracel
13
+ - pattern: M.tracei
14
+ - pattern: M.tracec
15
+ - pattern: M.traceu
16
+ - pattern: M.traceli
17
- pattern-not-inside: if Messages.tracing then ...
18
- pattern-not-inside: if Messages.tracing && ... then ...
19
+ - pattern-not-inside: if M.tracing then ...
20
+ - pattern-not-inside: if M.tracing && ... then ...
21
message: trace functions should only be called if tracing is enabled at compile time
22
languages: [ocaml]
23
severity: WARNING
0 commit comments