Valgrind
Фреймворк динамической бинарной инструментации, наиболее известный инструментом Memcheck, который находит ошибки работы с памятью в C и C++. Разработан Джулианом Сьюардом с 2002 года.
Программа выполняется в имитируемой среде, где каждая инструкция транслируется на лету, а каждое обращение к памяти проверяется. Memcheck находит чтение неинициализированной памяти, выход за границы выделенного блока, use-after-free, двойной free и утечки — со стеком вызовов до места выделения памяти. Другие инструменты набора: Callgrind для профилирования вызовов, Cachegrind для поведения кэша, Massif для использования кучи и Helgrind для гонок потоков. Цена — замедление в 10–50 раз. Главное преимущество перед санитайзерами в том, что ничего не нужно пересобирать: Valgrind работает с готовым бинарником, даже без исходников.