Charactering and Detecting CUDA Program Bugs