GitHub repository: vorpal-research/kex
Primary language: Kotlin
Created: 2019-08-26T10:43:34Z
Description: A platform for analysis of Java bytecode