linux-toradex.git/scripts/coccinelle/free, branch v3.13.8 Linux kernel for Apalis and Colibri modules Coccinelle: Update the options used to the new option scheme 2013-07-03T20:58:13+00:00 Nicolas Palix nicolas.palix@imag.fr 2013-06-20T11:10:56+00:00 93f14468491747d6d3efd0b3a42785b1d51a127a 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 <nicolas.palix@imag.fr> Signed-off-by: Michal Marek <mmarek@suse.cz> 
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 <nicolas.palix@imag.fr>
Signed-off-by: Michal Marek <mmarek@suse.cz>
scripts: Coccinelle script for pci_free_consistent() 2013-07-03T13:50:38+00:00 strnape1@fel.cvut.cz strnape1@fel.cvut.cz 2013-05-08T21:03:08+00:00 f7b167113753e95ae61383e234f8d10142782ace Created coccinelle script for reporting missing pci_free_consistent() calls. Signed-off-by: Petr Strnad <strnape1@fel.cvut.cz> Signed-off-by: Nicolas Palix <nicolas.palix@imag.fr> Signed-off-by: Michal Marek <mmarek@suse.cz> 
Created coccinelle script for reporting missing pci_free_consistent() calls.

Signed-off-by: Petr Strnad <strnape1@fel.cvut.cz>
Signed-off-by: Nicolas Palix <nicolas.palix@imag.fr>
Signed-off-by: Michal Marek <mmarek@suse.cz>
scripts/coccinelle: check for field address argument to kfree 2013-06-14T13:33:08+00:00 Julia Lawall Julia.Lawall@lip6.fr 2013-06-08T16:21:42+00:00 61cb48c3f93adee633f996dd40ff5267fae55b3a The argument to kfree should not be the address of a structure field. Signed-off-by: Julia Lawall <Julia.Lawall@lip6.fr> Signed-off-by: Michal Marek <mmarek@suse.cz> 
The argument to kfree should not be the address of a structure field.

Signed-off-by: Julia Lawall <Julia.Lawall@lip6.fr>
Signed-off-by: Michal Marek <mmarek@suse.cz>
coccinelle: semantic patch for missing iounmap 2012-02-24T23:07:11+00:00 Julia Lawall Julia.Lawall@lip6.fr 2012-01-27T20:41:27+00:00 cd0207a7bfd29016a4eeb0b0203fa900b41e4eee Signed-off-by: Julia Lawall <Julia.Lawall@lip6.fr> Signed-off-by: Michal Marek <mmarek@suse.cz> 
Signed-off-by: Julia Lawall <Julia.Lawall@lip6.fr>
Signed-off-by: Michal Marek <mmarek@suse.cz>
coccinelle: semantic patch for missing clk_put 2012-02-24T23:07:11+00:00 Julia Lawall Julia.Lawall@lip6.fr 2012-01-27T20:41:26+00:00 53302c1dfa8a911b88e68634ed56fcf577037fac Signed-off-by: Julia Lawall <Julia.Lawall@lip6.fr> Signed-off-by: Michal Marek <mmarek@suse.cz> 
Signed-off-by: Julia Lawall <Julia.Lawall@lip6.fr>
Signed-off-by: Michal Marek <mmarek@suse.cz>
scripts/coccinelle: improve the coverage of some semantic patches 2012-01-14T23:05:46+00:00 Julia Lawall Julia.Lawall@lip6.fr 2012-01-14T22:41:54+00:00 29a36d4dec6cf7ad72e6e3337bf954096cbbb4cf 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 <Julia.Lawall@lip6.fr> Signed-off-by: Michal Marek <mmarek@suse.cz> 
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 <Julia.Lawall@lip6.fr>
Signed-off-by: Michal Marek <mmarek@suse.cz>
coccinelle: semantic patches related to devm_ functions (part 2) 2012-01-14T21:40:04+00:00 Julia Lawall Julia.Lawall@lip6.fr 2011-12-27T17:28:51+00:00 fb3f8af4ff52faf9b31e6c4e8ca0b0b16332808c 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 <Julia.Lawall@lip6.fr> Signed-off-by: Michal Marek <mmarek@suse.cz> 
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 <Julia.Lawall@lip6.fr>
Signed-off-by: Michal Marek <mmarek@suse.cz>
Coccinelle: Use new comment format to explain kfree.cocci 2010-10-13T12:26:06+00:00 Nicolas Palix npalix.work@gmail.com 2010-10-08T19:27:39+00:00 e90f6590219a0082618b9b6828458b1c74f37cc0 Use new comment format to separate proposed commit message and information about generated false positives Signed-off-by: Nicolas Palix <npalix.work@gmail.com> Signed-off-by: Julia Lawall <julia@diku.dk> Signed-off-by: Michal Marek <mmarek@suse.cz> 
Use new comment format to separate proposed commit message
and information about generated false positives

Signed-off-by: Nicolas Palix <npalix.work@gmail.com>
Signed-off-by: Julia Lawall <julia@diku.dk>
Signed-off-by: Michal Marek <mmarek@suse.cz>
Coccinelle: Add free/kfree.cocci 2010-08-31T09:37:53+00:00 Nicolas Palix npalix@diku.dk 2010-08-24T15:39:04+00:00 43ba21b57a3e757000bfa8ccf46c81f232b4d881 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 <npalix@diku.dk> Signed-off-by: Julia Lawall <julia@diku.dk> Signed-off-by: Michal Marek <mmarek@suse.cz> 
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 <npalix@diku.dk>
Signed-off-by: Julia Lawall <julia@diku.dk>
Signed-off-by: Michal Marek <mmarek@suse.cz>