Исследование комбинированных методов автоматического анализа программ на наличие ошибок и уязвимостей безопасности. Проект РФФИ 20-07-00921.

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