Abdullin, A., Itsykson, V.: Kex: A Platform For Analysis Of JVM Programs. Information and Control Systems(1), 30-43 (2022). doi:10.31799/1684-8853-2022-1-30-43