GitHub repository: niyaznigmatullin/kex
Primary language: Kotlin
Description: A platform for analysis of Java bytecode