/scripts/coccinelle/tests/
../
doublebitand.cocci
doubletest.cocci
odd_ptr_err.cocci
unsigned_lesser_than_zero.cocci