Аннотация:
В данной статье описывается простое решение задачи аннотирования java bytecode для более безопасного его использования (в том числе из компилятора Kotlin). Читатель может познакомится с основами методов абстрактной интерпретации и суперкомпиляции. Плата за простоту метода — экпоненциальная сложность в общем случае. Однако простота метода облегчает его реализацию, тестирование и т.д., и может служить своеобразной точкой отсчета для создания более быстрых, но более сложных его версий.