Обнаружение ошибок вида “выход за границу массива” для языка Kotlin методами статического анализа

Руководитель: Михаил Глухих
Офис: Санкт-Петербург — БЦ Universe (Университетская наб., 7-9-11 к. 5А)
  Базовые задачи: обнаруживать во время компиляции программы ошибки вида "выход за границу массива" в следующих ситуациях:
  • при обращении к массиву, когда индекс и размерность массива определяются статически;
  • при работе со списками;
  • в ситуациях, когда индекс и размерность не определяются статически, но связаны статически между собой
  Обязательные требования:
  • отличное знание Java SE, в т.ч. библиотеки коллекций;
  • понимание принципов ООП.
  Преимущества:
  • знакомство с языком Котлин;
  • знакомство с принципами статического анализа.
  Видео-презентация проекта
Интерн: Марат Хабибуллин
Презентация результата стажировки