04 Jul, 2013

1 commit

• 93f144684   Coccinelle: Update the options used to the new option scheme ... Browse Code »

  spatch has changed its option scheme.
  E.g., --no_show_diff is now --no-show-diff

  This patch updates:
  - scripts/coccicheck
  - Semantic patches under scripts/coccinelle/

  Signed-off-by: Nicolas Palix
  Signed-off-by: Michal Marek

  Nicolas Palix

  2013-07-04 04:58:13 +0800  

03 Jul, 2013

1 commit

• f7b167113   scripts: Coccinelle script for pci_free_consistent() ... Browse Code »

  Created coccinelle script for reporting missing pci_free_consistent() calls.

  Signed-off-by: Petr Strnad
  Signed-off-by: Nicolas Palix
  Signed-off-by: Michal Marek

  strnape1@fel.cvut.cz

  2013-07-03 21:50:38 +0800  

14 Jun, 2013

1 commit

• 61cb48c3f   scripts/coccinelle: check for field address argument to kfree ... Browse Code »

  The argument to kfree should not be the address of a structure field.

  Signed-off-by: Julia Lawall
  Signed-off-by: Michal Marek

  Julia Lawall

  2013-06-14 21:33:08 +0800  

25 Feb, 2012

2 commits

• cd0207a7b   coccinelle: semantic patch for missing iounmap ... Browse Code »

  Signed-off-by: Julia Lawall
  Signed-off-by: Michal Marek

  Julia Lawall

  2012-02-25 07:07:11 +0800  
• 53302c1df   coccinelle: semantic patch for missing clk_put ... Browse Code »

  Signed-off-by: Julia Lawall
  Signed-off-by: Michal Marek

  Julia Lawall

  2012-02-25 07:07:11 +0800  

15 Jan, 2012

2 commits

• 29a36d4de   scripts/coccinelle: improve the coverage of some semantic patches ... Browse Code »

  This patch ensures that all semantic patches in the scripts/coccinelle
  directory provide the report option. Report messages that include line
  numbers now have the line number preceded by "line" for easier subsequent
  processing.

  Signed-off-by: Julia Lawall
  Signed-off-by: Michal Marek

  Julia Lawall

  2012-01-15 07:05:46 +0800  
• fb3f8af4f   coccinelle: semantic patches related to devm_ functions (part 2) ... Browse Code »

  devm_ functions allocate memory that is to remain allocated until the
  device is detached. This patch checks for freeing of such memory using
  standard memory freeing functions.

  Signed-off-by: Julia Lawall
  Signed-off-by: Michal Marek

  Julia Lawall

  2012-01-15 05:40:04 +0800  

13 Oct, 2010

1 commit

• e90f65902   Coccinelle: Use new comment format to explain kfree.cocci ... Browse Code »

  Use new comment format to separate proposed commit message
  and information about generated false positives

  Signed-off-by: Nicolas Palix
  Signed-off-by: Julia Lawall
  Signed-off-by: Michal Marek

  Nicolas Palix

  2010-10-13 20:26:06 +0800  

31 Aug, 2010

1 commit

• 43ba21b57   Coccinelle: Add free/kfree.cocci ... Browse Code »

  Find a use after free. Values of variables may imply that some
  execution paths are not possible, resulting in false positives.
  Another source of false positives are macros such as
  SCTP_DBG_OBJCNT_DEC that do not actually evaluate their argument

  Signed-off-by: Nicolas Palix
  Signed-off-by: Julia Lawall
  Signed-off-by: Michal Marek

  Nicolas Palix

  2010-08-31 17:37:53 +0800