https://9dok.net/document/qmje5j18-static-data-race-analysis.html