100644 blob 025436a15040e571d1dbec671e8b3f59c919fe79	doublebitand.cocci
100644 blob c3d94c31959f29609b5afdc8e1b1cc608974f86f	doubletest.cocci
100644 blob 377436abe2d041cade4697a186454f5c9bc786fd	odd_ptr_err.cocci
100644 blob 5e188c62d8a9f5c07df36ccdcae004cf89e40861	unsigned_lesser_than_zero.cocci