Parallel Checker for Visual Studio
Project started in 2014, active. Institute Research Project.
Concurrency errors, such as data races and deadlocks occur non-deterministically and are therefore particularly hard to find, not only by testing. For this reason, we develop an efficient static checker for Visual Studio that detects data race and deadlock issues in C# at compile- or code-writing-time. With our new analysis algorithm, the checker runs very fast and exhibits very few false positives or false negatives. Issues are conveniently highlighted directly in the source code while working in the IDE. The implementation is based on Microsoft Roslyn for Visual Studio 2015. A prototype release is planned for 2017.
Figure: Parallel Checker highlighting a data race issue in C#.
For further information, please do not hesitate to contact us: Contact