Продолжаем изучать Tizen: C# компоненты оказались высокого качества

Наверное, две. Первая — подведение итогов. И вторая, более пристальный взгляд на EFL.

Сравнение PVS-Studio C# и статического анализатора, встроенного в Visual Studio, на базе кода проекта CruiseControl.NET

Он обнаружил все случаи потенциального доступа по нулевой ссылке (>700), из которых я вручную выбрал те, которые мы считаем ошибками. Их же нашел и PVS-Studio.

Топ 10 ошибок в проектах C# за 2016 год

Если вы хотите предложить проект для проверки, пожалуйста воспользуйтесь рекомендациями из нашей недавней статьи

Топ 10 ошибок в проектах C# за 2016 год

или так:

Replace("'", @"\'")

Топ 10 ошибок в проектах C# за 2016 год

В документации приведен синтетический пример. Конечно, он не идеален. Но смысл — указать на возможный путь обхода проблемы, а конечную логику в каждом конкретном случае придумает сам разработчик. В данном примере можно было бы ввести дополнительный флаг, сигнализирующий об установке переменной значения по-умолчанию (0) в сеттере, и использовать его в геттере.

Топ 10 ошибок в проектах C# за 2016 год

Ранее она инициализирована значением по умолчанию = 15000

Обнаружение в коде дефекта «разыменование нулевого указателя»

Процитировав Ваш комментарий, я хотел сказать, что Вы же вроде за конкуренцию на Хабре…

Обнаружение в коде дефекта «разыменование нулевого указателя»

«Долой PVS-Studio! Да здравствует конкуренция на Хабре.»

Ищем и анализируем ошибки в коде GitExtensions

Для статического анализа свойственно обнаруживать ошибки в редко- или даже никогда не выполняющемся коде. Именно поэтому такой код «как-то работает». Однако, в любой момент в исходник могут быть внесены изменения, после которых такой код станет часто используемым. При этом выяснение причин возможных неполадок будет затруднено. Именно поэтому полезно использовать именно регулярный статический анализ. Чтобы потом не искать ошибки в коде, написанном 3 года назад, да еще почти не использовавшемся.