Skip to content
Snippets Groups Projects
  1. Oct 27, 2009
  2. Oct 20, 2009
  3. Oct 07, 2009
  4. Sep 15, 2009
  5. Sep 01, 2009
  6. Aug 04, 2009
  7. Aug 03, 2009
    • Julia Lawall's avatar
      drivers/net/wireless: introduce missing kfree · 9f9857bb
      Julia Lawall authored
      Error handling code following a kzalloc should free the allocated data.
      
      The semantic match that finds the problem is as follows:
      (http://www.emn.fr/x-info/coccinelle/
      
      )
      
      // <smpl>
      @r exists@
      local idexpression x;
      statement S;
      expression E;
      identifier f,f1,l;
      position p1,p2;
      expression *ptr != NULL;
      @@
      
      x@p1 = \(kmalloc\|kzalloc\|kcalloc\)(...);
      ...
      if (x == NULL) S
      <... when != x
           when != if (...) { <+...x...+> }
      (
      x->f1 = E
      |
       (x->f1 == NULL || ...)
      |
       f(...,x->f1,...)
      )
      ...>
      (
       return \(0\|<+...x...+>\|ptr\);
      |
       return@p2 ...;
      )
      
      @script:python@
      p1 << r.p1;
      p2 << r.p2;
      @@
      
      print "* file: %s kmalloc %s return %s" % (p1[0].file,p1[0].line,p2[0].line)
      // </smpl>
      
      Signed-off-by: default avatarJulia Lawall <julia@diku.dk>
      Signed-off-by: default avatarJohn W. Linville <linville@tuxdriver.com>
      9f9857bb
  8. Jul 29, 2009
  9. Jul 27, 2009
  10. Jul 26, 2009
  11. Jul 24, 2009
  12. Jul 21, 2009
  13. Jul 10, 2009
Loading