Na}{

Are you sure you want to delete the file badty.cocci?

Name	Size	Permission
add_namespace.cocci	837 bytes	0644
array_size.cocci	1729 bytes	0644
badty.cocci	1729 bytes	0644
boolconv.cocci	1506 bytes	0644
boolinit.cocci	2449 bytes	0644
boolreturn.cocci	698 bytes	0644
bugon.cocci	1515 bytes	0644
cond_no_effect.cocci	2121 bytes	0644
cstptr.cocci	852 bytes	0644
doubleinit.cocci	1408 bytes	0644
ifaddr.cocci	684 bytes	0644
ifcol.cocci	1258 bytes	0644
irqf_oneshot.cocci	1951 bytes	0644
noderef.cocci	1219 bytes	0644
of_table.cocci	1366 bytes	0644
orplus.cocci	1053 bytes	0644
returnvar.cocci	1286 bytes	0644
semicolon.cocci	1095 bytes	0644
warn.cocci	1686 bytes	0644