Diktat: Lightweight Static Analysis for Kotlin | IEEE Conference Publication | IEEE Xplore