Журнал "Программная инженерия"
Теоретический и прикладной научно-технический журнал
ISSN 2220-3397

Номер 1 2019 год

DOI: 10.17587/prin.10.14-19
УДК: 004.056.53
Подход к разработке анализатора исходных текстов программ на основе использования LLVM
П. В. Закалкин, канд. техн. наук, сотр., e-mail: ansmed82@mail.ru, П. В. Мельников, канд. техн. наук, сотр., e-mail: ansmed82@mail.ru, М. Н. Горюнов, канд. техн. наук, сотр., e-mail: brviktorov@mail.ru, Р. В. Борзов, сотр., e-mail: brviktorov@mail.ru, Академия Федеральной службы охраны Российской Федерации, г. Орел

Описан подход к разработке анализатора исходных текстов программ, в основе которого лежит механизм символьного исполнения кода (инструментарий LLVM/Clang посредством Python binding). Предлагаемое решение обеспечивает корректный разбор файлов исходных текстов на отдельные составляющие с учетом их структуры и взаимосвязей. Оно позволяет избежать ошибок вставки датчиков и предоставляет эффективный механизм реализации алгоритмов поиска уязвимостей.

Ключевые слова: исходный код, дефект кода, поиск уязвимостей, статический анализ кода, динамический анализ кода, символьное исполнение кода, LLVM, Clang, Python binding, недекларированные возможности, анализатор исходных текстов
Стр. 14–19