Julia Lawall e20144770f
V4L/DVB: drivers/media/video: avoid NULL dereference ...
It seems impossible for ov to be NULL at this point.
The semantic match that finds the problem is as follows:
(http://coccinelle.lip6.fr/ )
// <smpl>
@r exists@
expression E, E1;
identifier f;
statement S1,S3;
iterator iter;
@@
if ((E == NULL && ...) || ...)
{
... when != false ((E == NULL && ...) || ...)
when != true ((E != NULL && ...) || ...)
when != iter(E,...) S1
when != E = E1
(
sizeof(E->f)
|
* E->f
)
... when any
return ...;
}
else S3
// </smpl>
Signed-off-by: Julia Lawall <julia@diku.dk >
Signed-off-by: Douglas Schilling Landgraf <dougsland@redhat.com >
Signed-off-by: Mauro Carvalho Chehab <mchehab@redhat.com >
2010-05-19 12:56:42 -03:00
2010-05-11 10:07:53 -07:00
2010-05-05 14:48:48 -04:00
2010-03-30 22:02:32 +09:00
2010-03-30 22:02:32 +09:00
2010-04-09 10:05:33 -07:00
2010-05-04 08:48:53 +02:00
2010-03-30 22:02:32 +09:00
2010-02-26 13:58:08 +01:00
2010-05-13 12:10:56 -07:00
2010-03-30 22:02:32 +09:00
2010-03-30 22:02:32 +09:00
2010-04-24 11:35:21 -07:00
2010-05-09 18:35:36 -07:00
2010-03-30 22:02:32 +09:00
2010-03-30 22:02:32 +09:00
2010-05-06 08:37:39 -07:00
2010-04-30 10:15:39 -07:00
2010-03-06 11:26:32 -08:00
2010-04-22 12:54:54 -07:00
2010-04-07 11:02:23 -07:00
2010-05-11 17:33:41 -07:00
2010-05-11 17:33:42 -07:00
2010-05-07 23:33:52 +02:00
2010-05-11 17:38:04 -07:00
2010-05-04 11:09:28 +02:00
2010-05-05 14:48:48 -04:00
2010-03-30 22:02:32 +09:00
2010-03-30 22:02:32 +09:00
2010-04-09 11:53:06 -07:00
2010-05-13 07:28:43 -07:00
2010-04-19 11:53:17 -07:00
2010-03-30 22:02:32 +09:00
2010-04-14 21:43:56 +09:30
2010-04-07 08:38:03 -07:00
2010-05-07 21:10:57 +10:00
2010-05-19 12:56:42 -03:00
2010-03-30 22:02:32 +09:00
2010-03-30 22:02:32 +09:00
2010-05-13 12:58:55 +02:00
2010-04-24 11:31:26 -07:00
2010-05-15 12:48:10 -07:00
2010-05-05 15:25:12 -04:00
2010-05-11 10:11:40 -07:00
2010-03-30 22:02:32 +09:00
2010-04-28 01:07:29 -06:00
2010-03-30 22:02:32 +09:00
2010-03-30 22:02:32 +09:00
2010-03-30 22:02:32 +09:00
2010-05-12 18:39:45 -07:00
2010-05-07 14:11:09 -07:00
2010-04-23 15:23:21 -04:00
2010-05-06 22:04:31 -04:00
2010-03-30 22:02:32 +09:00
2010-03-30 22:02:32 +09:00
2010-03-30 22:02:32 +09:00
2010-04-28 15:24:34 +01:00
2010-04-07 08:38:05 -07:00
2010-05-12 09:32:26 +02:00
2010-03-30 22:02:32 +09:00
2010-05-05 12:15:57 -04:00
2010-05-13 12:10:56 -07:00
2010-03-30 22:02:32 +09:00
2010-03-30 22:02:32 +09:00
2010-04-28 01:25:43 -06:00
2010-04-12 17:26:14 +01:00
2010-05-19 12:56:40 -03:00
2010-03-30 22:02:32 +09:00
2010-04-07 08:38:03 -07:00
2010-03-30 22:02:32 +09:00
2010-05-15 07:16:33 -04:00
2010-03-30 22:02:32 +09:00
2010-05-12 18:04:04 +03:00
2010-05-11 17:33:42 -07:00
2010-04-22 07:34:05 -07:00
2010-03-30 22:02:32 +09:00
2010-04-24 11:31:25 -07:00
2010-05-12 11:18:14 +01:00
2010-03-30 22:02:32 +09:00
2010-02-15 15:38:10 +01:00
2010-03-06 11:26:28 -08:00
2010-05-07 14:01:17 -07:00
e20144770f