Как правильно использовать Kotlin Analysis API в Android Lint?

Kotlin Analysis API, основанное на PSI, предоставляет более удобный и мощный механизм для статического анализа кода, чем старый подход через AST. Новое API позволяет легко получать типы, включая Any/Nothing/Unit, а также проверять «нулабельность», модификаторы видимости и аннотации. Ключевой сущностью является Symbol, содержащий семантическую информацию. Для работы с Kotlin Analysis API необходимо использовать блок analyze, избегая сохранения KaSession вне этого блока.
Как правильно использовать Kotlin Analysis API в Android Lint?
Изображение носит иллюстративный характер

TestMode в Android Lint позволяет проводить дополнительные тесты, имитируя различные условия: подмену импортов, добавление полных путей, двойные пробелы и другие изменения. Это помогает создавать более надёжные детекторы, устойчивые к разным вариантам написания кода. Для отключения TestMode можно использовать .skipTestModes(), а для конкретного режима .addTestModes(). Также не рекомендуется использовать trimIndent() при добавлении стабов и файлов для проверки в тестах, лучше использовать indented.

Для предоставления нескольких вариантов исправления через lintFix используется fix().composite(), но исправления в IDE будут расположены в алфавитном порядке, а не в порядке следования в массиве. Также можно настроить частичный анализ, пропуская некоторые правила по условиям, с помощью filterIncident и Constraint. С помощью getPartialResults и checkPartialResults можно передавать данные между модулями для проведения анализа, который недоступен при анализе в студии, но работает при сборке на CI.

DataFlowAnalyzer позволяет проверять, был ли вызов метода для экземпляра класса, что полезно, например, для проверки наличия show() у toast. TargetMethodDataFlowAnalyzer использует паттерн visitor и позволяет обрабатывать случаи, когда экземпляр передается как аргумент, возвращается из метода и т. д. Важные методы isTargetMethodName и isTargetMethod сопоставляют вызовы методов. Также существуют полезные классы SdkConstants, ConstantEvaluator, CommentDetector, которые могут пригодится при написании детекторов.


Новое на сайте

19989Шесть историй, которые умещаются на ладони 19986Как 30 000 аккаунтов Facebook оказались в руках вьетнамских хакеров? 19985LofyGang вернулась: как бразильские хакеры охотятся на геймеров через поддельные читы 19984Автономная проверка защиты: как не отстать от ИИ-атак 19983Взлом Trellix: хакеры добрались до исходного кода одной из ведущих компаний по... 19982Почему почти 3000 монет в норвежском поле перевернули представление о викингах? 19981Как поддельная CAPTCHA опустошает ваш счёт и крадёт криптовалюту? 19980Слежка за каждым шагом: как ИИ превращает государство в машину тотального контроля 19979Как хакеры грабят компании через звонок в «техподдержку» 19978Почему именно Нью-Йорк стал самым уязвимым городом восточного побережья перед... 19977Как одна команда git push открывала доступ к миллионам репозиториев 19976Зачем древние народы убивали ножами и мечами: оружие как основа власти 19975Как Python-бэкдор DEEPDOOR крадёт ваши облачные пароли незаметно? 19974Послание в бутылке: математика невозможного 19973Почему ИИ-инфраструктура стала новой целью хакеров быстрее, чем ждали все?
Ссылка