tests/cocci/pkg/unchecked_malloc.cocci — HardenedBSD-pkg

rad:z3QDZAW2FAfuLvihrhiyDC9fAD8G9

HardenedBSD Package Manager

.. delete_if1.cocci malloc_free.cocci NELEM.cocci strieq.cocci strlcat.cocci strlcpy.cocci unchecked_malloc.cocci

Alexandre Perrin

cocci: updated some tests in order to avoid assert(3) and use pkg_emit_errno() instead. 10 years ago 721e2b0 History

// Unchecked malloc(3) family functions calls.
//
// XXX: there is still a lot of work to be done here as it does not yet catch
// all.
//
// Confidence: Low
// Copyright: (C) The pkgng project, see COPYING.
// URL: https://github.com/freebsd/pkg/tree/master/tests/cocci/pkg/unchecked_malloc.cocci

@@
local idexpression n;
expression E;
@@

n = malloc(E);
+ if (n == NULL)
+ 	pkg_emit_errno("malloc", TEXT(E));
... when != (n == NULL)
    when != (n != NULL)

@@
local idexpression n;
expression E, E1;
@@

n = calloc(E, E1);
+ if (n == NULL)
+ 	pkg_emit_errno("calloc", TEXT2(E, E1));
... when != (n == NULL)
    when != (n != NULL)

@@
local idexpression n;
expression E, E1;
@@

n = realloc(E, E1);
+ if (n == NULL)
+ 	pkg_emit_errno("realloc", TEXT2(E, E1));
... when != (n == NULL)
    when != (n != NULL)

@@
local idexpression n;
expression E;
@@

 n = strdup(E);
+ if (n == NULL)
+ 	pkg_emit_errno("strdup", TEXT(E));
... when != (n == NULL)
    when != (n != NULL)