mbedtls/scripts/find-mem-leak.cocci

@@
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
Add a semantic patch to find potential memory leaks. 2015-02-17 13:07:29 -05:00			`@@`
			`expression x, y;`
			`statement S;`
			`@@`
Remove malloc references in mbedtls/scripts 2017-07-06 10:34:12 +01:00			`x = mbedtls_calloc(...);`
			`y = mbedtls_calloc(...);`
Add a semantic patch to find potential memory leaks. 2015-02-17 13:07:29 -05:00			`...`
			`* if (x == NULL \|\| y == NULL)`
			`S`
Add a rule for another type of memory leak to find-mem-leak.cocci. 2015-02-17 13:40:48 -05:00
			`@@`
			`expression x, y;`
			`statement S;`
			`@@`
			`if (`
Remove malloc references in mbedtls/scripts 2017-07-06 10:34:12 +01:00			`* (x = mbedtls_calloc(...)) == NULL`
Add a rule for another type of memory leak to find-mem-leak.cocci. 2015-02-17 13:40:48 -05:00			`\|\|`
Remove malloc references in mbedtls/scripts 2017-07-06 10:34:12 +01:00			`* (y = mbedtls_calloc(...)) == NULL`
Add a rule for another type of memory leak to find-mem-leak.cocci. 2015-02-17 13:40:48 -05:00			`)`
			`S`