1. 1024717 Coccinelle: Find nested lock+irqsave functions that use the same flags variables. by Julia Lawall · 14 years ago
  2. 54c0562 Coccinelle: Add locks/mini_lock.cocci by Nicolas Palix · 14 years ago
  3. 8aa6273 Coccinelle: Add locks/double_lock.cocci by Nicolas Palix · 14 years ago
  4. e105007 Coccinelle: Add locks/call_kern.cocci by Nicolas Palix · 14 years ago