huangliang 4b7a0684d9 first debug version 1 rok temu
..
doublebitand.cocci 4b7a0684d9 first debug version 1 rok temu
doubletest.cocci 4b7a0684d9 first debug version 1 rok temu
odd_ptr_err.cocci 4b7a0684d9 first debug version 1 rok temu
unsigned_lesser_than_zero.cocci 4b7a0684d9 first debug version 1 rok temu