Use GPUVerify. Ease the pain with KernelInterceptor.
The paper
How to Build
- Build as per for regular GPUVerify (http://multicore.doc.ic.ac.uk/tools/GPUVerify/)
How to Use
#include
the header file where OpenCL calls happen
- Add the cpp file to your build system
- Run your application
gpuverify --check-all-intercepted
Contact
Ethel Bardsley, Alastair Donaldson, and John Wickerson.