Sign in
pigweed
/
third_party
/
github
/
ARMmbed
/
mbedtls
/
998930ae0d0054cf848604c34767dfb23bcb5b5d
/
.
/
scripts
/
find-mem-leak.cocci
blob: 34cfd082d25b9f2e6e291e98dea557901ab0b250 [
file
] [
log
] [
blame
]
@@
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