Messages in this thread | | | From | Kumar Gala <> | Subject | Re: [PATCH 1/3] arch/powerpc: Add kmalloc NULL tests | Date | Thu, 6 Aug 2009 21:26:59 -0500 |
| |
On Aug 6, 2009, at 3:04 PM, Julia Lawall wrote:
> From: Julia Lawall <julia@diku.dk> > > Check that the result of kmalloc/kzalloc is not NULL before > dereferencing it. > > The semantic match that finds this problem is as follows: > (http://coccinelle.lip6.fr/) > > // <smpl> > @@ > expression *x; > identifier f; > constant char *C; > @@ > > x = \(kmalloc\|kcalloc\|kzalloc\)(...); > ... when != x == NULL > when != x != NULL > when != (x || ...) > ( > kfree(x) > | > f(...,C,...,x,...) > | > *f(...,x,...) > | > *x->f > ) > // </smpl> > > Signed-off-by: Julia Lawall <julia@diku.dk> > > --- > arch/powerpc/sysdev/fsl_rio.c | 18 ++++++++++++++---- > 1 files changed, 14 insertions(+), 4 deletions(-)
applied to next
- k
| |