Cudagrind: A Valgrind Extension for CUDA