RUS  ENG
Полная версия
ЖУРНАЛЫ // Труды института системного программирования РАН // Архив

Труды ИСП РАН, 2019, том 31, выпуск 1, страницы 49–58 (Mi tisp397)

Анализ характера изменений программ и поиск неисправленных фрагментов кода

М. С. Арутюнян, Г. С. Иванов, В. Г. Варданян, А. К. Асланян, А. И. Аветисян, Ш. Ф. Курмангалеев

Институт системного программирования им. В.П. Иванникова РАН

Аннотация: Разработчики программного обеспечения часто прибегают к заимствованию кода - как внутри одного проекта, так и из других проектов. Ввиду возможного содержания ошибки в исходном фрагменте это может привести к её дальнейшему распространению по коду ПО. Используемые библиотеки без исходного кода также могут содержать потенциальные ошибки. Целью данной работы является разработка методов анализа характера изменений между версиями компонентов ПО, для которых отсутствует исходный код. А для изменений потенциально относящихся к исправлению дефектов поиск подобных, но не исправленных дефектов при помощи методов поиска клонов кода. Внедрение предлагаемого подхода к анализу используемых компонентов при разработке ПО позволит обеспечить оценку качества предлагаемых программных «заплаток». Поскольку реализованный метод независим от архитектуры операционной системы, а также работает с исполняемым кодом ПО это позволяет применять его как для анализа сторонних компонентов, так и для анализа бинарных сборок собственного программного обеспечения. Средний процент истинных срабатываний на тестовом наборе CoreBench составляет $\sim73\%$.

Ключевые слова: статический анализ кода, клоны кода, анализ исполняемого кода, анализ изменений.

DOI: 10.15514/ISPRAS-2019-31(1)-3



Реферативные базы данных:


© МИАН, 2024