aboutsummaryrefslogtreecommitdiff
path: root/lib/mbedtls-2.27.0/scripts/find-mem-leak.cocci
diff options
context:
space:
mode:
Diffstat (limited to 'lib/mbedtls-2.27.0/scripts/find-mem-leak.cocci')
-rw-r--r--lib/mbedtls-2.27.0/scripts/find-mem-leak.cocci20
1 files changed, 0 insertions, 20 deletions
diff --git a/lib/mbedtls-2.27.0/scripts/find-mem-leak.cocci b/lib/mbedtls-2.27.0/scripts/find-mem-leak.cocci
deleted file mode 100644
index 8179e2b..0000000
--- a/lib/mbedtls-2.27.0/scripts/find-mem-leak.cocci
+++ /dev/null
@@ -1,20 +0,0 @@
-@@
-expression x, y;
-statement S;
-@@
- x = mbedtls_calloc(...);
- y = mbedtls_calloc(...);
- ...
-* if (x == NULL || y == NULL)
- S
-
-@@
-expression x, y;
-statement S;
-@@
- if (
-* (x = mbedtls_calloc(...)) == NULL
- ||
-* (y = mbedtls_calloc(...)) == NULL
- )
- S