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

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

Backend Bug Finder (BBF)

Даниил СтепановАктивный

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

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

Участники

Публикации

ReduKtor: How We Stopped Worrying About Bugs in Kotlin Compiler

2019

Daniil Stepanov, Marat Akhin, Mikhail Belyaev

Подробнее