Infer# v1.2 brings the first interprocedural race condition detection to .NET, use it today locally in Windows.