OpenSDV
/
linux-stable-rt
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
linux-stable-rt/drivers/media/dvb
History
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
..
b2c2
…
bt8xx
…
dm1105 V4L/DVB: Bug fix: make IR work again for dm1105 2010-06-01 01:24:20 -03:00
dvb-core V4L/DVB: dvb-core: Fix ULE decapsulation bug 2010-06-01 01:24:21 -03:00
dvb-usb V4L/DVB: m920x: Select simple tuner 2010-06-01 01:22:16 -03:00
firewire V4L/DVB: drivers/media: Eliminate a NULL pointer dereference 2010-06-01 01:24:22 -03:00
frontends V4L/DVB: drivers/media: Use kzalloc 2010-06-01 01:23:16 -03:00
mantis
…
ngene V4L/DVB: ngene: remove unused #include <linux/version.h> 2010-06-01 01:23:22 -03:00
pluto2
…
pt1
…
siano
…
ttpci V4L/DVB: Technotrend S2-3200 ships with a TT 1500 remote 2010-06-01 01:23:18 -03:00
ttusb-budget
…
ttusb-dec
…
Kconfig
…
Makefile
…