Исследовательская группа

Лаборатория верификации и анализа программ

Backend Bug Finder (BBF)

Руководитель проекта: Даниил Степанов
Статус: Активный

Фаззинг является хорошо известным подходом в тестировании, в том числе, в применении к компиляторам. Проект Backend Bug Finder (BBF) применяет фаззинг (вместе со множеством других интересных технологий) для поиска сложных и нетривиальных ошибок в компиляторе языка Kotlin.

Основная цель данного проекта --- получить инструмент для эффективного поиска мискомпиляций: ситуаций, когда один и тот же код, скомпилированный под разные платформы, ведет себя по-разному.

Участники

Публикации