We’ve just released Arrow Analysis, a plug-in for the Kotlin compiler which super-charges it with pre/post-condition checking, which can catch typical errors like accessing an element in a list without checking its length twice… and all in an extensible fashion, so you can add your own checks
https://twitter.com/47deg/status/1488935292652326913