Исследование и разработка технологий автоматизации процессов верификации и обнаружения уязвимостей программного обеспечения

Проведен анализ научно-технической литературы и нормативно-технической документации по разрабатываемой теме. Исследован ряд существующих методов верификации программного обеспечения, написанного на языках общего назначения. Исследована возможность использования существующих алгоритмов верификации программ. На основании проведенного анализа выработаны общие положения разрабатываемой технологии верификации. Проведены патентные исследования, подтверждающие патентную чистоту создаваемых решений.

Разработан формальный метод верификации программного обеспечения: включая методы проведения лексического и синтаксического анализа, преобразования к внутреннему представлению, генерации и проверки выполнения условий корректности. Проведены патентные исследования, подтверждающие патентную чистоту создаваемых решений.

На основе разработанного ранее формального метода верификации разработан рабочий прототип автоматизированного средства анализа C/C++ программ на предмет наличия в их исходном коде уязвимостей и ошибок различных классов. Разработанный прототип включает модули лексического и синтаксического анализа, преобразования к внутреннему представлению, генерации и проверки выполнения условий корректности, встраиваемые модули для интеграции разработанного средства со сторонними средствами разработки программного обеспечения с открытым исходным кодом: Kate и Emacs. Особенности и детали реализации, представляющие научную значимость, приведены в отчете о НИР. В состав отчета о НИР также входит комплект программной документации для разработанного прототипа и программа-методика проведения экспериментов на 4-м этапе. Проведены патентные исследования, подтверждающие патентную чистоту создаваемых решений.

На основе разработанного ранее прототипа программного средства верификации проведены исследования его функциональных характеристик и проверка соответствия их требованиям технического задания. Проведенные эксперименты подробно описаны в отчете о НИР. В состав отчета о НИР также входит программа и методика проведения экспериментов и протоколы экспериментов. Проведены патентные исследования, подтверждающие патентную чистоту создаваемых решений.

На основе разработанного ранее прототипа программного средства верификации проведены исследования его функциональных характеристик и проверка соответствия их требованиям технического задания. Проведенные эксперименты подробно описаны в отчете о НИР. В состав отчета о НИР также входит программа и методика проведения экспериментов и протоколы экспериментов. Проведены патентные исследования, подтверждающие патентную чистоту создаваемых решений.