Запуск Checker Framework на Android ⇐ Android

[Anonymous]

Я хочу использовать Checker Framework для статического анализа моего приложения — проверки ошибок Nullability, ошибок ограничений пользовательского интерфейса и т. д. во время выполнения. Я следовал инструкциям на странице https://checkerframework.org/manual/#android-gradle, чтобы попытаться запустить его, но получаю сообщение об ошибке, что checkTypes не является задачей. Думаю, я правильно следовал инструкциям и исправил несоответствие заглавных букв. Есть идеи, как это исправить? Мой build.gradle ниже:

Код: Выделить всё

buildscript {
repositories {
maven { url 'https://maven.fabric.io/public' }
}

dependencies {
classpath 'io.fabric.tools:gradle:1.+'
}
}
apply plugin: 'com.android.application'
apply plugin: 'io.fabric'

repositories {
maven { url 'https://maven.fabric.io/public' }
google()
}

apply plugin: 'jacoco'
apply plugin: 'com.getkeepsafe.dexcount'

gradle.projectsEvaluated {
tasks.withType(JavaCompile) {
options.compilerArgs 

Подробнее здесь: [url]https://stackoverflow.com/questions/47025473/running-checker-framework-on-android[/url]