…
..
doublebitand.cocci	…
doubletest.cocci	…
odd_ptr_err.cocci	…
unsigned_lesser_than_zero.cocci	…