Как использовать PVS-Studio бесплатно

Спасибо команде PVS за возможность попользоваться вашим продуктом. Внесу свои пару копеек в этот проект. Первый раз пользую статический анализатор, есть много интересного. Есть кое какие логические ошибки, которые могли бы анализатором тоже определяться. Например сегодня обнаружил, что если в сеттере свойтсва присвоение вызывать после OnPropertyChanged, это может давать непредвиденные результаты при попытке обрабатывать новое присвоенное значение в событие PropertyChanged. Короче вот так не правильно

set
            {
                if (_value == value)
                {
                    return;
                }
                OnPropertyChanged("Value");
               _value = value;
            }