Обратите внимание, что программа

точно обнаружила утечку памяти. Также она может найти факт освобождения с помощью памяти, которая ранее не распределялась, если этот факт будет зафиксирован в журнальном файле, но на практике так не происходит, поскольку в этом случае программа немедленно аварийно завершается.

Возможности

в достаточно неплохие, но профилировщик распределения памяти в некоторых аспектах более прост в использовании и содержит более совершенные сценарии для обработки выходных журнальных файлов.

Первый шаг в применении

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

Самый легкий способ — воспользоваться сценарием

для запуска программы; если еще не установлена, она получит значение , что приведет к созданию журнального файла с идентификатором процесса отлаживаемой программы и загрузке библиотеки . В результате сборка программы не понадобится. Ниже показан пример создания журнального файла для исправленной версии нашей тестовой программы.

После создания журнального файла доступны многие средства для его анализа. Все эти программы получают журнальный файл mpr в качестве стандартного ввода. Если вывод из этих средств содержит числа в тех местах, где ожидаются имена функций (возможно, с предупреждением вроде "cannot map pc to name" ("невозможно отобразить программный счетчик на имя")), проблема может быть связана с версией утилиты

, которую использует . В документации для достижения лучших результатов рекомендуется экспортировать переменную окружения для выбора в качестве версии : . Кроме того, сбить с толку mpr может еще и рандомизация стека, которая обеспечивается функциональностью ядра "Exec-shield"; исправить положение можно за счет использования команды , отключающей Exec-shield во время работы исследуемой программы и во время работы фильтров :

В конечном итоге для некоторых стековых фреймов

может не найти символическое имя; в этом случае просто проигнорируйте их.

mprmap программа	Преобразует адреса программы в журнале mpr в имена функций и местоположения в исходном коде. В аргументе указывается имя исполняемого файла, для которого должен генерироваться журнал. Чтобы увидеть все распределения в программе вместе с цепочкой вызовов функций, которые осуществили эти распределения, можно использовать mprmap программа < mpr.log . По умолчанию отображаются имена функций. При указании флажка – f отображаются также имена файлов, а при указании – l — еще и номера строк внутри файлов. Флажок – l подразумевает наличие – f . Вывод этой программы является допустимым журнальным файлом mpr , который может быть связан каналом с любой другой утилитой mpr .
mprchain	Преобразует журнал в вывод, сгруппированный по цепочкам вызовов. Цепочка вызовов функций — это список всех функций, активных в программе на определенный момент. Например, если main вызывает getargs , которая впоследствии вызывает parsearg , активная цепочка вызовов во время работы parsearg отображается как main:getargs:parsearg . Для каждой отдельной цепочки вызовов, в которой распределялась память во время выполнения программы, mprchain отображает количество распределений и общее количество распределенных байт.
mprleak	Этот фильтр просматривает журнальный файл на предмет наличия всех неосвобожденных фрагментов памяти. В качестве стандартного вывода генерируется новый журнальный файл, содержащий только те распределения, которые могут привести к утечкам памяти. Вывод этой программы является допустимым журнальным файлом mpr , который может быть связан каналом с любой другой утилитой mpr .
mprsize	Этот фильтр сортирует распределения памяти по размеру. Чтобы просмотреть утечки памяти по размеру, нужно передать вывод mprleak на вход mprsize .
mprhisto	Отображает гистограмму распределений памяти.

Теперь, когда известно об анализаторах журнальных файлов, очень просто найти утечки памяти в нашей тестовой программе. Для этого достаточно воспользоваться командой

(что эквивалентно ) и в результате обнаружить утечку памяти в строке 20.

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