tests/cocci/pkg/strlcat.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

// strlcat(3) is meant to be checked for returned value.
//
// Confidence: High
// Copyright: (C) The pkgng project, see COPYING.
// URL: https://github.com/freebsd/pkg/tree/master/tests/cocci/pkg/strlcat.cocci

@@
expression E, E1, S;
@@

- strlcat(E, E1, S);
+ if (strlcat(E, E1, S) >= S)
+ 	pkg_emit_errno("strlcat", TEXT(S));