The tool specifically looks for data races.