Инструменты Valgrind

• Использование неинициализированной памяти.
• Чтение и запись памяти после её освобождения.
• Чтение и запись с границы выделенного блока.
• Утечки памяти.

• None запускает код в виртуальной машине без выполнения каких-либо анализов и таким образом, имеет наименьшее возможное потребление процессора и памяти на всех инструментах. Поскольку сам Valgrind предоставляет обратный след из за ошибки сегментации, инструмент none обеспечивает эту трассировку при минимальных затратах.
• Addrcheck, похожий на MemCheck, но с гораздо меньшим потреблением CPU и памяти, но и ловит меньше типов ошибок. Addrcheck был удален в версии 3.2.0.
• Massif - профайлер кучи. Отдельный GUI отображает вывод из Massif.
• Helgrind и DRD находят состояния гонок в многопоточном коде.
• Cachegrind - профайлер кэша. Отдельный GUI KCacheGrind отображает вывод из Cachegrind.
• Callgrind - анализатор callgraph, добавленный в версии 3.2.0. KCacheGrind как и Cachegrind отображает вывод из Callgrind.
• exp-sgcheck (именуемый EXP-ptrcheck до версии 3.7), экспериментальный инструмент для поиска стека и глобального массива ошибок переполнения, которые Memcheck не может найти. Некоторый код получается в ложных срабатываниях этого инструмента.
• EXP-dhat - инструмент динамического анализа кучи, который анализирует сколько памяти выделяется и как долго, а также моделирует использования памяти.
• EXP-BBV - симулятор производительности, который экстраполирует производительность из небольшого набора образцов.

Поддерживаемые платформы Valgrind

История и развитие Valgrind

Ограничения MemCheck

  int Static[5];
  
  int func(void)
  {
    int Stack[5];
  
    Static[5] = 0;  /* Ошибка - существует лишь Static[0] до Static[4], Static[5] выходит за пределы массива */
    Stack [5] = 0;  /* Ошибка - существует лишь Stack[0] до  Stack[4], Stack[5] выходит за пределы массива */
    
    return 0;
  }

  void func(void)
  {
    int i, Stack[5];

    for (i = 0; i <= 5; i++)
        Stack [i] = 0;        /* Within bounds for i=0..4, out of bounds error when i=5 */
  }