mfd: Correct use after free for t7l66xb
authorJulia Lawall <julia@diku.dk>
Tue, 22 Dec 2009 20:31:43 +0000 (21:31 +0100)
committerSamuel Ortiz <sameo@linux.intel.com>
Sun, 7 Mar 2010 21:16:55 +0000 (22:16 +0100)
The structure t7l66xb should not be freed before the subsequent references
to its fields in the arguments to clk_put.  Furthermore, this structure is
allocated near the beginning of the function, and a goto to the label
err_noirq appears after a successful allocation, so it would seem that the
kfree should be moved down below this label.

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>
drivers/mfd/t7l66xb.c

index e0bbddd7aac254b56af2edaaa64c834e5ab7bc1c..26d9176fca91968b3b450c698bc0dd1e1fca3d8d 100644 (file)
@@ -403,12 +403,12 @@ static int t7l66xb_probe(struct platform_device *dev)
 err_ioremap:
        release_resource(&t7l66xb->rscr);
 err_request_scr:
-       kfree(t7l66xb);
        clk_put(t7l66xb->clk48m);
 err_clk48m_get:
        clk_put(t7l66xb->clk32k);
 err_clk32k_get:
 err_noirq:
+       kfree(t7l66xb);
        return ret;
 }