Use GPUVerify. Ease the pain with KernelInterceptor.

The paper

How to Build

  1. Build as per for regular GPUVerify (http://multicore.doc.ic.ac.uk/tools/GPUVerify/)

How to Use

  1. #include the header file where OpenCL calls happen
  2. Add the cpp file to your build system
  3. Run your application
  4. gpuverify --check-all-intercepted

Contact

Ethel Bardsley, Alastair Donaldson, and John Wickerson.