Research group

Verification or Program Analysis Lab

Backend Bug Finder (BBF)

Stepanov DaniilActive

Fuzzing is a well-known testing technique, which has a proven history of being efficient in compiler testing. Backend Bug Finder (BBF) uses fuzzing (and a plethora of other interesting techniques) to find non-trivial bugs in Kotlin compiler.

The final goal of this project is to be able to efficiently find interesting cases of miscompilation between different Kotlin backends, i.e., when the same code behaves differently on different runtime platforms (JVM, JS, Native).

Participants

Akhin Marat
Stepanov Daniil

Publications

ReduKtor: How We Stopped Worrying About Bugs in Kotlin Compiler

2019

Daniil Stepanov, Marat Akhin, Mikhail Belyaev

Read more