kernel-fxtec-pro1x/drivers/media/radio/si470x
Julia Lawall ed0ee8e1fb V4L/DVB (13948): radio: Correct use after free
It is not clear how to share the unlock in the case where the structure
containing the lock has to be freed.  So the unlock is now duplicated, with
one copy moved before the free.  The unlock label furthermore is no longer
useful and is thus deleted.

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

// <smpl>
@@
expression x,e;
identifier f;
iterator I;
statement S;
@@

*kfree(x);
... when != &x
    when != x = e
    when != I(x,...) S
*x->f
// </smpl>

Signed-off-by: Julia Lawall <julia@diku.dk>
Signed-off-by: Mauro Carvalho Chehab <mchehab@redhat.com>
2010-02-26 15:10:33 -03:00
..
Kconfig V4L/DVB (12416): radio-si470x: add i2c driver for si470x 2009-09-12 12:18:43 -03:00
Makefile V4L/DVB (12416): radio-si470x: add i2c driver for si470x 2009-09-12 12:18:43 -03:00
radio-si470x-common.c V4L/DVB (13599): radio-si470x: move some file operations to common file 2009-12-16 00:18:34 -02:00
radio-si470x-i2c.c V4L/DVB (13601): radio-si470x: support PM functions 2009-12-16 00:18:36 -02:00
radio-si470x-usb.c V4L/DVB (13948): radio: Correct use after free 2010-02-26 15:10:33 -03:00
radio-si470x.h V4L/DVB (13690): radio/si470x: #include <sched.h> 2009-12-16 09:28:00 -02:00