Add a semantic patch to find potential memory leaks.

This commit is contained in:
Mansour Moufid 2015-02-17 13:07:29 -05:00
parent bd1d44e251
commit 961c626d6d

View file

@ -0,0 +1,9 @@
@@
expression x, y;
statement S;
@@
x = polarssl_malloc(...);
y = polarssl_malloc(...);
...
* if (x == NULL || y == NULL)
S