![]() The debugging code using the freed structure is moved before the kfree. A simplified version of the semantic match that finds this problem is as follows: (http://coccinelle.lip6.fr/) // <smpl> @free@ expression E; position p; @@ kfree@p(E) @@ expression free.E, subE<=free.E, E1; position free.p; @@ kfree@p(E) ... ( subE = E1 | * E ) // </smpl> Signed-off-by: Julia Lawall <julia@diku.dk> Signed-off-by: James Bottomley <James.Bottomley@suse.de> |
||
---|---|---|
.. | ||
aachba.c | ||
aacraid.h | ||
commctrl.c | ||
comminit.c | ||
commsup.c | ||
dpcsup.c | ||
linit.c | ||
Makefile | ||
nark.c | ||
rkt.c | ||
rx.c | ||
sa.c | ||
TODO |