The following set of Visual Studio® solutions shows exemplary code of concurrency issues that are detected by the HSR Parallel Checker. Each case is provided with an explanation of the issues and corresponding correction advice.

BankTest Download (137KB)
Deadlocks Download (170KB)
Quicksort Download (145KB)
Double-Checked Locking Download (147KB)
Finalizer Download (129KB)
Prime Checker UI Download (132KB)

The checker has also been applied on various large open-source projects, e.g. Roslyn, Mono etc.

Notice: Microsoft, Visual Studio, and Visual Basic are either registered trademarks or trademarks of Microsoft Corporation in the United States and/or other countries.

All trademarks, trade names etc. are the property of their respective owners.

HSR, HSR Parallel Checker, and the contributors DO NOT have any affiliation with any mentioned trademark holders.