1
linux/drivers/media/dvb/firewire
Julia Lawall 4202066c69 V4L/DVB: drivers/media: Eliminate a NULL pointer dereference
In each case, the print involves dereferencing a value that is NULL or is
near NULL.

A simplified version of the semantic match that finds this problem is as
follows: (http://coccinelle.lip6.fr/)

// <smpl>
@r exists@
expression E,E1;
identifier f;
statement S1,S2,S3;
@@

if ((E == NULL && ...) || ...)
{
  ... when != if (...) S1 else S2
      when != E = E1
* E->f
  ... when any
  return ...;
}
else S3
// </smpl>

Signed-off-by: Julia Lawall <julia@diku.dk>
Signed-off-by: Mauro Carvalho Chehab <mchehab@redhat.com>
2010-06-01 01:24:22 -03:00
..
firedtv-1394.c V4L/DVB: drivers/media: Eliminate a NULL pointer dereference 2010-06-01 01:24:22 -03:00
firedtv-avc.c V4L/DVB: firedtv: correct version number and current/next in CA_PMT 2010-05-18 00:46:27 -03:00
firedtv-ci.c dvb: Push down BKL into ioctl functions 2010-05-17 05:27:04 +02:00
firedtv-dvb.c
firedtv-fe.c
firedtv-fw.c
firedtv-rc.c include cleanup: Update gfp.h and slab.h includes to prepare for breaking implicit slab.h inclusion from percpu.h 2010-03-30 22:02:32 +09:00
firedtv.h
Kconfig
Makefile