We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 3c156e8 commit 9257a01Copy full SHA for 9257a01
.semgrep/apron.yml
@@ -0,0 +1,9 @@
1
+rules:
2
+ - id: apron-linexp0-get_size
3
+ pattern-either:
4
+ - pattern: Linexpr0.get_size
5
+ - pattern: Apron.Linexpr0.get_size
6
+ - pattern: GobApron.Linexpr0.get_size
7
+ message: don't use (returns some internal size, not number of dimensions)
8
+ languages: [ocaml]
9
+ severity: ERROR
0 commit comments