https://pvs-studio.ru/ru/blog/posts/cpp/1211/
Всё! Последняя часть из серии про неопределённое поведение. Символично, что 12-ая статья из 11 вышла под номером 1211 :). Приятного чтения.
Всё! Последняя часть из серии про неопределённое поведение. Символично, что 12-ая статья из 11 вышла под номером 1211 :). Приятного чтения.
PVS-Studio
Путеводитель C++ программиста по неопределённому поведению: часть 12 из 11
Вашему вниманию предлагается заключительная двенадцатая часть электронной книги, которая посвящена неопределённому поведению. Книга не является учебным пособием и рассчитана на тех, кто уже хорошо...
👍2
Forwarded from PVS-Studio: поиск ошибок в С/С++, С# и Java
Вы хотите идти в ногу со временем и перевести ваш проект на полиморфные аллокаторы? Вас не могут отговорить от этого даже затраты на виртуальные вызовы? Тогда вы просто обязаны знать о нюансах с лайфтаймом, и почему нельзя просто взять и поменять свои контейнеры на аналоги из пространства имён pmr.
Все подробности по ссылке🔗
#статья #cpp
Все подробности по ссылке
#статья #cpp
Please open Telegram to view this post
VIEW IN TELEGRAM
Приглашаю скачать мою книгу "Вредные советы для C++ программистов" в PDF формате. Можно и нужно делиться ссылкой с коллегами и в соцсетях :)
🔥6👏4
https://habr.com/ru/companies/pvs-studio/articles/877274/
Собрал в статью-агрегатор ссылки на все части электронной книги "Путеводитель C++ программиста по неопределённому поведению". Кладите в закладки и желаю приятного чтения.
Собрал в статью-агрегатор ссылки на все части электронной книги "Путеводитель C++ программиста по неопределённому поведению". Кладите в закладки и желаю приятного чтения.
Хабр
Путеводитель C++ программиста по неопределённому поведению
Вашему вниманию предлагается полный список разделов электронной книги (12 из 11 :)), посвящённой неопределённому поведению. Книга не является учебным пособием и рассчитана на тех, кто уже хорошо...
❤4🔥4
Коряво оформленный код притягивает ошибки. Полез в проект TDengine и прям сходу вот такая длинное и неправильное условие (1). PVS-Studio обращает внимание, что два раза выполняется одинаковое сравнение (2).
Согласитесь, в длинной колбасе баг не заметен. Достаточно отформатировать код (3) и аномалия сразу как на ладони.
Будем считать, что повторная проверка лишняя и что-то ещё проверять не надо. Удаляем, плюс немного рефакторинга (4). Красота! Заодно функции сократилось с 5 строк, до 4.
Согласитесь, в длинной колбасе баг не заметен. Достаточно отформатировать код (3) и аномалия сразу как на ладони.
Будем считать, что повторная проверка лишняя и что-то ещё проверять не надо. Удаляем, плюс немного рефакторинга (4). Красота! Заодно функции сократилось с 5 строк, до 4.
👍5🤔1
Проект 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
Кто видит ошибку? ;)
PVS-Studio:
👏4
Продолжаю бродить по просторам проекта 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
Анализатор говорит, что подозрительно проверять значение
И вроде анализатор выдал предупреждение мимо. Однако, указав на код с запахом, он заставляет сделать его более внимательный обзор. Становится ясно, что код ещё хуже чем казался на первый взгляд. До C23 он плох, но ещё терпим, т. к. всего лишь behavior is implementation defined.
А начиная с C23 это уже вообще UB: if new_size is zero, the behavior is undefined.
Анализатор говорит, что подозрительно проверять значение
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
PVS-Studio: V557 Array overrun is possible. The '0' index is pointing beyond array bound. string.cpp 54
❤🔥1
Приглашаем на вебинар "C++ и неопределённое поведение" 27 февраля в 14:00.
Хотя скорее это будет формат подкаста. Мы пригласили в гости Дмитрия Свиридкина — автора книги "Путеводитель C++ программиста по неопределённому поведению". Обсудим грани, отделяющие корректный C++ код от некорректного, попросим рассказать историю написания книги, поговорим о развитии языка и его будущем.
Хотя скорее это будет формат подкаста. Мы пригласили в гости Дмитрия Свиридкина — автора книги "Путеводитель C++ программиста по неопределённому поведению". Обсудим грани, отделяющие корректный C++ код от некорректного, попросим рассказать историю написания книги, поговорим о развитии языка и его будущем.
PVS-Studio
Вебинар не проводится
На данный момент вебинары не проводятся. Следите за обновлениями — возможно, в скором времени мы запустим новые мероприятия.Вы можете посмотреть записи прошедших вебинаров по ссылке.
👍5
Кто на C++Russia, приходите общаться! Заодно новый мерч наберёте. Книжку подарю, кто на прошлой конференции не получил :)
🔥11👍3🥰2