Age | Commit message (Collapse) | Author | |
---|---|---|---|
2013-07-03 | Coccinelle: Update the options used to the new option scheme | Nicolas Palix | |
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> | |||
2010-08-31 | Coccinelle: Add locks/double_lock.cocci | Nicolas Palix | |
Find double locks. False positives may occur when some paths cannot occur at execution, due to the values of variables, and when there is an intervening function call that releases the lock. Signed-off-by: Nicolas Palix <npalix@diku.dk> Signed-off-by: Julia Lawall <julia@diku.dk> Signed-off-by: Michal Marek <mmarek@suse.cz> |