Details

Целью работы является выявление уязвимых компонентов встраиваемого программного обеспечения на основе кросс-архитектурного композиционного анализа. Объектом исследования является встраиваемое программное обеспечение, представленное в виде исполняемого кода прошивок оборудования, а также методы и модели его анализа на уровне бинарных представлений. Задачи, решаемые в ходе исследования: 1. Изучить методы сопоставления функций исполняемых файлов и составить перечень эвристик, используемых для выявления их схожести. 2. Проанализировать подходы к построению архитектурно-независимых представлений функций, обеспечивающих инвариантность к различиям в целевой архитектуре и параметрах компиляции. 3. Разработать способ кросс-архитектурного сопоставления функций в исполняемых файлах на основе композиционного анализа. 4. Разработать прототип, реализующий предложенный способ, и провести его экспериментальное тестирование. В ходе работы проводится исследование существующих подходов к сопоставлению функций в исполняемых файлах, анализируются методы построения архитектурно-независимых представлений и разрабатывается способ кросс-архитектурного сопоставления, ориентированный на выявление уязвимых компонентов открытого программного обеспечения в составе прошивок. Для достижения данных результатов была разработана модель кросс-архитектурного композиционного анализа функций, а также прототип программного средства, реализующий предложенный подход и обеспечивающий автоматизированное сопоставление функций и идентификацию потенциально уязвимых компонентов.

The aim of this work is to identify vulnerable components of embedded software using cross-architectural compositional analysis. The object of this study is embedded software represented as executable code in hardware firmware, as well as methods and models for analyzing it at the binary representation level. Objectives of the study: 1. To study methods for matching executable file functions and compile a list of heuristics used to identify their similarities. 2. Analyze approaches to constructing architecture-independent function representations that ensure invariance to differences in the target architecture and compilation parameters. 3. Develop a method for cross-architectural function matching in executable files based on compositional analysis. 4. Develop a prototype implementing the proposed method and conduct its experimental testing. This work includes a study of existing approaches to matching functions in executable files, an analysis of methods for constructing architecture-independent representations, and the development of a cross-architectural matching method aimed at identifying vulnerable open-source firmware components. To achieve these results, a model for cross-architectural function compositional analysis was developed, as well as a prototype software tool implementing the proposed approach and providing automated function matching and identification of potentially vulnerable components.