mbedtls/scripts/find-mem-leak.cocci

@@
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
Add a semantic patch to find potential memory leaks. 2015-02-17 18:07:29 +00:00			`@@`
			`expression x, y;`
			`statement S;`
			`@@`
The Great Renaming A simple execution of tmp/invoke-rename.pl 2015-04-08 10:49:31 +00:00			`x = mbedtls_malloc(...);`
			`y = mbedtls_malloc(...);`
Add a semantic patch to find potential memory leaks. 2015-02-17 18:07:29 +00:00			`...`
			`* if (x == NULL \|\| y == NULL)`
			`S`
Add a rule for another type of memory leak to find-mem-leak.cocci. 2015-02-17 18:40:48 +00:00
			`@@`
			`expression x, y;`
			`statement S;`
			`@@`
			`if (`
The Great Renaming A simple execution of tmp/invoke-rename.pl 2015-04-08 10:49:31 +00:00			`* (x = mbedtls_malloc(...)) == NULL`
Add a rule for another type of memory leak to find-mem-leak.cocci. 2015-02-17 18:40:48 +00:00			`\|\|`
The Great Renaming A simple execution of tmp/invoke-rename.pl 2015-04-08 10:49:31 +00:00			`* (y = mbedtls_malloc(...)) == NULL`
Add a rule for another type of memory leak to find-mem-leak.cocci. 2015-02-17 18:40:48 +00:00			`)`
			`S`