microsoft
/
WSL2-Linux-Kernel
зеркало из https://github.com/microsoft/WSL2-Linux-Kernel.git
1
0
Форкнуть 0
Код Задачи Пакеты Проекты Релизы Вики Активность
WSL2-Linux-Kernel/drivers/s390/char
История
Julia Lawall 1783e60ff2 [S390] tape_3590.c: introduce missing kfree 
The semantic match that finds the problem is as follows:
(http://www.emn.fr/x-info/coccinelle/)

@r exists@
expression E,E1;
statement S;
position p1,p2,p3;
@@

E =@p1 \(kmalloc\|kcalloc\|kzalloc\)(...)
... when != E = E1
if (E == NULL || ...) S
... when != E = E1
if@p2 (...) {
 ... when != kfree(E)
 }
... when != E = E1
kfree@p3(E);

@forall@
position r.p2;
expression r.E;
int E1 != 0;
@@

* if@p2 (...) {
 ... when != kfree(E)
     when strict
return E1; }

Signed-off-by: Julia Lawall <julia@diku.dk>
Signed-off-by: Martin Schwidefsky <schwidefsky@de.ibm.com>
 		2008-06-10 10:03:28 +02:00
..
Kconfig [S390] sclp: kill unused SCLP config option. 2007-07-27 12:29:18 +02:00
Makefile [S390] sclp: convert channel path configure code to use sync interface. 2008-01-26 14:11:10 +01:00
con3215.c s390 tty: Prepare for put_char to return success/fail 2008-04-30 08:29:45 -07:00
con3270.c [S390] Get rid of a bunch of sparse warnings again. 2007-10-12 16:13:06 +02:00
ctrlchar.c [S390] workqueue fixes. 2006-12-08 15:53:52 +01:00
ctrlchar.h
…
defkeymap.c Build fix for drivers/s390/char/defkeymap.c 2008-03-04 08:01:26 -08:00
defkeymap.map
…
fs3270.c [PATCH] mark struct file_operations const 5 2007-02-12 09:48:45 -08:00
keyboard.c unicode diacritics support 2007-10-17 08:42:52 -07:00
keyboard.h unicode diacritics support 2007-10-17 08:42:52 -07:00
monreader.c [S390] Remove code duplication from monreader / dcssblk. 2008-04-17 07:47:07 +02:00
monwriter.c [S390] drivers/s390: Add missing "space" 2008-01-26 14:11:19 +01:00
raw3270.c [S390] 3270: fix race with stack local wait_queue_head_t. 2008-05-30 10:03:35 +02:00
raw3270.h [S390] Fix sparse warnings. 2006-07-12 16:41:55 +02:00
sclp.c [S390] sclp: clean up send/receive naming scheme 2008-02-19 15:29:34 +01:00
sclp.h [S390] sclp: clean up send/receive naming scheme 2008-02-19 15:29:34 +01:00
sclp_cmd.c [S390] Get rid of additional_cpus kernel parameter. 2008-01-26 14:11:15 +01:00
sclp_con.c [S390] Avoid excessive inlining. 2007-02-05 21:18:53 +01:00
sclp_config.c [S390] Fix section mismatch warnings. 2008-05-30 10:03:34 +02:00
sclp_cpi.c [S390] sclp: sysfs interface for SCLP cpi 2008-01-26 14:11:08 +01:00
sclp_cpi_sys.c [S390] sclp: clean up send/receive naming scheme 2008-02-19 15:29:34 +01:00
sclp_cpi_sys.h [S390] sclp: sysfs interface for SCLP cpi 2008-01-26 14:11:08 +01:00
sclp_quiesce.c [S390] sclp: fix coding style. 2007-04-27 16:01:45 +02:00
sclp_rw.c [S390] sclp: clean up send/receive naming scheme 2008-02-19 15:29:34 +01:00
sclp_rw.h
…
sclp_sdias.c [S390] Avoid sparse warnings. 2007-05-10 15:45:52 +02:00
sclp_tty.c s390 tty: Prepare for put_char to return success/fail 2008-04-30 08:29:45 -07:00
sclp_tty.h
…
sclp_vt220.c [S390] vt220 console, initialize list head before use 2008-06-10 10:03:27 +02:00
tape.h [S390] tape: fix race with stack local wait_queue_head_t. 2008-05-30 10:03:36 +02:00
tape_34xx.c [S390] replace remaining __FUNCTION__ occurrences 2008-04-17 07:47:04 +02:00
tape_3590.c [S390] tape_3590.c: introduce missing kfree 2008-06-10 10:03:28 +02:00
tape_3590.h [S390] tape: New read configuration data. 2007-05-04 18:48:26 +02:00
tape_block.c [S390] tape: Fix race condition in tape block device driver 2008-05-30 10:03:33 +02:00
tape_char.c [S390] tape: duplicate sysfs filename when setting tape device online 2008-04-17 07:46:59 +02:00
tape_class.c [S390] tape: duplicate sysfs filename when setting tape device online 2008-04-17 07:46:59 +02:00
tape_class.h [S390] tape: duplicate sysfs filename when setting tape device online 2008-04-17 07:46:59 +02:00
tape_core.c [S390] tape: fix race with stack local wait_queue_head_t. 2008-05-30 10:03:36 +02:00
tape_proc.c s390: use non-racy method for proc entries creation 2008-04-29 08:06:21 -07:00
tape_std.c [S390] tape: Compression overwrites crypto setting 2007-03-05 23:35:47 +01:00
tape_std.h [PATCH] s390: tape 3590 changes 2006-04-28 08:33:48 -07:00
tty3270.c [S390] tty3270: fix put_char fail/success conversion. 2008-05-07 09:23:02 +02:00
tty3270.h [S390] Get rid of a bunch of sparse warnings again. 2007-10-12 16:13:06 +02:00
vmcp.c [S390] vmcp cleanup 2007-07-17 13:36:19 +02:00
vmcp.h [S390] vmcp cleanup 2007-07-17 13:36:19 +02:00
vmlogrdr.c s390: fix race in device_create 2008-05-20 13:31:56 -07:00
vmur.c [S390] vmur: Use wait queue instead of mutex to serialize open 2008-04-17 07:46:59 +02:00
vmur.h [S390] vmur: Use wait queue instead of mutex to serialize open 2008-04-17 07:46:59 +02:00
vmwatchdog.c [S390] replace remaining __FUNCTION__ occurrences 2008-04-17 07:47:04 +02:00
zcore.c [S390] replace remaining __FUNCTION__ occurrences 2008-04-17 07:47:04 +02:00