Rivoreo Source Code Repositories
src.rivoreo.one
/
security
/
mbedtls
/
21298a20c4eab443694a7d34bfb1e3a5a41f01af
/
.
/
scripts
/
find-mem-leak.cocci
blob: 8179e2b3ebd901e3d43a80f3312d1ecc315979a9 [
file
] [
log
] [
blame
] [
raw
]
@@
expression x
,
y
;
statement S
;
@@
x
=
mbedtls_calloc
(...);
y
=
mbedtls_calloc
(...);
...
*
if
(
x
==
NULL
||
y
==
NULL
)
S
@@
expression x
,
y
;
statement S
;
@@
if
(
*
(
x
=
mbedtls_calloc
(...))
==
NULL
||
*
(
y
=
mbedtls_calloc
(...))
==
NULL
)
S