A parallel data race detection tool for OpenMP programs.