Nicolas Palix 54c056280e Coccinelle: Add locks/mini_lock.cocci ...

Find missing unlocks.  This semantic match considers the specific case
where the unlock is missing from an if branch, and there is a lock
before the if and an unlock after the if.  False positives are due to
cases where the if branch represents a case where the function is
supposed to exit with the lock held, or where there is some preceding
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>

2010-08-31 11:37:53 +02:00

..

alloc

Add scripts/coccinelle/alloc/kzalloc-simple.cocci

2010-06-12 00:00:29 +02:00

locks

Coccinelle: Add locks/mini_lock.cocci

2010-08-31 11:37:53 +02:00

null

Coccinelle: Move deref_null.cocci to a more appropriate directory

2010-08-31 11:37:53 +02:00

err_cast.cocci

Add scripts/coccinelle/err_cast.cocci

2010-06-12 00:00:29 +02:00

resource_size.cocci

Add scripts/coccinelle/resource_size.cocci

2010-06-12 00:00:29 +02:00