OpenMP provides high-level abstractions and rich functionality for GPU programming.
However, understanding the complex semantics of various combinations of pragmas
is not trivial and leads to their wrong usage. We present a static analysis
technique to detect incorrect usage of OpenMP target data mapping. Assuming the
correctness of underlying sequential programs, our approach detects the OpenMP
errors by comparing the data flow information of the original OpenMP version
with the sequential. Our tool then also suggests the OpenMP pragmas that must be
used for correct behavior.