Andrey2008 Oct 27 2015 at 06:52

Поиск неинициализированных членов класса

4 min

9.9K

PVS-Studio corporate blogC++*

+28

Comments 13

xoposhiy Oct 27 2015 at 10:29

Немного некстати, но все же, а много вы ошибок от участников SECR собрали?

Andrey2008 Oct 27 2015 at 11:04

По итогам недели отвечу.

Andrey2008 Nov 6 2015 at 11:54

Результаты: habrahabr.ru/company/pvs-studio/blog/270315

datacompboy Oct 27 2015 at 10:58

Даёшь кружку из

!!!

datacompboy Oct 27 2015 at 11:21

А реально ловить не просто «неинициализированные» а «обращение к неинициализированной»?
Чтобы избавиться от «MyVector» проблемы. Ведь в теории, статический анализатор должен обрабатывать весь поток вероятностных путей, соответственно, ругань на обращение к методу который может пощупать неинициализированное поле и должна быть.

Andrey2008 Oct 27 2015 at 11:31

Теоретически можно всё, практически нет. Это уже сфера динамических анализаторов.

vanxant Oct 27 2015 at 23:11

Мое лично мнение, что неинициализированный указатель — аццкое зло. Намного более опасное, чем неинициализированная обычная переменная.

AWE64 Oct 28 2015 at 06:43

Ну, может, кто-то экономит инструкции процессора на инициализации)

vanxant Oct 28 2015 at 13:05

А потом другие люди изливают крик души, когда из корок на них смотрит указатель со значением 7 (с)

Andrey2008 Oct 29 2015 at 13:23

Вот и вышла PVS-Studio 5.30 с диагностикой V730. Предлагаю всем интересующихся опробовать.

cdriper Nov 3 2015 at 09:28

В контексте C++11 с возможность инициализировать члены класса по месту, проблема эта сильно утратила свою злободневность…

Andrey2008 Nov 3 2015 at 11:32

Я думаю, что к сожалению, это не так. То, что стало проще инициализировать, ещё ничего не значит. Многие как писали, так и будут писать.

cdriper Nov 3 2015 at 11:35

Да, этим вы себе на хлеб с маслом и зарабатываете :)