https://123dok.com/in/docs/openmp-aware-analysis-improved-static-data-race-detection.10483113