| badzero.cocci (e5451c8f8330e03ad3cfa16048b4daf961af434f) | badzero.cocci (e0be348e4d6ebd660c9558bcee50f648491cfef6) |
|---|---|
| 1/// Compare pointer-typed values to NULL rather than 0 2/// 3//# This makes an effort to choose between !x and x == NULL. !x is used 4//# if it has previously been used with the function used to initialize x. 5//# This relies on type information. More type information can be obtained 6//# using the option -all_includes and the option -I to specify an 7//# include path. 8// 9// Confidence: High 10// Copyright: (C) 2012 Julia Lawall, INRIA/LIP6. GPLv2. 11// Copyright: (C) 2012 Gilles Muller, INRIA/LiP6. GPLv2. 12// URL: http://coccinelle.lip6.fr/ | 1/// Compare pointer-typed values to NULL rather than 0 2/// 3//# This makes an effort to choose between !x and x == NULL. !x is used 4//# if it has previously been used with the function used to initialize x. 5//# This relies on type information. More type information can be obtained 6//# using the option -all_includes and the option -I to specify an 7//# include path. 8// 9// Confidence: High 10// Copyright: (C) 2012 Julia Lawall, INRIA/LIP6. GPLv2. 11// Copyright: (C) 2012 Gilles Muller, INRIA/LiP6. GPLv2. 12// URL: http://coccinelle.lip6.fr/ |
| 13// Comments: Requires Coccinelle version 1.0.0-rc20 or later | 13// Requires: 1.0.0 |
| 14// Options: 15 16virtual patch 17virtual context 18virtual org 19virtual report 20 21@initialize:ocaml@ --- 217 unchanged lines hidden --- | 14// Options: 15 16virtual patch 17virtual context 18virtual org 19virtual report 20 21@initialize:ocaml@ --- 217 unchanged lines hidden --- |