✅Ответ на задачу: при инициализации taxRates через transaction.summary?. допускается, что taxRates может быть null. Затем переменная используется в foreach, что при null приведёт к исключению NullReferenceException, так как у коллекции неявно вызывается GetEnumerator.

🚀Рассказываем про новые диагностики

В новым релизе PVS-Studio — 7.34, команда C# анализатора сфокусировалась на улучшении Unity направления, но и про диагностики общего назначения не забывает. Сегодня разберем одну из таких – V3207.

В новой диагностике анализатор выявляет некорректное использование паттерна 'not A or B', связанного с путаницей в порядке операций.
Рассмотрим пример кода:

private void ShowWordDetails(string key)
{
  if (key is not "" or null)
  {
    PanelReferenceBox.Controls.Clear();

    CurrentWord = Words.Find(x => x.Name == key);
    ....
  }
}

В начале метода присутствует проверка входного параметра 'key' на пустую строку или 'null'.

Но в логике условного выражения была допущена ошибка. Все дело в том, что приоритет оператора 'not' выше, чем у оператора 'or'. Вследствие этого отрицание не применяется к правой части выражения и если 'key' будет иметь значение 'null' – условие будет 'true'.

Вы еще не забыли про Unity? А мы все равно напомним! В этом релизе появилось сразу 4 новых Untiy-специфичных диагностических правила: V3208, V3209, V3210, V4007.

Но на этом мы не закончили улучшение анализа Unity проектов, ждите еще больше новых диагностик!

#csharp #PVS_Studio

✅Ответ на задачу: Переменная gps_dst->fill_opacity_fac присваивается сама себе. Скорее всего, имеет место быть опечатка, и в правой части присвоения должно быть другое выражение.

✅Ответ на задачу: в этом методе инициализации ссылочного поля m.blockDeviceMapping не произойдёт, если аргумент blockDevice будет равен null. Это поле инициализируется только в указанном методе, поэтому при вызове метода add у поля m.blockDeviceMapping произойдёт исключение NullPointerException.