CUDA concolic tool