| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2012-01-15 | scripts/coccinelle: improve the coverage of some semantic patches | Julia Lawall | |
| 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> | |||
| 2010-08-31 | Coccinelle: Add locks/mini_lock.cocci | Nicolas Palix | |
| 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> | |||
 |
index : linux | |
| Linux kernel source tree | git repository hosting |
| aboutsummaryrefslogtreecommitdiff |