mbedtls/scripts/find-mem-leak.cocci

@@
expression x, y;
statement S;
@@
  x = polarssl_malloc(...);
  y = polarssl_malloc(...);
  ...
* if (x == NULL || y == NULL)
    S

@@
expression x, y;
statement S;
@@
  if (
*   (x = polarssl_malloc(...)) == NULL
    ||
*   (y = polarssl_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;`
			`@@`
			`x = polarssl_malloc(...);`
			`y = polarssl_malloc(...);`
			`...`
			`* 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 (`
			`* (x = polarssl_malloc(...)) == NULL`
			`\|\|`
			`* (y = polarssl_malloc(...)) == NULL`
			`)`
			`S`