../ bad_zero.cocci 06-Mar-2012 19:13 405 comma.cocci 29-Oct-2019 19:46 901 ifaddr.cocci 12-Jun-2012 11:05 672 kfree.cocci 02-Jan-2012 02:10 1948 noderef.cocci 11-Jun-2012 08:59 990 unlock_return.cocci 28-Jun-2014 12:00 3859 useful_macros.cocci 11-Nov-2019 09:13 961