valgrind

[__Heaven__]

Привет, друзья!
Поставил себе чудо утилиту valgrind. Только не понял, как этим чудом пользоваться.
Произвёл в креаторе запуск и получил

Conditional jump or move depends on uninitialised value(s)
  в Positioner::repackElementsByVolumes(QVector<int> const&, QVector<int> const&) в positioner.cpp:1337

Код, на который идет ссылка:

Код

C++ (Qt)
    const int* depend = depends.constData(),
             * dependEnd = depend + depends.size();
 
    int nVolumes = volumes.size();
 
    // в вектор записывается пара объём - количество повторений подряд
    QVector< QPair<int, int> > valueMap;
    valueMap.reserve(nVolumes);
 
    int lastVol = -1;
    while (depend != dependEnd)
    {
        int count = 0;
        while(lastVol == *depend && depend != dependEnd)
        {
            ++count;
            ++depend;
        }
        valueMap << QPair<int, int> (lastVol, count);
        lastVol = *depend;
    }
 

Участок считает количество подряд идущих значений в векторе.
В упор не вижу ошибки. Ссылка идет на while(lastVol == *depend && depend != dependEnd).
На сколько правильно пользоваться валгриндом из-под креатора?
В качестве обучения я нашёл только 1 книгу на английском и кучу статей. Так понимаю, что хороших русскоязычных источников нет?
Чем полезно профилирование? Так и не понял...

[Пантер]

Ищи утечки памяти по ключевому слову definitely.
А так, да, литература только на английском. На хабре было несколько статей, поищи. Или клочки инфы по форумам.

[__Heaven__]

А на сколько этот инструмент популярен в промышленном программировании?

[Пантер]

Достаточно популярен. Я аналогов свободных не знаю.

[navrocky]

Код

C++ (Qt)
    const int* depend = depends.constData(),
    while (depend != dependEnd)
    {
        int count = 0;
        while(lastVol == *depend && depend != dependEnd)
        {
            ++count;
            ++depend;
        }
        valueMap << QPair<int, int> (lastVol, count);
        lastVol = *depend;
    }
 

Ну видно же, что на последней итерации, когда depend == dependEnd, где dependEnd указывает за последний элемент массива, lastVol = *depend будет читать левые данные.

Я valgrind использую часто, альтернатив нет, даже когда целевая платформа - винда (собираю в линуксе и прогоняю валгриндом). Под винду тоже искал что-то похожее, но там мрак. Есть  от интела Inspector XE, но он такой неочевидный, тормозит при анализе еще похлеще valgrind и кажется стоит денег.

[__Heaven__]

Ну видно же, что на последней итерации, когда depend == dependEnd, где dependEnd указывает за последний элемент массива, lastVol = *depend будет читать левые данные.

Ну, меня в последствии не интересует lastVol. То есть он на lastVol ругался в том выражении...
И что теперь? Добавляем ситуацию в исключение и забываем?

Кстати, раз уж о проверке кода, на сколько нужны всяческие проверялки типа разрекламированной pvs?

[Пантер]

Я юзаю cppcheck иногда, pvs не трогал.

[navrocky]

Ну видно же, что на последней итерации, когда depend == dependEnd, где dependEnd указывает за последний элемент массива, lastVol = *depend будет читать левые данные.

Ну, меня в последствии не интересует lastVol. То есть он на lastVol ругался в том выражении...
И что теперь? Добавляем ситуацию в исключение и забываем?

Кстати, раз уж о проверке кода, на сколько нужны всяческие проверялки типа разрекламированной pvs?

Я думаю, они помогают. PVS, правда, анально огорожена, работает только с микрософтовским компилятором. Анализатор у неё, судя по всему, наиболее умный. Можешь попробовать триал погонять. Есть cppcheck - но он вообще ничего сложного не видит, показывает только очень простые и очевидные вещи.

[Fregloin]

есть еще какие то тулзы гугловские, но походу они только с clang работают.
валгриндом прогоняю периодически, но честно говоря он много выдает мусора из загруженных библиотек (ругается как на кутешные так и на нативные линуксовые либы).

[Пантер]

есть еще какие то тулзы гугловские, но походу они только с clang работают.
валгриндом прогоняю периодически, но честно говоря он много выдает мусора из загруженных библиотек (ругается как на кутешные так и на нативные линуксовые либы).

На Кьютовые можно фильтр установить, как и на другие.

[Пантер]

Ну видно же, что на последней итерации, когда depend == dependEnd, где dependEnd указывает за последний элемент массива, lastVol = *depend будет читать левые данные.

Ну, меня в последствии не интересует lastVol. То есть он на lastVol ругался в том выражении...
И что теперь? Добавляем ситуацию в исключение и забываем?

Кстати, раз уж о проверке кода, на сколько нужны всяческие проверялки типа разрекламированной pvs?

Я думаю, они помогают. PVS, правда, анально огорожена, работает только с микрософтовским компилятором. Анализатор у неё, судя по всему, наиболее умный. Можешь попробовать триал погонять. Есть cppcheck - но он вообще ничего сложного не видит, показывает только очень простые и очевидные вещи.

На сколько я помню, они добавляли другие компили.

[__Heaven__]

валгриндом прогоняю периодически, но честно говоря он много выдает мусора из загруженных библиотек (ругается как на кутешные так и на нативные линуксовые либы).

Так понимаю, что эти ошибки можно занести в исключения и при повторной проверке ловить реальные, свои ошибки.

А ещё я не совсем понял, каким образом происходит анализ. Мне необходимо протыкать все возможности моей программы? Чтобы она залезла в каждую веточку?

[Igors]

В упор не вижу ошибки. Ссылка идет на while(lastVol == *depend && depend != dependEnd).

Лучше переставить условия, т.к. *depend читает ячейку за границами вектора (и, возможно, доступной памяти). Также не ловите "хвост". Напр depend == dependEnd), count = 0, а Вы все равно добавляете пару.

Лучше чуть поступиться оптимальностью, но упростить код, напр

Код

C++ (Qt)
typedef QPair <int, int> TPair;
QVector <TPair> valueMap;
valueMap.push_back(TPair(depends[0], 1));
 
for (int i = 1; i < depends.size(); ++i) {
 if (depends[i] == depends[i - 1])
  ++valueMap.back().second;
 else 
  valueMap.push_back(TPair(depends[i], 1));
}

 

[__Heaven__]

Спасибо.
Попробовал cppcheck - понравилась.

[Пантер]

Спасибо.
Попробовал cppcheck - понравилась.

Она не очень много показывает. Вообще, лучшая связка:
1. Включить максимально ворнинги при компиляции и все фиксить.
2. Собирать clang.
3. Пробегать периодически cppcheck.
4. Вставлять всякие проверки (ассерты).
5. Писать чистый кот.