mirror of
http://git.haproxy.org/git/haproxy.git/
synced 2025-02-17 19:16:56 +00:00
8f2112a04f
The coccinelle test "unchecked-calloc.cocci" detects various cases of unchecked calloc().
35 lines
413 B
Plaintext
35 lines
413 B
Plaintext
// find calls to calloc
|
|
@call@
|
|
expression ptr;
|
|
position p;
|
|
@@
|
|
|
|
ptr@p = calloc(...);
|
|
|
|
// find ok calls to calloc
|
|
@ok@
|
|
expression ptr;
|
|
position call.p;
|
|
@@
|
|
|
|
ptr@p = calloc(...);
|
|
... when != ptr
|
|
(
|
|
(ptr == NULL || ...)
|
|
|
|
|
(ptr == 0 || ...)
|
|
|
|
|
(ptr != NULL || ...)
|
|
|
|
|
(ptr != 0 || ...)
|
|
)
|
|
|
|
// fix bad calls to calloc
|
|
@depends on !ok@
|
|
expression ptr;
|
|
position call.p;
|
|
@@
|
|
|
|
ptr@p = calloc(...);
|
|
+ if (ptr == NULL) return;
|