IBM Rational Purify - представляет собой отладчик памяти, используемый разработчиками программного обеспечения для обнаружения ошибок доступа к памяти в программах, в особенности тех, которые написаны в C или C ++. Система основана на динамической верификации – процессе, посредством которого программа обнаруживает ошибки, возникающие при запуске программы, так же, как отладчик. Когда программа соединяется с Purify, исправленный код проверки автоматически вставляется в исполняемый путем разбора и добавления к коду объекта, в том числе библиотек. Таким образом, если происходит ошибка памяти, программа выдаст точное местонахождение ошибки и другую соответствующую информацию.