Experimental version of PVS-Studio, supporting C #

We have a pilot version of the analyzer PVS-Studio, which is able to analyze C # -projects and which can show the world. It is not Release, or even Beta. It's just the current assembly of PVS-Studio. We want as soon as possible to start getting feedback from our users, or potential users regarding support C #. Therefore, offer enthusiasts to try a new version of PVS-Studio on their C # -project and tell us about the results, shortcomings and to express their wishes. Oh, and of course in the article will describe the results of the check of the next project - SharpDevelop.

PVS-Studio

Now one of the important questions is: "Why do regular code analysis tool for C #».

Let's try to answer as the potential users, and to ourselves, to understand clearly why and where we are heading.

The base implementation INotifyPropertyChanged

WPF in something repeated the fate js - due to some unresolved issues on the platform level, many are trying to become pioneers on a par with Karl von Dresen.

Problem

In the case of the INPC in the ViewModel properties there are often dependent on others or calculated based on them. For .net 4.0 The situation with the implementation of complicated by the fact that CallerMemberNameAttribute not supported in this version (actually supported if you are a magician and sorcerer).

Decision