KaterinaKhrenova Feb 22 at 11:09

PVS-Studio и тренды 2023 года. Что волнует наших клиентов?

Easy

9 min

1.2K

PVS-Studio corporate blogInformation Security*Development Management*Project management*

+13

Comments 3

OBIEESupport Feb 22 at 11:36

Плюсуюсь. Продукт качественный, многие вещи качественно вылавливает. Поздновато только статью выкладываете. Можно даже лучше заголовок сделать "PVS-Studio - 2023 - все бегут, а мы работаем над вашим кодом до последней ошибки!" Тренды, мнения и желания...

redfox0 Feb 24 at 10:37

Извиняюсь за оффтоп. Пример кода:

int Letter(unsigned char ch) {
    if (isalnum(ch) == 1 || isalnum(ch) == 2) return 1;
    if (ch >= 192 && ch <= 255) return 1;
    return 0;
}

warning: V560 A part of conditional expression is always true: ch <= 255. The value range of unsigned char type: [0, 255].

Отлично, один варнинг есть. Но есть ещё претензии к коду, который можно отловить автоматически:

повторный вызов isalnum в этом же выражении - микрооптимизация: вынести вызов перед сравнением
isalnum возвращает 0 или НЕ ноль, то есть сравнение == 2 (и == 1) некорректно. Правильно == 0 или != 0 Незамеченное UB?

khandeliants Feb 27 at 17:54

Спасибо за отличный пример! Выписали его себе для доработок нашего анализатора:

Повторный вызов isalnum могла бы найти V810, но на текущий момент она ограничена специфичным паттерном. Настало время расширить её.
Действительно, сравнения некорректны, однако это не UB. UB будет тогда, когда передаваемый символ не представим типом unsigned char или это не EOF. У нас есть похожее диагностическое правило V698 для функций memcmp , strcmp. Подумаем или над его расширением, или над отдельным правилом для семейства функций из <cctype>.