Initial commit

2026-04-24 10:52:47 +09:00
commit 1707dc6349
1423 changed files with 1161776 additions and 0 deletions
@@ -0,0 +1,20 @@
+@@
+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