Разработка диагностики V3133.
В этом видео будет кратко показано, как разрабатываются новые диагностики для статического анализатора PVS-Studio на примере новой C# диагностики. Будет продемонстрировано, как идея или случайно найденная ошибка в коде превращается в полноценную диагностику.
P.S. Поскольку данная диагностика разрабатывалась в режиме live, то в коде была допущена небольшая ошибка, которая в конечном итоге не влияет на работу диагностики. Это еще раз доказывает, что никто не застрахован от ошибок и статический анализатор является лучшим другом для программиста. Ошибку можно увидеть в коде диагностики на строке 26. На самом деле вместо node.Dec... нужно использовать node.Right.Dec..., так как инкремент или декремент мы ищем только в правой части выражения. Но поскольку в левой части выражения может быть только переменная, это не повлияло на корректность работы диагностики.
Все диагностики - https://www.viva64.com/ru/w/
0