Метод и инструментальное средство MEDIS обнаружения и локализации ошибок при работе с памятью в программах, написанных на языках C и C++

摘要

Для выявления ошибок при работе с оперативной памятью в программах, написанных на языках С+, C++ разработан эффективный метод, используемый на статическом этапе отладки проверяемого программного обеспечения (ПО). Метод отличается тем, что вводится механизм контроля состояний сегментов памяти после построения промежуточного представления данных в режиме статической отладки. Механизм контроля включает в себя внутрипроцедурный анализ, межпроцедурный анализ и этапа выявления ошибок. На основе предложенного метода разработано программно-инструментальное средство MEDIS выявления ошибок работы с памятью на статическом этапе отладки. Приведены результаты сравнительных испытаний MEDIS с широко используемым инструментальным средством Cppcheckv. 1.53 по выявлению ошибок работы с памятью в ряде проектов ПО разной степени сложности. Установлено, MEDIS выявляет за меньшее время более разнообразный состав и большее количество ошибок в ПО, чем Cppcheck.