Выявление программных ошибок при работе с памятью в исходном коде

摘要

Дано сравнение нового подхода к выявлению на статическом этапе отладки программных ошибок при работе с памятью (ОРП), возникающих при динамическом использовании памяти в процессе программирования, с возможностями их выявления широко распространенным инструментом статической отладки Cppcheck. Описаны особенности нового подхода, показатели качества, критерии и результаты сравнения работы Cppcheck и программно-инструментального средства MEDIS, основанного на новом подходе.