From 3061ecca3d0fdfb87dabbf5f63c9e06c2a30f53a Mon Sep 17 00:00:00 2001
From: Trygve Laugstøl <trygvis@inamo.no>
Date: Thu, 23 Aug 2018 17:08:59 +0200
Subject: o Initial import.

---
 .../external/mbedtls/scripts/find-mem-leak.cocci     | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)
 create mode 100644 thirdparty/nRF5_SDK_15.0.0_a53641a/external/mbedtls/scripts/find-mem-leak.cocci

(limited to 'thirdparty/nRF5_SDK_15.0.0_a53641a/external/mbedtls/scripts/find-mem-leak.cocci')

diff --git a/thirdparty/nRF5_SDK_15.0.0_a53641a/external/mbedtls/scripts/find-mem-leak.cocci b/thirdparty/nRF5_SDK_15.0.0_a53641a/external/mbedtls/scripts/find-mem-leak.cocci
new file mode 100644
index 0000000..5cfe452
--- /dev/null
+++ b/thirdparty/nRF5_SDK_15.0.0_a53641a/external/mbedtls/scripts/find-mem-leak.cocci
@@ -0,0 +1,20 @@
+@@
+expression x, y;
+statement S;
+@@
+  x = mbedtls_malloc(...);
+  y = mbedtls_malloc(...);
+  ...
+* if (x == NULL || y == NULL)
+    S
+
+@@
+expression x, y;
+statement S;
+@@
+  if (
+*   (x = mbedtls_malloc(...)) == NULL
+    ||
+*   (y = mbedtls_malloc(...)) == NULL
+  )
+    S
-- 
cgit v1.2.3