PVS-Studio соответствует требованиям ГОСТ Р 71207—2024 (статический анализ программного обеспечения)
Давно ничего не публиковал, так как почти все силы уходили на большой обзор PVS-Studio с точки зрения ГОСТ. Тяжело пошло, так как это непривычный мне формат повествования. Но результат мне нравится. Получилось основательно, я бы даже сказал монументально :) Не скажу, что всем стоит почитать. Просто полистайте и знайте, что теперь есть эта справочная статья, к которой можно обратиться, на случай если столкнётесь с тематикой РБПО, сертификаций и т.д.

А вот и новогодние подборки лучших ошибок прибыли. Топ-10 ошибок за 2024 год, найденных в:
C++ проектах
C# проектах
Java проектах

https://pvs-studio.ru/ru/blog/posts/cpp/1211/

Всё! Последняя часть из серии про неопределённое поведение. Символично, что 12-ая статья из 11 вышла под номером 1211 :). Приятного чтения.

Приглашаю скачать мою книгу "Вредные советы для C++ программистов" в PDF формате. Можно и нужно делиться ссылкой с коллегами и в соцсетях :)

https://habr.com/ru/companies/pvs-studio/articles/877274/
Собрал в статью-агрегатор ссылки на все части электронной книги "Путеводитель C++ программиста по неопределённому поведению". Кладите в закладки и желаю приятного чтения.

Проект TDengine. Красивое!

Кто видит ошибку? ;)

В последней проверке скобочка не там поставлена. Результат вызова функции InitRegexCache сравнивается с 0, и только затем 0 или 1 записывается в code.
PVS-Studio: V593 Consider reviewing the expression of the 'A = B != C' kind. The expression is calculated as following: 'A = (B != C)'. dmEnv.c 182

Продолжаю бродить по просторам проекта TDengine. Интересный пример косвенного обнаружения ошибки с помощью предупреждения PVS-Studio: V781 The value of the 'size' variable is checked after it was used. Perhaps there is a mistake in program logic. Check lines: 362, 363. osMemory.c 362

Анализатор говорит, что подозрительно проверять значение size после его использования (передачу в функцию realloc). Однако, по задумке автора кода, это нормально. Смысл проверки в следующем: если выделялось более нуля байт, то проверяем, что память удалось выделить. Если выделяли 0 байт, то возврат NULL из функции это ok.

И вроде анализатор выдал предупреждение мимо. Однако, указав на код с запахом, он заставляет сделать его более внимательный обзор. Становится ясно, что код ещё хуже чем казался на первый взгляд. До C23 он плох, но ещё терпим, т. к. всего лишь behavior is implementation defined.

А начиная с C23 это уже вообще UB: if new_size is zero, the behavior is undefined.

GEOS. Красивое :)

PVS-Studio: V557 Array overrun is possible. The '0' index is pointing beyond array bound. string.cpp 54

Приглашаем на вебинар "C++ и неопределённое поведение" 27 февраля в 14:00.

Хотя скорее это будет формат подкаста. Мы пригласили в гости Дмитрия Свиридкина — автора книги "Путеводитель C++ программиста по неопределённому поведению". Обсудим грани, отделяющие корректный C++ код от некорректного, попросим рассказать историю написания книги, поговорим о развитии языка и его будущем.