AcoSail/kernel_optimize_test
8
0
Fork 0
forked from luck/tmp_suning_uos_patched
Code Pull Requests Activity
8b5d8dec7c
kernel_optimize_test/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 V4L/DVB: drivers/media: drop redundant memset 2010-05-18 00:46:51 -03:00
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 V4L/DVB: ir: prepare IR code for a parameter change at register function 2010-05-19 12:56:50 -03:00
ngene V4L/DVB: ngene: remove unused #include <linux/version.h> 2010-06-01 01:23:22 -03:00
pluto2 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
pt1 V4L/DVB: pt1: Support Earthsoft PT2 2010-05-19 12:57:32 -03:00
siano 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
ttpci V4L/DVB: Technotrend S2-3200 ships with a TT 1500 remote 2010-06-01 01:23:18 -03:00
ttusb-budget
ttusb-dec USB: rename usb_buffer_alloc() and usb_buffer_free() users 2010-05-20 13:21:38 -07:00
Kconfig V4L/DVB: ngene: Driver compiles now 2010-02-26 15:10:53 -03:00
Makefile V4L/DVB: ngene: Driver compiles now 2010-02-26 15:10:53 -03:00