Какие существуют методы отладки ошибок доступа к памяти в программном коде?

Некоторые методы отладки ошибок доступа к памяти в программном коде:

• Выделение в коде программы функций, отвечающих за работу с памятью, и формальное описание их свойств. www.ispras.ru Это позволит вести учёт доступных буферов памяти и обнаруживать выход за их пределы. www.ispras.ru
• Использование системы RationalPurify. www.interface.ru Она автоматически отслеживает ошибки памяти во время работы приложения, отмечая каждый байт распределённой памяти специальным шаблоном битов. www.interface.ru
• Применение инструмента Valgrind. cppstudio.com Он позволяет запускать программу в собственной среде и контролировать использование памяти, например, вызовы malloc и free (или new и delete в C++). cppstudio.com Valgrind может обнаружить, если использовать неинициализированную память, записывать за пределами концов массива или не освобождать указатель. cppstudio.com
• Анализ аварийного дампа. www.codeproject.com Он содержит текущее рабочее состояние программы, которая завершилась аварийно, и может предоставить полное состояние текущей памяти для анализа проблемы. www.codeproject.com