../ doublebitand.cocci 06-Apr-2019 17:40 1127 doubletest.cocci 06-Apr-2019 17:40 1079 odd_ptr_err.cocci 06-Apr-2019 17:40 2118 unsigned_lesser_than_zero.cocci 06-Apr-2019 17:40 2163