TrustedFirmware Git Browser
Code Review
Sign In
review.trustedfirmware.org
/
mirror
/
mbed-tls
/
591035d0b482806a837425e09c4b35d9bd6d0998
/
.
/
scripts
/
find-mem-leak.cocci
blob: 5cfe4522da1bbeb10f06ae77c7f92f0df1668172 [
file
] [
log
] [
blame
]
@@
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