http://elib.spbstu.ru/dl/005057.pdf
Автоматизация нахождения ошибок работы с памятью в программах, написанных на С и С++ // Материалы...24 - 29 ноября 2003г. – 2004. – Факультет технической кибернетики. Факультет при ЦНИИ РТК. Институт интеллектуальных систем и технологий