Overview

The HSR Parallel Checker is a static analyzer for Visual Studio® and VS Code that detects data races, deadlocks and other concurrency issues in C#.

Highlights

  • Static: Finds issues that are hard to identify through tests.
  • Fast: Takes only a few seconds, even for large projects.
  • Precise: Detects real issues that can occur indeed at runtime.
  • Interactive: Highlights issues while coding in Visual Studio® or VS Code IDE.

NEW: NuGet Analyzer for VS Code

The HSR Parallel Checker is now also available as NuGet package, such that it can be conveniently used in the VS Code integrated development environment.

May 2020: Version 1.6 released!

An updated version of HSR Parallel Checker has been released that supports C# 8 downwards and Visual Studio 2019 16.5 onwards, including the VS 2019 preview.

Academic Publication

The checker algorithm, design and implementation is described in an academic publication:

  • L. Bläser. Practical Detection of Concurrency Issues at Coding Time. International Symposium on Software Testing and Analysis (ISSTA) 2018, Amsterdam, The Netherlands, In ACM Digital Library, July 2018.

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.