1
0
Fork 0
alistair23-linux/drivers/platform/x86
Julia Lawall 0fc8f274ae drivers/platform/x86: Eliminate a NULL pointer dereference
Give different error messages if device_enum is NULL or if its type field
has the wrong value.

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: Matthew Garrett <mjg@redhat.com>
2010-08-03 09:48:44 -04:00
..
Kconfig drivers/platform/x86: Clarify the MRST IPC driver description slightly 2010-05-17 12:08:33 -04:00
Makefile IPC driver for Intel Mobile Internet Device (MID) platforms 2010-05-17 12:06:07 -04:00
acer-wmi.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
acerhdf.c drivers/platform/x86/acerhdf.c: check BIOS information whether it begins with string of table 2009-12-24 00:17:09 -05:00
asus-laptop.c asus: don't modify bluetooth/wlan on boot 2010-04-12 13:10:55 -04:00
asus_acpi.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
classmate-laptop.c classmate-laptop: Add RFKILL support. 2010-05-17 12:06:01 -04:00
compal-laptop.c backlight: Allow properties to be passed at registration 2010-03-16 19:47:54 +00:00
dell-laptop.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
dell-wmi.c dell-wmi: Fix memory leak 2010-04-12 13:10:19 -04:00
eeepc-laptop.c eeepc-laptop: add missing sparse_keymap_free 2010-04-23 15:23:21 -04:00
eeepc-wmi.c drivers/platform/x86/eeepc-wmi.c: fix build warning 2010-05-20 09:46:24 -04:00
fujitsu-laptop.c drivers/platform/x86: Use kzalloc 2010-05-20 09:26:13 -04:00
hp-wmi.c X86 platform: hp-wmi Better match the HP WMI query interface 2010-08-03 09:48:43 -04:00
intel_menlow.c intel_menlow: fix memory leaks in error path 2010-08-03 09:48:40 -04:00
intel_scu_ipc.c intel_scu_ipc: Oops/crash fixes 2010-07-19 13:17:37 -07:00
msi-laptop.c Move N014, N051 and CR620 dmi information to load scm dmi table 2010-05-20 10:16:13 -04:00
msi-wmi.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
panasonic-laptop.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
sony-laptop.c drivers/platform/x86: Eliminate a NULL pointer dereference 2010-08-03 09:48:44 -04:00
tc1100-wmi.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
thinkpad_acpi.c thinkpad-acpi: document backlight level writeback at driver init 2010-05-16 19:45:57 -03:00
topstar-laptop.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
toshiba_acpi.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
toshiba_bluetooth.c ACPI: replace acpi_integer by u64 2010-01-28 01:47:33 -05:00
wmi.c X86 platfrom wmi: Add debug facility to dump WMI data in a readable way 2010-05-20 09:46:21 -04:00