|
Моделирование и анализ информационных систем, 2011, том 18, номер 4, страницы 45–55
(Mi mais197)
|
|
|
|
Статический анализ с использованием систем типов и эффектов на основе LLVM
М. А. Беляев, В. А. Цесько Санкт-Петербургский государственный политехнический университет
Аннотация:
Описано разрабатываемое средство статического анализа программного обеспечения. Основной идеей данного средства является использование систем типов и эффектов для статического анализа реальных программ. Средство использует формат промежуточного представления LLVM в качестве входного представления программы, таким образом, давая возможность анализировать программы на любых языках, поддерживаемых системой LLVM. Разбор указанного формата осуществляется встроенным парсером,
позволяющим осуществить формирование внутренней модели программы, схожей с моделью LLVM.
Целью создания описываемого средства является исследование возможностей построения методов статического анализа программ на основе известных алгоритмов, использующих системы типов и
эффектов, путём применения этих алгоритмов к модели и опосредованно к исходному коду.
Ключевые слова:
статический анализ, системы типов и эффектов, поиск дефектов, SSA.
Поступила в редакцию: 06.10.2011
Образец цитирования:
М. А. Беляев, В. А. Цесько, “Статический анализ с использованием систем типов и эффектов на основе LLVM”, Модел. и анализ информ. систем, 18:4 (2011), 45–55
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/mais197 https://www.mathnet.ru/rus/mais/v18/i4/p45
|
Статистика просмотров: |
Страница аннотации: | 280 | PDF полного текста: | 160 | Список литературы: | 36 |
|