В документации Valgrind объясняется, что копирование неинициализированных данных не выдает сообщений об ошибках. Оболочка memcheck отмечает состояние данных (неинициализированные) и отслеживает его при перемещениях данных. Таким образом,

считается неинициализированной, поскольку это значение было получено от , которая была неинициализированной.

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

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

В заключение, Valgrind является мощным инструментом отладки памяти. Он использовался в таких крупномасштабных, многопоточных производственных программах, как KDE 3, OpenOffice и веб-браузер Konqueror. Он конкурирует с несколькими коммерческими предложениями, а другая его версия была даже использована (совместно с эмулятором WINE [182] ) для отладки программ, написанных для Microsoft Windows с использованием Visual С++! Вы можете получить Valgrind с его веб-сайта [183] .

Две статьи Cal Ericson в Linux Journal описывают

и , а также большинство других перечисленных ниже инструментов. Эти статьи Memory Leak Detection in Embedded Systems, выпуск 101 [184] , сентябрь 2002 г., и Memory Leak Detection in C++, выпуск 110 [185] , июнь 2003 г. Обе статьи доступны на веб-сайте Linux Journal.

Другие инструменты сходны по природе с описанными ранее.

Замещающая

библиотека, которая не нуждается в особой компиляции и может использоваться с С++. См. .

Марка Мораеса (Mark Moraes)

Старинная, но полнофункциональная библиотека замещения

, предоставляющая возможности профилирования, трассировки и отладки. Вы можете получить ее с .

Пакет с большими возможностями настройки для отладки памяти и тестирования. См

.

Пакет, требующий использования специального заголовочного файла и опций времени компилирования. См.

.

«Не просто еще один отладчик malloc» (Not Just Another Malloc Debugger). Эта библиотека не требует специальной компоновки с приложением; вместо этого она использует

для замены стандартных процедур. См. .

Похож на Electric Fence, но со многими дополнительными опциями. См.

.

Почти все из этих пакетов используют для точной настройки своего поведения переменные окружения. В таблице 15.1 на основе статей из Linux Journal сделана сводка различных пакетов.

Таблица 15.1. Сводка особенностей инструментов памяти

Инструмент	ОС	Заголовочный файл	Модуль/ программа	Многопоточность
ccmalloc	Многотипная	Нет	Программа	Нет
dmalloc	Многотипная	Необязательно	Программа	Да
efence	Многотипная	Нет	Программа	Нет
memwatch	Многотипная	Да	Программа	Нет
Moraes	Многотипная	Необязательно	Программа	Нет
mpatrol	Многотипная	Нет	Программа	Да
mtrace	Linux (GLIBC)	Да	Модуль	Нет
njamd	Многотипная	Нет	Программа	Нет
valgrind	Linux (GLIBC)	Нет	Программа	Да
yamd	Linux, DJGPP	Нет	Программа	Нет

Как видно, для отладки проблем динамической памяти доступен ряд выборов. На системах GNU/Linux и BSD один или более из этих инструментов, возможно, уже установлены, что избавляет вас от хлопот по их загрузке и построению.

Полезно также использовать для своей программы несколько инструментов подряд. Например,

для обнаружения не освобождаемой памяти, a Electric Fence для перехвата доступа к недействительной памяти.