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