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


Исследование и разработка методов поиска ошибок на основе метода поиска клонов кода

Начало проекта – 2018 год. Заказчик - РФФИ.

Цель данного проекта – разработка методов и создание инструментов поиска ошибок в исходном и бинарном коде программ с использованием результатов, полученных по итогам предыдущего проекта «Исследование и разработка методов поиска повторного использования фрагментов кода (клонов)». Для достижения цели потребуется разработка следующих методов:

  1. Метод сравнения двух версий бинарного или исходного кода, позволяющий определить код, который относится к исправлению ошибки, а не к изменению функционала;
  2. Метод выделения шаблона для поиска семантически схожих с исправленным участком частей программы;
  3. Адаптация методов поиска клонов кода для поиска шаблонов ошибки;
  4. Разработка методов фильтрации результатов для отсева заведомо ложных срабатываний.
Главная особенность проекта – направленность на работу с промышленными объемами кода. Грант РФФИ 18-07-01153.

Исполнитель

Компиляторные технологии

Перейти к списку всех проектов