Поля структур и массивы в data-flow анализах C++

Руководитель: Илья Бирюков (ReSharper C++)

Город стажировки: Санкт-Петербург

Проект:

В ReSharper C++ для статического анализа и поиска компиляторных ошибок в языках C и C++ реализованы стандартные алгоритмы data-flow анализа. Существенным недостатотком текущей реализации является слишком консервативная(и неточная) обработка струтур и массивов.

Задачи:
  • добавить поддержку структур и массивов в наши анализы
 
Требования:
  • базовые знания по курсу алгоритмов и структур данных(оценка вычислительной сложности, сортировки, деревья поиска, и т.д.)
  • знание C++
  • представление о C# или Java
 
Комментарии:

Чему можно научиться на этом проекте? Узнать про data-flow анализы, научиться реализовывать их на практике. Поподробнее разобраться с синтаксисом C++. Получить навыки работы в большом проекте, в т.ч. научиться лучше разбираться в чужом коде.

Презентация проекта 25 мая 2016  

Результат