Radish alpha
H
HardenedBSD-pkg
rad:z3QDZAW2FAfuLvihrhiyDC9fAD8G9
HardenedBSD Package Manager
Radicle
Git
.. 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
V
Vsevolod Stakhov
Merge branch 'master' into gsoc 12 years ago 8d30157 History
HardenedBSD-pkg › tests › cocci › notand.cocci 
// !x&y combines boolean negation with bitwise and
//
// Confidence: High
// Copyright: (C) Gilles Muller, Julia Lawall, EMN, INRIA, DIKU.  GPLv2.
// URL: http://coccinelle.lip6.fr/rules/notand.html
// Options:

@@ expression E; constant C; @@
(
  !E & !C
|
- !E & C
+ !(E & C)
)