Details

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