Информационные системы и технологии МАТЕМАТИЧЕСКОЕ И ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ ВЫЧИСЛИТЕЛЬНОЙ ТЕХНИКИ И АВТОМАТИЗИРОВАННЫХ СИСТЕМ УДК 004.056.53 Д.В. АНИСИМОВ, П.В. МЕЛЬНИКОВ ПРОВЕДЕНИЕ СЕРТИФИКАЦИОННЫХ ИССЛЕДОВАНИЙ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ С ИСПОЛЬЗОВАНИЕМ ТЕХНОЛОГИИ LLVM В статье предлагается подход к организации проведения сертификационных исследований программного обеспечения на отсутствие недекларированных возможностей с помощью технологии LLVM. <...> Ключевые слова: исследование программного обеспечения; статический и динамический анализ; поиск уязвимостей; недекларированные возможности. <...> ВВЕДЕНИЕ На основании «Плана перехода федеральных органов исполнительной власти и федеральных бюджетных учреждений на использование свободного программного обеспечения (СПО) на 2011-2015 годы», утвержденного распоряжением Правительства РФ № 2299-р от 17 декабря 2010 года и долгосрочной «Программы развития Интернета до 2025 года», входящей в дорожную карту «Государство и общество», закреплено, что законодательство Российской Федерации о государственных закупках будет меняться для осуществления перехода с операционной системы (ОС) Microsoft Windows на свободное СПО в государственных и муниципальных структурах, а также юридических лиц, подпадающий под действие ФЗ №223 от 18.07.2011 «О закупках товаров, работ, услуг отдельными видами юридических лиц» (госкомпании, организации, находящихся под контролем государства, естественные монополии и т.д.) <...> Основной платформой для разрабатываемых программных средств является ОС Linux в различных ее вариациях (Ubuntu, AltLinux, Debian, SuSe, CentOS и др.) <...> Для решения данной задачи предлагается применить технологию Low Level Virtual Machine (LLVM) в качестве базы, позволяющей проводить сертификационные исследования за счет своей гибкости реализации и имеющихся инструментальных средств. <...> ТЕХНОЛОГИЯ LLVM LLVM является проектом с открытыми исходными текстами [2]. <...> В настоящее время LLVM используется в качестве стандартной <...>