tests/cocci/andand.cocci — HardenedBSD-pkg

rad:z3QDZAW2FAfuLvihrhiyDC9fAD8G9

HardenedBSD Package Manager

.. pkg andand.cocci andconst.cocci badzero.cocci continue.cocci find_unsigned.cocci noderef.cocci notand.cocci notnull.cocci null_ref.cocci README.md sizeof.cocci unused.cocci

Vsevolod Stakhov

Merge branch 'master' into gsoc 12 years ago 8d30157 History

// The right argument of || or && is dereferencing something known to be NULL
//
// Confidence: High
// Copyright: (C) Gilles Muller, Julia Lawall, EMN, INRIA, DIKU.  GPLv2.
// URL: http://coccinelle.lip6.fr/rules/andand.html
// Options:

@ expression@
expression E;
identifier fld;
@@

- !E &&
+ !E ||
  <+...E->fld...+>

@ expression@
expression E;
identifier fld;
@@

- E ||
+ E &&
  <+...E->fld...+>